constexpr构造函数要求：所有成员必须用常量表达式初始化；函数体在C++11中须为空或仅return，C++14+允许简单语句但全为常量表达式；禁止虚函数、异常、goto等运行时特性；所有调用的函数也须为constexpr。
constexpr构造函数必须满足什么条件
它不是“加个constexpr关键字就能用”的语法糖，而是编译器对构造逻辑的严格审查。只有当整个构造过程能在编译期完全求值、不触发任何运行时行为时，才被允许。
- 所有成员变量初始化必须通过常量表达式完成，比如不能调用
std::time(nullptr)或new - 函数体必须为空，或只包含
return;（C++11）；C++14起允许简单语句，但所有操作仍需是常量表达式 - 不能有虚函数、虚基类、异常处理（
try/catch）、goto等运行时机制 - 所有被调用的成员函数、构造函数也必须是
constexpr
典型错误现象：error: constexpr constructor does not initialize all members 或 error: call to non-constexpr function。
怎么写一个真正可用的constexpr构造函数
核心是“从定义开始就只依赖编译期已知值”。比如封装一个固定长度字符串：
struct FixedString {
char data[16];
constexpr FixedString(const char* s) : data{} {
for (int i = 0; i < 15 && s[i]; ++i) {
data[i] = s[i];
}
}
};- 数组大小必须字面量（如
[16]），不能是int n参数 - 初始化列表里用
data{}而非data()——后者在C++11中不被视为常量初始化 - 循环上限必须是常量（
15），且不能依赖外部变量 - 传入的
s必须是字符串字面量（如"hello"），否则无法通过编译
常见误用：试图把std::string或std::vector塞进constexpr构造函数——它们内部用了动态内存，直接报错。
立即学习“C++免费学习笔记（深入）”；
为什么static_assert能检测constexpr对象，而auto却可能失败
因为static_assert强制要求其参数是常量表达式，而auto推导只是类型，不约束求值时机。
- 写
constexpr FixedString s{"abc"};→ 成功，对象生命周期从编译期开始 - 写
auto s = FixedString{"abc"};→ 可能退化为运行时构造（尤其在非全局/非constexpr上下文中） - 写
static_assert(s.data[0] == 'a');→ 强制验证s是否真为编译期常量
性能影响很直接：真正的constexpr对象，其数据可直接内联进二进制，不占运行时内存；一旦退化，就和普通对象一样要执行构造函数代码。
模板参数 + constexpr构造函数的组合陷阱
这是最容易忽略的复杂点：模板实参本身必须是常量表达式，但构造函数能否参与推导，取决于是否满足constexpr前提。
-
template <size_t n> struct Buf { char d[N]; constexpr Buf() = default; };</size_t>→ 合法，N是编译期整数 -
Buf<sizeof> b;</sizeof>→ 能工作，因为FixedString{"x"}构造成功，sizeof是常量表达式 -
Buf<strlen> b;</strlen>→ 错误！strlen不是constexpr函数（C++20前）
真正难缠的是跨翻译单元的 constexpr 对象引用：如果头文件里声明了extern constexpr FixedString s = {"abc"};，但定义放在.cpp里，链接时可能丢失常量性，导致static_assert失败——这种问题往往只在LTO关闭时暴露。
