std::experimental:: conjunction

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

타입 특성 B... 의 논리곱 을 형성하며, 특성 시퀀스에 대해 논리 AND 연산을 효과적으로 수행합니다.

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

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

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

논리곱(Conjunction)은 단락 평가(short-circuiting)를 수행합니다: 만약 Bi 템플릿 타입 인자 중 bool ( Bi :: value ) == false 인 경우가 존재하면, conjunction < B1, ..., BN > :: value 의 인스턴스화는 j > i 인 Bj :: value 의 인스턴스화를 요구하지 않습니다.

템플릿 매개변수

헬퍼 변수 템플릿

가능한 구현

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

참고 사항

conjunction 의 특수화는 반드시 std:: true_type 또는 std:: false_type 를 상속받지 않습니다: 단순히 bool로 변환된 ::value가 false인 첫 번째 B를 상속하거나, 모든 값이 true로 변환될 경우 마지막 B를 상속합니다. 예를 들어, conjunction < std:: integral_constant < int , 2 > , std:: integral_constant < int , 4 >> :: value 는 4 입니다.

예제

#include <experimental/type_traits>
#include <iostream>
// func는 모든 Ts...이 동일한 타입을 가질 때 활성화됨
template<typename T, typename... Ts>
constexpr std::enable_if_t<std::experimental::conjunction_v<std::is_same<T, Ts>...>>
func(T, Ts...)
{
    std::cout << "All types are the same.\n";
}
template<typename T, typename... Ts>
constexpr std::enable_if_t<!std::experimental::conjunction_v<std::is_same<T, Ts>...>>
func(T, Ts...)
{
    std::cout << "Types differ.\n";
}
int main()
{
    func(1, 2'7, 3'1);    
    func(1, 2.7, '3');    
}

All types are the same.
Types differ.

참고 항목