为什么 'std::function<void()>' 在没有任何警告的情况下使用 lambda 返回 'bool'？

如何解决为什么 'std::function<void()>' 在没有任何警告的情况下使用 lambda 返回 'bool'？

#include <functional>

void f()
{
    // warning: return-statement with a value,in function returning 'void'
    return true; 
}

std::function<void()> fn = [] { return true; }; // no warning

int main()
{}

为什么 std::function<void()> 接受 lambda 返回 bool 没有任何警告？

解决方法

因为它就是这样设计的。如果模板参数中的返回类型为 void，则忽略函子的返回类型。

这与 std::is_invocable_r 的工作原理一致。

此外，（非魔法）类很难发出警告。 （与因错误而失败不同，这很容易。）更不用说标准没有区分警告和错误。

,

这就是它的工作：它处理 function 对象的声明类型与其持有的可调用对象之间的阻抗匹配。

函数的普通指针是严格类型的：

int f(double);
double g(int);

int x = f(3.2); // OK
long y = f(3);  // OK: argument and return type get converted

int (*ptr)(double);
ptr = f; // OK: f is pointer to function taking double and returning int
ptr = g; // error: types don't match

std::function 处理类型不匹配，因此类型转换看起来更像您在函数调用中所期望的：

std::function<int(double)> func;
func = f; // OK
func = g; // OK: argument and return type get converted internally

这种灵活性是有代价的，因此当您处理精确类型时，您应该使用函数指针而不是 std::function。