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

應該是先看模板參數的個數，而後肯定用哪一個