1. 赋值运算符的定义
赋值运算符是用于修改已有对象的内容，而不是用于创建新对象。其典型的定义如下：
Person& Person::operator=(const Person& other);
Person& Person::operator=(Person&& other);
- 左侧对象（
*this）：表示已经存在的目标对象。 - 右侧对象（
other）：表示要从中复制或转移数据的源对象。
核心点：赋值运算符不会创建新的对象，而是操作左侧已有对象。
2. 赋值运算符的行为
赋值操作的语义是将右侧对象的内容赋值给左侧对象，同时保持左侧对象的有效性。以下是赋值运算符的几个关键行为：
(1) 左侧对象必须已经存在
- 赋值操作仅修改左侧对象的状态，而不会重新创建它。
- 如果左侧对象尚未构造，则赋值运算符无法工作。
(2) 左侧对象的原有状态需要正确处理
- 在赋值之前，左侧对象可能已经持有一些资源（如动态分配的内存）。
- 赋值运算符必须清理这些资源，防止内存泄漏或资源冲突。
(3) 返回当前对象的引用
- 赋值运算符通常返回
*this的引用，表示赋值完成后的当前对象。 - 这允许链式赋值操作（如
a = b = c）。
3. 为什么赋值运算符不会创建新对象
(1) 赋值语义 vs 构造语义
赋值运算符与构造函数的职责不同：
- 构造函数负责初始化和创建对象。
- 赋值运算符负责修改已有对象。
在以下代码中：
Person p1; // 调用构造函数，创建 p1
Person p2; // 调用构造函数，创建 p2
p1 = p2; // 调用赋值运算符，修改 p1 的内容
p1在p1 = p2;之前已经存在了，因此不需要创建新对象。p1 = p2;的目的只是让p1的内容与p2相同，而不创建新的对象。
(2) 避免资源冲突和内存泄漏
如果赋值运算符创建了新对象，就会出现资源冲突和内存泄漏的问题。例如：
- 左侧对象可能持有动态分配的资源。
- 如果赋值运算符直接覆盖它而不释放旧资源，旧资源就会泄漏。
因此，赋值运算符的职责是：
- 清理左侧对象的旧状态（如释放动态内存）。
- 更新左侧对象的状态，使其与右侧对象一致。
4. 实现赋值运算符的语义
赋值运算符的实现通常需要处理以下几点：
(1) 自赋值检查
当对象赋值给自己时，应避免不必要的操作：
if (this == &other) {
return *this; // 自赋值，无需进一步操作
}
(2) 释放旧资源
在赋值新内容之前，需要清理左侧对象持有的旧资源。例如：
delete[] this->data; // 清理旧的动态内存
(3) 深拷贝或资源转移
根据赋值操作的类型（拷贝赋值或移动赋值），更新左侧对象的状态：
- 拷贝赋值需要深拷贝右侧对象的内容。
- 移动赋值需要转移右侧对象的资源。
示例代码：
class Person {
private:
char* name; // 动态分配的字符串
public:
Person(const char* name) {
this->name = new char[strlen(name) + 1];
strcpy(this->name, name);
}
~Person() {
delete[] name;
}
Person& operator=(const Person& other) {
if (this != &other) { // 自赋值检查
delete[] name; // 清理旧资源
name = new char[strlen(other.name) + 1];
strcpy(name, other.name); // 深拷贝
}
return *this; // 返回当前对象
}
};
5. 示例分析
以下代码展示了赋值运算符的核心语义：
#include <iostream>
#include <string>
class Person {
private:
std::string name;
public:
Person(const std::string& name) : name(name) {
std::cout << "Constructing " << name << "\n";
}
Person& operator=(const Person& other) {
if (this != &other) { // 自赋值检查
name = other.name; // 修改已有对象的状态
}
std::cout << "Assigning " << other.name << " to " << name << "\n";
return *this; // 返回当前对象
}
};
int main() {
Person p1("Alice");
Person p2("Bob");
p1 = p2; // 修改 p1 的内容
return 0;
}
输出：
Constructing Alice
Constructing Bob
Assigning Bob to Bob
分析：
Person p1("Alice");调用了构造函数，初始化p1。Person p2("Bob");调用了构造函数，初始化p2。p1 = p2;调用了赋值运算符，修改了p1的内容。
6. 总结：赋值运算符的语义
-
赋值运算符不会创建新对象：
- 左侧对象已经存在，赋值运算符的目标是修改它，而不是重新创建。
-
赋值操作修改已有对象的状态：
- 清理旧状态，复制或转移右侧对象的内容。
-
返回左值引用：
- 为了支持链式赋值，赋值运算符返回当前对象的引用。
-
实现的核心逻辑：
- 自赋值检查、释放旧资源、更新新状态。
赋值运算符的语义是让左侧对象在赋值后与右侧对象表现一致，而不会创建新的对象。这种设计提高了性能、资源管理的安全性，并遵循了赋值的直观逻辑。
标签：p1,name,对象,c++,运算符,Person,赋值 From： https://blog.csdn.net/qq_43689451/article/details/145059451