c – 不返回lambda奇怪的行为

发布时间：2020-12-16 09:21:33 所属栏目：百科来源：网络整理

导读：我找到了一些无法理解的东西.我认为它应该与函数堆栈和一些未定义的行为有关. 假设我有一个功能工厂模板(傻一个)： template unsigned int N=10std::functionint(const int n) build_add_function() { return [](const int n) - int {std::move(n+N);};} 如

我找到了一些无法理解的东西.我认为它应该与函数堆栈和一些未定义的行为有关.

假设我有一个功能工厂模板(傻一个)：

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上测试过,并按预期使用return语句,没有编译错误.

它是编译器的东西吗？

解决方法

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

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

当您添加return std :: move(n N);之类的return语句时,您尝试返回对temporary的引用,该引用始终是悬空的,并且取消引用它也会导致UB.

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!