C++ 赋值运算符'='的重载(浅拷贝、深拷贝)

简介: C++ 赋值运算符'='的重载(浅拷贝、深拷贝)

1.需求


有时候希望赋值运算符两边的类型可以不匹配。


比如:把一个  int  类型变量赋值给一个 Complex(复数)对象,或把一个  char*  类型的字符串赋值给一个字符串对象,此时就需要重载 = 赋值运算符 


需要注意的是:赋值运算符 = 只能重载为成员函数。


2.举个栗子


下面我们以自定义一个自己的字符串类代码的例子,讲解赋值运算符的重载函数。


MyString 字符串类所需的成员函数:

  • 构造函数 / 析构函数
  • 返回 char* 指针的函数
  • 赋值运算符重载函数


5.jpg



出结果:




Hello~Hi~


重载 =号运算符函数后,s = "Hello~"; 语句就等价于 s.operator=("Hello~");


需要注意的一点是:


上面的 MyString s2 = "Hello!";  语句实际上是初始化语句,而不是赋值语句,因为是初始化语句,所以需要调用构造函数进行初始化,那么这时就需要有 char*参数的构造函数,由于我们没有定义此构造函数,所以就会编译出错。


3.浅拷贝和深拷贝


还是依据上面的例子,假设我们要实现最后一个语句的方式:


MyString s1,s2;
s1 = "this"; // 调用重载的赋值语句
s2 = "that"; // 调用重载的赋值语句
s1 = s2;     // 如何实现这个??


s1 = s2;句目的希望是 s1对象放的字符串和 s2对象放的字符串要一样,由于 = 号两边的类似都是对象,编译器会用原生的赋值运算符函数。


但是这个原生的赋值运算符函数对于有指针成员变量的对象来说,是非常危险的!


浅拷贝


如果用原生的赋值运算符函数去赋值有指针成员变量的对象,就会使得两个对象的指针地址也是一样的,也就是两个对象的指针成员变量指向的地址是同一个地方,这种方式就是浅拷贝。


这时当一个对象释放了指针成员变量时,那么另外一个对象的指针成员变量指向的地址就是空的了,再次使用这个对象时,程序就会奔溃了,因为该对象的指针成员函数已经是个不合法的指针了!


6.jpg


深拷贝


如果对象里面有指针成员变量,则我们需要对原生的赋值运算符函数,防止出现程序出错现象的发生。


因此要在 class MyString 类里加上如下成员函数:



MyString & operator=(const MyString & s)

{

   // 释放旧字符串资源

   delete [] m_str;

                   

// 生成新字符串的空间大小,长度多+1的目的是存放\0

   m_str = newchar[strlen(s.m_str) +1 ];

   

  // 拷贝新字符串的内容

   strcpy(m_str, s.m_str);

   

   // 返回该对象

   return *this;

}


这么做就够了吗?还有什么需要改进的地方吗?我们在考虑下面的语句:


MyString s;

s = "Hello";

s = s; // 是否会有问题?

最后一个语句是否会有问题?


s = s;等价于s.operator=(s),由于s和s是相同的对象,那么就没必要完全执行重载的赋值 = 的函数了。


我们再加个判断,当左右两边是相同对象时,就直接返回该对象就好:


MyString & operator=(const MyString & s)

{

   // 当左右两边是相同对象时,就直接返回该对象就

   if(this == &s)

       return *this;

 

    delete [] m_str;

   m_str = newchar[strlen(s.m_str) +1 ];

   strcpy(m_str, s.m_str);

  return *this;

}


4.返回值讨论


opterator= 返回值讨论:

  • void 好不好?
  • MyString 好不好?
  • 为什么是MyString &


当我们重载一个运算符的时候,好的风格应该是尽量保留运算符原本的特性。


考虑:


  • a = b = c; 这个赋值语句的顺序是先 b = c,然后在 a = (b = c)。如果返回的 void类型,那么 a = (void)显然是不成立的;
  • (a = b) = c; 这个赋值语句会修改 a 的值,如果返回的类型是 MyString对象,那么就无法修改 a 的值了。


