std :: conditional with SFINAE

Question

std :: enable과 같은 일종의 std :: enable_if_and_else를 만들 수는 있지만 정의되지 않은 클래스에 대해서는 컴파일 타임 오류가 없습니다. 여기

은 예입니다

Answer 1

이 :: 표준처럼, 표준 : enable_if_and_else의 종류를 만들 수 조건으로하지만, 클래스의 컴파일 시간 오류없이

static constexpr bool myExpr = true; 

struct A {}; 
struct B; 

struct C : 
    std::conditional<myExpr, 
     A, 
     B>::type 
    {}; // Compilation error: B is declared but not defined 

struct D : 
    enable_if_else<myExpr, 
     A, 
     B>::type 
    {}; // It works 

덕분에 그 정의되지 않았습니다.

이해야하지 당신이 완료하는 데 필요한 방법으로 B를 사용하지 않는 때문에 B 경우, 불완전 std::conditional<true, A, B>::type에 대한 오류.

그래서 std::conditional은 이미 원하는 내용입니다.