常量表达式

表达式的数种变体被称为常量表达式。

预处理器常量表达式

跟随 #if 或 #elif 的表达式必须展开成

• 赋值、自增、自减、函数调用或逗号以外的，参数为预处理器常量表达式的运算符
• 整数常量
• 字符常量
• 特殊预处理器运算符 defined

字符常量在 #if 表达式中求值时，可能以源字符集、执行字符集或某个其他实现定义字符集转译。

整数常量表达式

整数常量表达式是仅由下列内容组成的表达式

• 赋值、自增、自减、函数调用或逗号以外的运算符，除了转型运算符只能转型算术类型为整数类型
• 整数常量
• 枚举常量
• 字符常量
• 浮点常量，但仅若立即以它们为转型到整数类型的运算数才行
• 运算数非 VLA 的 (C99 起)sizeof 运算符

整数常量表达式在编译时求值。下列语境要求被称为整数常量表达式的表达式：

• 位域的大小
• 枚举常量的值
• switch 语句的 case 标号
• 非 VLA (C99 起)数组的大小
• 整数到指针隐式转换。

静态初始化器

拥有静态和线程局域存储期的对象初始化器中使用的表达式必须是下列表达式之一

不同于整数常量表达式，不要求静态初始化器在编译时求值；编译器有将这种初始化器转变为在程序启动前调用的可执行代码的自由。

static int i = 2 || 1 / 0; // 初始化 i 为值 1

浮点静态初始化器的值的精度决不低于在运行时执行的同一表达式，但可以高于后者。

浮点常量表达式

不用于静态初始化器中的浮点类型的算术常量表达式，始终如同在运行时求值，受当前舍入影响（若 FENV_ACCESS 为 ON ），并报告 math_errhandling 中指定的错误。

void f(void)
{
#pragma STDC FENV_ACCESS ON
    static float x = 0.0/0.0; // 静态初始化器：不引发异常
    float w[] = { 0.0/0.0 }; // 引发异常
    float y = 0.0/0.0; // 引发异常
    double z = 0.0/0.0; // 引发异常
}

注意

若表达式求值到的值不能以其类型表示，则不能以之为常量表达式。

引用