类默认提供的四个成员函数

目录

构造函数

针对默认构造函数对内置类型不处理的问题，C++11补充了新语法，声明缺省值

内置类型

自定义类型的两种方式

析构函数

拷贝构造函数

调用拷贝构造进行值传递问题：

解决：

浅拷贝问题：

解决：

赋值运算符重载

---

构造函数

1.构造函数的主要任务是初始化对象。构造函数无返回值。

2.构造函数支持重载。（方便使用多种初始化方法）类实例化出对象时自动调用对应的构造函数。

3.构造函数分为无参构造函数（可以使用全缺省参数代替），有参构造函数。全缺省构造函数和其它无参与有参构造函数只能同时存在一个。

4.当用户没有创建构造函数时，类会默认提供。

5.类默认提供的构造函数对成员变量中类型为内置类型（基本类型）不做处理，对自定义类型会调用它的构造函数。

6.自己写的无参构造函数和全缺省构造函数，以及编译器默认生成的构造函数，都可以认为是默认成员函数

格式：

    无参构造：           类名（）{}；                                                                                 

           

     全缺省构造       类名 （int val1=100, int val2=100）{};  

 

有参构造       类名 （int val1, int val2）{};

针对默认构造函数对内置类型不处理的问题，C++11补充了新语法，声明缺省值

内置类型

自定义类型的两种方式

        1.值1会先调用构造函数生成对象，再调用拷贝构造生成对象a。但编译器会优化直接调用构造函数，A a(1)。

        C++11支持的多参数构造

 

         2.匿名对象

析构函数

1.对象在销毁时会自动调用析构函数，对象的销毁由编译器完成，资源的释放由析构完成。

2.析构函数无返回值，无参。

3.一个类中只有一个析构函数，系统会默认提供析构函数。

4.析构函数对成员变量中类型为自定义类型调用它的析构函数。

5.如果成员变量都没在堆中开辟空间，则无需自己写析构。如果有，则要在析构函数中自己释放空间，让对象销毁时调用析构函数。

格式：

~类名（）{}；

拷贝构造函数

1.通过一个已有的对象来创建新的对象时由编译器自动调用。

2.拷贝构造函数是构造函数的重载，只有一个同类型的参数。

3.如使用默认拷贝构造函数，对成员变量中类型为内置类型进行值拷贝，对自定义类型调用它的拷贝构造。

4.使用拷贝构造时形参只能使用引用，如果使用值传递，则会产生无穷递归。

5.拷贝构造只是浅拷贝（值拷贝），如果成员变量在堆区开辟了空间，则在对象销毁时调用析构函数会出现问题（对野指针进行释放）。

格式：

类名（const  类名&  已有对象）{}；

调用拷贝构造进行值传递问题：

使用值传递，需要将实参拷贝一份传给形参，则需要调用一次拷贝构造，而这次调用的拷贝构造又需要传参，传参则又需要调用拷贝构造，再传参，再调。无穷递归下去。

解决：

所以我们在自己写拷贝构造时形参必须是引用。 

浅拷贝问题：

调用拷贝构造函数时，进行的是值拷贝，a1和a2中的arr存放的都是同一个字符串常量的地址，当a2先被销毁，调用析构函数使用free将字符串 s 释放，此时表明，a1和a2 已经没有0x11111111 指向的空间的使用权。

 对a1来说，0x11111111已经成了野指针，a1被销毁调用析构函数去释放一个不属于自己的空间，则会报错。

 

解决：

需要自己重写拷贝构造函数，调用拷贝构造时，每个对象都从堆区申请一块空间，将内容拷贝到申请的空间内。这样在调用析构函数时，就不会出现一块空间释放两次的问题。

赋值运算符重载

1.使用两个已经创建的对象，将其中一个对象的值赋值给另一个对象；

2.运算符不支持自定义类型，为了使得自定义类型也能使用运算符，提高代码可读性。所以需要对运算符进行重载。

3.使用默认提供的赋值函数，对成员变量中类型为内置类型进行赋值操作，对自定义类型则调用它的赋值函数。

4.作为成员函数实现，参数只需要一个，因为隐藏有this指针。在类外实现则需要两个参数。

5.操作符重载必须有一个为自定义类型。

格式：返回值类型 operator = （参数列表）{}；

建议形参使用const修饰，防止实参被改变。

返回值使用引用，传值返回也没问题，但传值会调用拷贝构造，生成一个新的对象，违背原意。

 赋值运算符是右结合，此时this指向a2，返回*this，调用拷贝构造后，a2已经不再是原来的a2，而是拷贝构造生成新的对象替代了原来的a2，同样，a1也不再是原来的a1。