C++ 类的赋值运算符''=''重载的方法实现

所属分类: 软件编程 / C 语言 阅读数: 143
收藏 0 赞 0 分享

什么类需要重载赋值运算符

先来看一个普通类的直接赋值。

#include <iostream>
using namespace std;

class person{
 int age;
public:
 person(const int& a=10):age(a){} //构造函数
 ~person(); //析构函数
 void showAdd(); //打印age的地址
};

person::~person(){cout<<"析构\n";}

void person::showAdd() {cout <<hex<< &age<<endl;}

int main() {
 person a(11);
 person b;
 b = a;
 a.showAdd();
 b.showAdd();
 return 0;
}
/*
结果是:
0x7fffffffdc5c
0x7fffffffdc60
析构
析构
*/

这是这个程序的内存情况,一切都运行的很正常,不需要运算符重载。

看下边这个例子,这个类的构造函数需要申请(new)堆内存:

#include <iostream>
using namespace std;

class person{
 int* age;
public:
 person(const int& a=10); //构造函数
 ~person(); //析构函数
 void showAdd(); //打印age的地址
 void show(); //打印age指向的值
 void set(const int& a){*age=a;}
};

person::person(const int& a) {age = new int(a);}

person::~person(){delete age; cout<<"析构\n";}

void person::showAdd() {cout << hex << age<<endl;}

void person::show() {cout<<*age<<endl;}

void f(person& a) {
 person b;
 b=a;
 a.show();
 b.show();
 a.showAdd();
 b.showAdd();
 //因为b是局部变量,所以进入main函数之前,b会自动调用析构函数
}

int main() {
 person a(11);
 f(a);
 cout<<"进入main函数\n";
 a.set(9); //因为b已经释放过age指针,set应该会出错
 a.show();
 return 0;
}

运行结果如下:

这是这个程序进入 f() 函数时的内存情况,两个age指针指向同一块内存。

这是这个程序退出 f() 函数进入main函数的情况,因为b是局部变量,所以f()函数结束的时候,b会调用析构函数,释放age指向的堆内存。这时候a.set()就会发生错误,因为内存已经释放,无权修改内存里的值。就算没有set()函数,main函数结束的时候还会产生doublefree的错误,同一块内存被释放两次,C++文档说明这是个未定义行为,所以不同编译器可能处理手段不一样,我的gcc 7.4.0 竟然没有报错。后来我又在网上的一些在线编译器实验一下,有的会报错,有的不会。

所以结论就是:类的构造函数需要申请堆内存的时候,我们要进行赋值运算符的重载,下面讲如何重载。

如何重载赋值运算符

#include <iostream>
using namespace std;

class person{
 int* age;
public:
 person(const int& a=10); //构造函数
 ~person(); //析构函数
 void showAdd(); //打印age的地址
 void show(); //打印age指向的值
 void set(const int& a){*age=a;} //设置age指向的值

 void operator=(person const& e); //重载赋值运算符
};

void person::operator=(person const& e)
{
 if(age) delete age; //如果原先age申请过堆内存,要先释放
 int data = *(e.age);
 age = new int(data);
}

person::person(const int& a) {age = new int(a);}

person::~person(){delete age; cout<<"析构\n";}

void person::showAdd() {cout << hex << age<<endl;}

void person::show() {cout<<*age<<endl;}

void f(person& a) {
 person b;
 b = a; //这时候b指向了一块新的空间
 a.show();
 b.show();
 a.showAdd();
 b.showAdd();
 //因为b是局部变量,所以进入main函数之前,b会自动调用析构函数
}

int main() {
 person a(11);
 f(a);
 cout<<"进入main函数\n";
 a.set(9); //因为b释放的指针和age指向不一样,set不会出错
 return 0;
}

程序运行正常,内存图如下:

注意上边我用的operator=返回值是void, 这样不能进行连续赋值,比如: person a = b = c; ,若想连续赋值,返回值要声明为 引用

