在下面的例子中，为什么最后一个调用函数重载时使用std：：function作为参数？
#include <iostream>#include <functional>#include <memory>template <class Type>void make_something(Type&& a){std::cout<<"Type&& overload"<<std::endl;}template <class Type>void make_something(std::function<Type()>){std::cout<<"std::function overload"<<std::endl;}int main(){make_something<int>(1); // prints "Type&& overload"make_something<int>(nullptr); // prints "std::function overload"make_something<int*>(nullptr); // prints "Type&& overload"using ptr_int = std::shared_ptr<int>;make_something<ptr_int>(nullptr); // prints "std::function overload" ... why?}
字符串
1条答案
按热度按时间hgc7kmma1#
有一个从
std::nullptr_t到std::shared_ptr<int>和std::function<std::shared_ptr<int>()>的隐式转换。这意味着调用
make_something<ptr_int>(nullptr)需要执行相同数量的转换，以将std::nullptr_t参数转换为函数参数（用户定义的转换序列）。如果这两个函数都是非模板函数，这将是不明确的。因为它们是模板，所以可以使用模板的决胜局。
std::function<Type()>比Type更专业化（cv-和ref-资格在此检查中被丢弃）。这意味着选择std::function<Type()>重载。如果您要添加第三个更专门的重载，则会选择：
字符串
这通常在类型被推导时使用（例如，如果您调用
make_something(std::function<int()>{})，如果没有模板规则，它将是模糊的），但当您指定模板参数时会出现这种意外行为。