std::experimental:: disjunction

In ISO C++ integriert Die auf dieser Seite beschriebene Funktionalität wurde ab 2/2016 in den Hauptstandard von ISO C++ übernommen, siehe std::disjunction (seit C++17)

Bildet die logische Disjunktion der Typmerkmale B... , was effektiv ein logisches Oder auf der Folge von Merkmalen ausführt.

Die Spezialisierung std :: experimental :: disjunction < B1, ..., BN > hat eine öffentliche und eindeutige Basis, die

• wenn sizeof... ( B ) == 0 , std:: false_type ; andernfalls
• der erste Typ Bi in B1, ..., BN für den bool ( Bi :: value ) == true , oder BN falls kein solcher Typ existiert.

Die Member-Namen der Basisklasse, außer disjunction und operator= , werden nicht verborgen und sind in disjunction eindeutig verfügbar.

Disjunktion ist kurzschließend: wenn es ein Template-Typenargument Bi gibt mit bool ( Bi :: value ) ! = false , dann erfordert die Instanziierung von disjunction < B1, ..., BN > :: value nicht die Instanziierung von Bj :: value für j > i .

Template-Parameter

Hilfsvariablen-Template

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...>>  {};

Hinweise

Eine Spezialisierung von disjunction erbt nicht notwendigerweise von std:: true_type oder std:: false_type : Sie erbt einfach vom ersten B , dessen ::value , explizit zu bool konvertiert, true ist, oder vom letzten B, wenn alle zu false konvertieren. Zum Beispiel ist disjunction < std:: integral_constant < int , 2 > , std:: integral_constant < int , 4 >> :: value gleich 2 .

Beispiel

Siehe auch