15 第十五章 面向对象编程.pdfVIP

*********************************** 2010 年 07 月 30 日 *********************************** 第十五章 面向对象编程 1： 面向对象编程基于三个基本概念：数据抽象、继承和动态绑定 2： 面向对象编程的关键思想是：多态性。C++中，多态性仅用于通过继承而相关联的类型的引用或指针。 3： C++中，基类必须指出希望派生类重定义哪些函数，定义为virtual 的函数是基类期待派生类重新定 义的，基类希望派生类继承的函数不能定义为虚函数。 4 ： C++中，通过基类的引用（或指针）调用虚函数时，发生动态绑定。引用（或指针）既可以指向基类 对象也可以指向派生类对象，这一事实是动态绑定的关键。 5： 继承层次的根类一般都要定义虚析构函数。 6： 保留字virtual 的目的是启用动态绑定。成员默认为非虚函数，对非虚函数的调用在编译时确定。除 了构造函数之外，任意非static 成员函数都可以是虚函数。保留字virtual 只在类内部的成员声明中出现，不 能用在类定义体外部出现的函数定义上 。 7： protected 成员： 不能被类的用户访问，可被该类的派生类访问，派生类只能通过派生类对象访问其基类的protected 成员，派生类对其基类类型对象的protected 成员没有特殊访问权限 。例： void Bulk_item::memfcn( const Bulk_item d, const Item_base b ) { double ret = price; //ok, uses this-price ret = d.price; //ok, uses price from a Bulk_item object ret = b.price; //error: no access to price form an Item_base } 8: 尽管不是必须这样做，派生类一般会重定义所继承的虚函数。如果派生类没有重定义某个虚函数，则 使用基类中定义的版本。派生类必须对想要重定义的每个继承成员进行声明。派生类中虚函数的声明必须与 基类中的定义方式完全匹配，但有一个例外：返回对基类型引用（或指针）的虚函数，派生类中的虚函数可 以返回基类函数所返回类型的派生类的引用（或指针） 9： 一旦函数在基类中声明为虚函数，它就一直是虚函数，派生类无法改变该函数为派生类这一事实。派 生类重定义虚函数时，可以使用virtual 保留字，但不是必须这样做。 10： 已定义的类才可以作为基类。 最底层的派生类对象包含其每个直接基类和间接基类的子对象 如果需要声明（但并不实现）一个派生类，则声明包含类名但不包含派生列表。 //error: a forward declaration must not include the derivation list class Bulk_item : public Item_base; //forward declarations of both derived and nonderived class class Bulk_item; class Item_base; 11: C++中的函数调用默认不使用动态绑定。要触发动态绑定，要满足两个条件： （1）只有指定为虚函数的成员函数才能进行动态绑定 （2）必须通过基类类型的引用或指针进行函数调用。 12： 基类类型引用和指针的关键点在于静态类型（static type ，在编译时可知的引用类型或指针类型）和 动态类型（dynamic type ，指针或者引用所绑定的对象的类型，这是仅在运行时可知的）可能不同。 13： 引用和指针的静态类型和动态类型可以不同，这是C++用以支持多态性的基石。 14： 在某些情况下，希望覆盖虚函数机制并强制函数调用使用虚函数的特定版本，这时可以使用作用域操 作符。为什么会希望覆盖虚函数机制？最常见的理由是：为了派生类虚函数调用基类中的版本。在这种情况 下，基类版本可以完成继承层次中所有类型的公共任务，而每个派生类型值添加自己的