이 정적 어설 션이 작동하지 않는 이유는 무엇입니까?

Question

pre-C++ 11 정적 어설 션을 사용하려고합니다. 나는 this 및 this 질문을 찾았지만, 어떻게 든 그것을 실행 얻을 캔트 :

#define STATIC_ASSERT(x) \ 
    do { \ 
     const static char dummy[(x)?1:-1] = {0};\ 
    } while(0) 

struct bar { 
    int value; 
    template<typename T> void setValue(T x); 
}; 
template<typename T> void bar::setValue(T x) { STATIC_ASSERT(1==0); } 
template<> void bar::setValue(int x) { value = x;} 

int main(){ 
    bar b; 
    int c = 1; 
    b.setValue(c);  
} 

나는 아무것도 setValue를 호출하면 나는이 오류는 apprear 기대

error: size of array 'dummy' is negative

이 (GCC)를 컴파일 결과 int 이외. 나 또한 다른 제안 된 솔루션을 시도했지만 더 많거나 적은 같은 결과 : int 이외의 다른 템플릿으로 인스턴스화하지 않더라도 오류가 있습니다. 내가 도대체 ​​뭘 잘못하고있는 겁니까?

Answer 1

템플릿이 모든 인스턴스화에 대해 유효하지 않은 경우 프로그램이 잘못 구성되어 진단이 필요하지 않습니다. GCC는 따라서 템플릿 인수가 무엇이든 setValue의 기본 템플릿이 유효하지 않으므로 여기서 오류를 완벽하게 유효하게합니다.

이 문제를 해결하는 방법은 STATIC_ASSERT 표현식을 템플릿 매개 변수에 종속시키는 것입니다. 하나의 옵션은이 같은 dependent_false 템플릿 클래스를 만드는 것입니다 :

template <typename T> struct dependent_false 
{ const static bool value = false; }; 

template<typename T> void bar::setValue(T x) 
{ STATIC_ASSERT(dependent_false<T>::value); }