目录
1.初始化列表
1.1.构造函数体赋值
在创建对象时,编译器通过调用构造函数,给对象中各个成员变量一个合适的初始值虽然上述构造函数调用之后,对象中已经有了一个初始值,但是不能将其称作为类对象成员的初始化,构造函数体中的语句只能将其称作为赋初值,而不能称作初始化。因为初始化只能初始化一次,而构造函数体内可以多次赋值构造函数进行初始化相当于是对已经存在的变量赋初值,而初始化列表初始化是在创建变量的同时进行初始化
1.2.初始化列表
初始化列表:以一个冒号开始,接着是一个以逗号分隔的数据成员列表,每个"成员变量"后面跟一个放在括号中的初始值或表达式。注:
1.初始化列表的大括号里面也可以写东西,甚至初始化列表和函数体内初始化可以混着用,如下图所示
2.初始化列表可以认为就是对象的成员变量定义的地方,如下图所示
为什么非要给成员变量找一个定义的地方呢?普通的成员函数在函数体内初始化(利用构造函数初始化)或初始化列表初始化都没有区别,因为他们可以在定义的时候初始化,也可以定义后再赋值。但是有些成员变量必须在定义的时候初始化,如下图一所示,因此这里的_n和ref成员变量只能使用初始化列表进行初始化,如下图二所示(因为ref是进行取引用,像n这样传参的话,传过来的是临时拷贝的变量,会造成类似野指针,所以下面的例子将ref删去,要给ref初始化的话可以不传参,初始化列表里直接给一个全局变量即可)
3.对于类Date里面成员变量是一个类A的对象_aa的情况,如果不在初始化列表里面初始化该对象_aa,那么系统会去调用类A的默认构造函数对对象_aa进行初始化(初始化列表是所有类成员定义的地方,写不写初始化列表都是存在的,如果写了就会显式的进行初始化,如果不写对于内置类型不做处理,对于自定义类型会去调用其自己的默认构造函数,所以系统自动生成的默认构造函数的功能本质其实是系统自动生成一个构造函数,函数里面的初始化列表实现的),而如果类A里面没有默认构造函数,编译器就会报错所以对于一个类里面,我们建议要有默认构造函数,否则像上面这种其他类里面定义该类的对象,其他类的初始化列表里面又没有该类对象的初始化,系统就会报错。这种情况有两种解决方法:
方法一:提供一个默认构造函数,如下图所示
方法二:如果就是不提供默认构造函数或者我想显式的用我的参数进行初始化,那么就用初始化列表对该类对象进行初始化(这样在初始化列表里面其实是调用类A的构造函数进行初始化)
4.如下面的例子所示,如果不写构造函数,系统会自己生成一个构造函数,生成的构造函数里面的初始化列表因为为空(因为成员变量需要定义,所以一定有初始化列表),所以会对内置类型不出初始化,自定义类型去调用自己的默认构造函数进行初始化。
如下图所示,如果我们写一个这样的默认构造函数,该函数里面看上去什么也没有,但其实也是有初始化列表的,因为成员变量必须要定义,只不过初始化列表为空,这样初始化列表因为没有显式的初始化成员,对于内置类型成员不处理,对于自定义类型的成员调用其自己的默认构造函数,与系统自动生成的默认构造函数效果相同
前面介绍过缺省值的概念,其实缺省值就是给初始化列表用的,缺省值是备用的,对于内置成员变量,如果初始化列表你显式的写了,那么初始化列表就用显式写的,如果没有显式写,初始化列表会去找有没有缺省值,有缺省值就使用缺省值,没有缺省值就不处理
总结:
初始化列表对于每一个成员变量按照声明处的顺序依次过一遍
如果是内置成员变量,且初始化列表对该内置成员有显式的初始化,那么初始化列表进行显式的初始化;如果初始化列表里面没有显式的初始化,那么就会去找有没有缺省值,如果有缺省值,就用缺省值进行初始化;如果没有缺省值,就不做处理
如果是自定义成员变量,且初始化列表对该自定义成员有显式的初始化,那么初始化列表调用该自定义成员的构造函数并将初始化值传过去,进行自定义类型的初始化;如果初始化列表里面没有显式的初始化,,那么就会去找有没有缺省值,如果有缺省值,就会用缺省的对象拷贝构造进行初始化;如果没有缺省值,初始化列表会去调用其默认构造函数进行初始化
5.成员变量在类中声明次序就是其在初始化列表中的初始化顺序,与其在初始化列表中的先后次序无关,如下面这道题
答案应该选D
6.每个成员变量在初始化列表中只能出现一次(初始化只能初始化一次)
7. 类中包含以下成员,必须放在初始化列表位置进行初始化:
(1)引用成员变量(2)const成员变量(3)自定义类型成员(该类没有默认构造函数)其他的变量既可以在初始化列表初始化,也可以在函数体内初始化总结:建议尽量在初始化列表初始化,如下图所示
1.3.explicit关键字
如下图所示,我们以前调用拷贝构造和赋值运算符重载函数都是Date d3(d1) 和 Date d4 = d1这样使用,为什么代码 Date d1(2022) 和 Date d2 = 2022也可以正常赋值呢?这里面其实涉及到了隐式类型转换。
代码Date d1(2022)是直接用2022进行构造
代码Date d2 = 2022先是用2022构造了一个date类型的临时对象,再用这个date类型的临时对象拷贝构造给d1
注:现在很多编译器其实做了大胆的优化,直接使用2022进行构造,没有先构造在拷贝构造的过程,因此经过优化后,构造函数不仅可以构造与初始化对象,对于单个参数的构造函数,还具有类型转换的作用。
新的编译器的优化一般可以总结为:在一个表达式中,连续步骤的构造+拷贝构造,或者拷贝构造+拷贝构造,胆大的编译器可能就会优化,合二为一,构造+拷贝构造优化成直接构造,拷贝构造+拷贝构造优化成拷贝构造
上述代码可读性不是很好,如果用explicit修饰构造函数,给构造函数前面加上explicit关键字,如下图所示,那么编译器就不会再允许这样的隐式类型转换,即将会禁止单参构造函数的隐式转换
2.static成员
2.1.概念
统计下面代码A类型对象创建了多少个
我们可以定义一个全局的变量count,每一个对象创建都需要构造或者拷贝构造,每一次调用构造函数和拷贝构造函数都给count++一下,就能得到创建对象的个数,如下图一所示。如果想分别知道调用了多少次构造函数,多少次拷贝构造函数,那么分别用count1和count2来计数即可,如下图二所示
但是使用全局变量是不好的,在一个项目里面都有多个.h多个.cpp,在.cpp里面只有自己能用,在.h里面其他.cpp文件都包含了.h文件,会造成定义冲突。如果将全局变量也声明和定义分离,那么得用extern也比较麻烦。c++从封装的角度是不提倡使用全局变量的,我们可以使用静态成员变量来解决
c++的类中除了普通成员变量,还有一种叫做静态成员变量
静态成员变量放在静态区(计算类的大小不包含静态成员变量的大小),并且静态成员变量属于整个类,属于类的所有对象(任何对象都可以访问到静态的成员变量,所有对象访问到的都是同一个静态成员变量)
静态成员变量不是在构造函数的初始化列表定义和初始化的(初始化列表不管静态成员变量),因为他不属于某一个函数
类里面写的只是静态成员变量的声明,我们需要在类的外面手动定义静态成员变量,如下图所示
静态成员变量我们可以通过某个对象去访问,也可以通过类直接去访问(只有静态的成员变量或静态的成员函数才能通过类直接去访问或调用),如下图所示
但是在类的外面,我们没办法直接去访问私有的静态成员变量,我们可以通过定义GetCount1和GetCount2将成员变量的值取出来,注意这里GetCount1和GetCount2两个函数我们没有设置成静态的成员函数,所以不能用类直接去调用。
如果我们还没有用该类定义任何一个对象,却想使用里面私有的静态成员变量,那我们只能直接使用类去获取,但是类是没法调用普通成员函数来获取私有的静态成员变量(只有静态的成员变量或静态的成员函数才能通过类直接去访问或调用),我们可以使用静态成员函数
我们可以将GetCount1和GetCount2两个成员函数前面加上static,变成静态的成员函数,这样就可以直接用类去调用静态的成员函数来获取里面私有的静态成员变量,如下图所示
需要注意的是静态成员函数没有this指针,所以静态的成员函数只能访问静态的成员函数,无法访问普通的成员函数,如下图所示
2.2.特性
1. 静态成员为所有类对象所共享,不属于某个具体的实例2. 静态成员变量必须在类外定义,定义时不添加static关键字3. 类静态成员即可用类名::静态成员或者对象.静态成员来访问4. 静态成员函数没有隐藏的this指针,不能访问任何非静态成员5. 静态成员和类的普通成员一样,也有public、protected、private3种访问级别,也可以具有返回值【问题】1. 静态成员函数可以调用非静态成员函数吗?答:不能,因为静态成员函数没有this指针,因此无法确定调用哪个对象的非静态成员函数2. 非静态成员函数可以调用类的静态成员函数吗?答:能
3.C++11 的成员初始化新玩法
C++11支持非静态成员变量在声明时进行初始化赋值,但是要注意这里不是初始化,这里是给声明的成员变量缺省值
4.友元
友元分为: 友元函数和 友元类友元提供了一种突破封装的方式,有时提供了便利。但是友元会增加耦合度,破坏了封装,所以友元不宜多用。
4.1.友元函数
问题:现在我们尝试去重载operator<<,然后发现我们没办法将operator<<重载成成员函数。因为cout的输出流对象和隐含的this指针在抢占第一个参数的位置。this指针默认是第一个参数也就是左操作数了。但是 实际使用中cout需要是第一个形参对象,才能正常使用。所以我们要将operator<<重载成全局函数。但是这样的话,又会导致类外没办法访问成员,那么这里要么每个成员变量写一个函数返回出来要么就需要友元来解决。operator>>同理。写函数返回出来如果成员变量较多的话,每个成员变量都需要一个函数进行返回很麻烦,不推荐友元函数可以直接访问类的私有成员,它是定义在类外部的普通函数,不属于任何类,但需要在类的内部声明,声明时需要加friend关键字,如下图所示。说明:1.友元函数可访问类的私有和保护成员,但不是类的成员函数2.友元函数不能用const修饰3.友元函数可以在类定义的任何地方声明,不受类访问限定符限制(friend+函数声明可以写在类的任何地方,但一般是写在类的开头的)4.一个函数可以是多个类的友元函数(那么该函数可以同时访问这些类的私有成员变量)5.友元函数的调用与普通函数的调用和原理相同
4.2.友元类
如下图所示,Date是Time的友元类,那么Date可以访问Time的所有非公有成员变量1.友元关系是单向的,不具有交换性。比如下面Time类和Date类,在Time类中声明Date类为其友元类,那么可以在Date类中直接访问Time类的私有成员变量,但想在Time类中访问Date类中私有的成员变量则不行。2.友元关系不能传递如果B是A的友元,C是B的友元,则不能说明C是A的友元。
5.内部类
概念:如果一个类定义在另一个类的内部,这个内部类就叫做内部类。注意此时这个内部类是一个独立的类,它不属于外部类,更不能通过外部类的对象去调用内部类。外部类对内部类没有任何优越的访问权限。注意:内部类就是外部类的友元类。注意友元类的定义,内部类可以通过外部类的对象参数来访问外部类中的所有成员。但是外部类不是内部类的友元。如上图所示,其实在A类里面定义B类构成内部类和并列定义A类B类将B类设置成A的友元类基本没有区别
唯一的区别就是A类里面定义的B类要受到A中访问限定符的限制,如下图所示,如果B类在A类中是public的,在外面要定义B类对象要 A::B+对象名 才行;如果B类在A类中是private的,那么在外面用不了B类,此时B类是A类专属的,只有A类能用
注:
1.sizeof(外部类)=外部类,和内部类没有任何关系,如下图所示,该类里面只有一个成员h
2.特性:
1. 内部类可以定义在外部类的public、protected、private都是可以的。
2. 注意内部类可以直接访问外部类中的static、枚举成员,不需要外部类的对象/类名。3. sizeof(外部类)=外部类,和内部类没有任何关系
6.练习题
第一题:
题目描述:
代码2:(利用内部类实现)
注:
1.上面代码Sum a[n]定义了一个类数组,类数组中每一个类都会去调用一次Sum类的构造函数,总共调用n次
第二题:
题目描述:
代码:
第三题:
题目描述:
补充知识:匿名对象
类名+小括号,就创建了一个匿名对象,如下图所示,匿名对象的生命周期只有这一行
匿名对象有什么用呢?
场景一:
假如有一个类Solution,类Solution里面有一个Sum_Solution成员函数,如果我们只是想使用该成员函数,按照我们之前的写法需要先用该Solution类创建一个对象,然后调用该对象的Sum_Solution成员函数,如下图左所示。有一种更简单的方法就是Solution()创建一个匿名对象,然后直接调用该匿名对象的Sum_Solution成员函数,一行就能解决,如下图右所示
场景二:
假如有一个类weight,有一个函数f,f的形参是weight类型的变量,如果我们只是想调用函数f,按照我们之前的写法需要先用该Solution类创建一个对象x,然后f(x)将该对象作为实参调用函数f,如下图左所示。有一种更简单的方法就是Solution()创建一个匿名对象,f(匿名对象)直接将匿名对象作为实参传过去调用f函数,一行就能解决,如下图右所示
注:对于上面场景二,先weight x 再f(x)的情况,weight x会调用一次构造函数,然后f(x)会去调用一次拷贝构造;f(Weight())的情况,因为是在一行(一个步骤里面),新的编译器一般会进行优化,编译器会将Weight()生成的匿名对象和f函数的形参合二为一,只调用一次构造函数,不再进行拷贝构造
新的编译器的优化一般可以总结为:在一个表达式中,连续步骤的构造+拷贝构造,或者拷贝构造+拷贝构造,胆大的编译器可能就会优化,合二为一,构造+拷贝构造优化成直接构造,拷贝构造+拷贝构造优化成拷贝构造
题解:
分析一:
调用一次f函数,需要调用四次拷贝构造函数,如下图所示,实参传给形参需要一次拷贝构造,Widget v(u)需要一次拷贝构造,Widget w=v需要一次拷贝构造,该函数是传值返回,传值返回返回的是拷贝值,需要调用一次拷贝构造总共四次,如下图所示
注意,如果是引用传参或者引用做返回值都不会去调用拷贝构造函数
分析二:
如下图左所示,首先Weight x创建x对象,调用构造函数,然后Weight ret = f(x),正常来说f(x)调用4次拷贝构造函数,然后得到的结果给ret再调用1次拷贝构造函数,总共调用5次拷贝构造函数,如下图右所示,但其实很多新的编译器只调用了4次拷贝构造函数,因为下图右的第4次拷贝构造和第5次拷贝构造是连续步骤的,胆大的编译器会合二为一
分析三:
根据分析二,对于该题的代码,如下图一所示,如果编译器不优化的话,总共会调用9次拷贝构造函数,如下图二所示,如果编译器优化的话,第4次和第5次拷贝构造会合二为一,第8次和第9次拷贝构造会合二为一,因此如果编译器优化,总共会调用7次拷贝构造函数
7.再次理解封装
C++是基于面向对象的程序,面向对象有三大特性即:封装、继承、多态。C++通过类,将一个对象的属性与行为结合在一起,使其更符合人们对于一件事物的认知,将属于该对象的所有东西打包在一起;通过访问限定符选择性的将其部分功能开放出来与其他对象进行交互,而对于对象内部的一些实现细节,外部用户不需要知道,知道了有些情况下也没用,反而增加了使用或者维护的难度,让整个事情复杂化。下面举个例子来让大家更好的理解封装性带来的好处,比如:乘火车出行售票系统:负责售票----用户凭票进入,对号入座工作人员:售票、咨询、安检、保全、卫生等火车:带用户到目的地火车站中所有工作人员配合起来,才能让大家坐车有条不紊的进行,不需要知道火车的构造,票务系统是如何操作的,只要能正常方便的应用即可。想想下,如果是没有任何管理的开放性站台呢?火车站没有围墙,站内火车管理调度也是随意,乘车也没有规矩,比如:
8.再次理解面向对象
可以看出面向对象其实是在模拟抽象映射现实世界。