c++ - 不返回 lambda 奇怪的行为

Question

我只是发现了一些无法理解的东西。我想应该和函数栈以及一些未定义的行为有关。

假设我有一个函数工厂模板(愚蠢的模板):

template <unsigned int N=10>
std::function<int&&(const int& n)> build_add_function() {
    return [](const int& n) -> int&& {std::move(n+N);};
}

如您所见，它缺少非 void 函数的 return 语句，因此编译器向我发出警告...奇怪的是它“按预期”工作

int main() {
  auto foo = build_add_function();
  std::cout << foo(10);
}

主要输出:20

当然，为了修复代码，我添加了 return 语句，它给了我一个段错误

Process finished with exit code 139 (interrupted by signal 11: SIGSEGV)

我对自己正在做的事情肯定有一些误解，但我就是无法理解。有人会向我解释这里发生了什么吗？我正在使用 gcc 版本 8.0.1

编辑:刚刚在 gcc 4.8.1 上进行了测试，返回语句按预期工作，没有编译错误。

它是编译器的东西吗？

Answer 1

这两种情况都是未定义的行为。

非void函数缺少return语句的行为是undefined (main() 除外)，这意味着一切皆有可能。即使您可能会得到“正确”的结果，您也不应该依赖它。

当您添加 return 语句如 return std::move(n+N); 时，您试图返回对临时的引用，它总是悬挂，并且取消引用它也会导致 UB。