为何Lambda函数中string参数无法输出，char*参数却正常？

代码示例 #

auto Function(char dat[]) {
    return [&]() {cout << dat << " <- char*\n"; };
}

auto FunctionSub(string dat) {
    return [&]() {cout << dat << " <- string\n"; };
}

int main() {
    auto f = Function((char*)"HI1");
    auto f_sub = FunctionSub(string("HI2"));
    f();
    f_sub();
    return 0;
}

问题现象 #

上述代码运行时，f()能正常输出HI1 <- char*，但f_sub()无法正常打印HI2 <- string。

原因解析 #

• Function函数的情况：
  C++中，函数参数里的char dat[]会被隐式退化为char*类型。你传入的(char*)"HI1"是字符串字面量的指针，而字符串字面量的生命周期是整个程序运行期间。Lambda捕获的是这个指针的引用，当在main中调用f()时，指针仍然指向有效的内存区域，因此能正常输出内容。

• FunctionSub函数的情况：
  FunctionSub的参数string dat是值传递，函数内部的dat是一个局部的std::string对象，这个对象的生命周期只在FunctionSub函数执行期间。Lambda用[&]捕获的是这个局部对象的引用，当FunctionSub执行完毕返回后，局部的dat会被销毁，此时Lambda持有的就是悬空引用。后续在main中调用f_sub()时，访问悬空引用的行为属于未定义行为，所以无法正常打印预期内容，甚至可能导致程序崩溃。

修复方案 #

有两种常见的修复方式：

• 方式一：Lambda改为按值捕获，将[&]替换为[=]，这样会复制局部dat的内容到Lambda内部，避免悬空引用：

  auto FunctionSub(string dat) {
      return [=]() {cout << dat << " <- string\n"; };
  }
  

• 方式二：将FunctionSub的参数改为引用传递（同时保证传入对象的生命周期足够长）：

  auto FunctionSub(const string& dat) {
      return [&]() {cout << dat << " <- string\n"; };
  }
  // main中调用时，确保传入的string对象生命周期覆盖f_sub的调用
  int main() {
      string hi2 = "HI2";
      auto f_sub = FunctionSub(hi2);
      f_sub();
      return 0;
  }
  

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