C++ 类和对象(下)
1. 再谈构造函数
1.1 构造函数体赋值
首先看下面代码:
之前讲的MyQueue不写构造函数,编译器会自动生成默认的构造函数,默认的构造函数对内置类型成员变量没有规定要不要处理,具体看编译器。对自定义类型成员变量会调用他的默认构造函数(不用传参的构造就叫默认构造)。
首先 假设栈不提供默认构造呢?
代码形式如下:
答案是:栈不提供默认构造,MyQueue也生不成默认构造。
这时MyQueue就没办法构造了,这时候该怎么办呢?也就是说 如果 Stack不具备默认构造(一定是它显式写了一个带参的构造,带参的构造不是默认构造,默认构造是不传参的),MyQueue 也无法生成默认构造。这时候就只有一个办法,就是MyQueue 去显式的写构造,它可以加缺省参数,也可以不加,你只有这一条路可以走。
显示的写构造以后,下一个问题是什么?关键就是自定义类型_pushst,_popst 在构造的时候要把参数传给Stack(size_t capacity),因为它是带参的,那我怎么传呢?
这个时候C++引入了一个东西叫初始化列表
1.2 初始化列表
初始化列表:以一个冒号开始,接着是一个以逗号分隔的数据成员列表,每个"成员变量"后面跟一个放在括号中的初始值或表达式。
这个时候你看 ,它不具备默认构造,它是带参的构造,我就可以在初始化列表的时候显示把_pushst(n),_popst(n) 传给Stack(size_t capacity)。初始化列表,初始化什么呢?_size 就直接初始化成0,_pushst(n),_popst(n) 本质上是在调它的构造函数。
如果栈没有提供默认构造,就必须用上述方式初始化,否则没有办法初始化。
代码如下:
再看下面代码,假设 栈给了默认构造,我们又写了一个无参构造,会怎么样调用呢:
上述代码调试过程
3. 尽量使用初始化列表初始化,因为不管你是否使用初始化列表,对于自定义类型成员变量,一定会先使用初始化列表初始化。
4. 成员变量在类中声明次序就是其在初始化列表中的初始化顺序,与其在初始化列表中的先后次序无关。
程序崩溃一般是 出现野指针,空指针的情况下等等。
代码分析:
因此不能按照上面那种写法写。要想不报错需要将声明和初始化列表定义的地方保持一致,如下:
1.3 explicit关键字
构造函数不仅可以构造与初始化对象,对于单个参数或者除第一个参数无默认值其余均有默认值的构造函数,还具有类型转换的作用。
上面讲的东西有什么用呢?
先看下面代码
解决上面的办法应该是把给形参加上引用 :void Push(const A& aa);
如果不想让隐式类型转换发生 C++提供了explicit 关键字。
单参构造函数 例子如下:
下面是多参数构造例子:
用explicit修饰构造函数,将会禁止构造函数的隐式转换。
2. static成员
2.1 概念
声明为static的类成员称为类的静态成员,用static修饰的成员变量,称之为静态成员变量;用static修饰的成员函数,称之为静态成员函数。静态成员变量一定要在类外进行初始化。
面试题:实现一个类,计算程序中创建出了多少个类对象。
下面是利用公有的静态成员变量计算程序中创建出了多少个类对象?
下面是利用公有的静态成员函数计算程序中创建出了多少个类对象?
2.2 特性
- 静态成员为所有类对象所共享,不属于某个具体的对象,存放在静态区
- 静态成员变量必须在类外定义,定义时不添加static关键字,类中只是声明
- 类静态成员即可用 类名::静态成员 或者 对象.静态成员 来访问
- 静态成员函数没有隐藏的this指针,不能访问任何非静态成员
- 静态成员也是类的成员,受public、protected、private 访问限定符的限制
【问题】
6. 静态成员函数可以调用非静态成员函数吗?不可以
7. 非静态成员函数可以调用类的静态成员函数吗?可以
3. 友元
友元提供了一种突破封装的方式,有时提供了便利。但是友元会增加耦合度,破坏了封装,所以友元不宜多用。
友元分为:友元函数和友元类
3.1 友元函数
问题:现在尝试去重载operator<<,然后发现没办法将operator<<重载成成员函数。因为cout的输出流对象和隐含的this指针在抢占第一个参数的位置。this指针默认是第一个参数也就是左操作数了。但是实际使用中cout需要是第一个形参对象,才能正常使用。所以要将operator<<重载成全局函数。但又会导致类外没办法访问成员,此时就需要友元来解决。operator>>同理。
友元函数可以直接访问类的私有成员,它是定义在类外部的普通函数,不属于任何类,但需要在类的内部声明,声明时需要加friend关键字。
说明:
- 友元函数可访问类的私有和保护成员,但不是类的成员函数
- 友元函数不能用const修饰
- 友元函数可以在类定义的任何地方声明,不受类访问限定符限制
- 一个函数可以是多个类的友元函数
- 友元函数的调用与普通函数的调用原理相同
3.2 友元类
友元类的所有成员函数都可以是另一个类的友元函数,都可以访问另一个类中的非公有成员。
4. 内部类
概念:如果一个类定义在另一个类的内部,这个内部类就叫做内部类。内部类是一个独立的类,它不属于外部类,更不能通过外部类的对象去访问内部类的成员。外部类对内部类没有任何优越的访问权限。
注意:内部类就是外部类的友元类,参见友元类的定义,内部类可以通过外部类的对象参数来访问外部类中的所有成员。但是外部类不是内部类的友元。
5.匿名对象
6.拷贝对象时的一些编译器优化
在传参和传返回值的过程中,一般编译器会做一些优化,减少对象的拷贝,这个在一些场景下还是非常有用的。
下面是一个传值传参的例子:
下面是一个引用传参的例子:
下面是一个在引用传参的基础上隐式类型转换传参和匿名对象传参的例子:
上面代码没有优化,因为引用传参,实参只是形参的别名,并不会调用拷贝构造
下面是一个传值传参的优化代码:
下面是一个传值返回的优化代码:
7. 再次理解类和对象
现实生活中的实体计算机并不认识,计算机只认识二进制格式的数据。如果想要让计算机认识现实生活中的实体,用户必须通过某种面向对象的语言,对实体进行描述,然后通过编写程序,创建对象后计算机才可以认识。比如想要让计算机认识洗衣机,就需要:
在类和对象阶段,大家一定要体会到,类是对某一类实体(对象)来进行描述的,描述该对象具有那些属性,那些方法,描述完成后就形成了一种新的自定义类型,才用该自定义类型就可以实例化具体的对象。
完