常量表达式

 

C

语言

头文件

类型支持

程序工具

变参数函数支持

动态内存管理

错误处理

日期和时间工具

字符串库

算法

数值

输入/输出支持

本地化支持

线程支持 (C11)

原子操作 (C11)

技术规范

 

C 语言

基本概念

关键词

预处理器

语句

表达式

初始化

声明

函数

杂项

C 的历史

技术规范

 

表达式

通用

值类别

求值顺序与顺序点

常量表达式

隐式转换

泛型选择

常量及字面量

整数常量

浮点常量

字符常量

字符串字面量

复合字面量

运算符

运算符优先级

成员访问与间接

逻辑运算符

比较运算符

算术运算符

赋值运算符

自增减

函数调用、逗号、条件运算符

sizeof

_Alignof (C11)

转型运算符

 

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

预处理器常量表达式

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

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

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

#if 表达式中，对有符号类型以 intmax_t 的语义，而对无符号类型以 uintmax_t 的语义进行整数算术。

(C99 起)

整数常量表达式

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

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

_Alignof 运算符

(C11 起)

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

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

数组指代器的下标	(C99 起)
_Static_assert 的首参数 _Alignas 的整数参数	(C11 起)

静态初始化器

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

1) 算术常量表达式，即由下列内容构成的任何算术类型表达式

• 赋值、自增、自减、函数调用或逗号以外的运算符，除了转型运算符必须转换算术类型到其他算术类型
• 整数常量
• 浮点常量
• 枚举常量
• 字符常量
• 运算数非 VLA 的 (C99 起)sizeof 运算符

_Alignof 运算符

(C11 起)

2) 空指针常量 NULL

3) 地址常量表达式，即

• 空指针
• 指代静态存储期的对象的左值，或函数指代器，通过下列方式之一转换为指针

• 用一元取址运算符
• 转型整数常量到指针
• 数组到指针或函数到指针隐式转换

4) 某完整对象类型的地址常量表达式加或减一个整数常量表达式

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

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; // 引发异常
}

注意

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

引用

• C11 standard (ISO/IEC 9899:2011):

• 6.6 Constant expressions (p: 106-107)

• C99 standard (ISO/IEC 9899:1999):

• 6.6 Constant expressions (p: 95-96)

• C89/C90 standard (ISO/IEC 9899:1990):

• 3.4 CONSTANT EXPRESSIONS

参阅