constexpr函数是否允许副作用？相关编译疑问求助

1. 非常量上下文调用时的副作用允许情况 #

是的，当你在非常量表达式上下文（比如普通函数调用、运行时变量赋值）中调用constexpr函数时，编译器不会强制检查函数是否有副作用。此时constexpr函数的行为和普通函数完全一致——只要代码符合普通函数的语法规则，就能通过编译。只有当函数被用于常量表达式上下文（比如初始化constexpr变量、模板参数、枚举值等）时，编译器才会严格验证函数是否符合constexpr的所有约束（包括无副作用）。

举个实际代码示例：

constexpr int add_and_modify(int& x) {
    x++; // 副作用：修改外部变量
    return x + 5;
}

int main() {
    int a = 0;
    int b = add_and_modify(a); // 非常量上下文：编译通过，a会被修改为1
    constexpr int c = add_and_modify(a); // 常量上下文：编译失败，因为函数有副作用
    return 0;
}

在GCC 11.2.0中，上述代码里int b = ...的部分能正常编译，而constexpr int c = ...会触发编译错误，这就是上下文差异导致的规则区别。

2. C++标准对constexpr函数副作用的更新 #

C++标准确实逐步放宽了constexpr函数的限制，但并非完全允许任意副作用：

• C++11：constexpr函数几乎不能有任何副作用，仅支持算术运算、return语句等极有限操作。
• C++14：允许在constexpr函数中使用局部变量、循环，但仍禁止修改外部状态（比如全局变量、引用参数），也禁止I/O操作。
• C++20：进一步放宽规则，允许在constexpr函数中修改局部非const变量（只要这些变量的生命周期在常量表达式求值期间），但依然禁止修改外部状态、进行I/O等影响程序全局状态的副作用。

你能编译通过带副作用的constexpr函数，大概率是因为副作用属于C20允许的局部变量修改，或者是在非常量上下文调用——这两种情况都符合标准，而GCC 11.2.0已经支持大部分C20特性。

3. 书中“用于初始化”的场景具体指什么 #

书中提到的“用于初始化”场景，特指用常量表达式初始化需要编译期确定值的对象，常见场景包括：

• 初始化constexpr或const类型的变量（当该变量需要编译期常量时）：

  constexpr int val = my_constexpr_func(); // 此处初始化依赖编译期求值
  

• 初始化数组的大小：

  int arr[my_constexpr_func()]; // 数组大小必须是编译期常量
  

• 初始化枚举类型的成员：

  enum class MyEnum {
      Value = my_constexpr_func() // 枚举值必须是编译期常量
  };
  

• 作为模板参数：

  template<int N>
  struct MyStruct {};
  
  MyStruct<my_constexpr_func()> s; // 模板参数必须是编译期常量
  

这些场景都属于“常量需求场景”，此时constexpr函数必须严格符合无副作用（或对应C++版本的constexpr约束）的要求，否则编译会失败。

内容的提问来源于stack exchange，提问作者user51462