std :: function vs auto调用不同的重载

Question

我有以下代码:

#include <iostream>
#include <functional>

void f(const std::function<void()>&)  
{  
    std::cout << "In f(const std::function<void()>&)." << std::endl;  
}  

void f(std::function<void()>&&)
{  
    std::cout << "In f(std::function<void()>&&)." << std::endl;  
}  

int main()  
{  
    auto func = []() { std ::cout << "func\n"; };
    f(func); // calls void f(std::function<void()>&&)

    /*const*/ std::function<void()> func2 = []() { std ::cout << "func\n"; };
    f(func2); // calls void f(const std::function<void()>&)

    f([]() { std ::cout << "func\n"; }); // calls void f(std::function<void()>&&)

    return 0;
} 

我想知道为什么第一次调用f(当我使用auto和lambda函数时)调用void f(std::function<void()>&&)重载而void f(const std::function<void()>&)不是调用,而是f在我将变量声明为(const)时由第二次调用调用std::function<void()>.

Answer 1

对于第一种情况,即使用时auto,类型func是一个唯一的lambda闭包类型,它不是std::function<void()>,但可以隐式转换为std::function.

std :: function的实例可以存储,复制和调用任何Callable目标 - 函数,lambda表达式,绑定表达式或其他函数对象,以及指向成员函数和指向数据成员的指针.

在转换之后,我们将得到一个rvalue类型std::function<void()>,并且绑定rvalue-reference到rvalue比在重载解析中绑定lvalue-reference到rvalue更好地匹配,然后调用第二个重载.

3)标准转换序列S1优于标准转换序列S2 if

c)或者,如果不是这样,S1和S2都将参考参数绑定到ref-qualified成员函数的隐式对象参数以外的其他参数,S1将rvalue引用绑定到rvalue,而S2绑定左值引用一个右值

对于第二种情况,func2声明为确切类型std::function<void()>,因此f(func2);不需要转换.由于命名变量func2是左值,它不能绑定到rvalue-reference,因此调用第一个重载.

如果rvalue参数对应于非const左值引用参数或lvalue参数对应于rvalue引用参数,则该函数不可行.