C 子型別關係

公有繼承時，派生類的物件可以作為基類的物件處理，派生類是基類的子型別。

子型別關係使得在需要基類物件的任何地方都可以使用公有派生類的物件來替代，從而可以使用相同的函式統一處理基類物件和公有派生類物件（形參為基類物件時，實參可以是派生類物件），大大提高了程式的效率。子型別關係是實現多型性的重要基礎之一。

子型別關係定義：

#有乙個特定的型別s，當且僅當它提供型別t的行為時，稱型別s是型別t的子型別。公有繼承方式可以實現子型別關係，即派生類s是基類t的子型別。

示例：

class base

{public:

void print()const{cout<<"base::print()"<

注：子型別關係具有傳遞性。子型別關係可以傳遞，但是不可逆。

公有繼承可以實現子型別關係。通過公有繼承，派生類得到了基類中除了建構函式、析構函式之外的所有成員，而且可訪問成員的訪問控制屬性也和基類完全相同。這樣，派生類物件就可以作為基類的物件使用，但它只能使用從基類繼承的成員。

具有子型別關係的基類和派生類的物件之間滿足如下賦值相容規則：

(1)公有派生類的物件可以賦值給基類的物件，即用公有派生類物件中從基類繼承來的成員，逐個賦值給基類物件的成員。

例： derived d;

base b;

b=d;

(2)公有派生類的物件可以初始化基類的引用。

例： derived d;

base &ref=d;

(3)公有派生類的物件的位址可以賦值給指向基類的指標。

例： derived d;

base *ptr=&d;