c++ - 为什么在给定 T&& 和 const T& 重载的情况下，const 左值与 const 右值的绑定(bind)不同？

Question

对于此代码(可在 http://ideone.com/Mo7fQr 获得)

template<typename T>
void f(const T&) { std::cout << "const T& overload\n"; }

template<typename T>
void f(T&&) { std::cout << "T&& overload\n"; }

int main()
{
  const int x = 0;

  f(x);                 // calls const T& overload
  f(std::move(x));      // calls T&& overload
}

第一次调用 f(使用左值)调用 const T& 重载，而第二次调用(使用右值)调用 T&& 重载。至少 gcc 4.8.1 和最新的 VC++ (VC12) 是这样。

我想我明白为什么第二个调用会这样解析:因为第一个模板实例化为采用 const int& 参数，而第二个模板实例化为采用 const int&& 参数，并且因为在调用点传递的参数是一个右值，所以它优先绑定(bind)到右值引用。 (我相信这是在 13.3.3.2/3 bullet 1 sub-bullet 4 的 C++11 标准中指定的。)

但是对于 f 的第一次调用，两个模板都实例化为采用 const int& 类型的参数。那么为什么在传入 const 左值时首选第一个模板呢？

Answer 1

当可以从多个声明生成相同的函数模板特化时，声明将使用函数模板的部分排序来消除歧义，如 C++11 标准§14.5.6.2 部分排序中所述函数模板 [temp.func.order]。编译器确定哪个模板是最专业的，并且更喜欢它。

在您的示例中，f 的const T& 重载比T&& 重载更专业。直观上，T&& 可以推导为 const T& 可以推导的任何内容，但反之则不行，因此 const T& 更具体，因此它的函数重载更专业。