这些形式之间有什么区别吗：返回类型与返回类型和？

Is there any difference between these forms : returnType vs returnType &?

本文关键字：返回类型 区别 什么 之间      更新时间：2023-10-16

考虑这些免费的独立函数：

          std::vector<int>& f();   //reference
          std::vector<int>  g();   //value
/*const*/ std::vector<int>&  f1 = f();  //reference
          std::vector<int>   f2 = f();  //value
/*const*/ std::vector<int>&  g1 = g();  //reference
          std::vector<int>   g2 = g();  //value

之间有什么区别吗

  • f（）和g（）。这是一个简单的问题，但我仍然希望听到一些关于它们的详细评论，因为这可能有助于理解下一个问题的答案。

  • f1和f2。它们是来自f（）的相同原始对象，还是f2将是原始对象的副本？取消const的注释会有什么不同？

  • g1和g2。它们是来自g（）的相同原始对象，还是g2将是原始对象的副本？取消const的注释会有什么不同？

如果f()和g()是成员函数，并且每个函数都返回成员数据，而不是某个局部变量，该怎么办？以上问题的答案会有什么不同吗？

请尝试在你的答案中包括所有的陷阱和要点，不要考虑RVO或编译器的任何其他优化。我想知道C++是什么，而不是编译器是做什么的。如果你谈论优化，请明确提到它，这样我就不会把语言功能和编译器功能混合在一起。

f()返回对对象的引用；从中返回不会复制任何对象。g()至少在概念上返回一个对象的副本。

std::vector<int>&  f1 = f();  //reference

f1是指f()返回引用的对象。没有复制。引用的Const限定在这里没有区别（就复制而言；显然它会影响对对象的处理）。

std::vector<int>   f2 = f();  //value

f2是f()返回引用的对象的副本。

std::vector<int>&  g1 = g();  //reference

这是无效的。非常量引用不能绑定到临时对象。

如果引用是const限定的，那么这一行实际上与下一行相同：生成g()返回的对象的副本，引用绑定到该副本，并且该副本被赋予引用的生存期（当引用被"销毁"时，它被销毁）。

std::vector<int>   g2 = g();  //value

CCD_ 12是CCD_ 13返回的对象的副本。是否制作副本（以及可以制作多少副本）取决于编译器优化。

如果f()和g()是成员函数，并且每个函数都返回成员数据，而不是某个局部变量，该怎么办？

如果f()返回对局部变量的引用，则程序是不正确的，如果您试图使用该引用，则会产生未定义的行为，因为当函数返回时，被引用的对象将不存在。

如果f()返回对成员变量、动态分配的对象或具有静态或线程本地存储持续时间的对象的引用，则该引用在该对象的生存期内有效（或者对在内存中与返回引用的对象相同的位置构造的同一类型的另一个对象有效，尽管其实用性仅限于少数情况）。

g()返回什么并不重要，因为总是会进行复制（至少在概念上是这样）。

相关文章：