c++ - RVO 是否适用于对象成员？

Question

考虑以下几点:

struct A { /* ... */ };

A foo() {
  auto p = std::make_pair(A{}, 2);
  // ... do something
  return p.first;
}

auto a = foo();

p.first 会被复制、移动或 RVO 编辑吗？

Answer 1

我发现在 Visual Studio 2010 和 gcc-5.1 中，RVO 未应用(参见示例 http://coliru.stacked-crooked.com/a/17666dd9e532da76)。

标准的相关部分是 12.8.31.1 [class.copy]。它声明允许复制省略(我的突出显示):

in a return statement in a function with a class return type, when the expression is the name of a non-volatile automatic object (other than a function parameter or a variable introduced by the exception-declaration of a handler ([except.handle])) with the same type (ignoring cv-qualification) as the function return type, the copy/move operation can be omitted by constructing the automatic object directly into the function's return value

由于 p.first 不是对象的名称，因此禁止使用 RVO。