运算符重载是 C++ 中一个重要的特性,允许程序员为类定义操作符的新操作。这可以让自定义类型的操作更加直观和方便。
0 运算符重载的规则
1. 兼容性:不能引入新的运算符,只能重载已经存在的运算符。
2. 至少一个操作数是用户定义的类型:这确保了运算符重载的适用性仅限于自定义类型。
3. 不改变运算符优先级和结合性:重载不会改变运算符的原有优先级和结合性规则。
4. 不改变运算符的操作数数量:例如,不能将二元运算符重载为一元运算符。
5. 某些运算符不能重载:如 `.`, `::`, `?:`, 和 `sizeof`。
1 重载形式
运算符重载可以通过成员函数或非成员(全局)函数实现:
- 成员函数:如果运算符是作为成员函数重载,它的左操作数必须是该类的对象。
- 非成员函数:如果运算符是作为非成员函数重载,它可以有更多的灵活性,尤其是当操作数类型不同或者不是该类的对象时。
2 特殊运算符重载
- 赋值运算符 `=`:通常需要特别注意,尤其是处理对象的拷贝和赋值。
- 下标运算符 `[]`:允许以类似数组的方式访问对象。
- 函数调用运算符 `()`:使对象可以像函数那样被调用。
- 箭头运算符 `->`:通常用在实现智能指针等需要模拟指针行为的类中。
3 类型转换
- 类型转换运算符:允许类的对象被隐式或显式地转换为其他类型。
- 显式和隐式转换:可以通过 `explicit` 关键字控制转换的隐式或显式性。
4 类域
- 运算符重载可以访问类的私有成员(如果是类的成员函数)。
- 重载运算符应该考虑类的封装性和接口设计。
5 string 的底层实现和写时复制技术
- `std::string` 在早期实现中可能使用了“写时复制”(Copy-On-Write, COW)技术。
- COW 意味着当字符串对象被复制时,数据本身不会立即被复制。只有在其中一个副本需要修改时,实际的数据副本才会发生。
- 这可以提高性能和内存效率,但由于多线程编程的复杂性,现代 C++ 标准(如 C++11 及以后)不再使用 COW 技术,因为它可能导致数据竞争和一致性问题。
- 在现代 C++ 实现中,`std::string` 通常通过使用动态内存分配和引用计数或类似机制来管理其数据,以保持高效和安全。