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

Why does this static assert not work?

本文关键字：断言 不起作用 静态 为什么      更新时间：2023-10-16

我正在尝试使用c++ 11之前的静态断言。我发现了这个和这个问题，但不知何故我不能让它运行:

#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)会得到

错误:数组'dummy'的大小为负

我希望只有当我用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); }
相关文章：