C++ 类与对象(中)
1. 类的6个默认成员函数
如果一个类中什么成员都没有,简称为空类。
空类中真的什么都没有吗?并不是,任何类在什么都不写时,编译器会自动生成以下6个默认成员函数。
默认成员函数:用户没有显式实现,编译器会生成的成员函数称为默认成员函数。
我们写了,他就不会自动生成了。
2. 构造函数
2.1 概念
对于以下Date类:
日期类忘记 Init()初始化 ,就开始Print(),就使用,就会搞一堆随机值出来。
大家用C语言写栈的时候,有没有遇到过这样的问题,就是程序运行的时候崩溃了,崩溃了以后你才意识到你没初始化,没有初始化,就直接Push,Push里面要访问空间,而空间是随机值,就直接崩溃了。
祖师爷也深受其困扰,忘记调用Init() 函数就使用,祖师爷老是被这个问题坑,因此祖师爷设定了一个特殊的成员函数来解决这个问题。这个特殊的成员函数叫构造函数。
2.2 特性
构造函数是特殊的成员函数,需要注意的是,构造函数虽然名称叫构造,但是构造函数的主要任务并不是开空间创建对象,而是初始化对象(类似Init()功能)。
其特征如下:
- 函数名与类名相同。
- 无返回值。(不需要写void)
- 对象实例化时编译器自动调用对应的构造函数。
- 构造函数可以重载。 (本质:多个构造函数,有多种初始化方式)
注意:一般情况下,建议每个类,都可以写一个全缺省的构造(好用)
请看下面这个例子就用到了上面第三个特性
请看下面这个例子就用到了上面第四个特性
例子1:
注意:如果通过无参构造函数创建对象时,对象后面不用跟括号,否则就成了函数声明。
例子2:
上面无参的构造函数和带参的构造函数能合并成一个全缺省的构造函数。至于缺省值应该给什么?根据自己的需求给。当无参的构造函数和全缺省的构造函数同时存在时,他们俩会构成函数重载,但是对象d1不知道先调用谁,因此就会存在调用歧义。所以我们写了全缺省构造函数就不会写无参的构造函数了。
5. 如果类中没有显式定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定义编译器将不再生成。
对于上面的对象d2它传参了。这时就需要我们写构造函数,不然会报错,因此先屏蔽掉。因为这里C++编译器会自动生成一个无参的默认构造函数。对象传参就会调不动了。因此会报错。
思考一个问题:上面运行结果为什么是随机值呢?请看下面特性
- 关于编译器生成的默认成员函数,很多童鞋会有疑惑:不实现构造函数的情况下,编译器会生成默认的构造函数。但是看起来默认构造函数又没什么用?d对象调用了编译器生成的默认构造函数,但是d对象_year/_month/_day,依旧是随机值。也就说在这里编译器生成的默认构造函数并没有什么用??
解答:C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语言提供的数据类型,如:int/char…,自定义类型就是我们使用class/struct/union等自己定义的类型,看看下面的程序,就会发现编译器生成默认的构造函数会对自定类型成员_t调用的它的默认成员函数。 对于内置类型的变量,有些编译器可能会初始化为0,但是C++标准并没有规定。
再看下面两个例子:
例子1: 自定义类型调用默认构造函数
上面如果有,有参构造,这是编译器就不会默认生成构造函数了,就会报错,因此要先屏蔽掉。
例子2: 内置类型没有规定要不要处理(看编译器),没处理就默认随机值
首先因为没有写日期类的构造函数,然后Date 会生成一个默认构造函数,生成的默认构造对内置类型不做处理,对自定义类型会去调用他类中的构造函数,但是他类中如果没有显式定义构造函数,编译器就会默认生成构造函数,那接下来就要看这个类的成员变量有没有自定义类型的,如果有自定义类型成员变量,就会接着看下一层,如果只有内置类型成员,那默认构造函数就不做处理,那么他还是随机生成的,因此_aa得到的也是随机值。
那么自动生成的构造函数的意义何在?
请看下面例子:
上面的MyQueue 要不要写构造函数? 在没有写构造函数的前提写,q被初始化了。
上面MyQueue 没有写构造函数,所以要调用他默认自动生成的构造函数,Stack _pushst;Stack _popst;是自定义类型成员,自定义类型要调用他的无参构造函数。如下:
7. 无参的构造函数和全缺省的构造函数都称为默认构造函数,并且默认构造函数只能有一个。注意:无参构造函数、全缺省构造函数、我们没写编译器默认生成的构造函数,都可以认为是默认构造函数。
例子1:
例子2:
上面是 显示的提供一个带参构造编译器,不会默认生成了,所以就没有默认构造了,因此会报错。
那如果什么都不提供呢,那_t 的值是什么,首先因为没有写日期类的构造函数,然后Date 会生成一个默认构造函数,生成的默认构造对内置类型不做处理,对自定义类型会去调用他的默认构造函数,但是类中没有显式定义构造函数,因此编译器会默认生成构造函数,编译器生成默认的函数对他对内置类型的成员变量不做处理,所以_t还是随机值。
调试过程如下:
注意:C++11 中针对内置类型成员不初始化的缺陷,又打了补丁,即:内置类型成员变量在类中声明时可以给默认值。
例子:
再看一个例子:
下面是调试过程:
3.析构函数
3.1 概念
通过前面构造函数的学习,我们知道一个对象是怎么来的,那一个对象又是怎么没的呢?
大家有没有发现自己经常忘记调用Destroy()这个函数,忘记调用这个函数导致的结果是什么?
结果就是内存泄露,祖师爷也深受其扰,所以祖师爷又搞了另外一个函数,这个函数叫析构函数。下面是析构函数概念。
析构函数:与构造函数功能相反,析构函数不是完成对对象本身的销毁,局部对象销毁工作是由编译器完成的。而对象在销毁时会自动调用析构函数,完成对象中资源的清理工作。
注意: 日期类不需要析构函数,因为没有资源要清理 ,一般只有malloc ,fopen等等需要析构函数
3.2 特性
析构函数是特殊的成员函数,其特征如下:
- 析构函数名是在类名前加上字符 ~。
- 无参数无返回值类型。
- 一个类只能有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。注意:析构函数不能重载
- 对象生命周期结束时,C++编译系统系统自动调用析构函数。
请看下面这个例子就用到了上面第四个特性
例子1:
例子2:
5. 关于编译器自动生成的析构函数,是否会完成一些事情呢?下面的程序我们会看到,编译器生成的默认析构函数,对自定类型成员调用它的析构函数。
例子如下:
上面代码没有写析构函数,编译器会自动生成默认的,但是编译器不会把_array, free掉,编译器自动生成的析构函数,不会对内置类型做处理。虽然不做处理,但编译器也不会报错,因为内存泄露, C和C++的程序不会报错。
6. 如果类中没有申请资源时,析构函数可以不写,直接使用编译器生成的默认析构函数,比如Date类;有资源申请时,一定要写,否则会造成资源泄漏,比如Stack类。
例子:
4. 拷贝构造函数
4.1 概念
在现实生活中,可能存在一个与你一样的自己,我们称其为双胞胎。
那在创建对象时,可否创建一个与已存在对象一某一样的新对象呢?
拷贝构造函数:只有单个形参,该形参是对本类类型对象的引用(一般常用const修饰),在用已存在的类类型对象创建新对象时由编译器自动调用。
4.2 特征
拷贝构造函数也是特殊的成员函数,其特征如下:
1.拷贝构造函数是构造函数的一个重载形式。
2. 拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器直接报错,因为会引发无穷递归调用。
拷贝构造例子1:
上面Date(Date&d) 这个地方必须给引用,如果不给引用,它会无穷递归,当然这里语法也进行了强制检查,不会无情递归。
如下:
因此要写引用,如果是Date 的话,从逻辑上来说,会引发无穷递归。
要用d2去拷贝构造d3 ,规定的要去调用拷贝构造,但是调用拷贝构造要先传参,本来我是要构造d3,调用拷贝构造去完成,但是现在先传参又形成了一个新的拷贝构造 新的拷贝构造去调用拷贝构造,那又要先传参,传参又形成了一个新的拷贝构造,逻辑上是一个无穷递归,没有尽头,所以拷贝构造的参数必须用引用。
这个地方是比较难理解,理解之前我们先看下面这个例子。
例子2:
上述代码调用func(d2)会发生什么?会调用拷贝构造,首先调用func得先传参,如果参数是内置类型对象的话,就直接拷贝,内置类型也没有拷贝构造的说法,但是参数如果是自定义类型对象的话,自定义类型对象传值传参要调用拷贝构造完成,拷贝构造回来之后,然后在调用func().
下面这样写也是拷贝构造
有没有什么方法能不能不调用拷贝构造函数呢?传指针是一种方式
代码如下:
上面d就是d2的地址
还有一种方式C++最喜欢用的方式就是引用
代码如下:
而且有些地方规定要在这个Date(Date&d)上加const 就可以写成Date(const Date&d),为什么要加const呢,因为可能会出现下面代码的结果。
代码如下:
因此要加const 区分。下面是正确写法:
4. 若未显式定义,编译器会生成默认的拷贝构造函数。 默认的拷贝构造函数对象按内存存储按字节序完成拷贝,这种拷贝叫做浅拷贝,或者值拷贝。
下面是内置类型完成的拷贝–> 值拷贝 :
例1:
例2:
注意:在编译器生成的默认拷贝构造函数中,内置类型是按照字节方式直接拷贝的,而自定义类型是调用其拷贝构造函数完成拷贝的。
4. 编译器生成的默认拷贝构造函数已经可以完成字节序的值拷贝了,还需要自己显式实现吗?当然像日期类这样的类是没必要的。那么下面的类呢?验证一下试试?
上述代码析构两次,类中不写拷贝构造,编译器会生成默认的拷贝构造,默认的拷贝构造完成的值拷贝/浅拷贝,就是把st1的值拷贝给st2. 没人开空间。解决方案是用深拷贝。
注意:类中如果没有涉及资源申请时,拷贝构造函数是否写都可以;一旦涉及到资源申请时,则拷贝构造函数是一定要写的,否则就是浅拷贝。
因此日期是浅拷贝的类,栈是深拷贝的类。
深拷贝就是开跟你一样大的空间。
下面是栈用深拷贝实现的代码
MyQueue 也不需要写拷贝构造函数
代码如下:
5.拷贝构造函数典型调用场景:
- 使用已存在对象创建新对象
- 函数参数类型为类类型对象
- 函数返回值类型为类类型对象
为了提高程序效率,一般对象传参时,尽量使用引用类型,返回时根据实际场景,能用引用尽量使用引用。
5.赋值运算符重载
5.1 运算符重载
C++为了增强代码的可读性引入了运算符重载,运算符重载是具有特殊函数名的函数,也具有其返回值类型,函数名字以及参数列表,其返回值类型与参数列表与普通的函数类似。
函数名字为:关键字operator后面接需要重载的运算符符号
函数原型:返回值类型 operator操作符(参数列表),参数跟返回值是根据操作符来确定的,参数个数跟操作数是一致的。
一个类要重载哪些运算符是看需求,看重载有没有价值和意义。
d1- d2 有意义 ,d1 + d2 没有意义,d1*d2 没有意义。
注意:
首先我们介绍的是运算符重载成成员函数
如果重载了成员函数再去重载全局函数,会调用成员函数。编译器是怎么识别的?如果是内置类型,就调对应的指令(cmp)。如果是自定义类型,就去找对应的函数,先从类里面找,类里面没有,再去全局找,类里面和全局都没有,编译器就会报错。如果有,就转换调对应的函数。
如下:
下面两个调用是等价的。
5.2 赋值运算符重载
1. 赋值运算符重载格式
如下:
下面是一个传值返回和传引用返回的例子:
2. 赋值运算符只能重载成类的成员函数不能重载成全局函数
3. 用户没有显式实现时,编译器会生成一个默认赋值运算符重载,以值的方式逐字节拷贝。注意:内置类型成员变量是直接赋值的,而自定义类型成员变量需要调用对应类的赋值运算符重载完成赋值。
既然编译器生成的默认赋值运算符重载函数已经可以完成字节序的值拷贝了,还需要自己实现吗?当然像日期类这样的类是没必要的。那么下面的类呢?验证一下试试?
上面会发现下面的程序会崩溃掉。这里就需要我们以后讲的深拷贝去解决。
注意:如果类中未涉及到资源管理,赋值运算符是否实现都可以;一旦涉及到资源管理则必须要实现。
5.3 前置++和后置++重载
6.日期类的实现
具体代码如下:
Date.h
#pragma once
#include <iostream>
using namespace std;
#include <assert.h>
class Date
{
//友元函数声明 放私有,公有都可 作用:让全局函数可以访问私有
friend ostream& operator<<(ostream& out, const Date& d);
friend istream& operator>>(istream& in, Date& d);
public:
Date(int year = 1990, int month = 1, int day = 1);
void Print() const;
//直接定义类里面,他默认是inline
//频繁调用
int GetMonthDay(int year, int month)
{
assert(month > 0 && month < 13);
static int monthDayArray[13] = { -1,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];
}
}
bool CheckDate();
//d1<d2
bool operator<(const Date& d) const;
bool operator<=(const Date& d) const;
bool operator>(const Date& d) const;
bool operator>=(const Date& d) const;
bool operator==(const Date& d) const;
bool operator!=(const Date& d) const;
//d1+=100
Date& operator+=(int day);
Date operator+(int day) const;
//d1-=100
Date& operator-=(int day);
Date operator-(int day) const;
//d1-d2
int operator-(const Date& d) const;
//++d1 ->d1.operator++()
Date& operator++();
//d1++ ->d1.operator++(1)
//为了区分,构成重载,给后置++,强行增加了一个int 形参
//这里不需要写形参名,因为接收值是多少不重要,也不需要用
//这个参数仅仅是为了跟前置++构成重载区分
Date operator++(int);
Date& operator--();
Date operator--(int);
//流插入
// 不建议重载为成员函数,因为Date*this 占据了一个参数位置,使用d<<cout不符合习惯
//void operator<<(ostream& out);
private:
int _year;
int _month;
int _day;
};
//重载为全局函数
ostream& operator<<(ostream& out, const Date& d);
istream& operator>>(istream& in, Date& d); //从IO流提取的值,需要放入日期类对象里面
Date.cpp
#include "Date.h"
bool Date::CheckDate()
{
if (_month < 1 || _month>12
|| _day<1 || _day>GetMonthDay(_year, _month))
{
return false;
}
else
{
return true;
}
}
Date::Date(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
if (!CheckDate())
{
cout << "日期非法" << endl;
}
}
void Date::Print() const
{
cout << _year << "-" << _month << "-" << _day << endl;
}
//d1<d2
bool Date::operator<(const Date& d) const
{
if (_year < d._year)
{
return true;
}
else if (_year == d._year)
{
if (_month < d._month)
{
return true;
}
else if (_month == d._month)
{
return _day < d._day;
}
}
return false;
}
//d1<d2
bool Date::operator<=(const Date& d) const
{
return *this < d || *this == d;
}
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 _year == d._year
&& _month == d._month
&& _day == d._day;
}
bool Date::operator!=(const Date& d) const
{
return !(*this == d);
}
//d1 += 50
Date& Date::operator+=(int day)
{
if (day < 0)
{
return *this -= -day;
}
_day += day;
while (_day > GetMonthDay(_year, _month))
{
_day -= GetMonthDay(_year, _month);
++_month;
if (_month == 13)
{
++_year;
_month = 1;
}
}
return *this;
}
Date Date::operator+(int day) const
{
Date tmp = *this;
tmp += day;
return tmp;
}
//d1+50
//Date Date::operator+(int day)
//{
// Date tmp = *this;
// tmp._day += day;
// while (tmp._day > GetMonthDay(tmp._year, tmp._month))
// {
// tmp._day -= GetMonthDay(tmp._year, tmp._month);
// ++tmp._month;
// if (tmp._month == 13)
// {
// ++tmp._year;
// tmp._month = 1;
// }
// }
// return tmp;
//}
//
//Date& Date::operator+=(int day)
//{
// *this = *this + day;
// return *this;
//}
//d1-=100
Date& Date::operator-=(int day)
{
if (day < 0)
{
return *this += -day;
}
_day -= day;
while (_day <= 0)
{
--_month;
if (_month == 0)
{
_month = 12;
--_year;
}
//借上个月的天数
_day += GetMonthDay(_year, _month);
}
return *this;
}
Date Date::operator-(int day) const
{
Date tmp = *this;
tmp -= day;
return tmp;
}
//++d1
Date& Date::operator++()
{
*this += 1;
return *this;
}
//d1++ 返回++之前的值
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)
{
++min;
++n;
}
return n * flag;
}
//void Date::operator<<(ostream& out)
//{
// out << _year << "年" << _month << "月" << _day << "日" << endl;
//}
ostream& operator<<(ostream& out, const Date& d)
{
out << d._year << "年" << d._month << "月" << d._day << "日" << endl;
return out;
}
istream& operator>>(istream& in, Date& d)
{
cout << "请依次输入年月日:>";
in >> d._year >> d._month >> d._day;
if (!d.CheckDate())
{
cout << "日期非法" << endl;
}
return in;
}
test.cpp
#include "Date.h"
void TestDate1()
{
Date d1(2024, 4, 14);
Date d2 = d1 + 50;
d1.Print();
d2.Print();
Date d3(2024, 4, 14);
Date d4 = d3 - 5000;
d3.Print();
d4.Print();
Date d5(2024, 4, 14);
d5 += -5000;
d5.Print();
}
void TestDate2()
{
Date d1(2024, 4, 14);
Date d2 = ++d1;
d1.Print();
d2.Print();
Date d3 = d1++;
d1.Print();
d3.Print();
}
void TestDate3()
{
Date d1(2024, 4, 14);
Date d2(2024, 5, 1);
int n = d1 - d2;
cout << n << endl;
n = d2 - d1;
cout << n << endl;
}
void TestDate4()
{
Date d1(2024, 4, 14);
Date d2 = d1 + 30000;
//operator<<(cout,d1);
cout << d1; //流插入重载为全局函数
cout << d2;
cin >> d1 >> d2;
cout << d1 << d2; //结合性 从左往右
/*d1.operator<<(cout); //流插入重载为成员函数
d1 << cout;*/
}
void TestDate5()
{
const Date d1(2024, 4, 14);
d1.Print();
Date d2(2024, 4, 25);
d2.Print();
//d1 += 100; //err d1不能权限缩小
d1 + 100;
d2 += 100;
d1 < d2;
d2 < d1;
}
int main()
{
//提高效率输入的效率,竞赛
// ios_base::sync_with_stdio(false);
// cin.tie(nullptr)
// cout.tie(nullptr)
//TestDate1();
//TestDate2();
//TestDate3();
//TestDate4();
TestDate5();
return 0;
}
7.const成员
将const修饰的“成员函数”称之为const成员函数,const修饰类成员函数,实际修饰该成员函数隐含的this指针,表明在该成员函数中不能对类的任何成员进行修改。
const Date*const this 前面加个const ,this本身不能改,指向的内容也不能改。
我们来看看下面的代码
注意:权限可以缩小,但是不能放大
8.取地址及const取地址操作符重载
这两个默认成员函数一般不用重新定义 ,编译器默认会生成。
这两个运算符一般不需要重载,使用编译器生成的默认取地址的重载即可,只有特殊情况,才需要重载,比如想让别人获取到指定的内容!
完