未返回值的非void类型Lambda为何能通过编译？

代码示例 #

#include <iostream>
#include <functional> // 注：原代码缺失该头文件，标准C++中必须显式包含才能使用std::function

int main()
{
    std::function<int(int)> func = [](int data)->int{
        std::cout << "this is " << data << "\n";
    };
    
    func(3);
}

运行输出 #

this is 3

编译器警告 #

main.cpp:7:5: warning: non-void lambda does not return a value [-Wreturn-type]
    };
    ^
1 warning generated.

原因解析 #

这得从C++标准规则和编译器行为两方面解释：

• 标准定义：对于返回类型非void的函数（包括这里显式指定->int的lambda），如果代码执行到函数结尾却没有通过return返回对应类型的值，这属于未定义行为——但标准并没有强制要求编译器必须把这种情况当成编译错误，仅要求编译器可以发出诊断信息（也就是警告）。
• 编译器行为：像Clang、GCC这类主流编译器，默认会把这个问题标记为警告（通过-Wreturn-type开关控制，默认开启），而非直接报错。如果想强制要求修正这类问题，可以添加编译选项-Werror，把所有警告升级为编译错误。

最后提醒：虽然这次程序运行出了预期结果，但这完全是巧合——没有返回值的非void函数会留下不确定的返回值，后续执行可能出现崩溃、数据乱码等各种诡异问题，绝对不能写这种代码。

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