为什么不允许 constexpr 局部变量作为默认函数参数？

问题描述

我想我明白为什么 C++ 不允许 local 变量作为默认函数参数：

int main () {
   auto local{1024};
   auto lambda = [](auto arg1 = local){};    // "illegal use of local variable as default parameter"
}

但即使该变量是一个constexpr 本地，也是不允许的：

int main () {
   constexpr auto local{1024};
   auto lambda = [](auto arg1 = local){};    // "illegal use of local variable as default parameter"
}

但是，允许使用全局变量（即使是非constexpr）：

int global;
int main () {
   auto lambda = [](int arg1 = global){};    // OK
}

有人可以解释在这种情况下不允许使用 constexpr 局部变量的原因吗？当默认值是固定的并且在编译时已知时，编译器似乎应该能够为函数构造适当的“默认参数”重载。

解决方法

这是一个关于生命周期的问题。让我们将您的功能修改为

XXXAsync

现在，在 auto get_functor() { constexpr auto local{1024}; return [](auto arg1 = local){}; // "illegal use of local variable as default parameter" } 的调用点，您得到一个 lambda，其默认值是不再存在的对象的值。由于每次调用函数时都会评估默认参数，而相应参数没有参数，因此您需要初始化表达式在所有范围内都有效。

c++constexpr default-arguments