6.7.10 静态断言

语法

1、static-assert_declaration:

_Static_assert    (    constant-expression    ,    string-literal    )    ;

约束

2、常量表达式应该不等于0。

语义

3、常量表达式应该是一个整数常量表达式。如果常量表达式的值不等于0,那么声明没有任何效果。否则,就违背了约束,实现应该产生一条诊断信息,包含所指定的字符串字面量文本,除了不包含在基本源字符集中的字符不要求出现在消息中之外。

05-22 09:24