C++程序设计——类的六个成员函数-创新互联

类的六个成员函数

目前创新互联已为数千家的企业提供了网站建设、域名、网页空间、绵阳服务器托管、企业网站设计、玛曲网站维护等服务，公司将坚持客户导向、应用为本的策略，正道将秉承"和谐、参与、激情"的文化，与客户和合作伙伴齐心协力一起成长，共同发展。空类中真的什么都没有吗？

事实上任何一个类，在我们不写的情况下，都会自动生成6个默认的成员函数。

1.构造函数

概念：

构造函数是一个特殊的成员函数，名字与类名相同，实例化对象时由编译器自动调用，以此来保证每个数据成员都有一个合适的初始值，并且在对象的生命周期内只调用一次。

构造函数的主要作用是初始化对象，而不是开辟空间创建对象。

特征：

1.函数名与类名相同
2.创建对象时，由编译器自动调用，用户无法调用
3.无返回值（void也不可以）
4.构造函数可以重载
5.若类中没有显式定义构造函数，则编译器会自动生成一个无参的默认构造函数；若用户已显式定义，则编译器不再生成
6.无参和全缺省的构造函数都称为默认构造函数，且默认构造函数只能有一个

例1：

例2：

例3：

2.析构函数

概念：

与构造函数相反，析构函数不是完成对象的销毁，局部对象销毁工作是由编译器完成的，而对象在销毁时，会自动调用析构函数，完成类的一些资源清理工作。

特性：

1.析构函数名是在类名前加上一个字符‘~’。
2.没有参数（可以加void，但一般不会这样使用），没有返回值。
3.一个类有且仅有一个析构函数（不能重载）。若未显式定义，系统则会自动生成默认的析构函数。
4.对象生命周期结束时，C++编译系统会自动调用析构函数。

默认的成员函数，一定会生成？

从语法上来讲，是一定会生成的，但是实际情况中并不一定。因为语法是靠人来具体实现的，有时需要考虑一些其他因素，比如程序的运行效率，所以有可能不会严格按照语法来实现。

比如一下代码，并没有什么意义，在某些编译器及版本中（例：VS2013），就不会生成类的默认成员函数。

3.拷贝构造函数

概念：

拷贝构造函数只有单个形参，该形参是对本类类型对象的引用（一般常用const修饰，防止被修改），在用已存在的类类型对象创建新对象时，由编译器自动调用。

特征：

1.拷贝构造函数是构造函数的一个重载形式
2.拷贝构造函数的参数只有一个且必须使用引用传参，使用传值方式会引发无穷递归调用
3.若未显式定义，系统会生成默认的拷贝构造函数。

注意：默认的拷贝构造函数对象按内存存储按字节序完成拷贝，这种拷贝属于浅拷贝，或叫值拷贝；所以没有涉及到资源管理，可以直接使用默认的拷贝构造函数。

为什么拷贝构造函数使用传值方式会引发无穷递归？

那我们就假设可以使用传值方式，那么在调用拷贝构造函数时就会发生临时拷贝，需要将实参拷贝到形参中，即通过实参来构造形参对象，那么此时就又需要调用拷贝构造函数，因此陷入无穷递归调用。

什么情况需要自实现拷贝构造函数？

因为默认的拷贝构造函数采用的是浅拷贝，因此当涉及到资源的管理时，就需要自实现拷贝构造函数。

调用拷贝构造函数的场景

（1）用一个对象直接构造一个新对象

（2）类类型对象，以值的形式传参

（3）类类型对象，以值的方式作为函数返回值

注意：若直接创建返回一个匿名对象，编译器不会通过拷贝构造函数创建一个临时对象返回，而是直接将匿名对象返回。

4.赋值运算符重载

概念：

C++为了增强代码的可读性引入了运算符重载，运算符重载是具有特殊函数名的函数，也具有其返回值类型、函数名，以及参数列表，其返回值类型与参数列表和普通的函数类似。

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

函数原型：返回值类型 operator操作符（参数列表）

注意：

1.不能通过连接其他符号来创建新的操作符，比如operator@
2.重载操作符必须有一个类类型或者枚举类型的操作数
3.用于内置类型的操作符，其含义不能改变，例如：内置的整型+，不能改变其含义
4.作为类成员的重载函数时，其形参看起来比操作数数目少一，其实成员函数的操作符有一个默认的形参this，限定为第一个参数
5.以下五个运算符不能重载：.*、::、sizeof、?:、.

什么情况需要自实现赋值运算符重载？

默认的赋值运算符重载，也是采用的浅拷贝，所以如果类中未涉及到资源管理时，赋值操作是否显示提供都可以，需要则提供，不需要则可不提供，利用编译器完成赋值操作即可。

若类中涉及到资源管理，则用户必须显示实现，否则编译器默认生成的赋值运算符重载实现采用的是浅拷贝，可能造成资源、内存泄漏，和多个对象共享同一份资源，在销毁时造成代码崩溃。

为什么赋值运算符重载必须重载为类的成员函数？

因为赋值运算符重载是类默认的成员函数，若用户没有显示定义时，编译器会自动生成一份，而此时若用户自己再在类外实现一份，相等于存在两个赋值运算符重载形成歧义，编译器则会报错。

较为标准的赋值运算符重载