std::experimental:: disjunction

ISO C++에 통합됨 이 페이지에서 설명하는 기능은 2016년 2월 기준으로 주류 ISO C++ 표준에 통합되었습니다. 참조: std::disjunction (since C++17)

타입 특성 B... 의 논리적 선언 을 구성하며, 특성 시퀀스에 논리적 OR 연산을 효과적으로 수행합니다.

특수화 std :: experimental :: disjunction < B1, ..., BN > 는 공개적이고 명확한 베이스를 가집니다.

• 만약 sizeof... ( B ) == 0 이면, std:: false_type ; 그렇지 않으면
• B1, ..., BN 중에서 bool ( Bi :: value ) == true 인 첫 번째 타입 Bi , 또는 그러한 타입이 없으면 BN .

기본 클래스의 멤버 이름 중 disjunction 과 operator= 를 제외한 나머지는 숨겨지지 않으며 disjunction 에서 명확하게 사용 가능합니다.

디스정션(disjunction)은 단락 평가(short-circuiting)를 수행합니다: 만약 Bi 와 같은 템플릿 타입 인자 중 bool ( Bi :: value ) ! = false 를 만족하는 인자가 존재한다면, disjunction < B1, ..., BN > :: value 의 인스턴스화는 j > i 인 Bj :: value 의 인스턴스화를 요구하지 않습니다.

템플릿 매개변수

헬퍼 변수 템플릿

가능한 구현

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

참고 사항

disjunction 의 특수화는 반드시 std:: true_type 또는 std:: false_type 중 하나로부터 상속받는 것은 아닙니다: 단순히 bool 로 명시적으로 변환된 ::value 가 true인 첫 번째 B 로부터 상속받거나, 모두 false로 변환될 경우 마지막 B 로부터 상속받습니다. 예를 들어, disjunction < std:: integral_constant < int , 2 > , std:: integral_constant < int , 4 >> :: value 는 2 입니다.

예제

참고 항목