PRE30-C. 不要通过拼接来构造通用字符名

PRE30-C. 不要通过拼接来构造通用字符名

C语言标准支持将不在基本字符集中的字符作为通用字符名，用于标识符、字符常量和字符串字面值。通用字符名 \Unnnnnnnn 指定了8位数字的短标识符 nnnnnnnn。类似的，通用字符名\unnnn 指定了一个4位数字构成的短标识符 nnnn 。

C语言标准，5.1.1.2，第4段 [ISO/IEC 9899:2011], 描述如下：

如果一个满足通用字符名的字符序列是通过符合拼接构建的(6.10.3.3), 行为是未定义的。

参见未定义行为3.

总之，除非必要尽量避免使用通用字符名。

不遵从规范的示例代码

下面的示例代码不遵从规范，因为它通过符合拼接构建了通用字符名：

#define assign(uc1, uc2, val) uc1##uc2 = val
 
void func(void) {
  int \u0401;
  /* ... */
  assign(\u04, 01, 4);
  /* ... */
}

遵从规范的方案

这个遵从规范的方案也使用了通用字符名，但没有通过符号拼接来创建：

#define assign(ucn, val) ucn = val
  
void func(void) {
  int \u0401;
  /* ... */
  assign(\u0401, 4);
  /* ... */
}

Risk Assessment

Creating a universal character name through token concatenation results in undefined behavior.

Rule	Severity	Likelihood	Remediation Cost	Priority	Level
PRE30-C	Low	Unlikely	Medium	P2	L3

Bibliography

[ISO/IEC 10646-2003]
[ISO/IEC 9899:2011]	Subclause 5.1.1.2, “Translation Phases”