大小写标签中允许使用下划线吗？

Question

在一些我无法修改的头文件中，我有以下一组定义：

#define FLAG1                      (0x0000_0001)
#define FLAG2                      (0x0000_0002)
...

然后，在我的代码中，我在 switch 中使用它们：

switch (aaa) {
    case FLAG1:
    ....

    case FLAG2:
    ....
}

因此，Coverity 报告每个案例标签有 2 个缺陷：

RW.EXP_RPAREN: 
Event exp_rparen: expected a ")"

RW.CASE_LABEL_CONFLICT:
Event case_label_conflict: case label value has already appeared in 
this switch at line XX

这些案例标签有什么问题？是否违反C标准？

Answer 1

是的，您可以使用括号。您不允许拥有诸如0x0000_0001之类的数字。

这不是有效的十六进制数字，您可能必须删除 _ 字符。

Answer 2

是的，正是下划线引起了问题。 FWIW，这里是 C 语言标准的相关部分（草案 n1256):

• § 6.4.4.1 整型常量：定义整型常量的结构并表明 _ 不是整型常量的有效字符；
• § 6.6 常量表达式：定义常量表达式的限制；
• § 6.8.4.2 switch 语句：定义switch 语句中case 标签的限制。

Answer 3

当它发现在十六进制表示法中无效的 _ 时，它认为它需要 ) 。

编译器实际上应该这样抱怨：

error: invalid suffix "_0001" on integer constant

case 标签很可能包含括号：

switch(number) {
    // no way to determine operator 
    // precedence without parens here
    case 2*(1+2):
}