17370845950

C++11中constexpr函数体必须且仅能有一条return语句，不可有变量声明、分支循环等；条件逻辑需用三目运算符，递归终止也须内联于return表达式中。

constexpr 函数体只能包含一条 return 语句（C++11）

C++11 的 constexpr 函数限制极严：函数体内**必须且仅能有一条可执行语句**，且必须是 return。这意味着不能有变量声明（哪怕 constexpr int x = 42;）、不能有 if/for/while、不能有逗号表达式、甚至不能有空语句或花括号块（除非是返回值的初始化列表）。

常见错误现象：error: constexpr function's body not a single return statement。

• 正确写法只能是类似 constexpr int square(int x) { return x * x; }
• 想做条件判断？得用三目运算符：return x > 0 ? x : -x;，不能写 if (x > 0) return x; else return -x;
• 想计算阶乘？必须递归 + 三目终止：return n
• 局部 static 或普通变量声明直接报错；constexpr 变量声明也不允许（C++11 中它本身不是语句）

所有参数和返回类型必须是字面类型（LiteralType）

不是所有类型都能参与编译期计算。C++11 要求 constexpr 函数的参数和返回类型必须是字面类型——即能拥有字面常量值的类型，包括算术类型、指针、引用、枚举，以及满足特定条件的类（有 trivial 构造、析构，所有非静态成员均为字面类型等）。

常见踩坑点：

• std::string 不是字面类型 → constexpr std::string f() { ... } 非法
• 自定义类若含 std::vector 成员或虚函数，就不是字面类型
• 数组类型可以，但必须是已知大小的内置类型数组，如 int[5]；int[]（不完整类型）不行
• 返回 const int& 是允许的，但前提是引用的对象本身是编译期可知的（比如引用全局 constexpr 变量）

函数调用实参必须是常量表达式，否则退化为普通函数调用

constexpr 函数不是“强制编译期执行”，而是“允许在常量表达式中使用”。是否真在编译期求值，取决于调用时的实参是否构成常量表达式。

例如：

constexpr int add(int a, int b) { return a + b; }
constexpr int x = add(2, 3);        // ✅ 编译期计算，x 是字面常量
int y = 5;
int z = add(y, 3);                 // ❌ 运行时调用（y 非常量表达式），但语法合法

关键判断点：

• 实参必须是常量表达式：字面量、constexpr 变量、其他 constexpr 函数调用结果（且其参数也满足）
• 任何涉及运行时输入（如 cin >> n; 后的 n）、未初始化变量、new 表达式，都会导致调用无法用于常量上下文
• 即使函数本身符合 constexpr 语法，只要一次调用用了非常量实参，该次调用就只是普通函数调用，不触发编译期计算

递归深度受限，且不能有副作用

C++11 允许 constexpr 函数递归，但编译器对嵌套层数有硬性限制（如 GCC 默认 512 层，Clang 约 1024），超限会报 error: constexpr evaluation hit ma

同时，所有操作必须无副作用：不能修改全局/静态变量、不能调用非 constexpr 函数（包括 std::printf、new、throw）、不能有 volatile 访问。

• 常见误用：static int counter = 0; ++counter; → 违反无副作用要求
• throw std::logic_error("oops"); → C++11 中 throw 不是常量表达式操作
• 试图在 constexpr 函数里调用 std::sqrt？不行——标准库绝大多数数学函数在 C++11 中都不是 constexpr 的
• 递归爆栈不是运行时问题，而是编译失败；需手动展开或改用迭代式逻辑（但 C++11 不支持循环语句，所以只能靠模板元编程补位）

C++11 的 constexpr 更像一个“受限的编译期表达式包装器”，而非真正的编译期编程工具。它的边界非常清晰：单语句、字面类型、纯函数式、无状态。一旦越界，编译器不会尝试推导或降级处理，而是直接报错——这点和 C++14 及之后的宽松规则有本质区别。