字符串字面量静态存储时长：其引用是否始终有效？两段代码安全性分析

核心问题解析 #

字符串字面量确实具备静态存储时长，生命周期从程序启动延续到结束，但这不代表所有对它的相关引用都始终有效——关键得看你实际引用的对象到底是什么。

第一个代码案例分析 #

先看这段代码：

std::function<void()> foo(const std::string& name){
    // 按引用捕获name
    return [&](){
        std::cout<<"The name is "<<name<<std::endl;
    };
}

int main() {
    std::function<void()> func;
    {
        func = foo("test");
        func(); // 在当前作用域调用func
    }
    func(); // 在外部作用域调用func
}

调用foo("test")时，字符串字面量"test"会被隐式转换成一个临时std::string对象。这个临时对象的生命周期只到foo函数调用结束（严格来说是包含该表达式的完整语句执行完毕）。

lambda捕获的是这个临时std::string的引用，而非原始的字符串字面量。所以当你在外部作用域调用func()时，临时对象已经被销毁，此时的引用变成了悬垂引用，访问name属于未定义行为——程序可能崩溃、输出乱码，或者看似正常运行，但结果完全不可靠。

第二个代码案例分析 #

再看这段代码：

std::function<void()> foo(const std::string& name){
    // 按引用捕获name
    return [&](){
        std::cout<<"The name is "<<name<<std::endl;
    };
}

int main() {
    std::function<void()> func;
    {
        std::string test = "test";
        func = foo(test);
        func(); // 在当前作用域调用func
    }
    func(); // 在外部作用域调用func
}

这里的test是局部std::string对象，生命周期仅限于内部的花括号作用域。lambda捕获的是这个局部对象的引用，当作用域结束时test被销毁，外部调用func()时同样会访问悬垂引用，属于未定义行为，结果无法预测。

关键结论 #

• 字符串字面量本身生命周期很长，但如果通过它创建了临时std::string或局部std::string，你引用的是这些派生对象，而非字面量本身。
• 要让lambda的引用捕获有效，必须保证被捕获对象的生命周期长于lambda。如果想基于字符串字面量创建安全的lambda，可以直接捕获字面量（因为它是静态的）：

  std::function<void()> foo(){
      return [](){
          std::cout<<"The name is "<< "test" <<std::endl;
      };
  }
  

  或者显式使用静态存储的std::string对象：

  static const std::string test_str = "test";
  std::function<void()> foo(){
      return [&](){
          std::cout<<"The name is "<< test_str <<std::endl;
      };
  }
  

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