重载模板分辨率

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，因为这两个模板实例化为相同的东西，只有这样才会发挥“更专业化”的概念。