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）会导致

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

只有当我使用setValue之外的任何内容调用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); }

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

1 个答案: