constexpr 说明符 (C23 起)

 

C

编译器支持

语言

头文件

类型支持

程序工具

变参数函数支持

错误处理

动态内存管理

字符串库

算法

数值

日期和时间工具

输入/输出支持

本地化支持

并发支持 (C11)

技术规范

符号索引

 

C 语言

基本概念

关键词

预处理器

语句

表达式

初始化

声明

函数

杂项

C 的历史

技术规范

 

声明

指针

数组

enum

struct

union

位域

原子类型 (C11)

const

volatile

restrict (C99)

对齐说明符 (C11)

存储期与链接

外部及试探性定义

typedef

静态断言 (C11)

属性 (C23)

 

用 constexpr 存储类说明符声明的标量对象属于常量。必须根据静态初始化规则进行完全且明确的初始化。它仍然有适于其声明的链接，并且在运行时存在，以获取其地址；它只是在运行时不能以任何方式进行修改，即，编译器可以在任何其他常量表达式中运用“对象具有固定值“的知识。

此外，这种常量的初始化式所使用的常量表达式，在编译时进行检查。

浮点类型的初始化式必定在翻译时的浮点环境中进行计算。

可以用 constexpr 声明的对象类型有一些限制。也就是说，以下构造不能使用 constexpr：

• 指针 (但空指针可以为 constexpr),
• 可变修改类型，
• 原子类型，
• volatile 类型，
• restrict 指针。

关键词

constexpr

示例

运行此代码

#include <fenv.h>
#include <stdio.h>
 
int main(void)
{
    constexpr float f = 23.0f;
    constexpr float g = 33.0f;
    fesetround(FE_TOWARDZERO);
    constexpr float h = f / g; // 不会被上方的 fesetround() 影响
    printf("%f\n", h);
}

输出：

0.696969

引用

• C23 标准（ISO/IEC 9899:2024）：

• TBD TBD （第 TBD 页）