この静的アサートが機能しないのはなぜですか？

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);  
} 

（GCC）の結果、これをコンパイルする私は何もしてsetValueを呼び出す場合

error: size of array 'dummy' is negative

に、私はこのエラーが唯一apprearことを期待しますint以外。私は他の提案されたソリューションも試しましたが、多かれ少なかれ同じ結果が得られました。テンプレートをint以外でインスタンス化しなくても、エラーはあります。私は間違って何をしていますか？

Answer 1

インスタンス化ごとにテンプレートが無効な場合、プログラムは不正な形式であり、診断は必要ありません。したがって、テンプレート引数が何であっても、setValueのプライマリテンプレートは無効であるため、GCCは完全に有効です。

この問題を解決する方法は、STATIC_ASSERTの式をテンプレートパラメータに依存させることです。 1つのオプションは、このような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); }