plain old C++ functions, base模板函數與特化的模板函數

很是好的一篇文章http://www.gotw.ca/publications/mill17.htm

template <typename T>
void call_who(T) {
    std::cout << "base templates T called" << std::endl;
};

template <typename T>
void call_who(T*) {
    std::cout << "base templates T* called" << std::endl;
}

template <>
void call_who(int*) {
    std::cout << "specialized int* called" << std::endl;
};

int main() {
    int a = 0;
    call_who(&a);
        return 0;
}

一看就知道調用的是void call_who(int*)。但是，

template <typename T>
void call_who(T) {
    std::cout << "base templates T called" << std::endl;
};

template <>
void call_who(int*) {
    std::cout << "specialized int* called" << std::endl;
};

template <typename T>
void call_who(T*) {
    std::cout << "base templates T* called" << std::endl;
}

int main() {

    int a = 0;
    call_who(&a);
        return 0;
}

居然調用的是： void call_who(T*)。！！！！

緣由是文章中提到的：

Finally, let's focus on function templates only and consider the overloading rules to see which ones get called in different situations. The rules are pretty simple, at least at a high level, and can be expressed as a classic two-class system:

Nontemplate functions are first-class citizens. A plain old nontemplate function that matches the parameter types as well as any function template will be selected over an otherwise-just-as-good function template.

If there are no first-class citizens to choose from that are at least as good, then function base templates as the second-class citizens get consulted next. Which function base template gets selected depends on which matches best and is the "most specialized" (important note: this use of "specialized" oddly enough has nothing to do with template specializations; it's just an unfortunate colloquialism) according to a set of fairly arcane rules:

If it's clear that there's one "most specialized" function base template, that one gets used. If that base template happens to be specialized for the types being used, the specialization will get used, otherwise the base template instantiated with the correct types will be used.

Else if there's a tie for the "most specialized" function base template, the call is ambiguous because the compiler can't decide which is a better match. The programmer will have to do something to qualify the call and say which one is wanted.

Else if there's no function base template that can be made to match, the call is bad and the programmer will have to fix the code.