std::experimental::disjunction
| Definiert im Header <experimental/type_traits> |
||
| template< class... B > struct disjunction; |
(Library Fundamentals TS v2) | |
Bildet die logische Disjunktion der Typ-Traits B..., was effektiv ein logisches ODER auf der Sequenz von Traits durchführt.
Die Spezialisierung std::experimental::disjunction<B1, ..., BN> hat eine öffentliche und eindeutige Basisklasse, die
- wenn sizeof...(B) == 0, std::false_type ist; andernfalls
- der erste Typ
BiinB1, ..., BNist, für den bool(Bi::value) == true gilt, oderBN, wenn kein solcher Typ existiert.
Die Membernamen der Basisklasse, mit Ausnahme von disjunction und operator=, sind nicht verborgen und in disjunction eindeutig verfügbar.
Disjunktion ist kurzschließend: Wenn es ein Template-Typ-Argument Bi gibt, für das bool(Bi::value) != false gilt, dann erfordert die Instanziierung von disjunction<B1, ..., BN>::value nicht die Instanziierung von Bj::value für j > i.
Inhalt |
[bearbeiten] Template-Parameter
| B... | - | jedes Template-Argument Bi, für das Bi::value instanziiert wird, muss als Basisklasse verwendbar sein und ein Member value definieren, das in bool konvertierbar ist |
[bearbeiten] Hilfs-Variable-Template
| template< class... B > constexpr bool disjunction_v = disjunction<B...>::value; |
(Library Fundamentals TS v2) | |
[bearbeiten] Mögliche Implementierung
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...>> {}; |
[bearbeiten] Hinweise
Eine Spezialisierung von disjunction erbt nicht notwendigerweise von std::true_type oder std::false_type: sie erbt einfach von der ersten B, deren ::value, explizit nach bool konvertiert, true ist, oder von der allerletzten B, wenn alle zu false konvertiert werden. Zum Beispiel ist disjunction<std::integral_constant<int, 2>, std::integral_constant<int, 4>>::value 2.
[bearbeiten] Beispiel
| Dieser Abschnitt ist unvollständig Grund: kein Beispiel |
[bearbeiten] Siehe auch
| (C++17) |
variadische logische OR-Metafunktion (Klassenvorlage) |
