重載模板分辨率

Question

以下代碼打印「第一個」。爲什麼選擇第一個模板，而第二個模板似乎更專業化，應該是更好的匹配？ （我使用MSVC10）

我知道這與第二個模板通過const &接受其參數的事實有關，但仍不能理解爲什麼這使得它更糟糕的匹配。

#include <map> 
#include <iostream> 

template<class Range> 
void go(Range &r) 
{ 
    std::cout << "First" << std::endl; 
} 

template<class K, class V> 
void go(const std::map<K, V> &m) 
{ 
    std::cout << "Second" << std::endl; 
} 


int main() 
{ 
    std::map<int, int> m; 
    go(m); 
} 

Answer 1

編譯器實例化的第一個模板來

void go(std::map<int, int>& r) 

第二要

void go(const std::map<int, int>& m) 

第一個轉換序列是一種身份的轉換：什麼都不用做了，左值參數直接綁定到引用。

第二種轉換順序是限定符轉換：左值參數需要添加const以綁定到引用。

所以第一個是更好的匹配。如果main中的變量是常量，那麼第二個匹配更好，正如您可以看到的here，因爲這兩個模板實例化爲相同的東西，只有這樣纔會發揮「更專業化」的概念。