0%

(C++)类的六大默认成员函数

类的 6 个默认成员函数

初始化和清理:

  1. 构造函数主要完成初始化工作
  2. 析构函数主要完成清理工作

拷贝复制:

  1. 拷贝构造是使用同类对象初始化创建对象
  2. 复制重载主要是把一个对象赋值给另一个对象

取地址重载:

主要是普通对象和const对象取地址,这两个很少会自己实现

构造函数

构造函数:函数名和类型名相同,无返回值,可以重载,编译器在创建时自动调用

默认构造:

  1. 编译器默认生成
  2. 显示定义的无参构造
  3. 全缺省构造函数(常用)

一旦显示定义构造函数,编译器不会再自动生成了,只有当类没有定义任何构造函数时,编译器才会自动生成一个无参构造

如果类中存在自定义成员,则构造函数会自动调用自定义成员的默认构造,完成自定义成员的初始化

如果自定义成员没有默认构造函数(无参构造或全缺省构造或自动生成的无参构造),则会产生编译错误

析构函数

与构造函数功能相反,对象在销毁时会自动调用析构函数,完成类的一些资源清理工作,free,打开的文件等(不是完成对象的销毁)

清理资源,不是销毁对象,在对象生命周期结束时,编译器自动调用,如果没有资源需要清理,可以不用显式的写析构函数,直接用编译器默认生成的

~函数名()

  1. 无参数无返回值
  2. 一个类有且只有一个析构函数,若未定义,系统会自动生成默认的析构函数
  3. 对象生命周期结束时,C++编译系统自动调用析构函数
  4. 如果类中存在自定义成员,则类在销毁时会调用它的析构函数,完成自定义类型的类的资源清理工作

拷贝构造函数

构造函数的一种重载形式,也是在创建对象时自动调用

调用场景:用一个已经存在的对象去创建一个新的对象,创建的新对象和当前内容相同

  1. 拷贝构造是构造函数的一个重载形式
  2. 拷贝构造函数的参数只有一个且必须使用引用传参(可以加const),_使用传值方式会引发无穷递归调用_
  3. 若没有显式的定义,系统生成默认的拷贝函数,为浅拷贝,或者值拷贝(只拷贝对象模型的内容,不拷贝资源)

匿名对象具有常性,在引用时需要加const

运算符重载

增强代码可读性。

函数名字:关键字operator后面接需要重载的运算符符号

函数原型:返回值类型 operator操作符(参数列表)

普通运算符重载函数

  1. 不能创建新的操作符,如operator\@
  2. 重载操作符必须有一个类类型或者枚举类型的操作符
  3. 用于内置类型的操作符,其含义不能改变
  4. 运算符重载函数如果是成员函数,则参数的个数比运算符需要的个数少一个,这里编译器会传入this指针作为第一个参数
  5. 普通的运算符重载函数,参数的个数和运算符需要的个数一致
1
2
3
4
5
6
7
8
9
10
11
12
13
bool operator== (const Date& d1, const Date& d2)
{
rerurn d1._year == d2._year
&& d1._month == d1._month
&& d1._day == d2._day;
}

bool operator== (const Date& d)//成员函数
{
rerurn _year == d._year
&& _month == d._month
&& _day == d._day;
}

赋值运算符重载函数

用一个对象修改已经存在对象的内容,不是去创建新的对象,修改之后,两个对象的内容一致

  1. 可以通过检查是否给自己赋值,进行优化
  2. 如果需要连续赋值,返回值不能是void,一般为引用类型
  3. 返回值一般是 *this
  4. 编译器默认生成的赋值运算符为字节拷贝,即浅拷贝,如果资源需要拷贝,需要显示定义,完成深拷贝

\=调用:如果对象都存在,调用赋值运算符重载函数

如果左边对象不存在,调用拷贝构造创建左边对象

_赋值是从右向左进行的_

如果不写,编译器会自动生成,默认生成的也是字节拷贝,浅拷贝

如果当前类中有资源,则必须显示定义运算符重载函数,完成深拷贝

