C++中默认operator=工作机制及相关赋值问题咨询

咱们先把核心概念掰明白，再对应你的问题逐个解答：

核心概念区分：拷贝构造函数 vs operator= #

首先要明确：拷贝构造函数和赋值运算符（operator=）是完全独立的两个函数，彼此不会互相调用，它们的适用场景完全不同：

• 拷贝构造函数：负责创建一个新对象，并用另一个同类型对象初始化它（比如C c1 = c0;、函数传值参数、函数返回值等场景）。如果是参数为其他类型的构造函数（比如你的C(const B&)），那属于转换构造函数，用来把其他类型转成当前类的对象。
• operator=：负责给已经存在的对象赋值，对象本身已经创建完成，只是把另一个对象的内容拷贝过来。

你的第一个疑问解答 #

若定义了拷贝构造函数，operator=会调用它吗？若不会，其行为是怎样的？在本例中，将b0赋值给c0时似乎调用了拷贝构造函数：C(const B& x) : B(x), a(1){z=0; cout <<"9";}

首先纠正一个小误解：你写的C(const B& x)不是拷贝构造函数，是转换构造函数（因为参数是B类型，不是C类型）。

当你写C c0 = b0;时，这属于对象初始化（不是赋值！），编译器会调用这个转换构造函数，把B类型的b0转换成C类型的临时对象，再用这个临时对象初始化c0（这里编译器可能会做优化，直接用b0构造c0，但逻辑上是走转换构造），所以会输出"9"。

回到问题本身：就算你定义了拷贝构造函数，operator=也不会调用它。如果没自定义operator=，编译器会生成默认赋值运算符，它的行为是：对类的每个成员变量执行逐成员赋值（浅拷贝）——如果是基本类型就直接拷贝值，如果是对象就调用该对象的operator=，如果是指针就拷贝地址（这也是浅拷贝的风险点）。

你的第二个疑问解答 #

语句c0 = b2;是如何使用类的operator=的？为何输出32944？

咱们拆解这个语句的执行流程：

1. c0是已经存在的C类对象，b2是B类对象，编译器首先会找C类有没有自定义的operator=(const B&)——如果没有的话，就会尝试把b2转换成C类型的临时对象（通过你定义的C(const B&)转换构造函数）。
2. 现在有了一个C类型的临时对象，接下来调用C类的默认赋值运算符（因为你没自定义C的operator=），把这个临时对象的所有成员变量逐成员赋值给c0。
3. 至于为什么输出32944，大概率是因为B类中存在未初始化的成员变量，或者有指针/动态分配的资源没正确处理：
   • 比如B类里有个int成员没初始化，当你用B(x)初始化C的基类部分时，这个成员的值是随机的垃圾值；
   • 默认赋值运算符会把这个垃圾值拷贝到c0的基类成员里，最后输出的时候就显示了这个随机数32944。

内容的提问来源于stack exchange，提问作者Iduoad