使用+(一元加号)解决lambda的函数指针和std：：function上的多义性重载

Resolving ambiguous overload on function pointer and std::function for a lambda using + (unary plus)(使用+(一元加号)解决lambda的函数指针和std：：function上的多义性重载)

问题描述

在下面的代码中，对foo的第一个调用不明确，因此无法编译。

第二个在lambda之前添加了+，解析为函数指针重载。

#include <functional>

void foo(std::function<void()> f) { f(); }
void foo(void (*f)()) { f(); }

int main ()
{
    foo(  [](){} ); // ambiguous
    foo( +[](){} ); // not ambiguous (calls the function pointer overload)
}

+符号在这里做什么？

推荐答案

表达式+[](){}中的+是一元运算符。它的定义如下所示 [Expr.unary.op]/7：

一元+运算符的操作数应为算术、无作用域枚举或指针类型，结果为参数的值。

lambda不是算术类型等，但可以转换：

[expr.prim.lambda]/3

lambda表达式[.]的类型是一种唯一的、未命名的非联合类类型，称为闭包类型，其属性如下所述。

[expr.prim.lambda]/6

lambda-expression没有lambda-capture的闭包类型有一个public非virtualconst转换函数，该函数指向与闭包类型的函数调用运算符具有相同参数和返回类型的函数指针。此转换函数返回的值应为调用时与调用闭包类型的函数调用运算符具有相同效果的函数的地址。