初始化列表中的右值引用用法

Question

我最近一直在使用 Rvalue 引用，并且遇到了一个奇怪的问题。让我们定义一些名为 Foo 的简单类，其中包含一个 vector<; int >：

class Foo
{
public:

    Foo(std::vector< int >&& v)
        : v_(v)
    {}

private:

    std::vector< int > v_;
};

可以通过传递 vector< 来构造 Foo 实例。 int > 临时如下：

std::vector< int > temp;
Foo(std::move(temp));

现在，当我尝试单步执行此代码时，我注意到 Foo 内的向量是使用复制构造函数而不是移动构造函数构造的。但是，如果我以这种方式指定构造函数：

Foo(std::vector< int >&& v)
    : v_(std::move(v))
{}

那么，v_ 成员的移动构造函数将被适当地调用。为什么会这样呢？为什么初始化列表中需要冗余的 std::move(v) ？为什么编译器无法推断出调用向量移动构造函数的意图，因为相应的 Foo 构造函数参数被指定为右值引用？

顺便说一下，我使用的是带有 -std=c++0x 选项的 GCC 4.6。

感谢您的帮助。 PMJ

Answer 1

在函数（或构造函数）内部，命名参数是左值，即使它被声明为右值引用。

基本原理类似于

void foo(std::vector< int >&& v)
{
   bar(v);
   baz(v);
   boo(v);
   buz(v);
}

编译器应该考虑从对象 v 中移动哪些调用？

没有一个，除非你明确地这样做。