c – 为什么这个静态断言不起作用？

我试图使用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)会导致

error: size of array ‘dummy’ is negative

只有当我用除int之外的任何东西调用setValue时,我才会期望这个错误.我也尝试了其他提出的解决方案,但结果大致相同：即使我没有用int以外的任何东西实例化模板,也会出现错误.我究竟做错了什么？

解决方法:

如果模板对于每个实例化都无效,则程序格式错误,无需诊断.因此,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); }

标签：static-assert,c,templates,c03
来源： https://codeday.me/bug/20190727/1553756.html