C++---CHAPTER 15: OBJECT-ORIENTE

概述

• OOP的核心思想：
  • 数据抽象：类的接口与实现分离；
  • 继承：定义相似的类型并对其相似关系建模；
  • 动态绑定：一定程度上忽略相似类型的区别，而以同一的方式使用它们的对象。

• 继承 inheritance
  有关与基类（base class）和派生类（derived class）的一个例子是：Quote类作为一个基类，Quote的对象表示按原价销售的书籍，Quote的一个派生类Bulk_quote，它的对象表示打折销售的书籍，基类定义的两个函数是：
• isbn()，返回书籍的ISBN编号。
• net_price(size_t)，返回书籍的实际价格。

可以看到，第二个函数跟具体的类型相关。类似这样的函数，基类希望它的派生类各自定义适合自身的版本，此时基类就将这些函数声明为虚函数（virtual function），而派生类必须在其内部对所有重新定义的虚函数进行声明。

Quote类
class Quote{
  public:
    std::string isbn() const;
    virtual double net_price(std::size_t n) const;
}

派生类通过类派生列表（冒号+访问说明符+逗号分割的基类列表）表明哪些是基类：

class Bulk_quote : Quote{
  public:
      double net_price(std::size_t) const Override;
}

• 动态绑定

定义基类和派生类

定义基类

• 成员函数与继承

• 访问控制与继承

定义派生类

• 派生类中的虚函数

• 派生类对象及派生类向基类的类型转换

• 派生类构造函数

• 派生类使用基类的成员

• 继承与静态成员

• 派生类的声明

• 被用作基类的类

• 防止继承的发生

类型转换与继承

• 静态类型与动态类型

• 不存在从基类向派生类的隐式类型转换

• 在对象之间不存在类型转换

虚函数

• 对虚函数的调用可能在运行时才被解析

Quote base("0-201-82470-1", 50); //基类
print_total(count, base, 10); // 调用Quote::net_price
Bulk_quote derived("0-201-82470-1" ,50,  5,  0.19);
print_total(cout, derived, 10); //调用Bulk_quote::net_price

• 虚函数与默认实参：和其他函数一样，虚函数也可以拥有默认实参。通过基类的引用或指针调用函数，则使用基类中定义的默认参数。

  BestPractice:如果虚函数使用默认实参，则基类和派生类中定义的默认实参最好一致。

• 回避虚函数机制：即对虚函数的调用不进行动态绑定，而是强迫执行虚函数的某个特定版本。使用作用域符实现：

不管baseP实际指向的对象类型是什么，调用Quote的net_price函数

double undiscounted = baseP -> Quote::net_price(42);

抽象基类

构造函数与拷贝控制

如果一个类没有定义拷贝控制操作，则编译器将为它合成一个版本；

• 虚析构函数：继承体系中，删除一个指针，可能出现指针的静态类型与被删除对象的动态类型不符合的情况：

class Quote{
public:
    //如果删除一个指向派生类对象的基类指针，则需要虚析构函数
    virtural ~Quote() = default; //动态绑定析构函数
}

一般来说，如果一个类需要析构函数，那么它也同样需要拷贝和赋值操作，但是基类的析构函数是一个例外。

• 虚析构函数将阻止合成移动操作：如果一个类定义了析构函数，即是它用=default的形式使用了合成的版本，编译器也不会为这个类合成移动操作。

容器与继承