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

2019-07-27 12:07:11 阅读：238 来源： 互联网

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

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

ICode9

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