通过一个int参数来区分前后缀运算符,有int为后缀,反之为前缀

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
void operator=(const Date& d)
{
if(this != &d)//判断是不是在给自身赋值
{
_year = d._year;
_month = d._month;
_day = d._day;
}
}

Date& operator=(const Date& d)//此时可以连续赋值
{
if(this != &d)//判断是不是在给自身赋值
{
_year = d._year;
_month = d._month;
_day = d._day;
}
return *this;
}

.*(成员指针访问运算符) , :: , sizeof , \? : , . 五个运算符不能被重载

const成员

const 修饰类的成员函数

成员函数 + const

将const修饰的类成员函数称为const修饰类成员函数,实际修饰该成员函数隐含的this指针,表明在该成员函数中,不能对类的任何成员进行修改

非const对象(即可读可写)调用非const成员函数,也可以调用const成员函数,原因:读写权限没有被放大

const对象(只读)调用const成员函数,不能调用非const成员函数,原因:读写权限不能被放大

  1. 非const对象可以调用非const成员函数,也可以调用const成员函数
  2. const只能调用const成员函数
  3. 非const成员函数既可以调用非const成员函数,也可以调用const成员函数
  4. const成员函数只能调用const成员函数
  5. 原则:只要不放大读写权限,就可以调用,缩小读写权限是被允许的
  6. 非成员函数不能用const修饰,因为非成员函数没有this指针

非const成员函数:函数() —> 底层接口 —> 函数(类类型* const this) —>this指向不变

const成员函数:函数()const —> 底层接口 —>函数(const 类类型* const this) —>this指向不变,且指向的内存中的内容也不变

取地址及const取地址操作符重载

一般不用重新定义,编译器默认会生成

类类型 operator\&()

\{

return this;

\}

const 类类型 operator\& () const

\{

return this;

\}

特殊情况下,才需要重载,比如:想让别人获取到指定的内容

总结

1. 构造函数:在已有的空间上初始化对象成员变量

  1. 如果没有定义,编译器自动生成,如果定义了任何一个构造函数,编译器不再自动生成
  2. 支持重载
  3. 默认构造函数:无参构造,全缺省构造,编译器自动生成的,三者之能存在一个
  4. 创建对象时自动调用
  5. 如果有自定义成员,构造函数自动调用自定义成员的默认构造,如果自定义成员没有默认构造,编译不通过

2.析构函数:对象销毁之前,清理对象的资源,不是销毁对象

  1. 如果没有定义,编译器自动生成
  2. 不支持重载,只能有一个
  3. 对象生命周期结束时,编译器会自动调用
  4. 如果有自定义成员,析构函数会自动调用自定义成员的析构函数,完成自定义成员的资源清理

3.拷贝构造函数:用一个对象创建一个内容完全一样的新对象

  1. 其属于构造函数的一种重载形式,如果没有定义,编译器会自动生成
  2. 拷贝构造函数的参数必须为引用,不能为值,否则会引发无穷递归
  3. 编译器自动生成的拷贝构造完成的是字节拷贝,即浅拷贝,只拷贝对象模型中的成员,不拷贝资源
  4. 如果类中有资源,则需要显示定义拷贝构造,完成深拷贝

4.赋值运算符重载函数:用一个对象修改已存在对象的内容,让其内容一致

  1. 如果没有定义,编译器自动存生成
  2. 如果需要连续赋值,一般函数的返回类型为当前类类型的引用
  3. 可以通过if(this != \&对象)来判断是否给自己赋值
  4. 返回值一般为 *this
  5. 编译器自动生成的赋值重载函数完成字节拷贝,即浅拷贝,只拷贝对象模型中的成员,不拷贝资源
  6. 如果类中有资源,则需要显示定义拷贝构造,完成深拷贝

5.取地址运算符重载函数 / const取地址运算符重载函数:获取对象的地址

  1. 一般不需要显示定义,直接使用编译器自动生成的即可
-------------本文结束感谢您的阅读-------------