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

发布时间：2020-12-16 10:04:14 所属栏目：百科来源：网络整理

导读：我试图使用pre-C 11静态断言.我发现了 this和 this的问题,但不知怎的,我无法让它运行： #define STATIC_ASSERT(x) do { const static char dummy[(x)?1:-1] = {0}; } while(0)struct bar { int value; templatetypename T void setValue(T x);};templat

我试图使用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); }

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!