🎈归属专栏：浅尝C++
🚗个人主页：Jammingpro
🐟记录一句：好想摆烂，又好想学习~~
文章前言：本篇文章简要介绍C++类的构造函数、析构函数及拷贝构造函数，介绍每个小点时，都会附上对应的代码，如果可能的话。余下3大默认成员函数将于后续文章中叙述，要不，整个文章太长了。
文章目录
- 构造函数
- 基本概念
- 特性
- 析构函数
- 基本概念
- 特性
- 拷贝构造函数
- 概念
- 特征
我们知道，如果一个类什么都没有，那么它就是一个空类。空类真的什么都没有吗？答案是否定的。任何类在什么都不写时，编译器会自动生成以下6个默认成员函数，本文将先介绍构造函数、析构函数及拷贝构造函数。👇
ps：默认成员函数：用户没有显式实现，编译器会生成的成员函数称为默认成员函数。
构造函数
基本概念
在介绍构造函数之前，我们先回顾一下类的定义和调用👇。
#include<iostream>
using namespace std;class Date
{
public:void Init(int year, int month, int day){m_year = year;m_month = month;m_day = day;}void Print(){cout << m_year << " - " << m_month << " - " << m_day << endl;}
private:int m_year;int m_month;int m_day;
};int main()
{Date date;date.Init(2023, 1, 1);date.Print();return 0;
}
对于Date类，可以通过 Init 公有方法给对象设置日期，但如果每次创建对象时都调用该方法设置信息，未免有点麻烦，那能否在对象创建时，就将信息设置进去呢？
构造函数是一个特殊的成员函数，名字与类名相同,创建类类型对象时由编译器自动调用，以保证每个数据成员都有 一个合适的初始值，并且在对象整个生命周期内只调用一次。
特性
构造函数是特殊的成员函数，需要注意的是，构造函数虽然名称叫构造，但是构造函数的主要任务并不是开空间创建对象，而是初始化对象。
特征如下：
①函数名与类名相同。
②无返回值。
③对象实例化时编译器自动调用对应的构造函数。
④构造函数可以重载。
#include<iostream>
using namespace std;class Date
{
public://以下两个构造函数，参数个数不同，构成重载Date(int year, int month, int day){//定义对象时，会自动打印下面这句内容cout << "Date(int year, int month, int day)被调用" << endl;m_year = year;m_month = month;m_day = day;}//构造函数名称与类名相同，且无返回值Date(int year){cout << "Date(int year)被调用" << endl;}
private:int m_year;int m_month;int m_day;
};int main()
{Date d1(2022, 12, 12);Date d3(2023);return 0;
}
⑤如果类中没有显式定义构造函数，则C++编译器会自动生成一个无参的默认构造函数，一旦用户显式定义编译器将不再生成。
#include<iostream>
using namespace std;class Date
{
public:/*提供该构造函数后，编译不再生成默认构造函数Date(int year, int month, int day){m_year = year;m_month = month;m_day = day;}*/
private:int m_year;int m_month;int m_day;
};int main()
{Date d1;//若将上面类中定义的构造函数注释掉，则此处不会出错，因为编译器自动生成了默认构造函数（不带参数的函数）//若使用上面类中定义的构造函数，则此处定义d1对象会报错，因为编译器不再自动生成默认构造函数return 0;
}
⑥关于编译器生成的默认成员函数，不实现构造函数的情况下，编译器会生成默认的构造函数。但是看起来默认构造函数又没什么用？d对象调用了编译器生成的默认构造函数，但是d1对象m_year/m_month/m_day，依旧是随机值。也就说在这里编译器生成的默认构造函数并没有什么用？？
答：C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语言提供的数据类型，如：int/char…，自定义类型就是我们使用class/struct/union等自己定义的类型，看看下面的程序，就会发现编译器生成默认的构造函数会对自定类型成员m_t调用的它的默认成员函数。
#include<iostream>
using namespace std;class Time
{
public:Time(){cout << "Time构造函数" << endl;m_hour = m_minute = m_second = 0;}void Print(){cout << m_hour << ":" << m_minute << ":" << m_second << endl;}
private;int m_hour;int m_minute;int m_second;
};class Date
{
public:void Print(){cout << m_year << "-" << m_month << "-" << m_day << endl;m_t.Print();}
private:int m_year;int m_month;int m_day;
};int main()
{Date d;//d未调用Time的构造函数，但打印时，Time的各个成员变量均已初始化为1。说明编译器自动实现的Date的构造函数，会自动调用Time的构造函数。d.Print();return 0;
}
注意：C++11 中针对内置类型成员不初始化的缺陷，又打了补丁，即：内置类型成员变量在类中声明时可以给默认值。
#include<iostream>
#include<string>
using namespace std;class Jammingpro
{
public:void Print(){cout << "我是 " << m_name << "，今年 " << m_age << " 岁" << endl;}
private:string m_name = "xioaming";int m_age = "18";
};int main()
{Jammingpro jam;jam.Print();//打印的是默认值return 0;
}
⑦无参的构造函数和全缺省的构造函数都称为默认构造函数，并且默认构造函数只能有一个。
注意：无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数，都可以认为是默认构造函数。下面代码演示的是无参、全缺省构造函数，两个函数只能留下其中一个，不能同时存在。
class Date
{
public:Date(){}Date(int year = 2022, int month = 12, int day = 12){m_year = year;m_month = month;m_day = day;}
private:int m _year;int m_month;int m_day;
}
析构函数
基本概念
与构造函数功能相反，析构函数是完成对对象本身的销毁，局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数，完成对象中资源的清理工作。
特性
析构函数是特殊的成员函数，其特征如下：
①析构函数名是在类名前加上字符 ~。
②无参数无返回值类型。
③一个类只能有一个析构函数。若未显式定义，系统会自动生成默认的析构函数。注意：析构函数不能重载
④对象生命周期结束时，C++编译系统系统自动调用析构函数。
#include<iostream>
using namespace std;class Stack
{
public://对象生命周期结束时，需要调用下面的析构函数~Stack(){cout << "~Stack()" << endl;}
private:char* m_mem;int m_size;int m_capacity;
};int main()
{Stack stk;return 0;
}
⑤关于编译器自动生成的析构函数，是否会完成一些事情呢？下面的程序我们会看到，编译器生成的默认析构函数，对自定类型成员调用它的析构函数。
#include<iostream>
using namespace std;class Time
{
public://下面这句话会被打印，因为Date的自动生成的析构函数会调用自定义数据类型的析构函数~Time(){cout << "Time析构函数" << endl;}
private;int m_hour;int m_minute;int m_second;
};class Date
{
private:int m_year;int m_month;int m_day;
};int main()
{Date d;return 0;
}
⑥如果类中没有申请资源时，析构函数可以不写，直接使用编译器生成的默认析构函数，比如Date类；有资源申请时，一定要写，否则会造成资源泄漏，比如Stack类。
class Stack
{
public:Stack(){m_mem = new char[100];//在堆区申请了内存空间m_size = 0;m_capcpity;}~Stack(){delete[] m_mem;//必须使用析构函数释放资源}
private:char* m_mem;int m_size;int m_capacity;
}
拷贝构造函数
概念
拷贝构造函数：只有单个形参，该形参是对本类类型对象的引用(一般常用const修饰)，在用已存在的类类型对象创建新对象时由编译器自动调用。
特征
其特征如下：
①拷贝构造函数是构造函数的一个重载形式。
②拷贝构造函数的参数只有一个且必须是类类型对象的引用，使用传值方式编译器直接报错，因为会引发无穷递归调用。
class Date
{
public:Date(int year, int month, int day){m_year = year;m_month = month;m_day = day;}//Date(const Date d) ->错误写法，将引发无穷递归Date(const Date& d)//->正确写法{m_year = d.m_year;m_month = d.m_month;m_day = d.m_day;}
private:int m_year;int m_month;int m_day;
}
③若未显式定义，编译器会生成默认的拷贝构造函数。 默认的拷贝构造函数对象按内存存储按字节序完成拷贝，这种拷贝叫做浅拷贝，或者值拷贝。
注意：在编译器生成的默认拷贝构造函数中，内置类型是按照字节方式直接拷贝的，而自定义类型是调用其拷贝构造函数完成拷贝的。
class Stack
{
public:Stack(){m_mem = new char[100];m_size = 0;m_capacity = 100;}/*下面这个是编译器自动生成的Stack(const Stack& s){m_mem = s.m_mem;m_size = s.m_size;m_capacity = s.m_capacity;}*/Stack(const Stack& s){m_mem = new char[s.m_capacity];strcpy(m_mem, s.m_mem);m_size = s.m_size;m_capacity = s.m_capacity;}
private:char* m_mem;int m_size;int m_capacity;
}
④编译器生成的默认拷贝构造函数已经可以完成字节序的值拷贝了，还需要自己显式实现吗？当然像Date类这样的类是没必要的。而像上面的Stack类是需要自己显示实现拷贝构造函数的。
编译器自动生成的拷贝构造函数是浅拷贝，也就是将属性值复制一份。对于下面图片中的s1和s2，由于s2复制了s1中m_mem的地址，导致两个栈指向同一内存空间，两个栈生命周期结束后均会调用析构函数，此时将执行两次delete[] m_mem，将导致内存重复释放而报错。
注意：类中如果没有涉及资源申请时，拷贝构造函数是否写都可以；一旦涉及到资源申请时，则拷贝构造函数是一定要写的，否则就是浅拷贝。
⑤拷贝构造函数典型调用场景：
使用已存在对象创建新对象
函数参数类型为类类型对象
函数返回值类型为类类型对象
#include<iostream>
using namespace std;class Date
{
public:Date(int year, int month, int day){cout << "Date create" << endl;m_year = year;m_month = month;m_day = day;}Date(const Date& d){cout << "Date copy" << endl;m_year = d.m_year;m_month = d.m_month;m_day = d.m_day;}~Date(){cout << "~Date()" << endl;}
private:int m_year;int m_month;int m_day;
};Date Test(Date d)
{return d;
}int main()
{Date date(2023, 11, 11);Test(date);Date cp(date);return 0;
}
这段代码的执行结果如下，即调用1次构造函数，3次拷贝构造函数，4次析构函数：
Date create
Date copy
Date copy
~Date()
~Date()
Date copy
~Date()
~Date()
对于上面的代码，执行Date date(2023, 11, 11);时调用1次构造函数；执行Test(date);时传递参数，调用了1次拷贝构造函数，返回时，返回值又调用了1次拷贝构造函数，由于返回值产生的临时变量和Test的参数d离开Test函数后生命周期就结束了，因此分别调用了析构函数，即2次析构函数；执行Date cp(date)构造cp对象时调用了1次拷贝构造函数，main函数执行结束，date与cp生命周期结束，分别调用析构函数，即2次析构函数。
为了提高程序效率，一般对象传参时，尽量使用引用类型，返回时根据实际场景，能用引用尽量使用引用。
文章结语：这篇文章对C++中的构造函数、析构函数及拷贝构造函数进行了简要的介绍。后续文章将介绍余下3大默认成员函数。
🎈欢迎进入浅尝C++专栏，查看更多文章。
如果上述内容有任何问题，欢迎在下方留言区指正b(￣▽￣)d
