返回静态变量引用的lambda包装进std::function引发段错误

首先直接给结论：GCC的行为是符合C++标准的，Clang下的正常运行只是未定义行为的偶然结果。咱们一步步拆解问题出在哪：

1. Lambda返回类型的关键差异 #

你代码里两个lambda的核心区别在于返回类型：

• 第一个lambda显式声明了返回类型 -> const std::string&，所以它确实返回的是静态变量hello的引用——hello是全局匿名namespace里的静态变量，生命周期和整个程序一致，所以直接调用完全没问题。
• 第二个lambda省略了返回类型，这时候编译器会自动推导返回类型。根据C标准，lambda省略返回类型时（C11要求单return语句，C++14及以后无限制），返回类型遵循auto的推导规则：当返回的是左值表达式时，auto推导的是值类型，而非引用类型。也就是说，这个lambda的实际返回类型是const std::string（值），而不是你期望的const std::string&（引用）。

2. std::function包装后的悬空引用问题 #

当你把这个返回值类型的lambda塞进std::function<const std::string& ()>时，就会触发危险的行为：
std::function的调用运算符会执行存储的lambda，得到一个const std::string类型的临时对象，然后尝试返回这个临时对象的引用。但临时对象的生命周期只在当前完整表达式内有效——当func()调用结束后，这个临时对象就立刻被销毁了，此时返回的引用就变成了悬空引用。访问悬空引用属于C++标准里的未定义行为，GCC触发段错误是这种行为的典型表现。

3. 为什么Clang没崩溃？ #

未定义行为的本质就是没有固定的预期结果，编译器可以做任何事情，包括看起来“正常工作”。Clang可能通过优化手段意外延长了临时对象的生命周期，或者刚好那段内存没有被覆盖，但这完全是巧合，绝对不能依赖这种行为——换个编译选项、换个版本的Clang，说不定也会触发段错误。

解决方案 #

要解决这个问题，只需要让lambda明确返回引用类型即可，有两种方式：

• 显式指定返回类型，和第一个lambda一样：

  auto func = func_t{[]() -> const std::string& { return hello; }};
  

• 如果你用的是C++14及以后的标准，可以用decltype(auto)作为返回类型，它会保留表达式的引用属性：

  auto func = func_t{[]() -> decltype(auto) { return hello; }};
  

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