C++Primer_Chap15_面向对象程序设计_List01_OOP：概述_笔记

面向对象程序设计（object-oriented programming）的核心思想是数据抽象、继承和动态绑定。

  使用数据抽象，可以将类的接口与实现分离

  使用继承，可以定义相似的类型并对其相似关系建模

  使用动态绑定，可以一定程度上忽略相似类型的区别，而以统一的方式使用它们的对象。

继承

  基类负责定义在层次关系中所有类共同拥有的成员，而每个派生类定义个字持有的成员。基类将类型相关的函数与派生类不做改变直接继承的函数区分对待。对于某些函数，基类希望它的派生类各自定义合适自身的版本，此时基类就将这些函数声明成虚函数（virtual function）.

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

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

  派生类必须在其内部对所有重新定义的虚函数进行声明。派生类可以在这样的函数之前加上virtual关键字，但C++11标准允许派生类显式地注明它将使用哪个成员函数改写基类的虚函数，具体措施是在该函数的形参列表之后添加一个override关键字

动态绑定

  通过使用动态绑定（dynamic binding），我们可以用同一段代码分别处理Quote和Bulk_quote的对象。

double price_total( ostream &os, const Quote &item, size_t n)
{
	double ret = item.net_price(n);
	os << "ISBN:" << item.isbn()
		<< "# sold:" << n << " total due:" << ret << endl;
	return ret;
}

  在函数的运行时，版本由实参决定，即在运行时选择函数的版本，所以动态绑定有时又被称为运行时绑定（run-time binding）.在C++语言中，当我们使用基类的引用（指针）调用一个虚函数时将发送动态绑定