在下面的例子中，为什么最后一个调用函数重载时使用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()>{})，如果没有模板规则，它将是模糊的），但当您指定模板参数时会出现这种意外行为。