c++ - 使用 const 引用的函数模板重载决议

Question

我试图理解以下情况下的重载决议规则:

template<typename T>
void f(const T& x) { 
    std::cout << __PRETTY_FUNCTION__ << std::endl; //-
}

template<typename T>
void f(T& x) { // <> Überladung Variante 2
    std::cout << __PRETTY_FUNCTION__ << std::endl; //-
}

int main()
{
    int e1 = 0;
    f(e1);

    const int e2 = 0;
    f(e2); 
}

输出是:

void f(T &) [T = int]
void f(const T &) [T = int]

据我所知，第一次调用 f(e1) 会导致可行的功能

void f(const int&)
void f(int&)

从中选择第一个，因为没有删除 const 限定。

第二次调用 f(e2) 导致类型推导/可行函数

void f(const int&); // T -> int from first template overload 
void f(const int&); // T -> const int from second overload

并且输出显示选择了第一个重载。

但为什么呢？

Answer 1

当使用引用执行类型推导时，const-ness(更具体地说是 CV-ness)不会被移除。因此，在您的情况下，编译器有 2 个重载可供选择:

void f(const T &)
void f(T &)

然后，编译器在为您的 const int e2 = 0; 参数选择重载时执行“模式匹配”。第一个 const 重载是更好的匹配(更专业)，因为第二个需要将 T 推导为 const int，这增加了一些东西(即 const-ness)。

模板类型推导的规则并不是非常简单，所以如果你想了解有关模板的所有细节，我强烈推荐这本书

C++ Templates: The Complete Guide作者:David Vandevoorde 和 Nicolai M. Josuttis。

它是 C++11 之前的版本，但它告诉您一切您能想到的。

PS:你必须区分实例化和模板类型推导。类型推导首先发生，然后是实例化。所以在你的情况下，你没有像你最初想象的那样有 2 个模棱两可的实例化。