按值返回时，值参数是否隐式移动？

Question

考虑以下函数：

Foo foo(Foo x)
{
    return x;
}

return x 会调用复制构造函数还是移动构造函数？ （让我们把 NRVO 放在一边。）

为了调查，我写了一个简单的Foo 类，它只能移动但不能复制：

struct Foo
{
    Foo() = default;
    Foo(const Foo&) = delete;
    Foo(Foo&&) = default;
};

如果在按值返回值参数时调用了移动构造函数，一切都应该没问题。但是当前的 g++ 编译器抱怨 return x 并带有以下错误消息：

error: deleted function 'Foo::Foo(const Foo&)'

如果我用return std::move(x) 替换return x，一切都很好。由此我得出结论，如果需要，必须明确地从值参数移动。 g++的行为是否符合？

Answer 1

如果有 Foo 的移动 ctor，则应该选择它。

函数参数在返回语句中被明确排除在复制省略之外（FDIS §12.9p31，第一个项目符号）：

• 在具有类返回类型的函数的 return 语句中，当表达式是非易失性自动对象的名称时（函数或 catch 子句参数除外）

但是，下一段明确地重新考虑了 move ctors：

当满足或除了源对象是函数参数这一事实之外满足或将满足的条件，并且要复制的对象由左值指定时，首先执行重载决议以选择副本的构造函数就好像对象是由右值指定的。 …

（两个引号中的重点是我的。）

Answer 2

这是有效代码 - G++ 的行为不符合要求。 MSVC10 确实支持这种行为。