C ++三元运算符调用复制构造函数而不是移动构造函数[重复]

Question

我正在使用 VS Code 在 Linux 中使用 g++ 进行编译和调试。

需要的包含和使用：

#include <string>
#include <iostream>

using namespace std;

这是我的可移动班级：

class A {
public:
    A(const string& strA) : strA(strA) {}

    A(const A& a) : A(a.strA) {
    }

    A(A&& a) : A(a.strA) {
        a.strA = "";
    }

    string strA;
};

返回 A 实例的示例函数：

A RetA() {
    A a("a");
    A b("bha");

    string ex;
    cin >> ex;
    a.strA += ex;

    return ex == "123" ? a : b;
}

这是简单的主要内容：

int main() {
    A a(RetA());

    return 0;
}

RetA 函数中的返回值是复制的，没有移动。为什么？

另一方面，如果我们在 RetA 函数中使用“显式 if”而不是三元运算符：

A RetA() {
    A a("a");
    A b("bha");

    string ex;
    cin >> ex;
    a.strA += ex;

    if (ex == "123")
        return a;

    return b;
}

然后它被移动，没有复制。这已经是预期的行为。但奇怪的是，移动操作不适用于三元运算符。应该是这样还是 VS Code 等的错误或其他东西？

Answer 1

return 语句中的“自动”移动是有限的：

来自Automatic move from local variables and parameters：

如果表达式是一个（可能是带括号的）id 表达式，它命名一个变量，其类型是 [..]

return ex == "123" ? a : b; 不是这样。

然后正常方式完成，ex == "123" ? a : b返回一个左值，所以复制发生。

你可能会这样做

return std::move(ex == "123" ? a : b);

或

return ex == "123" ? std::move(a) : std::move(b);

要手动move。

使用if 允许自动移动遵循上述规则

if (ex == "123")
    return a;
else
    return b;