person& person::operator=(person const& e)
{
 if(age) delete age; 
 int data = *(e.age);
 age = new int(data);
 return *this;
}

关于拷贝函数

再回看一下上边的代码,我的声明语句和赋值语句是分开的 person b; b=a; ,如果声明时赋值 person b=a; ,那么调用的函数就不是 operator= 了,而是拷贝函数

class person{
 int* age;
public:
 person(person const& e); //这就是拷贝函数 
}

需要注意的是:上边说的operator返回值有两种情况:void和引用,其实还有第三种,既然能返回引用那就还能返回值:

person person::operator=(person const& e)
{
 if(age) delete age; 
 int data = *(e.age);
 age = new int(data);
 return *this;
}

函数返回值的时候会临时构造一个 person 变量, 这个变量的 age 的指向和调用 operator= 的对象的 age 指向一样,也就是:

operator= 调用完之后,临时变量会调用析构函数,从而导致和上边一样的错误,doublefree。所以 operator= 的返回值最好是引用!

更多精彩内容其他人还在看

用标准c++实现string与各种类型之间的转换

这个类在头文件中定义, < sstream>库定义了三种类:istringstream、ostringstream和stringstream,分别用来进行流的输入、输出和输入输出操作。另外,每个类都有一个对应的宽字符集版本
收藏 0 赞 0 分享

C++如何通过ostringstream实现任意类型转string

再使用整型转string的时候感觉有点棘手,因为itoa不是标准C里面的,而且即便是有itoa,其他类型转string不是很方便。后来去网上找了一下,发现有一个好方法
收藏 0 赞 0 分享

C/C++指针小结

要搞清一个指针需要搞清指针的四方面的内容:指针的类型,指针所指向的类型,指针的值或者叫指针所指向的内存区,还有指针本身所占据的内存区
收藏 0 赞 0 分享

C++ 类的静态成员深入解析

在C++中类的静态成员变量和静态成员函数是个容易出错的地方,本文先通过几个例子来总结静态成员变量和成员函数使用规则,再给出一个实例来加深印象
收藏 0 赞 0 分享

C++类的静态成员初始化详细讲解

通常静态数据成员在类声明中声明,在包含类方法的文件中初始化.初始化时使用作用域操作符来指出静态成员所属的类.但如果静态成员是整型或是枚举型const,则可以在类声明中初始化
收藏 0 赞 0 分享

C++类静态成员与类静态成员函数详解

静态成员不可在类体内进行赋值,因为它是被所有该类的对象所共享的。你在一个对象里给它赋值,其他对象里的该成员也会发生变化。为了避免混乱,所以不可在类体内进行赋值
收藏 0 赞 0 分享

C++中的friend友元函数详细解析

友元可以是一个函数,该函数被称为友元函数;友元也可以是一个类,该类被称为友元类。友元函数的特点是能够访问类中的私有成员的非成员函数。友元函数从语法上看,它与普通函数一样,即在定义上和调用上与普通函数一样
收藏 0 赞 0 分享

static全局变量与普通的全局变量的区别详细解析

以下是对static全局变量与普通的全局变量的区别进行了详细的分析介绍,需要的朋友可以过来参考下,希望对大家有所帮助
收藏 0 赞 0 分享

C++ explicit关键字的应用方法详细讲解

C++ explicit关键字用来修饰类的构造函数,表明该构造函数是显式的,既然有"显式"那么必然就有"隐式",那么什么是显示而什么又是隐式的呢?下面就让我们一起来看看这方面的知识吧
收藏 0 赞 0 分享

教你5分钟轻松搞定内存字节对齐

随便google一下,人家就可以跟你解释的,一大堆的道理,我们没怎么多时间,讨论为何要对齐.直入主题,怎么判断内存对齐规则,sizeof的结果怎么来的,请牢记以下3条原则
收藏 0 赞 0 分享
查看更多