为什么这个不正确的STD：：函数初始化使用MSVC编译？

Question

今天我遇到了一个有趣的问题，是我自己打错的。我创建了一个lambda，它接受了对结构的引用，并错误地将其设置为按值接收参数的std：：函数。

这里有一个更简洁的版本：

#include <functional>

struct InputStruct
{
    int i;
    InputStruct(): i(1){}
};

void function_rcv(std::function<bool(InputStruct)> & func_ref)
{
    InputStruct in;
    func_ref(in);
}


int main()
{
    std::function<bool(InputStruct)> my_func = [](InputStruct & in)->bool{return in.i==1;};
    function_rcv(my_func);
}

使用godbolt检查显示，使用MSVC编译成功，但对于Clang和GCC都失败了。

这是MSVC编译器中的bug吗？

Answer 1

总而言之：它不是编译器bug。MSVC接受此代码，因为它的默认不符合行为，但可以通过开关使其符合标准。

首先，我需要澄清std::function的一个方面：它接受一个签名不完全匹配的函数（通常是可调用的），但参数可以转换。考虑：

using intFn = void (int);
void fn(short);

intFn *a = fn;               // doesn't compile
std::function<intFn> b = fn; // compiles!

这里，intfn是一个函数类型，它有一个int参数，而函数fn有一个short参数。简单函数指针a不能设置为指向fn，因为参数的类型不同(int与short)。但是，std::function允许这样做，因此可以将b设置为指向fn。