5 面向对象编程风格
5.1 面向对象编程概念
继承:将相关的类组织起来,分享其间的共通数据和操作行为。
父类定义了所有子类共通的对外接口和私有实现内容,每个子类都可以增加或改写继承而来的东西,以实现它自身独特的行为。
父类称为基类,子类称为派生类。
LibMat基类:
多态:对组织起来的类进行编程时,如同操控单一个体。可以加入和移除任何特定的类。
抽象基类:定义类的共通操作。
使用指向抽象基类的pointer或reference来操作系统中的各对象,而不是直接操作各个实际对象,这让我们在不更动就有程序的前提下,加入或移除任何一个派生类。
多态:让基类的pointer或reference得以十分透明地指向其任何一个派生类对象。
mat总是指向LibMat的某个派生对象。只有在程序执行时才能确定loan_check_in()的对象。
动态绑定:
mat.check_in();
编译器无法得知究竟哪一份chenk_in()函数被调用,只有在loan_check_in()执行起来,仅能在执行过程中依据mat所寻址的实际对象来决定调用哪一个check_in()。check_in的执行由编译时期延迟到执行期,就是动态绑定。
多态和动态绑定只有在使用pointer和reference时才有作用。
5.2面向对象编程思维
默认情形下,member function的决议程序都在编译时期静态进行,若要令其在执行期动态进行,就得在声明前加virtual。
定义一个派生对象时,基类和派生类的constructor都会被执行起来,当派生对象被摧毁时,基类和派生类的destructor都会被执行起来。
被声明为protected的所有成员可以被派生类直接取用,除此之外,都不得直接取用protected成员。
5.3定义抽象基类
如何设计抽象基类:
1、 找出所有子类共通的操作行为。
2、找出哪些操作行为必须根据不同的派生类而有不同的实现方式(型别相依type-dependent),必须根据不同的派生类而有不同的实现方式。将这些操作行为定义成虚函数。
3、找出每个操作行为的存储层级(access level)。public,private,protected
Static member function无法被声明为虚函数。
基类声明为private的函数,基类的派生类也无法取用。
Protected可以让派生类取用,不允许一般程序使用。
纯虚拟函数,对该类而言,这个虚拟函数并无实质意义。将虚拟函数赋值为0,设置成纯虚拟函数。
声明纯虚拟函数的类,无法产生任何对象。
一般规则,基类定义一个(或多个)虚拟函数,应该要将其destructor声明为virtual。
non-virtual编译器完成决议,virtual在执行器决议。
5.4 定义一个派生类
派生类由两部分组成:
1、 基类所构成的子对象;
2、 派生类的部分。
类进行继承之前,基类定义必须已经存在。
派生类必须为基类继承而来的每个纯虚拟函数提供对应的实现内容。
在类之外对虚拟函数进行定义时,不需要指明关键词virtual。
继承而来的public成员和protected成员,派生类视为自身拥有的成员。elem调用继承而来的check_integrity()。
继承的protected成员可以给派生类使用,不能给派生类用户使用。
为什么使用Fibonacci:gen_elems(pos)。
elem调用继承而来的check_integrity()。
继承的protected成员可以给派生类使用,不能给派生类用户使用。
为什么使用Fibonacci:gen_elems(pos)。