我正在准备关于复制构造函数的讲座，结果发现：
MyClass myFunction()
{
MyClass mc;
return mc;
}
声明说：
如果我们调用 myFunction，那么 C++ 将创建一个新的 myClass 对象 当 myFunction 返回时，它被初始化为 mc 。因此，虽然你的代码 可能表现得好像它正在透明地从内部移动对象 myFunction 到你的代码的其余部分，它实际上是一个临时的 复制。
我认为声明 MyClass mc;将创建对象并且它返回表单函数而不是任何临时对象。 我哪里错了？有人可以详细说明语句以便于理解吗？
【问题讨论】：
标签： c++ copy-constructor
我认为声明 MyClass mc;将创建对象
正确。
它返回表单函数而不是任何临时对象。
我不完全理解你的说法，所以我无法判断你是否出错了，但这就是发生的事情：
mc 是一个局部变量。局部变量在函数退出时被销毁。在它被销毁之前，一个临时对象会被复制初始化。然后从函数返回临时对象。
额外知识1：从C++11开始，如果可能，move对临时对象进行复制初始化。
额外知识2：标准明确允许编译器跳过复制/移动，而是在调用站点构造对象。这种优化称为（命名）返回值优化，是复制省略的一种形式。尽管如此，您不能返回既不能复制也不能移动的对象。这是因为 NRVO 不需要 C++ 的实现。
【讨论】：
假设你有这个代码：
#include <iostream>
using namespace std;
class MyClass
{
public:
int *v;
MyClass()
{
v=new int[5];
for(int i=0;i<5;i++) v[i]=i; // x will look like : 0,1,2,3,4
}
~MyClass()
{
cout<<"Destructor called! Now v is deallocated! \n";
delete[] v;
}
};
MyClass myFunction()
{
MyClass mc;
return mc;
}
int main()
{
MyClass x;
x=myFunction();
cout<<x.v[2]<<'\n'; //it may or may not print the right thing
return 0;
}
如您所见，myFunction 如您所说返回对象mc。但是你也知道mc的析构函数会在mc超出作用域时被调用——mc是在myFunction内部声明的，所以在函数执行后会调用析构函数并释放内存（ delete[] v)。内存已被释放，但值仍在内存中！因此，即使x=myFunction(); 可以工作，您也会有一个对象，其中 v 指向的内存已被释放！所以，cout<<x.v[2]<<'\n'; 可能 打印不正确。如果您编译代码，它将可能打印正确的值 (2)，因为内存没有被覆盖，但是如果您在 cout 语句之前或在使用您的一段时间后进行更多分配操作系统，您会看到打印的值不正确/崩溃，因为内存将被其他程序覆盖。 v 仍然指向那个内存块，但它不知道那里有什么，因为内存已被释放。
在myFunction内部：v -> |0|1| 2 |3|4|...
退出myFunction后：v -> |0|1| 2 |3|4|.....
一些内存分配后：v -> |a|1| b |@|%|3|7|2|1|*|!|......
【讨论】：