前言
开始前，我想说的是：类和对象（中）涉及的内容非常重要，相对的，难度也是比之前上升一个台阶，所以请耐心使用本篇博客~
1.类的6个默认成员函数
如果一个类中什么成员都没有，简称为空类
空类中真的什么都没有吗？并不是，任何类在什么都不写时，编译器会自动生成6个默认成员函数
(但，如果我们写了，它就不会自动生成)
默认成员函数：用户没有显式实现，编译器会生成的成员函数称为默认成员函数
当然，我们的学习重点是在前4个，即构造函数，析构函数，拷贝构造函数和赋值运算符重载~
2.构造函数
定义：构造函数是一个特殊的成员函数，名字与类名相同, 创建类类型对象时由编译器自动调用，以保证
每个数据成员都有 一个合适的初始值，并且在对象整个生命周期内只调用一次
下面先举个例子，来看看构造函数到底长什么样~
class Date
{
public:
Date() //无参构造函数
{}
Date(int year = 1, int month = 1, int day = 1) //带参构造函数
{
_year = year;
_month = month;
_day = day;
}void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}private:
int _year; // 年
int _month; // 月
int _day; // 日
};
一个小Tip：构造函数虽然名称叫构造，但是构造函数的主要任务并不是开空间创建对象，而是初始化对象
构造函数的特征如下（共有7个）：
1. 函数名与类名相同
2. 无返回值（即不需要写void）
3. 对象实例化时编译器会自动调用对应的构造函数
4. 构造函数可以重载 （可以写多个，即可以定义多种初始化方式）
下面是构造函数的调用方式：
void TestDate()
{
Date d1; // 调用无参构造函数 (注意：如果通过无参构造函数创建对象时，对象后面不用跟括号，
// 否则就成了函数声明)
Date d2(2024, 4, 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 d1; //但是没有初始化，成员变量都是随机值！！！
return 0;
}
6. （难点）关于编译器生成的默认构造函数，我们可能会有疑惑：
Q:不实现构造函数的情况下，编译器会生成默认的构造函数。但是看起来默认构造函数又没什么用？对象调用了编译器生成的默认构造函数，但是对象_year/_month/_day，依旧是随机值。也就说在这里编译器生成的默认构造函数并没有什么用？？？
A：首先，我们知道，C++把类型分成内置类型和自定义类型
然后，我们来看看下面的程序：
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;
int _month;
int _day;
// 自定义类型
Time _t;
};
int main()
{
Date d;
return 0;
}
我们发现编译器生成默认的构造函数：
a.对于内置类型成员变量，它没有处理（其实在C++标准中没有规定要不要做处理，所以有些编译器会处理，有些不会处理，像博主用的VS就不会处理）
b.对于自定义类型成员变量才会调用他的默认构造函数
由这两点，我们发现这里其实还可以“套娃”， 所以逻辑会比较的饶
不知道各位看到这有没有感受到C++语法上难度的 “威力” 了？
因为这个构造函数不初始化的缺陷造成的种种复杂，所以在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;
};
int main()
{
Date d;
return 0;
}
7.无参的构造函数和全缺省的构造函数都称为默认构造函数，并且默认构造函数只能有一个
注意：无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数，都可以认为
是默认构造函数，我们可以看出，这些函数都是不传参就可以调用的。
讲了这么多，最后我们对构造函数进行一个总结：
1.一般情况下，构造函数都需要我们自己显式的去实现
2.只有少数的情况下可以让编译器自动生成构造函数（比如两个栈实现队列 MyQueue，成员全是自定义类型）
3.析构函数
通过前面构造函数的学习，我们知道一个对象是怎么来的，那一个对象又是怎么没呢的？
所以接下来我们来介绍一下->析构函数
析构函数：与构造函数功能相反，析构函数不是完成对对象本身的销毁，局部对象销毁工作是由
编译器完成的。而对象在销毁时会自动调用析构函数，完成对象中资源的清理工作。
析构函数是特殊的成员函数，其特性如下：
1. 析构函数名是在类名前加上字符 ~
2. 无参数无返回值类型（这里的无参就印证的下面的析构函数不能重载的特性，而无返回值这点与上面的构造函数一致）
3. 一个类只能有一个析构函数。若未显式定义，系统会自动生成默认的析构函数，析构函数不能重载
4. 对象生命周期结束时，C++编译系统系统自动调用析构函数
下面是在一个我们定义的栈中构造函数和析构函数的对比：
class Stack
{
public:
Stack(int n = 4);//构造函数声明
~Stack();//析构函数声明
void Push(int x);
bool Empty();
void Pop();
int Top();
private:
int* _a;
int _top;
int _capacity;
};
Stack::Stack(int n)//构造函数声明
{
_a = (int*)malloc(sizeof(int) * n);
_top = 0;
_capacity = n;
}
Stack::~Stack()//析构函数定义
{
free(_a);
_a = nullptr;
_top = 0;
_capacity = 0;
}
void Stack::Push(int x)
{
// ...
_a[_top++] = x;
}
bool Stack::Empty()
{
return _top == 0;
}
void Stack::Pop()
{
--_top;
}
int Stack::Top()
{
return _a[_top - 1];
}5. 关于编译器自动生成的析构函数，是否会完成一些事情呢？
这里直接说结论，自动生成的析构函数做的事与构造函数类似：
a.对于内置类型成员变量，它没有规定要不要处理
b.对于自定义类型成员变量才会调用他的默认析构函数
我们来看下面的程序
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;
}这个代码我们在Data里没有写析构函数，我们来看一下调试的结果：
因为这里的 _year, _month和 _day三个是内置类型成员，销毁时不需要资源清理，最后系统直接将其内存回收即可
而_t是Time类对象，所以在d销毁时，要将其内部包含的Time类的_t对象销毁，所以要调用Time类的析构函数
6. 如果类中没有申请资源时，析构函数可以不写，直接使用编译器生成的默认析构函数，比如
Date类；有资源申请时，一定要写，否则会造成资源泄漏，比如Stack类
讲了这些特性后，对析构函数，我们也来进行一个总结：
1.有资源需要显式清理，就需要写析构，如 Stack
2.有两种场景不需要显式写析构，默认生成即可
a.没有资源需要清理，如：Date
b.内置类型成员没有资源需要清理，剩下的都是自定义类型成员 ，如 : 两个栈实现队列的 MyQueue
4.拷贝构造函数
在创建对象时，可否创建一个与已存在对象一某一样的新对象呢？
拷贝构造函数：只有单个形参，该形参是对本类类型对象的引用(一般常用const修饰)，在用已存
在的类型对象创建新对象时由编译器自动调用
拷贝构造函数的特征如下：
1. 拷贝构造函数是构造函数的一个重载形式(它是一种特殊的构造)
2（难理解）. 拷贝构造函数的参数只有一个且必须是类类型对象的引用，如果使用传值方式编译器直接报错，因为这会引发无穷递归调用
class Date
{
public:
Date(int year = 1900, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
//Date(const Date d) // 错误写法：编译报错，会引发无穷递归
Date(const Date& d) // 正确写法
{
_year = d._year;
_month = d._month;
_day = d._day;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d2(2024, 4, 11);
d2.print();
//下面两种写法是等价的~
Date d3(d2);//拷贝构造
d3.print();
Date d4 = d2;//拷贝构造也可以这样写~
d4.print();
}拷贝构造函数的参数不是引用为什么会引发无穷递归？请看下面这张图：
正是因为在语法逻辑上这里会形成无穷递归，所以拷贝的参数必须带引用~
3. 若未显式定义，编译器会生成默认的拷贝构造函数。 默认的拷贝构造函数对象按内存存储按
字节序完成拷贝，这种拷贝叫做浅拷贝，或者值拷贝
class Time
{
public:
Time()
{
_hour = 1;
_minute = 1;
_second = 1;
}
Time(const Time& t)
{
_hour = t._hour;
_minute = t._minute;
_second = t._second;
}
private:
int _hour;
int _minute;
int _second;
};
class Date
{
private:
//内置类型
int _year = 1970;
int _month = 1;
int _day = 1;
// 自定义类型
Time _t;
};
int main()
{
Date d1;
Date d2(d1);//因为Date类并没有显式定义拷贝构造函数，这里编译器会生成一个默认的拷贝构造函数
return 0;
}Tips：在编译器生成的默认拷贝构造函数中，内置类型是按照字节方式直接拷贝的，而自定
义类型是调用其拷贝构造函数完成拷贝的
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;
}
这里会发现程序会崩溃掉
这里的问题就与上面我们说的浅拷贝联系上了，因为它只有值拷贝，数组会指向跟之前一样的空间，所以最后它会析构两次导致崩溃
想要解决，就要用深拷贝，深拷贝就是要开一个跟之前一样大的空间
5. 最后我们来总结一下：
a.如果没有如果没有涉及资源申请时，默认生成的拷贝构造就可以（如：Date）
b.如果都是都是自定义成员，内置类型成员没有指向资源，默认生成的拷贝构造就可以
（如：MyQueue）
c.一般情况下，不需要显式写析构函数，就不需要写拷贝构造
d.如果内部有指针或者一些值指向资源，则需要显式写来完成深拷贝（如：Stack）
5.赋值运算符重载
想要讲清楚赋值运算符重载，我们首先要了解 一下什么是运算符重载
1. 运算符重载
C++为了增强代码的可读性引入了运算符重载，运算符重载是具有特殊函数名的函数，也具有其
返回值类型，函数名字以及参数列表，其返回值类型与参数列表与普通的函数类似
函数名字为：关键字operator后面接需要重载的运算符符号
函数原型：返回值类型 operator操作符(参数列表)
注意：
1.不能通过连接其他符号来创建新的操作符：比如operator@
2.重载操作符必须有一个类类型参数
3.用于内置类型的运算符，其含义不能改变，例如：内置的整型+，不能改变其含义
4.作为类成员函数重载时，其形参看起来比操作数数目少1，因为成员函数的第一个参数为隐
藏的this
5. .*（点星） ， :: ， sizeof ，?: ，. （星） 注意以上5个运算符不能重载
下面举了一个日期类的例子作为基础~
class Date
{
public:
Date(int year = 1, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
bool operator == (const Date& d2) //==
{
return _year == d2._year
&& _month == d2._month
&& _day == d2._day;
}
bool operator>(const Date& d)//>
{
if (_year > d._year)
{
return true;
}
else if (_year == d._year && _month > d._month)
{
return true;
}
else if (_year == d._year && _month == d._month && _day > d._day)
{
return true;
}
return false;
}
bool operator >= (const Date& d)// >=
{
return *this > d || *this == d;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1(2024, 5, 1);
Date d2(2024, 4, 16);
cout << (d1 == d2) << endl;
cout << (d1 > d2) << endl;
cout << (d1 >= d2) << endl;
return 0;
}
在所有的比较大小的函数，我们已经实现的 == ，> 和>= ， 像< ,<= 和 != 也差不多
完整的函数的代码将会在第6点——日期类的实现中给出~
那如果我们想实现日期+天数呢？又该怎么实现呢？
//首先我们先写一个 GetMonthDay 的成员函数 ，将这个功能单独实现可以为后续提供不少便利~
int GetMonthDay(int year, int month)//获取这个月的天数
{
int monthDayArray[13] = { 0,31,28,31,30,31,30,31,31,30,31,30,31 };
if (month == 2 && ((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0)))
{
return 29;
}
else
{
return monthDayArray[month];
}
}
Date& operator += (int day)
{
_day += day;
while (_day >= GetMonthDay(_year, _month))
{
_day -= GetMonthDay(_year, _month);
_month++;
if (_month == 13)
{
++_year;
_month = 1;
}
}
return *this;
}
Date operator+(int day)
{
Date tmp(*this);
tmp += day;//复用+= ！！！，简化了很多代码吧
return tmp;
}我们来对这个日期+天数 进行测试
//给日期类写一个打印的成员函数，方便我们观察~
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
//主函数
int main()
{
Date d1(2024, 4, 16);
Date d2 = d1 + 50;
d1.Print();
d2.Print();
Date d3(2024, 4, 16);
d3 += 50;
d3.Print();
return 0;
}
大概说了运算符重载，下面我们就可以看看什么是赋值运算符重载~
2.赋值运算符重载
关于赋值运算符重载，首先我们得先知道，赋值重载 既是默认成员函数，又是运算符重载
在形式上，我们先与第4点讲的拷贝构造做一个对比~
int main()
{
Date d1;
Date d2(2024, 4, 16);
Date d3(d2);//拷贝构造(初始化)
d1 = d2;//赋值重载(复制拷贝)
return 0;
}
通过上面的比较，我们可以看出，赋值重载（复制拷贝）和拷贝构造的区别：
赋值重载 : 已经存在两个对象之间拷贝
拷贝构造 : 一个初始化另一个马上要创建的对象
接下来是赋值重载的实现：
class Date
{
public:
Date(int year = 1, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
//d1 = d2;
Date& operator = (const Date& d)
{
_year = d._year;
_month = d._month;
_day = d._day;
return *this;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1;
d1.Print();
Date d2(2022, 10, 9);
d1 = d2;
d1.Print();
return 0;
}
赋值运算符格式：
1.参数类型（如上的const Date& d）
2.返回类型 (如上的Date&)
3.检测是否自己给自己赋值
4.返回*this
但是如果我们不写，用编译器默认的赋值运算符重载又会发生什么？
这里我们需要知道一个结论：
如果类中未涉及到资源管理，赋值运算符是否实现都可以；（比如日期类）
一旦涉及到资源管理则必须要实现（比如栈类）
（是不是与前面讲的默认成员函数很类似~）
至此，我们对于运算符的重载也有了较为清晰的认识。下面，我们对日期类的运算符重载进行相关的完善补充~
6.日期类的实现
下面我们对日期类进行完整的实现，这里将定义与声明分离实现~
Date.h
#pragma once
#include <iostream>
using namespace std;
class Date
{
public:
int GetMonthDay(int year, int month)
{
int monthDayArray[13] = { 0,31,30,31,30,31,30,31,31,30,31,30,31 };
if (month == 2 && ((year % 4 == 0 && year % 100 != 0) || (year % 400 == 0)))
{
return 29;
}
else
{
return monthDayArray[month];
}
}
Date(int year = 1, int month = 1, int day = 1)
{
_year = year;
_month = month;
_day = day;
if (!(year >= 1
&& (month >= 1 && month <= 12)
&& (day >= 1 && day <= GetMonthDay(year, month))))
{
cout << "非法日期" << endl;
}
}
void Print()
{
cout << _year << "/" << _month << "/" << _day << endl;
}
//比较大小
bool operator == (const Date& d);
bool operator >(const Date& d);
bool operator >=(const Date& d);
bool operator <(const Date& d);
bool operator <=(const Date& d);
bool operator!=(const Date& d);
Date& operator+=(int day);
Date operator+(int day);
Date& operator-=(int day);
Date operator-(int day);
// 前置++
Date& operator++();
// 后置++
Date operator++(int);
// 前置--
Date& operator--();
// 后置--
Date operator--(int);
// d1 - d2 日期减日期
int operator-(const Date& d);
private:
int _year;
int _month;
int _day;
};Date.cpp
#include "Date.h"
bool Date::operator==(const Date& d) const
{
return _year == d._year
&& _month == d._month
&& _day == d._day;
}
// d1 > d2
bool Date::operator>(const Date& d) const
{
if (_year > d._year)
{
return true;
}
else if (_year == d._year && _month > d._month)
{
return true;
}
else if (_year == d._year && _month == d._month && _day > d._day)
{
return true;
}
return false;
}
bool Date::operator>=(const Date& d) const
{
return *this == d || *this > d; //复用yyds~
}
bool Date::operator<=(const Date& d) const
{
return !(*this > d);
}
bool Date::operator<(const Date& d) const
{
return !(*this >= d);
}
bool Date::operator!=(const Date& d) const
{
return !(*this == d);
}
Date& Date::operator+=(int day)
{
if (day < 0)
{
return *this -= abs(day);
}
_day += day;
while (_day > GetMonthDay(_year, _month))
{
_day -= GetMonthDay(_year, _month);
_month++;
if (_month == 13)
{
++_year;
_month = 1;
}
}
return *this;
}
// d1 + 100
Date Date::operator+(int day) const
{
Date ret(*this);
ret += day;
return ret;
}
// d1 -= 100
Date& Date::operator-=(int day)
{
if (day < 0)
{
//return *this -= -day;
return *this += abs(day);
}
_day -= day;
while (_day <= 0)
{
--_month;
if (_month == 0)
{
--_year;
_month = 12;
}
_day += GetMonthDay(_year, _month);
}
return *this;
}
// d1 - 100
Date Date::operator-(int day) const
{
Date ret(*this);
ret -= day;
return ret;
}
// 前置
Date& Date::operator++()
{
*this += 1;
return *this;
}
// 后置 -- 多一个int参数主要是为了根前置区分
// 构成函数重载
Date Date::operator++(int)
{
Date tmp(*this);
*this += 1;
return tmp;
}
// 前置
Date& Date::operator--()
{
*this -= 1;
return *this;
}
// 后置
Date Date::operator--(int)
{
Date tmp = *this;
*this -= 1;
return tmp;
}
// d1 - d2 日期减日期
int Date::operator-(const Date& d) const
{
Date max = *this;
Date min = d;
int flag = 1;
if (*this < d)
{
max = d;
min = *this;
flag = -1;
}
int n = 0;
while (min != max)
{
++n;
++min;
}
return n * flag;
}最后我们来讲2个取地址重载的默认成员函数，不过相比与前面的构造函数，析构函数，拷贝构造函数和赋值运算符重载
这两个相对来说就没前面那么重要的，介绍的篇幅也不多
好了，来看看吧~
7.const成员
将const修饰的“成员函数”称之为const成员函数，const修饰类成员函数，实际修饰该成员函数
隐含的this指针，表明在该成员函数中不能对类的任何成员进行修改
它的形式如下：
这个形式看起来有点怪，对吧？
但是如果让各位来解决这个问题，如果不这样写又有什么更好的办法吗？
所以说，这里的写法虽然别扭，但我们不得不通过这种类似“补丁” 的形式让C++的语法形成逻辑的闭环
另外，对于const的修饰，我们要注意权限可以进行缩小和平移，但是不能进行放大（这些也是在之前的博客中就有分享过的~）
最后，对于const成员函数，我们只需记住，凡是内部不改变成员变量，其实也就是*this对象数据的，这些成员函数都加上const就完事了
代码如下：
class Date
{
public:
Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << "Print()" << endl;
cout << "year:" << _year << endl;
cout << "month:" << _month << endl;
cout << "day:" << _day << endl << endl;
}
void Print() const
{
cout << "Print()const" << endl;
cout << "year:" << _year << endl;
cout << "month:" << _month << endl;
cout << "day:" << _day << endl << endl;
}
private:
int _year; // 年
int _month; // 月
int _day; // 日
};
int main()
{
Date d1(2024,4,16);
d1.Print();
const Date d2(2024,4,16);
d2.Print();
return 0;
}
8.取地址及const取地址操作符重载
取地址及const取地址操作符重载这两个默认成员函数一般不用重新定义 ，编译器默认会生成
class A
{
public:
A* operator&()
{
return this;
}
const A* operator&() const
{
return this;
}
private:
int _a1 = 1;
int _a2 = 2;
int _a3 = 3;
};一般来说，这两个运算符使用编译器生成的默认取地址的重载即可，只有特殊情况，才需
要重载，比如...（整人用？）总之需要自己写的场景非常之少，设计出来的主要目的也是为了形成逻辑的闭环
结语
至此，今天的博客就结束了，关于类和对象(中)的内容确实很多，有些地方也并不容易理解，所以有很多内容恕博主能力有限，无法细说~
另外这篇博客其实写了挺久的，也希望大家多多支持~
就这样，我们下篇博客见~
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
