C++ 对象地址、拷贝构造、浅拷贝、返回值优化（RVO）完整知识链总结

在学习 C++ 对象模型时，最容易产生混乱的问题有：

• 为什么s1和s2地址不同？
• 默认拷贝是不是浅拷贝？
• 拷贝构造和赋值运算符有什么区别？
• 函数返回对象会不会触发拷贝？
• 为什么有时候看不到拷贝发生？
• 为什么会 double free？

这篇文章把整个逻辑一次讲透。

一、对象地址为什么一定不同？

Student s1; Student s2 = s1;

这里发生了：

1️⃣s1调用默认构造
2️⃣s2 = s1调用拷贝构造

拷贝构造的定义是：

创建一个新对象，然后用已有对象初始化它。

因此：

&s1 != &s2

一定成立。

⚠️不是因为地址不同才叫拷贝构造。
而是因为调用了拷贝构造，所以一定创建新对象。

二、地址不同 ≠ 一定是拷贝构造

Student s1; Student s2;

地址也不同，但这里只是两个默认构造。

判断是否拷贝构造，要看语法：