将C++ Lambda赋值给函数指针引用是否属于定义行为？

我最近在写代码时碰到这么一个场景，拿不准这样的写法是否符合C++标准的定义行为，想请教各位：

相关代码如下： #

// 函数指针类型定义
typedef void (*DoAfter_cb_type)(void);

// 用于分配回调的函数
void DoSomething(DoAfter_cb_type & DoAfter_cb) {
    // ...
    DoAfter_cb = [](){ 
        // ... 
    };
}

// 调用方代码
DoAfter_cb_type DoAfter_cb = nullptr;
DoSomething(DoAfter_cb);
// 在DoSomething之后、DoAfter_cb调用前需执行一些操作
if( DoAfter_cb != nullptr){ 
    DoAfter_cb(); 
}

我了解Lambda在特定情况下可以隐式转换为函数指针，但不确定这个场景里的操作是否合规。

回答： #

首先可以明确告诉你，这个写法完全符合C++标准的定义行为，具体原因拆解如下：

• 捕获列表为空的Lambda（也就是你代码里的[](){ ... }），根据C++标准，是允许隐式转换为指向其调用操作符的函数指针的。这是标准明确规定的转换规则，只要Lambda没有捕获任何外部变量，就满足这个转换条件。
• DoSomething函数接收的是DoAfter_cb_type&（即函数指针的引用），把符合条件的Lambda赋值给这个引用绑定的变量时，Lambda会自动隐式转换为对应的函数指针，再完成赋值操作。这个赋值过程是完全合法的，调用方的DoAfter_cb变量会被正确赋予有效值。
• 调用方在DoSomething返回后检查指针非空再调用的逻辑也是安全的——只要DoSomething里确实完成了赋值（你的代码里已经做了），后续的函数指针调用就完全符合标准要求。

另外需要注意的是，如果Lambda带有捕获（比如[some_var](){ ... }），那它就无法隐式转换为函数指针了，这时候你的代码会直接编译失败，这是需要避免的情况。

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