对于此代码(可在 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
左值时首选第一个模板呢?
最佳答案
当可以从多个声明生成相同的函数模板特化时,声明将使用函数模板的部分排序来消除歧义,如 C++11 标准§14.5.6.2 部分排序中所述函数模板 [temp.func.order]。编译器确定哪个模板是最专业的,并且更喜欢它。
在您的示例中,f
的const T&
重载比T&&
重载更专业。直观上,T&&
可以推导为 const T&
可以推导的任何内容,但反之则不行,因此 const T&
更具体,因此它的函数重载更专业。
关于c++ - 为什么在给定 T&& 和 const T& 重载的情况下,const 左值与 const 右值的绑定(bind)不同?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/17759095/