用右值/左值理解模板参数推导

Question

这是function template does not recognize lvalue的后续报道

让我们玩一下下面的代码：

#include <iostream>
template <class T>
void func(T&&) {
  std::cout<<"in rvalue\n";
}

template <class T>
void func(const T&) {
  std::cout<<"in lvalue\n";
}

int main()
{
    double n=3;
    func<double>(n);
    func(n);
}

打印出来：

in lvalue
in rvalue

我不明白第二次通话中发生了什么。编译器如何 解析模板参数？为什么没有歧义？

Answer 1

当您说func<double>(n) 时，没有参数推导，因为您指定了参数，因此可以在func(double &&) 和func(const double &) 之间进行选择。前者不可行，因为右值引用不能绑定到左值（即n）。

只有func(n) 执行参数推导。这是一个复杂的话题，但简而言之，您有以下两个可能的候选人：

T = double &:    func(T &&)       -->   func(double &)          (first overload)
T = double:      func(const T &)  -->   func(const double &)    (second overload)

第一个重载严格来说更好，因为它需要更少的参数值转换（即从double 到const double）。

神奇的成分是"reference collapsing"，这意味着当T本身是一个引用类型时T &&可以是一个左值引用（具体来说，double & &&变成double &，这允许第一个推导存在）。