前置理解:类可以想象成是由成员及各种实现方法共同封装成的一张图纸,由这张图纸,可以实例化成各种实体建筑。也就是说,C++将C语言(以各种函数方法为基础的语言)提升成各种类实现的各种方法,并诞生出封装性,继承性,多态性,使得各种方法实现更加灵活丰富。
1.如何定义一个类呢?
首先C++中类的关键词可以是class或者是struct,用{};分装成员变量和实现方法。在类中,可以使用public,privated,protected去限定类外访问类中的成员变量和实现方法的权限。
2.如何确定一个对象的大小?
首先明确,类的大小不包含函数指针、隐藏的this指针。只包含成员变量的大小,其大小的计算满足对齐规则(为了方便寻址,本质上是寄存器和初始位置做差找到每个成员的首字节,按照对齐方式存储,一次性就可访问到每个成员)。
第一个成员的偏移量在0处
对齐数为min(当前成员所占字节数,编译器的默认对齐数,VS默认是8)
每个成员的首字节地址要是对齐数的整数倍位置
类的总大小为对齐数的整数倍
当类中什么都没有时(只有实现函数),此时类的大小为1,作为占位字节,表示对象的存在
3.this指针:
思考这样一个问题,如果定义了很多个对象,每个对象都可以访问相关的函数,那么这些实参是怎么传到形参的呢?这里存在一个this指针,为每个函数的第一个隐藏的变量,通过this指针,可以访问到对应的函数,使得这些对象不会相互干扰,正常完成方法。
this指针存放在栈区,本质上是一个指针变量,存放到栈区。
4.类的默认成员函数:
什么是默认函数?就是用户没有显式的实现,编译器自动生成的函数。主要围绕两方面去学习默认成员函数:1.默认成员函数的行为是什么?2.如果默认成员函数无法满足需求,如何自定义相关的默认成员函数?
1)构造函数:
前置:我们曾经在用C语言实现Stack的时候,第一个就会实现一个Init()函数,这个函数的作用就是完成我们新定义一个Stack的初始化工作,包括动态申请数组的内存,初始化栈的容量等操作。而C++完美优化了这个点,引入构造函数。也就是说,构造函数就是帮助我们完成初始化工作的函数。
写法:构造函数与类名同名,无返回值,可以有参数,根据参数的不同又可以构成重载
用法及注意:
1.当创建对象时,会自动调用构造函数。
2.无参构造函数、全缺省构造函数、系统自己提供的构造函数都是默认构造函数。三者仅能存在一者,由于全缺省构造函数和无参构造会存在传参的歧义(当什么都不传时,系统不知道调哪个),所以这两个只能写其中一者。
3.注意:只要不需要传参的构造函数都是默认构造函数。
4.对于内置类型,默认构造函数的初始化是不确定的,会随机初始化。对于自定义类型,会调用自定义类型的默认构造函数。
2)析构函数:
前置:既然有Init方法初始化Stack,那么必然存在Destroy方法销毁Stack,所以析构函数就是完成对动态申请资源的释放工作的。由于局部变量生命周期为该对象的生命周期,不需要销毁。
写法:~类名(){};
无参数、无返回值,不可构成重载,生命周期结束自动调用析构函数,对于非动态申请的内存,无需写析构函数,比如只有类似int/char等成员,亦或者在这个类中没有动态申请,例如用两个栈实现队列,系统会调用两个栈自己的析构函数,除此之外,只要在类中动态申请了内存,一定要写析构函数释放内存。
3)拷贝构造函数:
前置:我们已经知道了构造函数充当初始化对象成员的作用,那么除了直接赋值实参给构造函数,这样的初始化方式之外,我们还可以采用一个已有的对象,对其初始化,形象的认为是将这个对象拷贝给要初始化的对象。
注意事项及用法:
1.拷贝构造函数本质也属构造函数,所以是构造函数的一个重载
2.拷贝构造函数必须第一个参数必须是类对象的引用,而不能是直接传值传参。这里简单的说明下原因:一旦传值调用,必然会调用拷贝构造函数,此时再次进行的是传值调用,继续调用拷贝构造函数,使得形成死递归,程序崩溃。
3.自定义对象进行拷贝行为时,必须进行拷贝构造。
4.若未定义拷贝构造函数,系统会进行浅拷贝(不开辟新空间的拷贝),对于内置类型直接浅拷贝,对于自定义类型,调用其的拷贝构造函数。
5.由于析构函数的存在,如果一个类中显式的使用了析构函数,那么必然要自己写拷贝构造函数,申请到另外一块新空间,否则会析构两次,程序崩溃。
6.传值返回时,实际上返回的是一个临时对象调用的拷贝构造;传引用返回,返回的是那块内存的别名,所以当返回引用时,检查是否因程序的结束使得变量销毁,变成野引用。
4)运算符重载:
个人理解:运算符起初是面向数字,表达式等关系的处理。而当我们要处理包含有对象的数字,表达式等,就需要进行运算符重载,这样才能完成对象间的关系处理。
构成例如:
Data operator+=(int x)
{
//函数体;
}
参数个数需要与完成运算数个数匹配
如果运算符重载作为成员函数,则第一个参数为隐式的this指针,所以实际上会少一个参数
5)赋值运算符重载(运算符重载的一种)
与拷贝构造区别:拷贝构造是用已有对象进行初始化,而赋值运算符重载是两个对象已经初始化,用其中一个对另外一个进行赋值操作。本质区别为是否已经初始化。
注意事项:
1.最好在形参当前引用类型前加const,避免被修改‘
2.若有连续赋值场景,返回值应写成引用的形式,这样才能为后续的赋值服务
3.没有显式实现时,系统会默认利用和拷贝构造相似的方法,进行浅拷贝的赋值,也就是不额外开辟空间。
4.同拷贝构造,如果显式调用析构函数,必须写赋值运算重载,防止析构多次,资源泄露。