一、类
1.1 类的定义
1 class为定义类的关键字,Stack为类的名字,{}中为类的主体,注意类定义结束时后面分号不能省略。类体中内容称为类的成员:类中的变量称为类的属性或成员变量; 类中的函数称为类的方法或者成员函数。
2 为了区分成员变量,一般习惯上成员变量会加一个特殊标识,如成员变量前面或者后面加_ 或者m开头,注意C++中这个并不是强制的,只是一些惯例,具体看公司的要求。
3 C++中struct也可以定义类,C++兼容C中struct的用法,同时struct升级成了类,明显的变化是struct中可以定义函数,一般情况下我们还是推荐用class定义类。
4 定义在类面的成员函数默认为inline。
下面是一个类的例子
class Text { //Text为类名 class指明为类
//一种写法
int _a; int _b; int _v;
//另一种写法
int m_a; int m_b; int m_c;
//m其实就是member
int way(){cout << "funny!" << endl;}
};//这里分号不可省略
1.2 访问限定符
1 C++一种实现封装的方式,用类将对象的属性与方法结合在一块,让对象更加完善,通过访问权限选择性的将其接口提供给外部的用户使用。
2 public修饰的成员在类外可以直接被访问;protected和private修饰的成员在类外不能直接被访问。
3 访问权限作用域从该访问限定符出现的位置开始直到下一个访问限定符出现时为止,如果后面没有访问限定符,作用域就到 }即类结束。
4 class定义成员没有被访问限定符修饰时默认为private,struct默认为public。
5 一般成员变量都会被限制为private/protected,需要给别人使用的成员函数会放为public。
下面举例说明访问限定符的作用
class Text {
public://这里要加冒号
void Print() {cout << _a << "/" << _b << "/" << _c; }
private://这里要加冒号int _a; int _b; int _c;
};
1.3类域
1 类定义了一个新的作用域,类的所有成员都在类的作用域中,在类体外定义成员时,需要使用 :: 作用域操作符指明成员属于哪个类域。
2 如果成员函数或者变量不在类域中编译器就会把该变量的名字当成全局变量去查找
下面举例说明
class a{
void fun();
};
void a::fun(){cout<<"happy!!"<<endl;}
int main(){return 0;}//这样可以在类外定义函数了
1.4 类的实例化概念
1. 类是对对象进行描述的,是一个模型一样的东西,限定了类有哪些成员,定义出一个类并没
有分配实际的内存空间来存储它;比如:入学时填写的学生信息表,表格就可以看成是一个
类,来描述具体学生信息。
2. 一个类可以实例化出多个对象,实例化出的对象 占用实际的物理空间,存储类成员变量
3. 做个比方。类实例化出对象就像现实中使用建筑设计图建造出房子,类就像是设计图,只设
计出需要什么东西,但是并没有实体的建筑存在,同样类也只是一个设计,实例化出的对象
才能实际存储数据,占用物理空间
1.5 类对象的大小
类对象中既有函数又有变量,那么它到底如何存储呢?类实例化出的每个对象,都有独立的数据空间,所以对象中肯定包含成员变量,那么成员函数是否包含呢?首先函数被编译后是一段指令,对象中没办法存储,这些指令存储在一个单独的区域(代码段),那么对象中非要存储的话,只能是成员函数的指针。再分析一下,对象中是否有存储指针的必要呢,Date实例化d1和d2两个对象,d1和d2都有各自独立的成员变量存储各自的数据,但是d1和d2的成员函数指针却是一样的,存在对象中就浪费了。如果用Date实例化100个对象,那么成员函数指针就重复存储100次,太浪费了。这里需要再额外哆嗦一下,其实函数指针是不需要存储的,函数指针是一个地址,调用函数被编译成汇编指令[call 地址], 其实编译器在编译链接时,就要找到函数的地址,不是在运行时找,只有动态多态是在运行时找,就需要存储函数地址。
所以我们只需要计算成员变量的大小即可,同结构体一致,当然我们同样可以验证这个事实
即使有函数,但是大小是一样的,对于结构的大小对齐规则,可以看看结构体。
结构体内存对齐规则
1. 第一个成员在与结构体偏移量为0的地址处。
2. 其他成员变量要对齐到某个数字(对齐数)的整数倍的地址处。
注意:对齐数 = 编译器默认的一个对齐数 与 该成员大小的较小值。
VS中默认的对齐数为8
3. 结构体总大小为:最大对齐数(所有变量类型最大者与默认对齐参数取最小)的整数倍。
4. 如果嵌套了结构体的情况,嵌套的结构体对齐到自己的最大对齐数的整数倍处,结构体的整
体大小就是所有最大对齐数(含嵌套结构体的对齐数)的整数倍。
c++中也有几个特殊的情况
当一个类只有函数没有变量时,c++规定该类类型占一个字节
1.6 this指针
1 C++编译器给每个“非静态的成员函数“增加了一个隐藏的指针参数,让该指针指向当前对象(函数运行时调用该函数的对象),在函数体中所有“成员变量”的操作,都是通过该指针去访问。只不过所有的操作对用户是透明的,即用户不需要来传递,编译器自动完成。
2 this指针的类型:类类型* const,即成员函数中,不能给this指针赋值。
3 只能在“成员函数”的内部使用
4 this指针本质上是“成员函数”的形参,当对象调用成员函数时,将对象地址作为实参传递给
this形参。所以对象中不存储this指针。
5 this指针是“成员函数”第一个隐含的指针形参,一般情况由编译器通过ecx寄存器自动传
递。
画图举例,以下面的类为例
class Date{
int _year;int _month,int _day;
void Print(){cout<<_year<<_month<<_day<<endl;}};
this指针的注意点
1.this指针存储在栈中
2.this指针可以为空指针,此时只能调用类函数,不可解引用访问成员
class A
{public:
void Print()
{cout << "Print()" << endl;}
private:
int _a;};
int main()
{A* p = nullptr;p->Print();return 0;}
此时p指针确实就是this指针为空,但是并没有解引用,所以该程序正藏运行。
二、类的默认成员函数
2.1 类的默认成员
默认成员函数就是用户没有显式实现,编译器会自动生成的成员函数称为默认成员函数。一个类,我们不写的情况下编译器会默认生成以下6个默认成员函数,需要注意的是这6个中最重要的是前4个,最后两个取地址重载不重要,我们稍微了解一下即可。其次就是C++11以后还会增加两个默认成员函数,移动构造和移动赋值,这个我们后面再讲解。默认成员函数很重要,也比较复杂,我们要从两个方面去学习:
第一:我们不写时,编译器默认生成的函数行为是什么,是否满足我们的需求。
第二:编译器默认生成的函数不满足我们的需求,我们需要自己实现,那么如何自己实现?
2.2构造函数
构造函数是特殊的成员函数,需要注意的是,构造函数虽然名称叫构造,但是构造函数的主要任务并不是开空间创建对象(我们常使用的局部对象是栈帧创建时,空间就开好了),而是对象实例化时初始化对象。构造函数的本质是要替代我们以前Stack和Date类中写的Init函数的功能,构造函数自动调用的特点就完美的替代的了Init。其实就是初始化
构造函数的特点:
1. 函数名与类名相同。
2. 无返回值。 (返回值啥都不需要给,也不需要写void,不要纠结,C++规定如此)
3. 对象实例化时系统会自动调用对应的构造函数。
4. 构造函数可以重载。
5. 如果类中没有显式定义构造函数,则C++编译器会自动生成一个无参的默认构造函数,一旦用户显式定义编译器将不再生成。
6. 无参构造函数、全缺省构造函数、我们不写构造时编译器默认生成的构造函数,都叫做默认构造函数。但是这三个函数有且只有一个存在,不能同时存在。无参构造函数和全缺省构造函数虽然构成函数重载,但是调用时会存在歧义。要注意很多同学会认为默认构造函数是编译器默认生成那个叫默认构造,实际上无参构造函数、全缺省构造函数也是默认构造,总结一下就是不传实参就可以调用的构造就叫默认构造。
7. 我们不写,编译器默认生成的构造,对内置类型成员变量的初始化没有要求,也就是说是否初始化是不确定的,看编译器。对于自定义类型成员变量,要求调用这个成员变量的默认构造函数初始化。如果这个成员变量,没有默认构造函数,那么就会报错,我们要初始化这个成员变量,需要用初始化列表才能解决。
说明:C++把类型分成内置类型(基本类型)和自定义类型。内置类型就是语言提供的原生数据类型,如:int/char/double/指针等,自定义类型就是我们使用class/struct等关键字自己定义的类型。
说实话这个举起例子比较的麻烦,但是可以不怕麻烦
例1:四种构造
class Text {
int _a;int _b;int _c;
Text(int a,int b,int c)
{_a = a; _b = b; _c = c;}
Text(int a=10,int b=20,int c=30)
{_a = a; _b = b; _c = c;}
Text()
{ _a = 10; _b = 20; _c = 30;}
Text(){}//这个是模拟编译器生成的默认构造,实际上作用与默认构造一致。
};
1 默认构造只能有一个所以上面的代码是错的,但是有实参的可以与无实参的共存。一旦共存,还是有可能会出错,因为会出现不知道调用那个函数的请况,不过此时有两种构造方法
2 注意:如果通过无参构造函数创建对象时,对象后面不用跟括号,否则编译器无法
区分这里是函数声明还是实例化对象
好,我们分别举例看
例2:
例3:
例4:
这样构造函数里头,就这几个注意点
2.3析构函数
析构函数的作用
析构函数与构造函数功能相反,析构函数不是完成对对象本身的销毁,比如局部对象是存在栈帧的,函数结束栈帧销毁,他就释放了,不需要我们管,C++规定对象在销毁时会自动调用析构函数,完成对象中资源的清理释放工作。主要对于堆区中的资源进行清理
析构函数的特点
1. 析构函数名是在类名前加上字符 ~。
2. 无参数无返回值。 (这里跟构造类似,也不需要加void)
3. 一个类只能有一个析构函数。若未显式定义,系统会自动生成默认的析构函数。
4. 对象生命周期结束时,系统会自动调用析构函数。
5. 跟构造函数类似,我们不写编译器自动生成的析构函数对内置类型成员不做处理,自定类型成员会调用他的析构函数。
6. 还需要注意的是我们显示写析构函数,对于自定义类型成员也会调用他的析构,也就是说自定义类型成员无论什么情况都会自动调用析构函数。
7.如果类中没有申请资源时,析构函数可以不写,直接使用编译器生成的默认析构函数,如Date;如果默认生成的析构就可以用,也就不需要显示写析构
8. 一个局部域的多个对象,C++规定后定义的先析构
下面是一个析构函数的使用场景
当然记住它的析构顺序是c b a 先定义的后析构
还有再举一个例子来验证,默认析构处理自定义类型 ,其实也简单只要嵌套一下即可证明
还有一个注意点是:即使你自己写了一个析构,编译器也会自动调用自定义类型的析构函数,这点不用担心
2.4拷贝构造
如果一个构造函数的第一个参数是自身类类型的引用,且任何额外的参数都有默认值,则此构造函数也叫做拷贝构造函数,也就是说拷贝构造是一个特殊的构造函数。
拷贝构造的特点:
1. 拷贝构造函数是构造函数的一个重载。
2. 拷贝构造函数的参数只有一个且必须是类类型对象的引用,使用传值方式编译器直接报错,因为语法逻辑上会引发无穷递归调用。
3. C++规定自定义类型对象进行拷贝行为必须调用拷贝构造,所以这里自定义类型传值传参和传值返回都会调用拷贝构造完成。
4. 若未显式定义拷贝构造,编译器会生成自动生成拷贝构造函数。自动生成的拷贝构造对内置类型成员变量会完成值拷贝/浅拷贝(一个字节一个字节的拷贝),对自定义类型成员变量会调用他的拷贝构造。
这里先说前4点
第二点和第三点合在一起来讲,拷贝构造的第一个参数如果不是引用的话,那么在调用拷贝构造时要进行传参传值,一旦进行传参传值的话,又会调用拷贝构造,那么就会引发无限调用,直到栈溢出,这个还是很重要的,画图来理解
接下来看第四点:浅拷贝
我们可以用一个动态数组来说明问题
class Text {int* arr;int capacity;
public:
Text()
{arr = (int*)malloc(sizeof(40)); capacity = 10;
if (arr == nullptr){perror("malloc fail");}}
Text(Text& a)
{arr = a.arr;capacity = a.capacity;}};
int main()
{Text a;Text b(a);return 0;}
看调试记录:
两个类的地址一样,那么他们共用同一片空间,在销毁时会调用两次析构这样会使程序崩溃,还有等于说改变a时,b也会改变,这就很扯淡
5. 像Date这样的类成员变量全是内置类型且没有指向什么资源,编译器自动生成的拷贝构造就可以完成需要的拷贝,所以不需要我们显示实现拷贝构造。像Stack这样的类,虽然也都是内置类型,但是_a指向了资源,编译器自动生成的拷贝构造完成的值拷贝/浅拷贝不符合我们的需求,所以需要我们自己实现深拷贝(对指向的资源也进行拷贝)。像MyQueue这样的类型内部主要是自定义类型Stack成员,编译器自动生成的拷贝构造会调用Stack的拷贝构造,也不需要我们显示实现MyQueue的拷贝构造。这里还有一个小技巧,如果一个类显示实现了析构并释放资源,那么他就需要显示写拷贝构造,否则就不需要。
6. 传值返回会产生一个临时对象调用拷贝构造,传值引用返回,返回的是返回对象的别名(引用),没有产生拷贝。但是如果返回对象是一个当前函数局部域的局部对象,函数结束就销毁了,那么使用引用返回是有问题的,这时的引用相当于一个野引用,类似一个野指针一样。传引用返回可以减少拷贝,但是一定要确保返回对象,在当前函数结束后还在,才能用引用返回。
第五点没什么好讲,第六点需要注意野引用的问题
比如:我们在使用成员函数推荐传引用,这样避免拷贝构造
还有一点:就是传引用一定不要传局部变量的引用
好吧,这里报警告!
2.5赋值运算符重载
运算符重载
当运算符被用于类类型的对象时,C++语言允许我们通过运算符重载的形式指定新的含义。C++规定类类型对象使用运算符时,必须转换成调用对应运算符重载,若没有对应的运算符重载,则会编译报错。
运算符重载的特点
1.运算符重载是具有特名字的函数,他的名字是由operator和后面要定义的运算符共同构成。和其他函数一样,它也具有其返回类型和参数列表以及函数体。
class Text {
int _year; int _month; int _day;public:
bool operator==(Text x)
{//实现内容
}};
上面就是最简单的运算符重载
2.重载运算符函数的参数个数和该运算符作用的运算对象数量一样多。一元运算符有一个参数,二元运算符有两个参数,二元运算符的左侧运算对象传给第一个参数,右侧运算对象传给第二个参数。
3.如果一个重载运算符函数是成员函数,则它的第一个运算对象默认传给隐式的this指针,因此运算符重载作为成员函数时,参数比运算对象少一个。
举例来看:
4. 运算符重载以后,其优先级和结合性与对应的内置类型运算符保持一致。
5. 不能通过连接语法中没有的符号来创建新的操作符:比如operator@。
6. .* :: sizeof ?: . 注意以上5个运算符不能重载
7. 重载操作符至少有一个类类型参数,不能通过运算符重载改变内置类型对象的含义,如:int
operator+(int x, int y)
8. 一个类需要重载哪些运算符,是看哪些运算符重载后有意义,比如Date类重载operator-就有意
义,但是重载operator+就没有意义。
9. 重载++运算符时,有前置++和后置++,运算符重载函数名都是operator++,无法很好的区分。
C++规定,后置++重载时,增加一个int形参,跟前置++构成函数重载,方便区分。
OK可以举例说明
10. 重载<<和>>时,需要重载为全局函数,因为重载为成员函数,this指针默认抢占了第一个形位置,第一个形参位置是左侧运算对象,调用时就变成了 对象<<cout,不符合使用习惯和可读性重 载为全局函数把ostream/istream放到第一个形参位置就可以了,第二个形参位置当类类型对象。
第10点先不讲,我们先来看看运算符重载的使用吧!
注意后置加加可以任意传递一个int参数。
那么接下来在来看第10点
<< >>运算符重载
看为什么必须要重载在全局变量中:
因为,第一个参数是this指针所以在调用时,会出现倒反天罡的情况
所以我们要定义在全局之中,这里要使用友元让函数能够访问成员变量
这样传引用不仅可以减少拷贝还可以多次调用cout,所以这才是定义在全局的好处
赋值运算符重载
赋值运算符重载是一个默认成员函数,用于完成两个已经存在的对象直接的拷贝赋值,这里要注意跟拷贝构造区分,拷贝构造用于一个对象拷贝初始化给另一个要创建的对象。
这是它的定义,我们仍然要举例子说明情况
Text a=b;//拷贝构造
c=a; //赋值重载
赋值运算符重载的特点
1. 赋值运算符重载是一个运算符重载,规定必须重载为成员函数。赋值运算重载的参数建议写成const 当前类类型引用,否则会传值传参会有拷贝
2. 有返回值,且建议写成当前类类型引用,引用返回可以提高效率,有返回值目的是为了支持连续赋值场景。
3. 没有显式实现时,编译器会自动生成一个默认赋值运算符重载,默认赋值运算符重载行为跟默认构造函数类似,对内置类型成员变量会完成值拷贝/浅拷贝(一个字节一个字节的拷贝),对自定义类型成员变量会调用他的拷贝构造。
举例说明第二点
值得注意的是默认生成的赋值重载在vs2022里头也支持连续使用,赋值重载也是对对象的浅拷贝
2.6取地址运算符重载
这个比较简单了
取地址运算符重载分为普通取地址运算符重载和const取地址运算符重载,一般这两个函数编译器自动生成的就可以够我们用了,不需要去显示实现。除非一些很特殊的场景,比如我们不想让别人取到当前类对象的地址,就可以自己实现一份,胡乱返回一个地址。
直接看如何使用吧
Text* operator&() { return this; }
const Text* operator&()const { return this; }//这里返回值一定要const不然会出现权限放大
只有这么两种取地址运算符重载,
现在再来解释const加在函数括号后面的意义
将const修饰的成员函数称之为const成员函数,const修饰成员函数放到成员函数参数列表的后面。
const实际修饰该成员函数隐含的this指针,表明在该成员函数中不能对类的任何成员进行修改。
const 修饰Date类的Print成员函数,Print隐含的this指针由Date* const this 变为const Date* const this
三、日期类的实现
Date.h 头文件
#pragma once
#include<iostream>
#include<assert.h>
using namespace std;
class Date {
int _year;
int _month;
int _day;
public:
friend ostream& operator<<(ostream& out, const Date& d);
friend istream& operator>>(istream& in, Date& d);
int GetMonthDay()const
{
static int a[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;
return a[_month];
}
bool CheckDate()
{
if (_year >=0)
{
if (_month > 0 && _month < 13)
{
if (_day > 0 && _day <= GetMonthDay())
return true;
else
return false;
}
else
return false;
}
else
return false;
}
Date(const Date& x)
{
_year = x._year; _month = x._month; _day = x._day;
}
Date(int year = 2024, int month = 7, int day = 24)
{
_year = year; _month = month; _day = day;
}
void Print()
{
cout << *this << endl;
}
//复用也很多,其实写两个就可以复用所有
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 += 天数
Date& operator+=(int day);//使用+=来复用+
Date operator+(int day) const;
// d1 -= 天数
Date& operator-=(int day);
Date operator-(int day) const;
// d1 - d2
int operator-(const Date& d) const;
// ++d1 -> d1.operator++()
Date& operator++();
Date operator++(int);
Date& operator--();
Date operator--(int);
};
ostream& operator<<(ostream& out, const Date& d);
istream& operator>>(istream& in, Date& d);
Date.cpp文件
#include"Date.h"
Date& Date::operator+=(int day)//使用+=来复用+
{
if (day < 0)
{
*this -= (-day);
}
else
{
_day += day;
while (_day > GetMonthDay())
{
_day -= GetMonthDay();
++_month;
if (_month == 13)
{
_month = 1;
++_year;
}
}
}
return *this;
}
Date Date::operator+(int day) const
{
Date temp(*this);
temp += day;//复用
return temp;
}
Date& Date::operator-=(int day)
{
if (day < 0)
{
*this += (-day);
}
else
{
_day -= day;
while (_day <= 0)
{
_month--;
if (_month == 0)
{
_month = 12;
_year--;
}
_day += GetMonthDay();
}
}
return *this;
}
Date Date::operator-(int day) const
{
Date temp(*this);
temp -= day;
return temp;
}
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);
}
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)
{
if (_day < d._day)
{
return true;
}
}
}
return false;
}
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);
}
int Date::operator-(const Date& d) const
{
Date Max(*this);
Date Min(d);
int flag = 1;
if (Max<Min)
{
Max = d;
Min = *this;
flag = -1;
}
int count=0;
int a = 0;
for (int i = Min._year; i <Max._year; i++)
{
if (GetMonthDay() == 29)a++;
}
count = 365 * (Max._year - Min._year) + a;
while (Max._month != 1 || Max._day != 1)
{
--Max; ++count;
}
while (Min._month != 1 || Min._day != 1)
{
--Min; --count;
}
return count*flag;
}
Date& Date::operator++()
{
++_day;
if (_day>GetMonthDay())
{
_day -= GetMonthDay();
++_month;
if (_month == 13)
{
++_year;
_month = 1;
}
}
return *this;
}
Date Date::operator++(int)
{
Date temp(*this);
++(*this);
return temp;
}
Date& Date::operator--()
{
--_day;
if (_day == 0)
{
--_month;
if (_month == 0)
{
--_year;
_month = 12;
}
_day += GetMonthDay();
}
return *this;
}
Date Date::operator--(int)
{
Date temp(*this);
--(*this);
return temp;
}
ostream& operator<<(ostream& out, const Date& d)
{
out << d._year <<"_" << d._month<<"_" << d._day << endl;
return out;
}
istream& operator>>(istream& in, Date& d)
{
while (1)
{
cout <<"请输入年月日,不要输入非法日期哦"<< endl;
in >> d._year >> d._month >> d._day;
if (d.CheckDate())
break;
else
{
cout<<d<<"为非法日期,请重新输入"<<endl;
}
}
return in;
}
注意事项
1GetMonth()函数主要思路是哈希表
2前置++与后置++不同,前置是传自身引用,后置是传临时变量
3 关系操作符重载: >= == <= > < !=只要实现两个,就可以复用其他的函数
4.日期减日期时,使用的相对的思维,先利用假设法找出最大的日期,再利用他们把他们都置为1月1号,然后先算出年差的天数,再计算实际的某月某日与1月1日的相差数,大的日期相差数加在总和上,小的日期就减去。
5.在流读取运算符重载时会出现非法日期,要避免,而且<< >>必须要定义在全局上所以使用友元
6.对于不改变对象的函数加上const限定更加严谨