如果两个模板函数都匹配参数列表，C++ 将调用哪个模板

Question

template<class T>
void fn(T t){}

template<class T>
void fn(std::vector<T> vt){}

void f() {
std::vector<int> vt;
fn(vt);
}

我知道会调用第二个模板函数，但不知道模板函数匹配的规则。

Answer 1

Partial ordering发生在调用函数模板特化的重载决策中。

Informally "A is more specialized than B" means "A accepts fewer types than B".

对于这种情况，第二个 fn 更专业，并且在重载决策中获胜，因为它接受的 std::vector 实例化类型少于第一个一个，它可以接受所有类型。