C++ constexpr是什么_C++编译期常量表达式与性能优化

constexpr用于声明编译期常量表达式，可修饰变量、函数和构造函数；变量必须在编译期确定值，函数在参数为常量时于编译期求值；支持编译期计算优化性能，提升类型安全，广泛应用于现代C++的模板和标准库中。

constexpr 是 C++11 引入的关键字，用于声明“常量表达式”，即在编译期就能求值的表达式。它不仅能定义编译期常量，还能修饰函数和构造函数，使它们在合适的情况下于编译时执行，从而提升程序性能并支持模板元编程等高级特性。

编译期常量表达式的基本用法

使用 constexpr 声明的变量必须在编译期就能确定其值，且该值不可修改。这与 const 不同——const 只表示运行时常量，而 constexpr 要求真正的编译期计算。

• constexpr int size = 10; —— 合法，整数字面量可在编译期计算
• constexpr int x = std::sqrt(4); —— C++26 前不合法（除非 sqrt 被 constexpr 修饰）
• int n = 5; constexpr int y = n; —— 非法，n 是变量，无法在编译期确定

constexpr 函数：让函数参与编译期计算

被 constexpr 修饰的函数，在传入的是编译期常量时，会尝试在编译期求值；否则退化为普通函数在运行时执行。这提供了极大的灵活性。

• 函数体通常只包含一条 return 语句（C++11），C++14 起允许更复杂的逻辑
• 参数和返回类型必须是“字面类型”（literal type），如基本类型、简单类等
• 示例：

constexpr int square(int n) { return n * n; }
constexpr int val = square(5); // 编译期计算，val = 25

constexpr 构造函数与对象

如果一个类的构造函数被声明为 constexpr，并且用于初始化的对象使用常量表达式，那么该对象也可成为编译期常量。

• 构造函数体必须为空或仅含初始化列表
• 所有成员也必须能由常量表达式初始化
• 可用于数组大小、模板非类型参数等需要编译期常量的场景

性能优化与实际应用

constexpr 的最大优势在于将计算从运行时转移到编译时，减少运行开销，尤其适用于数学计算、字符串处理、配置常量等。

• 避免重复运行时计算，如查表、单位换算
• 配合模板使用，实现类型安全的编译期断言或配置
• 现代 C++ 标准库中大量使用（如 std::array、std::chrono 中的部分函数）

基本上就这些。合理使用 constexpr 能显著提升程序效率，同时增强类型安全和可读性，是现代 C++ 性能优化的重要手段之一。不复杂但容易忽略。