C++ 函数模板重载

函数模板可以像普通函数那样重载。

C++ 编译器会从不同的候选中匹配一个并进行调用。

即使不涉及到模板，这种匹配的规则也很复杂，现在还有加上模板一起匹配。

先来个小例子：

#include <iostream>
// maximum of two int values
int max(int a, int b) {
    using namespace std;
    cout << "non template for two ints" << endl;
    return b < a ? a : b;
}

// maximum of two values of any type
template<typename T>
T max(T a, T b) {
    using namespace std;
    cout << "template" << endl;
    return b < a ? a : b;
}

int main() {
    ::max(7, 42);
    ::max(7.0, 42.0);
    ::max('a', 'b');
    ::max<>(7, 42);
    ::max<double>(7, 42);
    ::max('a', 42.7);
}

然后对应的结果

非模板函数可以和函数模板共存，其他因素都相同的情况下，重载解析时优先使用非模板函数，所以 ::max(7, 42) 调用的是非模板函数。

如果模板函数可以生成更好的匹配，就会选择用模板函数。

::max(7.0, 42.0) 和 ::max('a', 'b') 就会使用模板函数，因为它不需要进行 double 和 char 到 int 的转换。

::max<>(7, 42) 这种显式指定了空的模板参数列表，意味着只有模板可以解析调用，空列表意味着模板参数要通过调用参数来推导。

推导模板参数的时候不能进行自动类型转换，所以最后的调用 ::max('a', 42.7) 只能用非模板类型的函数，只有它可以进行非平凡的类型转换。

显式指定了返回类型的例子

#include <iostream>
using namespace std;

template<typename T1, typename T2>
auto max(T1 a, T2 b) {
    cout << "没有指定返回值的 ...... " << endl;
    return b < a ? a : b;
}

template<typename RT, typename T1, typename T2>
RT max(T1 a, T2 b) {
    cout << "指定了返回值类型的 ...... " << endl;
    return b < a ? a: b;
}

int main() {
    auto a = ::max(4, 7.2);
    auto b = ::max<long double>(7.2, 4);

    // 下面这个会报错, 因为两个都可以匹配到
    auto c = ::max<int>(4, 7.2);

    return 0;
}

编译报错了哇：

这里我的疑惑是明明模板参数列表有两个，为啥 ::max<int>(4, 7.2) 可以只指定一个呢？

应该是先看模板参数的个数，然后确定用哪个