C++0x 右值引用和临时值

（我在 comp.std.c++ 上问了这个问题的变体，但没有得到答案。）

为什么调用f(arg)在此代码中调用 const ref 重载f?

void f(const std::string &); //less efficient
void f(std::string &&); //more efficient

void g(const char * arg)
{
     f(arg);
}

我的直觉告诉我f(string &&)应选择过载，因为arg无论如何都需要转换为临时值，并且临时值与右值引用的匹配比左值引用更好。

这不是 GCC 和 MSVC 中发生的情况（编辑：感谢 Sumant：这在 GCC 4.3-4.5 中不会发生）。至少在 G++ 和 MSVC 中，任何左值都不会绑定到右值引用参数，even if创建了一个中间临时文件。事实上，如果 const ref 重载不存在，编译器会诊断错误。然而，写作f(arg + 0) or f(std::string(arg)) does按照您的预期选择右值引用重载。

从我对 C++0x 标准的阅读来看，在考虑以下情况时，似乎应该考虑将 const char * 隐式转换为字符串：f(string &&)是可行的，就像传递 const 左值引用参数时一样。第 13.3 节（重载解析）在很多地方都没有区分右值引用和常量引用。另外，如果存在中间临时值，则似乎阻止左值绑定到右值引用（13.3.3.1.4/3）的规则不应该适用 - 毕竟，从临时值移动是完全安全的。

Is this:

1. 我误读/误解了标准，其中实现的行为是预期的行为，并且有一些充分的理由为什么我的示例应该按照它的方式运行？
2. 编译器供应商不知何故都犯了一个错误？还是基于常见实施策略的错误？或者例如错误GCC（首先实现左值/右值引用绑定规则的地方），被其他供应商复制了？
3. 标准中的缺陷，或者意外的后果，或者应该澄清的事情？

编辑：我有一个相关的后续问题：C++0x 右值引用 - 左值-右值绑定 https://stackoverflow.com/questions/2749263/c0x-rvalue-references-lvalues-rvalue-binding

根据 FCD 的说法，GCC 的做法是错误的。 FCD 表示8.5.3关于引用绑定

• 如果引用是左值引用并且初始化表达式是 [左值/类类型] ...
• 否则，该引用应为对非易失性 const 类型的左值引用（即 cv1 应为 const），或者该引用应为右值引用，并且初始值设定项表达式应为右值或具有函数类型。

您致电的情况std::string &&它们都不匹配，因为初始化器是一个lvalue。它没有到达创建临时右值的位置，因为该顶级项目符号已经需要一个右值。

现在，重载解析不直接使用引用绑定来查看是否存在隐式转换序列。相反，它说在13.3.3.1.4/2

当引用类型的参数未直接绑定到参数表达式时，转换序列是根据 13.3.3.1 将参数表达式转换为引用的基础类型所需的序列。

因此，重载决策会找出一个获胜者，即使该获胜者实际上可能无法绑定到该参数。例如：

struct B { B(int) { /* ... */ } };
struct A { int bits: 1; };

void f(int&);
void f(B);
int main() { A a; f(a.bits); }

参考绑定位于8.5禁止位域绑定到左值引用。但重载解析表明转换序列是转换为的序列int，因此即使稍后进行调用时，调用格式不正确，也会成功。因此我的位域示例格式不正确。如果要选择的话B版本，它会成功，但需要用户定义的转换。

However，该规则存在两个例外。这些都是

除了隐式对象参数（参见 13.3.1）外，如果需要将非 const 的左值引用绑定到右值或将右值引用绑定到左值，则无法形成标准转换序列。

因此，以下调用是有效的：

struct B { B(int) { /* ... */ } };
struct A { int bits: 1; };

void f(int&); /* binding an lvalue ref to non-const to rvalue! */
void f(B);
int main() { A a; f(1); }

因此，你的例子调用const T& version

void f(const std::string &);
void f(std::string &&); // would bind to lvalue!

void g(const char * arg) { f(arg); }

但是，如果你说f(arg + 0)，您创建一个右值，因此第二个函数是可行的。