我找到了一些无法理解的东西.我认为它应该与函数堆栈和一些未定义的行为有关. 假设我有一个功能工厂模板(傻一个): template unsigned int N=10std::functionint(const int n) build_add_function() { re
假设我有一个功能工厂模板(傻一个):
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.