ISO/IEC 9899:2011 条款6.5.1——基本表达式

6.5.1 基本表达式

语法

1、primary-expression:

        identifier

        constant

        string-literal

        (    expression    )

        generic-selection

语义

2、一个标识符是一个基本表达式，提供为，它作为指派一个对象（在这种情况下，它是一个左值）或一个函数（在这种情况下，它是一个函数指派符）而被声明。［注：从而，一个未声明的标识符是对此语法的违反。］［译者注：比如：

int a = 10;
a;    // 这是一个基本表达式

］

3、一个常量是一个基本表达式。其类型依赖于其形式和值，在6.4.4中详细描述。

4、一个字符串字面量是一个基本表达式。它是具有在6.4.5中所描述的类型的一个左值。［译者注：即，一个字符串字面量具有地址。］

5、一个括号表达式是一个基本表达式。其类型和值与相应没用括号的表达式的一样。它是一个左值、一个函数指派符，或是一个void表达式，如果没用括号的表达式分别是一个左值、一个函数指派符，或是一个void表达式的话。

6、一个泛型选择是一个基本表达式。其类型与值依赖于被选中的泛型关联，在以下子条款中详细描述。

6.5.1.1 泛型选择

语法

1、generic-selection:

    _Generic    (    assignment-expression  ,  generic-assoc-list    )

    generic-assoc-list:

        generic-association

        generic-assoc-list  ,  generic-association

    generic-association:

        type-name  :  assignment-expression

        default  :  assignment-expression

［译者注：其中，表示一个assignment-expression赋值表达式，在6.5.16中介绍。然而，这里的assignment-expression也可以是一个基本表达式，比如一个标识符或常量。］

 

限制

2、一个泛型选择应该最多含有一个default泛型关联。在一个泛型联合中的类型名应该指定一个完整的对象，而不是一个可变修改的类型。在同一泛型选择中的任意两个泛型关联不应该指定相兼容的类型。一个泛型选择的控制表达式应该具有与在其泛型关联列表中命名的最多一个类型相兼容的类型。如果一个泛型选择不具有default泛型关联，那么其控制表达式应该恰好具有一个在其泛型关联列表中命名的一个类型相兼容的类型。［译者注：这里的控制表达式即圆括号中的assignment-expression。］

3、一个泛型选择的控制表达式不被计算。如果一个泛型选择具有一个泛型关联，其类型名与控制表达式的类型相兼容，那么该泛型选择的结果表达式就是那个泛型关联中的表达式。否则，该泛型选择的结果表达式为default选择关联中的表达式。然后，该泛型选择中的所有其它泛型关联都不会被计算。[译者注：这里所谓的表达式不会被计算，并不意味着编译器不做语法判断，只是说表达式不会被执行，比如以下代码：

_Generic(100, int: 200, float:0.34 & 1.25);    // 编译器错误
_Generic(100, int: 200, float:0.34 * 1.25);    // OK，0.34 * 1.25不会被执行

上面一行代码中，表达式0.34 & 1.25尽管不会被执行，也不会生成相应的目标代码，但是它并不符合按位与操作符的语法（按位与操作符的操作数不允许是浮点数），因此在编译时仍然会报错。而第二行代码没有问题，同时0.34 * 1.25这个表达式相关的目标代码也不会被生成。

]

4、一个泛型选择的类型和值对于其结果表达式是一样的。它可以是一个左值、一个函数指派符，或是一个void表达式，如果其结果表达式分别为一个左值、一个函数指派符，或是一个void表达式。

5、例  cbrt类型泛型宏可以如下实现：

#define cbrt(X)    _Generic((X),                   \
                            long double: cbrtl,    \
                            default: cbrt,         \
                            float: cbrtf,          \
                           ) (X)

［译者注：上述由泛型表达式所返回的结果表达式为cbrtl、cbrt或cbrtf函数指派符，它们被自动转换为函数指针。］