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) 能够只指定一个呢？

应该是先看模板参数的个数，而后肯定用哪一个