Question

我编写了这段代码，通过令牌连接创建包含通用字符名称的标识符。

//#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 with -fextended-identifiers option和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;
}

当地的铿锵声说：

# 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翻译阶段：

如果是字符序列那个匹配通用字符名称的语法由token生成连接（6.10.3.3），行为未定义。

我认为这个字符序列\u306d\u3053可能“匹配通用字符名称的语法”，因为它包含通用字符名称作为其子字符串。我还认为“匹配”可能意味着通过串联产生的整个令牌代表一个通用字符名称，因此在此代码中不会调用此未定义的行为。

阅读PRE30-C. Do not create a universal character name through concatenation，我发现一条评论说允许这种串联：

禁止通过连接创建新的UCN。喜欢做

赋值（\ u0001,0401，A，B，4）

只是在任何地方连接恰好包含UCN的东西都可以。

显示a code example like this case (but with 4 characters)替换为another code example的日志。

我的代码示例是否会调用某些未定义的行为（不限于通过令牌串联生成通用字符名称而调用的行为）？或者这是铿锵的错误吗？

Answer 1

您的代码未触发您提及的未定义行为，因为通用字符名称（6.4.3）不是由标记串联生成的。

并且，根据6.10.3.3，由于运算符userstore/username@tenantdomain的左侧和右侧都是标识符，并且生成的标记也是有效的预处理标记（也是标识符），{{ 1}}运算符本身不会触发未定义的行为。

在阅读了关于标识符（6.4.2，D.1，D.2），通用字符名称（6.4.3）的描述之后，我非常确定它更像是clang预处理器中的错误，处理由标记串联和普通标识符产生的标识符。

通过令牌连接创建包含通用字符名称的标识符

1 个答案: