返回时隐式移动 std::optional 中包含的值

Question

从 C++11 开始，我们有了移动语义。在下面的示例中，将使用移动构造函数（或复制省略），而不是 C++98 中的复制构造函数，无需任何额外的努力。

std::string f()
{
    std::string res;
    ...
    return res; // <- move is used here instead of copy
}

但是这个案子呢？

std::string f()
{
    std::optional<std::string> res;
    ...
    return *res; // <-- will the std::string value be moved??
}

还是必须写这样的东西？

std::string f()
{
    std::optional<std::string> res;
    ...
    return *std::move(res);
}

Answer 1

否。隐式移动的标准在[class.copy]：

当 [...]，或者当 return 语句中的 表达式 是（可能 带括号的）id-expression 命名一个对象，该对象具有在主体中声明的自动存储持续时间或 parameter-declaration-clause 的最内层封闭函数或 lambda-expression，重载决议到 选择复制的构造函数首先执行，就好像对象是由右值指定的一样。

*res 不是 id-expression，因此该规则不适用。如果你想将底层字符串移出，你必须明确地这样做：

return std::move(*res);
return *std::move(res);
return std::move(res).value(); // equivalent and possibly more legible

---

这些规则旨在仅在绝对安全的情况下尝试更有效的选择。如果您要返回一个自动存储持续时间变量，那么移动它是完全安全的，因为没有其他东西会再次引用该变量。

但是，如果您要返回 *res，那么离开这里不一定安全。如果这给了你一个对某个外部对象的引用，它会比这个函数更长寿怎么办？我们将默默地从我们期望仍然有效的状态转移！在这种情况下，由您作为用户来声明您希望它移动。