//#include <stdio.h>
int printf(const char*, ...);
#define CAT(a, b) a ## b
int main(void) {
//int \u306d\u3053 = 10;
int CAT(\u306d, \u3053) = 10;
printf("%d\n", \u306d\u3053);
//printf("%d\n", CAT(\u306d, \u3053));
return 0;
}
这段代码在使用gcc 4.8.2 的 -fextended-identifiers
选项 和 gcc 5.3.1时表现良好,但在使用clang 3.3时会出现错误信息:
prog.c:10:17: error: use of undeclared identifier 'ねこ'
printf("%d\n", \u306d\u3053);
^
1 error generated.
本地 clang(Apple LLVM版本7.0.2(clang-700.1.81))出现错误信息:
$ clang -std=c11 -Wall -Wextra -o uctest1 uctest1.c
warning: format specifies type 'int' but the argument has type
'<dependent type>' [-Wformat]
uctest1.c:10:17: error: use of undeclared identifier 'ねこ'
printf("%d\n", \u306d\u3053);
^
1 warning and 1 error generated.
当我使用-E
选项让编译器输出宏展开后的代码时,gcc 5.3.1输出了如下内容:
# 1 "main.c"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 1 "<command-line>" 2
# 1 "main.c"
int printf(const char*, ...);
int main(void) {
int \U0000306d\U00003053 = 10;
printf("%d\n", \U0000306d\U00003053);
return 0;
}
本地的clang生成了这个:
# 1 "uctest1.c"
# 1 "<built-in>" 1
# 1 "<built-in>" 3
# 326 "<built-in>" 3
# 1 "<command line>" 1
# 1 "<built-in>" 2
# 1 "uctest1.c" 2
int printf(const char*, ...);
int main(void) {
int \u306d\u3053 = 10;
printf("%d\n", ねこ);
return 0;
}
在printf()
中声明和使用的标识符在gcc的输出中匹配,但在clang的输出中不匹配。
我知道通过令牌连接创建通用字符名称会调用未定义的行为。
引自N1570 5.1.1.2翻译阶段:
如果通过令牌连接(6.10.3.3)产生与通用字符名称的语法相匹配的字符序列,则行为未定义。
我认为这个字符序列\u306d\u3053
可能“与通用字符名称的语法相匹配”,因为它包含通用字符名称作为其子字符串。我还想到,“匹配”可能意味着通过连接产生的整个标记代表一个通用字符名称,因此在此代码中不会调用此未定义的行为。
阅读PRE30-C. Do not create a universal character name through concatenation,我发现一条评论说这种连接是允许的:
禁止通过连接创建新UCN。就像做
assign(\u0001,0401,a,b,4)
只是连接一些碰巧包含UCN的东西是可以的。
以及一个日志,显示像这个案例一样的代码示例(但是有4个字符)被替换为另一个代码示例。
我的代码示例是否调用了某些未定义的行为(不限于通过令牌连接生成通用字符名称时调用的行为)?还是这是clang的错误?
//printf("%d\n", CAT(\u306d, \u3053));
这一行会导致它报错。使用clang至少可以得到一致的结果 - 我可以取消注释所有行并且编译器可以接受,因为使用CAT
的结果始终与直接连接不同。 - grek40