std::disjunction

Defined in header `<type_traits>`
template<class... B> struct disjunction;	(1)	(since C++17)

Forms the logical disjunction of the type traits B..., effectively performing a logical or on the sequence of traits.

The specialization std::disjunction<B1, ..., BN> has a public and unambiguous base that is

if sizeof...(B) == 0, std::false_type; otherwise
the first type Bi in B1, ..., BN for which bool(Bi::value) == true, or BN if there is no such type.

The member names of the base class, other than disjunction and operator=, are not hidden and are unambiguously available in disjunction.

Disjunction is short-circuiting: if there is a template type argument Bi with bool(Bi::value) != false, then instantiating disjunction<B1, ..., BN>::value does not require the instantiation of Bj::value for j > i

Template parameters

B... - every template argument Bi for which Bi::value is instantiated must be usable as a base class and define member value that is convertible to bool

Helper variable template

template<class... B> inline constexpr bool disjunction_v = disjunction<B...>::value;		(since C++17)

Possible implementation

template<class...> struct disjunction : std::false_type { };
template<class B1> struct disjunction<B1> : B1 { };
template<class B1, class... Bn>
struct disjunction<B1, Bn...> 
    : std::conditional_t<bool(B1::value), B1, disjunction<Bn...>>  { };

Notes

A specialization of disjunction does not necessarily inherit from of either std::true_type or std::false_type: it simply inherits from the first B whose ::value, explicitly converted to bool, is true, or from the very last B when all of them convert to false. For example, std::disjunction<std::integral_constant<int, 2>, std::integral_constant<int, 4>>::value is 2.

The short-circuit instantiation differentiates disjunction from fold expressions: a fold expression like (... || Bs::value) instantiates every B in Bs, while std::disjunction_v<Bs...> stops instantiation once the value can be determined. This is particularly useful if the later type is expensive to instantiate or can cause a hard error when instantiated with the wrong type.

Example

Run this code

#include <iostream>
#include <type_traits>
 
using result0 =
    std::disjunction<std::bool_constant<false>, std::bool_constant<false>,
                     std::bool_constant<false>>;
using result1 =
    std::disjunction<std::bool_constant<true>, std::bool_constant<false>,
                     std::bool_constant<false>>;
 
int main()
{
    std::cout << std::boolalpha;
    std::cout << result0::value << '\n';
    std::cout << result1::value << '\n';
}

Output:

false
true

Language
Standard library headers
Concepts
Utilities library
Strings library
Containers library
Algorithms library
Iterators library
Numerics library
Input/output library
Localizations library
Regular expressions library (C++11)
Atomic operations library (C++11)
Thread support library (C++11)
Filesystem library (C++17)
Technical Specifications

Type support (basic types, RTTI, type traits)
Dynamic memory management
Error handling
Program utilities
Variadic functions
Date and time
Function objects
initializer_list (C++11)
bitset
hash (C++11)
Relational operators
rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>=
`optional`, `any` and `variant` (C++17)
optional
any
variant
in_placein_place_typein_place_indexin_place_tin_place_type_tin_place_index_t
Pairs and tuples
pair
tuple (C++11)
apply (C++17)
make_from_tuple (C++17)
piecewise_construct_t (C++11)
piecewise_construct (C++11)
integer_sequence (C++14)
Swap, forward and move
swap
exchange (C++14)
forward (C++11)
move (C++11)
move_if_noexcept (C++11)
Elementary string conversions
to_chars (C++17)
from_chars (C++17)
chars_format (C++17)
Type operations
declval (C++11)
as_const (C++17)