C++语言·类和对象(下)

1. 初始化列表

我们回忆上节写的MyQueue类，其中有两个栈类和一个int类型，栈类因为其特殊性，要开空间，所以我们必须手搓Stack类的构造函数。但是正常来说MyQueue自动生成的构造函数会调用自定义类型的默认构造函数，也就是说我们不必再手搓MyQueue类的构造函数了，编译器自动生成的就好用。

但是此时问题来了，默认构造函数简单点理解就是不用传参就能调用的构造函数，那么如果我们手搓的Stack类没有默认构造函数，那么MyQueue就不能自动生成构造函数了，因为它没得调了，就像这样。

光标圈出来的那一行中，我们没有给构造函数搞缺省参数，所以它必须传参才能调用，也就是说此时Stack类没有了默认构造函数，那么现在编译器是处在报错的状态，那我们如何通过写MyQueue的构造函数来解决这一问题。

此时就要说到初始化列表的概念了，初始化列表本质上可以理解成每个对象中成员定义的地方，所有成员你可以在初始化列表初始化，也可以在函数体内部初始化。

具体写法就是：以一个冒号开始，接着是一个以逗号分开的数据成员列表，每个成员变量后面跟一个放在括号中的初始值或表达式。

ps: 这里面size其实应该前面有个下划线的，但是我忘记写了，大家凑活着看吧

_pushst 和 _popst 的初始化必须要在函数体外面写，因为他俩进了函数体就没法初始化了呀，不过size初始化可以写到函数体里头，当写在函数体里头的时候有必须要用赋值的方案进行初始化了。

虽说类中的所有成员都可以在初始化列表和函数体内初始化，但是有三类成员必须在初始化列表中初始化：1. 引用 2. const成员 3. 没有默认构造的自定义类型成员

我们知道如果在定义成员变量的时候赋值，我们管这个行为叫给成员变量缺省值，这个缺省值的含义就是为了给初始化列表的缺省值。因为初始化列表不管你有没有显式写，编译器都会自动给每个成员都走一遍，自定义类型的成员会调用其默认构造函数，内置类型就不做操作(除非有缺省值，那么编译器的行为相当于自动在括号中写那个缺省值)。这就解释了上面Stack没有默认构造函数MyQueue就不能自动生成构造函数。

既然是缺省值，我们在显式写初始化列表的时候就可以更改，同时默认构造函数那个赋的不也是缺省值嘛，因此也可以更改。

这里强调一下，缺省值是可以给表达式的，比如我们可以给一个指针成员一个malloc缺省值。

那么函数体中的语句的优先顺序比初始化列表还要高，也就是说初始化列表中已经初始化好的成员我们还可以在函数体中进一步修改。具体优先顺序就是：缺省值 < 初始化列表 < 函数体

成员变量在类中声明次序就是其在初始化列表中的初始化顺序，初始化顺序与其在初始化列表中的先后次序无关。我们看下面这段代码的输出就懂了

因为是先初始化的_a2所以输出的不是两个1，而是1和随机值。

最后在实践中，尽可能使用初始化列表进行初始化，不方便再用函数体初始化。

2. 对象赋值时的隐式类型转换

我们看下面这一段代码

我们知道aa1通过构造函数赋值，aa2通过拷贝构造赋值，那aa3是怎么回事？raa又是怎么回事？

aa3这里其实产生了隐式类型转换，由内置类型转换为了自定义类型。首先3先构造一个A类型的临时对象，再用这个临时对象拷贝构造aa3。所以说单参数构造函数可以支持这种直接赋内置类型的操作，它会产生隐式类型转换。现在我们在看打印出来的结果，当 3 赋给 aa3 的时候只调用了构造函数，这是因为编译器遇到连续构造+拷贝构造的组合时会优化成直接构造.

raa的本意是取引用，首先 3 先隐式转换出来一个临时对象，为了权限不放大，所以要给const，之后raa引用3转换出来的这个新的临时对象。所以只有 3 隐式转换的时候出现了构造函数，没有拷贝构造出现。

这个隐式类型转换的意义就是在于能够简化我们的代码量，有时还能缩减运行效率，直接赋一个内置变量，让编译器自己去类型转换。比如说我们想往栈里头压这个A类对象：

我们可以选择先构造一个对象，然后再给到压栈。或者直接不写构造了，直接压1，让编译器自己类型转换去，这不就方便多了。

上面是单参数的隐式类型转换，那多参数的写法是这样的：

给值的时候用花括号括起来，写不写等于号都行，但是推荐写上等于号，这样和普通括号有点区别。

2.1 explicit关键字

如果不想让构造能发生隐式类型转换，就在构造函数前面加上explicit关键字就行，单参数和多参数通用的。

aaa1因为隐式类型转换被拒所以无法构造了，那个aaa2没报错是因为编译器在这里把花括号当括号处理了。我们看aaa掉成员函数时的情况，传对象的时候就通过了，但是尝试传内置类型的时候隐式类型转换被拒绝了，因此编译报错。

3. static 静态成员

声明为static的类的成员称为类的静态成员，用static修饰的成员变量，称之为静态成员变量；用static修饰的成员函数，称之为静态成员函数。静态成员函数一定要在类外进行初始化。

静态成员有如下特性：

1. 静态成员为所有类对象所共享，不属于某个具体的对象，存放在静态区。

2. 静态成员变量必须定义在类外定义，定义时不添加static关键字，类中只是声明

3. 类静态成员即可用类名::静态成员或者对象.静态成员访问

4. 静态成员函数没有隐藏的this指针，不能访问任何非静态成员

5. 静态成员也是类的成员，受 public，protected，private 访问限定符的限制

我们看上面一段代码。

_scount是一个静态成员变量，这里我将它开放成了public，否则无法在类外访问。它存储于静态区，并属于所有的A类和其实例(对象)，也就是说它可以直接通过类 A::_scount 访问，同时从任何地方访问(通过类访问，或通过对象访问)并改变其值的操作，都会直接改变其在静态区存储的值，也就是说任何依次改变都会影响A类以及其下所有实例中的_scount值，这就是所谓的静态成员变量属于所有类对象。同时因为它存储于静态区，所以在实例化类的时候静态成员变量同成员函数一样，不占用对象的空间。

_scount在类中声明的时候不能给缺省值，给了就报错，因为给缺省值是为了在初始化列表中初始化，但是_scount不走初始化列表，它是静态变量，因此必须在类外定义。

那么这个静态成员变量可以用来干嘛呢，举个例子，它可以实时检测该类存在几个实例化对象，因为创建对象无非两种方法，构造和拷贝构造，因此我显式写每执行依次这两种构造就++_scount ，对象销毁析构的时候再 --_scount。最终打印出来的效果还是挺明显的。

我们再看下一段代码，讲解一下静态成员函数

这里我将_scount设置为private状态了，那么此时就不能再类外访问它了，也就是说无法这样 A::_scount 访问了，当然这也比较符合我们写成员变量的习惯，就是把所有成员变量都设置成private状态加以保护。那此时我们就要通过静态成员函数访问。static修饰变量和修饰函数的意义完全不一样，修饰变量时改变了变量的声明周期，修饰函数时改变了它的链接属性。那么静态成员函数的特性就是没有this指针，也就是说静态成员函数只能访问静态成员变量。

那么使用的时候跟静态成员函数很像，既可以通过类访问，也可以通过对象访问得到_scount的值