C++ std :: enable_if

Question

나는 std :: enable_if를 처음 사용하고 어떻게 사용하는지 궁금하다. 나는이 가능하여 표준 : enable_if을 할 수

template<int a, int b> 
class foo { 
} 

가 지금은 단지가 10 에 B와 동일 + 때 인스턴스화 할 : 나는 템플릿 클래스가?

두 번째 질문 : 내가

template<int a, int b> 
class foo { 
    int c; 
} 

가 난 단지

a = 5. 

가 어떻게 사용 표준 : enable_if 그렇게 할 때 C를 갖고 싶어 클래스 foo는의 구성원이 있다면? std :: enable_if를 사용하는 올바른 사례입니까?

Answer 1

난 당신이

template<int a, int b> 
class foo { 
    static_assert(a+b==10, "a+b is not 10"); 
}; 

int main() 
{ 
    foo<5,5> f; // will compile 
    foo<1,5> f; // will fail to compile with error: a+b is not 10 
    return 0; 
} 

enable_if 주로 조건부 유형의 특성에 따라 오버로드 확인에서 함수와 클래스를 제거하고 별도의 기능 과부하 및 전문화를 제공하는 데 사용됩니다 대신 enable_if의 제약 조건을 적용 할 static_assert 더 사용할 수있는 것 같아요 다른 유형 형질에 대해서.

Answer 2

template<int a, int b, typename T = typename std::enable_if<a + b == 10>::type> 
class foo { 
}; 

이 작업을 수행해야합니다. 템플릿을 인스턴스화 할 때 세 번째 템플릿 매개 변수를 명시 적으로 제공하지 않았는지 확인하십시오.

---

다른 언급처럼, static_assert은 훨씬 더 적합합니다.

Answer 3

단순, 단지 enable_if`가 무엇인지 '아니라고 enable_if

template<bool Ten> 
struct Base 
{ 
    int c; 
}; 

template<> 
struct Base<false> 
{ }; 

template<int a, int b> 
struct foo : Base<a+b == 10> 
{ 
};