当变量不是本地变量时，我应该继续返回吗

Question

A 有几个关于复制省略和移动的问题。 假设我有以下代码：

class A {};

class B {
public:
    A get1() const {
        A local_var;
        return local_var;
    }
    A get1bad() const {
        A local_var;
        return std::move(local_var);
    }
    A get2() const {
        return member_var;
    }
    A get3() const {
        return std::move(member_var);
    }
private:
    A member_var;
};

我读过很多人说不要在返回时继续前进。 据我所知，这是因为使用复制省略，在案例 get1 上，编译器不会调用构造函数 + 移动构造函数，而只会调用默认构造函数，而案例 get1bad 会强制编译器调用构造函数 + 移动。

我的问题是关于变量不是本地的情况（get2 vs get3）。 在这种情况下，无论如何都会在类中构造变量。在 get2 中，我认为实际上没有任何优化是可能的。在这种情况下，如果我并不真正关心确保 B 类具有有效的 A 对象，那么实际移动不是更好吗？不就是调用通常比拷贝构造函数便宜的移动构造函数吗？

Answer 1

A get3() const {
    return std::move(member_var);
}

你有一个 const 函数，所以该成员也被认为是 const 并且无论如何都不会移动。

当您有一个临时的B 时，您可以考虑使用A get3() && 移动该成员。也许，如果这种情况经常发生的话。

拥有一个总是会破坏类的值的getter，即使它是一个左值，这似乎是一个罕见的用例。

Answer 2

我读过很多人说不要在返回时继续前进。据我所知，这是因为使用复制省略，在案例 get1 上，编译器不会调用构造函数 + 移动构造函数，而只会调用默认构造函数，而案例 get1bad 会强制编译器调用构造函数 + 移动。

如果return 语句的操作数只是一个局部变量的名称，那么std::move 基本上是隐式应用的。所以充其量return std::move(local_var); 是多余的。这是return 的特殊规则。它不适用于其他地方。

然而，使用return std::move(local_var); 使得强制复制省略规则不再适用，这就是为什么它不仅是多余的，而且比return local_var; 更糟糕。

---

我的问题是关于变量不是本地的情况（get2 vs get3）。在这种情况下，无论如何都会在类中构造变量。在 get2 中，我认为实际上没有任何优化是可能的。在这种情况下，如果我并不真正关心确保 B 类具有有效的 A 对象，那么实际移动不是更好吗？不就是调用通常比复制构造函数便宜的移动构造函数吗？

在您的示例中，所有成员函数都是const 限定的。因此std::move(member_var) 的类型将是const A&&。移动构造函数采用A&&，而不是const A&&。因此不会发生任何移动，并且复制构造函数将用于get2 和get3 的返回值。

如果您删除const 限定符，那么return std::move(member_var); 在这种情况下是有意义的，并且允许移动构造而不是复制构造。在这两种情况下都不能复制/移动省略，因为变量不是函数的本地变量。

---

在调用成员函数后，您不太可能不关心member_var 的状态，因此这在实践中不太可能有意义。如果我完全可以使用&& 限定成员函数，那么它仅在类实例是右值时使用，这是我能想到的唯一一种在调用后不关心对象状态的情况到成员函数。