如果我返回文字而不是声明的 std::string 会发生什么？

Question

假设我们有一个效用函数：

std::string GetDescription() { return "The description."; }

返回字符串字面量可以吗？隐式创建的std::string 对象是否被复制？

我想过总是这样退货：

std::string GetDescription() { return std::move(std::string("The description.")); }

但它当然更长更冗长。我们也可以假设编译器 RVO 会对我们有所帮助

std::string GetDescription() { return std::string("The description."); }

然而，我不知道它真正必须做什么，而不是可以做什么。

Answer 1

std::string GetDescription() { return "XYZ"; }

等价于：

std::string GetDescription() { return std::string("XYZ"); }

这又相当于：

std::string GetDescription() { return std::move(std::string("XYZ")); }

意味着当您返回std::string("XYZ") 这是一个临时对象时，std::move 是不必要的，因为该对象将被移动无论如何（隐式）。

同样，当您返回"XYZ" 时，显式构造std::string("XYZ") 是不必要的，因为构造无论如何都会发生（隐式）。

---

所以这个问题的答案：

隐式创建的 std::string 对象是否被复制？

否。隐式创建的对象毕竟是（隐式）移动的临时对象。但是编译器可以忽略这个动作！

所以底线是这样的：你可以编写这段代码并且很开心：

std::string GetDescription() { return "XYZ"; }

在某些极端情况下，return tempObj 比return std::move(tempObj) 更有效（因此更好）。

Answer 2

返回字符串字面量可以吗？隐式创建的 std::string 对象是否被复制？

没关系。你得到的是 std::string 的（隐式）构造函数，它创建一个本地副本，然后作为右值引用返回。将客户端代码中的结果转换为字符串，将从右值引用设置该字符串。

如果你使用第二段代码，你“说得太多了”。代码是正确的，它们（几乎）是等价的（它们应该是等价的，但编译器在第一种情况下被允许执行的优化更好*）。

我会去：

std::string GetDescription() { return std::string("The description."); }

通过这种方式，您可以明确返回一个字符串，并且代码（几乎）是最少的：您依赖于 std::string 移动构造。

*) 在@SteveJessop 发表评论后进行了相应编辑。