本文介绍了C++中类的构造函数、析构函数、拷贝构造函数和赋值运算符重载的概念和特性。构造函数用于对象初始化，析构函数在对象销毁时清理资源。拷贝构造函数用于对象复制，而赋值运算符重载涉及到对象的赋值行为。文章强调了默认成员函数的重要性，特别是在资源管理中的作用，并提醒开发者注意深拷贝和浅拷贝的区别。
目录
1.类的6个默认成员函数
如果一个类中什么成员都没有，简称为空类。
空类中真的什么都没有吗？并不是，任何类在什么都不写时，编译器会自动生成以下6个默认成员函数。
默认成员函数：用户没有显式实现，编译器会生成的成员函数称为默认成员函数。
2.构造函数
构造函数是一个特殊的成员函数，名字与类名相同,创建类类型对象时由编译器自动调用，以保证每个数据成员都有一个合适的初始值，并且在对象整个生命周期内只调用一次。
2.1特性
构造函数是特殊的成员函数，需要注意的是，构造函数虽然名称叫构造，但是构造函数的主要任务并不是开空间创建对象，而是初始化对象。
1. 函数名与类名相同。2. 无返回值。3. 对象实例化时编译器 自动调用 对应的构造函数。4. 构造函数可以重载。 (一个类可以有多个构造函数，也就是多种初始化方式)
class Date
{
public :
1.无参构造函数
//Date()
//{}
2.带参构造函数
//Date(int year, int month, int day)
//{
// _year = year;
// _month = month;
// _day = day;
//}
// 上面两个合并起来 - 全缺省构造函数
// 推荐使用全缺省或者半缺省
Date(int year = 10, int month = 10, int day = 10)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1;// 调用无参构造函数
// 通过无参构造函数创建对象时，禁止写成 Date d1() ,否则就成了函数声明，
// 因为编译器无法识别该你是要声明一个函数还是创建对象
Date d2(2023, 3, 14);// 调用有参构造函数
Date d3(2023, 2);
Date d4(2023);
d1.Print();// 10-10-10
d2.Print();// 2023-3-14
d3.Print();// 2023-2-10
d4.Print();// 2023-10-10
}5. 如果类中没有显式定义构造函数，则 C++ 编译器会自动生成一个无参的默认构造函数，一旦 用户显式定义编译器将不再生成。
class Date
{
public:
/*
// 如果用户显式定义了构造函数，编译器将不再生成
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
*/
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
// 将Date类中构造函数屏蔽后，代码可以通过编译，因为编译器自己生成了一个无参的默认构造函数
// 将Date类中构造函数放开，代码编译失败，因为一旦显式定义任何构造函数，编译器将不再生成
Date d1;
// 需要调用的是无参构造函数，放开后报错：error C2512: “Date”: 没有合适的默认构造函数可用
return 0;
}6.无参的构造函数和全缺省的构造函数都称为默认构造函数，并且默认构造函数只能有一个。 注意：无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数，都可以认为是默认构造函数。
为什么只能有一个默认构造函数？
注意：全缺省构造函数不能和无参构造函数同时存在 - 出现歧义，编译器不知道调用哪个因为调用的时候会发生歧义，不传参数就可以调用构造函数，一般建议每个类都提供一个默认构造函数。
6. 关于编译器生成的默认成员函数，很多人会有疑惑：不实现构造函数的情况下，编译器会 生成默认的构造函数。但是看起来默认构造函数又没什么用？d 对象调用了编译器生成的默 认构造函数，但是d 对象 _year/_month/_day ，依旧是随机值。也就说在这里 编译器生成的默认构造函数并没有什么用？？解答： C++ 把类型分成内置类型 ( 基本类型 ) 和自定义类型。内置类型就是语言提供的数据类型，如：int/char.../任意指针类型自定义类型就是我们使用 class/struct/union 等自己定义的类型
这里为啥是随机值捏？
1.内置类型成员不做处理，即不会调用自动调用其构造函数。
2.自定义类型的成员，会去调用自定义类型的类的构造函数。
注意： C++11 中针对内置类型成员不初始化的缺陷，又打了补丁，即： 内置类型成员变量在类中声明时可以给默认值 。这个特性只能用于解决默认构造函数初始化为随机值的问题。这个特性不能解决对象的多种初始化方式（这也是构造函数支持重载的原因），构造函数该写还是得自己写。
class Time
{
public:
Time()
{
cout << "Time()" << endl;
_hour = 0;
_minute = 0;
_second = 0;
}
private:
int _hour;
int _minute;
int _second;
};
class Date
{
private:
// 基本类型(内置类型)
int _year = 1970;
int _month = 1;
int _day = 1;
// 自定义类型
Time _t;
};默认构造函数的场景：
比如用栈实现队列：
//Stack类
class Stack
{
public:
//无参构造函数 - 函数名与对象名相同
Stack()
{
cout << "Stack()" << endl;
_a = nullptr;
_size = _capacity = 0;
}
//带参数构造函数
Stack(int n)
{
cout << "Stack()" << endl;
_a = (int*)malloc(sizeof(int) * n);
if (nullptr == _a)
{
perror("malloc fail");
exit(-1);
}
_capacity = n;
_size = 0;
}
void Push(int x) {}
void Destroy() {}
~Stack() //析构函数
{
cout << "~Stack()" << endl;
free(_a);
_a = nullptr;
_size = _capacity = 0;
}
private:
int* _a;
int _size;
int _capacity;
};
可以看到MyQueue中没有构造函数，它会自动调用Stack类中的构造函数。
3.析构函数
3.1概念
析构函数：与构造函数功能相反，析构函数不是完成对对象本身的销毁，局部对象销毁工作是由 编译器完成的。而对象在销毁时会自动调用析构函数，完成对象中资源的清理工作。
3.2特性
1. 析构函数名是在类名前加上字符 ~ 。2. 无参数无返回值类型。3. 一个类只能有一个析构函数。若未显式定义，系统会自动生成默认的析构函数。注意：析构 函数不能重载4. 对象生命周期结束时， C++ 编译系统系统自动调用析构函数。
class Time
{
public:
~Time()
{
cout << "~Time()" << endl;
}
private:
int _hour;
int _minute;
int _second;
};
class Date
{
private:
// 基本类型(内置类型)
int _year = 1970;
int _month = 1;
int _day = 1;
// 自定义类型
Time _t;
};
int main()
{
Date d;
return 0;
}程序运行结束后输出： ~Time()在main方法中根本没有直接创建Time类的对象，为什么最后会调用Time类的析构函数？因为：main方法中创建了Date对象d，而d中包含4个成员变量，其中_year, _month,_day三个是 内置类型成员，销毁时不需要资源清理，最后系统直接将其内存回收即可；而_t是Time类对 象，所以在d销毁时，要将其内部包含的Time类的_t对象销毁，所以要调用Time类的析构函数。但是： main函数 中不能直接调用Time类的析构函数，实际要释放的是Date类对象，所以编译器会调用Date 类的析构函 数，而Date没有显式提供，则编译器会给Date类生成一个默认的析构函数，目的是在其内部 调用Time 类的析构函数，即当Date对象销毁时，要保证其内部每个自定义对象都可以正确销毁 main函数中并没有直接调用Time类析构函数，而是显式调用编译器为Date类生成的默认析构函数。注意： 创建哪个类的对象则调用该类的析构函数，销毁那个类的对象则调用该类的析构函数
6. 如果类中没有申请资源时，析构函数可以不写，直接使用编译器生成的默认析构函数，比如 Date类；有资源申请时，一定要写，否则会造成资源泄漏，比如 Stack 类。
4.拷贝构造函数
4.1概念
拷贝构造函数是一种特殊的构造函数，它在创建对象时，是使用同一类中之前创建的对象来初始化新创建的对象。只有单个形参，该形参是对本类类型对象的引用(一般常用const修饰)，在用已存 在的类类型对象创建新对象时由编译器自动调用。
4.2特性
拷贝构造函数也是特殊的成员函数，其
特征
如下：
1.
拷贝构造函数
是构造函数的一个重载形式
。
2.
拷贝构造函数的
参数只有一个
且
必须是类类型对象的引用
，使用
传值方式编译器直接报错
，
因为会引发无穷递归调用。
class Date
{
public:
Date(int year = 2020, int month = 10, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
// 拷贝构造函数
Date(const Date& d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
//Date (Date d) - 错误写法：编译报错，会引发无穷递归
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1;
Date d2(d1);
d1.Print();
d2.Print();
return 0;
}
为啥会这样子捏？
Date d2(d1); 用d1拷贝构造d2的时候，需要调用拷贝构造函数 要调用该函数，第一步一定是先传参，d1将来要传递给实参date，因为是以值的方式传递，所以形参date必须通过d1拷贝构造出来，等d1拷贝构造成功了之后，也就是传参成功之后，才能用date真正去构造d2。
那现在就需要用d1拷贝构造data完成参数传递，传参过程中必须调用拷贝构造，也就是用d1拷贝构造出date，那又需要调用拷贝构造函数，也就是在传参的位置一直拷贝构造，形成了无限递归 。
3.
若未显式定义，编译器会生成默认的拷贝构造函数。
默认的拷贝构造函数对象按内存存储按
字节序完成拷贝，这种拷贝叫做浅拷贝，或者值拷贝。
class Time
{
public:
Time()
{
_hour = 1;
_mintue = 1;
_second = 1;
}
Time(const Time& t)
{
_hour = t._hour;
_mintue = t._hour;
_second = t._second;
cout << "Time::Time(const Time&)" << endl;
}
private:
int _hour;
int _mintue;
int _second;
};
class Date
{
private:
// 内置类型
int _year;
int _month;
int _day;
// 自定义类型
Time _t;
};
int main()
{
Date d1;
Date d2(d1);
// 用已经存在的d1拷贝构造d2，此处会调用Date类的拷贝构造函数
// 但Date类并没有显式定义拷贝构造函数，则编译器会给Date类生成一个默认的拷贝构造函数
return 0;
}注意： 在编译器生成的默认拷贝构造函数中，内置类型是按照字节方式直接拷贝的，而自定义类型是调用其拷贝构造函数完成拷贝的。
4.编译器生成的默认拷贝构造函数已经可以完成字节序的值拷贝了
，还需要自己显式实现吗？
当然像日期类这样的类是没必要的。那么下面的类呢？验证一下试试？
// 这里会发现下面的程序会崩溃掉？这里就需要我们以后讲的深拷贝去解决。
typedef int DataType;
class Stack
{
public:
Stack(size_t capacity = 10)
{
_array = (DataType*)malloc(capacity * sizeof(DataType));
if (nullptr == _array)
{
perror("malloc申请空间失败");
return;
}
_size = 0;
_capacity = capacity;
}
void Push(const DataType& data)
{
// CheckCapacity();
_array[_size] = data;
_size++;
}
~Stack()
{
if (_array)
{
free(_array);
_array = nullptr;
_capacity = 0;
_size = 0;
}
}
private:
DataType *_array;
size_t _size;
size_t _capacity;
};
int main()
{
Stack s1;
s1.Push(1);
s1.Push(2);
s1.Push(3);
s1.Push(4);
Stack s2(s1);
return 0;
}
1.s1对象调用构造函数创建，在构造函数中，默认申请了10个元素的空间然后里面存了4个元素 [1 2 3 4]
2.s2对象使用s1拷贝构造，而Stack类没有显式定义拷贝构造函数，则编译器会给stack类生成一份默认的拷贝构造函数，默认拷贝构造函数是按照值拷贝的，即将s1中内容原封不动的拷贝到s2中。因此s1和s2指向了同一块内存空间。
3.当程序退出时，s2和s1要销毁。s2先销毁，s2销毁时调用析构函数（后定义的先销毁，类似栈的后进先出原则），已经将0x11223344的空间释放了，但是s1并不知道，到s1销毁时，会将0x11223344的空间再释放一次，一块内存空间多次释放，肯定会造成程序崩溃。
注意：浅拷贝对于占用“资源”的成员变量时（例如成员变量中有动态开辟或fopen的资源），指针虽然复制了，但是所指向的内容却没有复制，析构时存在同一块空间被释放两次的问题。需要进行深拷贝。深拷贝的拷贝构造函数必须自己手动实现。
Stack(const Stack& st)//深拷贝
{
_capacity = st._capacity;
_top = st._top;
_arr = (int*)malloc(sizeof(int) * st._top);
if (_arr == nullptr)
{
perror("malloc fail");
exit(-1);
}
memcpy(_arr, st._arr,sizeof(int)*st._top);
}
5.
拷贝构造函数典型调用场景：
1、使用已存在对象创建新对象2、函数参数类型为类类型对象3、函数返回值类型为类类型对象
class Date
{
public:
Date(int year, int minute, int day)
{
cout << "Date(int,int,int):" << this << endl;
}
Date(const Date& d)
{
cout << "Date(const Date& d):" << this << endl;
}
~Date()
{
cout << "~Date():" << this << endl;
}
private:
int _year;
int _month;
int _day;
};
Date Test(Date d)
{
Date temp(d);
return temp;
}
int main()
{
Date d1(2022,1,13);
Test(d1);
return 0;
}
注意：
为了提高程序效率，一般对象传参时，尽量使用引用类型，返回时根据实际场景，能用引用
尽量使用引用
。
5.赋值运算符重载
5.1 运算符重载
C++为了增强代码的可读性引入了运算符重载，运算符重载是具有特殊函数名的函数，也具有其 返回值类型，函数名字以及参数列表，其返回值类型与参数列表与普通的函数类似。
函数名字为：关键字operator后面接需要重载的运算符符号。
函数原型：返回值类型 operator操作符(参数列表)
注意：
1、不能通过连接其他符号来创建新的操作符：比如 operator@2、重载操作符必须有一个类类型参数3、用于内置类型的运算符，其含义不能改变，例如：内置的整型 + ，不 能改变其含义4、作为类成员函数重载时，其形参看起来比操作数数目少 1 ，因为成员函数的第一个参数为隐藏的this5、.* :: sizeof ?: . 注意以上 5 个运算符不能重载。这个经常在笔试选择题中出现。
// 全局的operator==
class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
//private:
int _year;
int _month;
int _day;
};
// 这里会发现运算符重载成全局的就需要成员变量是公有的，那么问题来了，封装性如何保证？
// 这里其实可以用我们后面学习的友元解决，或者干脆重载成成员函数。
bool operator==(const Date& d1, const Date& d2)
{
return d1._year == d2._year
&& d1._month == d2._month
&& d1._day == d2._day;
}
void Test ()
{
Date d1(2018, 9, 26);
Date d2(2018, 9, 27);
cout<<(d1 == d2)<<endl;
}class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
// 如果将函数放到类里面，会有错误：error C2804:二进制“operator ==”的参数太多
// 因为其重载函数形参有一个隐藏的参数 --- Date* this
//bool operator==(const Date& d1, const Date& d2)
//{
// return d1._year == d2._year
// && d1._month == d2._month
// && d1._day == d2._day;
//}
// bool operator==(Date* this, const Date& d2)
// 这里需要注意的是，左操作数是this，指向调用函数的对象
bool operator==(const Date& d2)
{
return _year == d2._year;
&& _month == d2._month
&& _day == d2._day;
}
private:
int _year;
int _month;
int _day;
};5.2赋值运算符重载
1.参数的类型
void operator=(const Date& d);
Date& operator=(const Date& d);//为了能够支持连续赋值
如果是自定义类型作为函数参数，尽量传递引用，因为在传参时，不需要拷贝临时对象，如果不想通过形参修改外部的实参，最好给形参加上const
2.返回值
为了能让operator==支持连续赋值，则要存在返回值
返回引用是为了提高效率，如果返回引用，在返回式就不需要拷贝构造临时对象，效率也提高了
class Date
{
public:
Date(const Date& d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
运算符重载时一定要符合其含义
//不能连续赋值
//void operator=(const Date& d)
//{
// _year = d._year;
// _month = d._month;
// _day = d._day;
//}
//为了能让operator支持连续赋值，则需要其存在返回值
Date& operator=(const Date& d)
{
// 防止自己给自己赋值的情况，即 d1 = d1
if (this != &d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
return *this;
}
private:
int _year;
int _month;
int _day;
};
//注意：赋值运算符重载必须要重载成类的成员函数，否则编译失败
//void operator=(const Date& left, const Date& right)
//{}
int main()
{
int a = 1;
int b, c;
//赋值操作
b=a;
Date d1(2001, 1, 1);
Date d2(2002, 2, 2);
d1 = d2;//把d2的值赋给d1
//d1.operator=(d2);//等同于d1=d2；
//支持连续赋值
c = b = a;
//连续赋值
Date d3(2003, 3, 3);
d1 = d2 = d3;
//本质就是两次operator函数的调用。先用d3给d2赋值，
//然后<d2 = d3>这个表达式会产生一个临时变量给d1赋值
//自己给自己赋值，通过检验this与&d来判断
d1 = d1;
return 0;
}
注意：赋值运算符重载必须要重载成类的成员函数，否则编译失败
因为：赋值运算符重载是默认成员函数，如果用户没有显式定义时，则编译器会自动生成一份,如果自己在类外实现一份，相当于赋值运算符重载了两份.
3.检验是否给自己复制
自己给自己赋值，通过检验this与&d来判断,如果 this指针与&d相等，那麽就直接返回this指针，提高效率
Date& operator=(const Date& d)
{
if (this != &d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
return *this;
}
4.返回*this
//取地址&操作符重载 this的类型;Date* const
Date* operator&()
{
return this;
}
取地址&操作符重载 this的类型: Date* const
this指针的指向不可修改，但是this指针指向的对象中的内容可以修改
const取地址&操作符重载 this的类型：const Date* const
前面const修饰返回值，后面的const用来修饰成员函数，将const修饰的成员函数称为const成员函数
5.3.const成员
a.const修饰类的成员函数
将const修饰的类成员函数称为const成员函数，实际修饰该成员函数隐含的this指针，const成员函数特性：在该函数内部不能修改任何成员变量,在该成员函数中只可以读取对象中的内容，但是不能修改对象中的内容
class Date
{
public:
void PrintDate()const
{
cout << _year << "-" << _month << "-" << _day << endl;
}
//全缺省构造函数
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
//拷贝构造函数
Date(const Date& d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
Date* operator&()
{
return this;
}
const Date* operator&() const
{
return this;
}
private:
int _year;
int _month;
int _day;//mutable修饰该成员变量；该成员变量可以在const中被修改
};
int main()
{
//普通类型的对象：普通成员函数和const成员函数都可以调用，可以读取其内容，也可以修改其内容
Date d1(2001,1,1);
Date* pd1 = &d1;
d1.PrintDate();
//const类型的对象：只能调用const成员函数，不能调用普通成员函数，只能读取其中的内容
const Date d2(d1);
const Date* pd2 = &d2;
return 0;
}
b.常见的问题
1.const对象可以调用非const成员函数吗？
const类型对象只能调用const成员函数，const对象只能读取且内容
2.非const对象可以调用const成员函数吗？
普通对象：普通成员函数和const成员函数都可以调用，这是因为普通对象可以读取其内容也可以修改其内容
3.cost成员函数内可以调用其他非const成员函数吗？
不可与调用，const修饰的成员函数本质就是在修饰this，表明this指针的指向对象不能被修改。
4.非cost成员函数内可以调用其他const成员函数吗？
可以调用。
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
