c++ - 右值引用绑定(bind)到 std::function 类型的左值

Question

为什么下面的代码在(@)处没有编译错误？我认为 lamb 是左值，因此它不会绑定(bind)到右值引用。

using FunctionType = std::function<void()>;
using IntType = int;
struct Foo {
    void bar(FunctionType&&) {}
    void baz(IntType&&) {}
};

Foo foo;
foo.bar([]() {}); //OK
auto lamb = []() {};
foo.bar(lamb); //(@) No compilation error?!
foo.baz(5); //OK
int i = 5;
foo.baz(i); //Error

Answer 1

由于 lamb 是 lambda 而不是 std::function，因此必须创建一个临时的 std::function 并将其传递给栏()。临时绑定(bind)到右值引用。

你的代码等同于:

auto lamb = [](){};
foo.bar(FunctionType(lamb));

如果你这样做，你会得到一个编译错误:

FunctionType func = [](){};
foo.bar(func);