c++ - 返回 const std::string 真的比非 const 慢吗？

Question

在另一个问题中，用户评论说返回 const std::string 会降低移动构造效率并且速度较慢。

这个方法返回的字符串赋值是真的吗:

const std::string toJson(const std::string &someText);

const std::string jsonString = toJson(someText);

...确实比非常量版本慢:

std::string toJson(const std::string &str);

std::string jsonString = toJson(someText);

在这种情况下，移动构建效率的含义是什么？

我以前从未听说过该限制，也不记得在分析器中见过它。但我很好奇。

编辑:有一个建议的问题:What is move semantics? .虽然一些解释当然与效率有关，但它解释了移动语义的含义，但没有说明为什么返回常量值会对性能产生负面影响。

Answer 1

考虑以下函数:

std::string f();
std::string const g();

没有区别:

std::string s1 = f();
std::string s2 = g();

我们现在已经保证复制省略，在这两种情况下我们都直接构造到结果对象中。没有复制，没有移动。

但是，两者之间有很大的区别:

std::string s3, s4;
s3 = f(); // this is move assignment
s4 = g(); // this is copy assignment

g() 可能是一个右值，但它是一个const 右值。它不能绑定(bind)到移动赋值运算符采用的 string&& 参数，所以我们退回到 copy 赋值运算符，其 string const& 参数可以愉快地接受右值。

对于像 string 这样的类型，复制肯定比移动慢，其中移动是常数时间，复制是线性的，可能需要分配。

不要返回常量值。

---

最重要的是，对于非类类型:

int f();
int const g();

这两个其实是一样的，都是返回int。您不能返回非类类型的 const prvalue 但您可以返回类类型的 const prvalue，这是语言的一个奇怪的怪癖。更容易假装你不能做后者，因为你不应该。