问题描述
我正在使用 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 函数中使用“explicitly 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 等的东西?
解决方法
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;