返回的返回类型是对象的引用？

Question

这就是我所相信的：

当函数返回时，它会创建对象的新临时副本，并且此临时对象在调用它的语句期间保留在内存中。

当函数返回引用时，该对象本身也会返回。这意味着该对象不应该是本地的。

所以当我这样做时：

 MyStruct & ReferenceReturn(MyStruct cl)
 {
         return cl;
 }

在 main() 中我做

MyStruct d("notmyname"),g("myname");
d = ReferenceReturn(g);
cout << d.name;
cout << ReferenceReturn(g).name;

它在两者中都打印垃圾。

返回什么？ : 对 g 的本地副本的引用，即函数完成后立即销毁的 cl 或对语句结束后被销毁的临时对象的引用。但是因为如果 temp 被创建，它将以正确的方式覆盖 d。所以我相信返回的是传递值的 localcopy 的引用。

但是，一旦我在结构中创建了析构函数，它就完美地运行了，并带有以下代码和特定的输出。

 ~MyStruct()
 {
   cout << name << " is destroying";
  }

输出：

myname is destroying
myname
myname
myname is destroying
.... 

此输出显示每次调用只创建一个对象。 （有两个调用）

但是为什么没有析构函数就不能工作呢？

谢谢

Answer 1

 MyStruct & ReferenceReturn(MyStruct cl)
 {
         return cl;
 }

创建temporary object，将其分配给cl，将reference返回给对象，销毁对象。所以，它是dangling reference。编译器可以使用copy-elision 并且不复制对象，但不能...使用一些lile

 MyStruct & ReferenceReturn(MyStruct& cl)
 {
         return cl;
 }

Answer 2

 MyStruct & ReferenceReturn(MyStruct cl) {
    return cl;
 }

这种情况的结果是否未定义？

该函数表现出未定义的行为，是的。问题是 cl 是函数中的本地对象，而您正在返回对它的引用。这是未定义的行为。调用者将创建g 的副本以传递给ReferenceReturn，并且该副本将在return 之后被ReferenceReturn 函数销毁，可能在调用者开始使用引用之前。