分别等价于:

  • a.operator=(b.operator=(c));
  • (a.operator=(b)).operator=(c);


所以综上考虑, operator= 返回值类型是 MyString &是比较好的。


5.复制构造函数


上面的 MyString类是否就没有问题了?


MyString s;
s = "Hello";
MyString s1(s); // 要考虑这种情况,那就要重载复制(拷贝)构造函数


如果使用默认的复制(拷贝)构造函数,那就对有指针成员变量的对象会有问题,因为会默认的复制(拷贝)构造函数会导致两个对象的指针成员变量指向同一个的空间。


所以需要对复制(拷贝)构造函数重载,并实现深拷贝的方式:


MyString (const MyString &s)

{

   m_str = newchar[strlen(s.m_str) + 1];

   strcpy(m_str, s.m_str);

}


6.小结


所以最后的 MyString 字符串类所需的成员函数:

  • 构造函数 / 析构函数
  • 返回 char* 指针的函数
  • 赋值运算符重载函数(深拷贝
  • 复制构造函数(深拷贝


7.jpg

相关文章
|
5月前
|
C++
【C++基础】运算符详解
这篇文章详细解释了C++中运算符的用法,包括算术运算符、赋值运算符、比较运算符和逻辑运算符,以及它们在表达式中的作用和示例。
76 2
|
5月前
|
C++
C++(十九)new/delete 重载
本文介绍了C++中`operator new/delete`重载的使用方法,并通过示例代码展示了如何自定义内存分配与释放的行为。重载`new`和`delete`可以实现内存的精细控制,而`new[]`和`delete[]`则用于处理数组的内存管理。不当使用可能导致内存泄漏或错误释放。
|
6月前
|
C++
c++学习笔记02 运算符
C++学习笔记,介绍了C++中的运算符,包括基本的加减乘除、求模、前后置递增递减、赋值运算符、比较运算符和逻辑运算符的使用及其注意事项。
59 6
|
7月前
|
NoSQL 编译器 Redis
c++开发redis module问题之如果Redis加载了多个C++编写的模块,并且它们都重载了operator new,会有什么影响
c++开发redis module问题之如果Redis加载了多个C++编写的模块,并且它们都重载了operator new,会有什么影响
|
7月前
|
存储 C++
【C++】string类的使用③(非成员函数重载Non-member function overloads)
这篇文章探讨了C++中`std::string`的`replace`和`swap`函数以及非成员函数重载。`replace`提供了多种方式替换字符串中的部分内容,包括使用字符串、子串、字符、字符数组和填充字符。`swap`函数用于交换两个`string`对象的内容,成员函数版本效率更高。非成员函数重载包括`operator+`实现字符串连接,关系运算符(如`==`, `<`等)用于比较字符串,以及`swap`非成员函数。此外,还介绍了`getline`函数,用于按指定分隔符从输入流中读取字符串。文章强调了非成员函数在特定情况下的作用,并给出了多个示例代码。
|
8月前
|
C++ 容器
C++之deque容器(构造、赋值、大小、插入与删除、存取、排序)
C++之deque容器(构造、赋值、大小、插入与删除、存取、排序)
102 1
|
8月前
|
C++ 容器
C++字符串string容器(构造、赋值、拼接、查找、替换、比较、存取、插入、删除、子串)
C++字符串string容器(构造、赋值、拼接、查找、替换、比较、存取、插入、删除、子串)
112 1
|
8月前
|
C++
C++之运算符
C++之运算符
|
8月前
|
存储 编译器 C++
【C++】:拷贝构造函数和赋值运算符重载
【C++】:拷贝构造函数和赋值运算符重载
42 1
|
8月前
|
安全 程序员 C++
C++一分钟之-重载运算符
【6月更文挑战第21天】C++的运算符重载让程序员能为自定义类型定制运算符行为,增强代码表达力。但要注意清晰性、优先级和返回类型。遵循运算符原有意义,充分测试,并用注释解释非直观设计。示例展示了如何为复数类重载`+`运算符。避免重载内置类型,注意结合性,且慎用隐式转换。重载应提升可读性而非复杂化代码。
62 2