包含多態

包含多態是一種在一個類中包含另一個類的多態。

包含多態（Inclusion Polymorphism）

同樣的操作可用於一個類型及其子類型。（注意是子類型，不是子類。）包含多態一般需要進行運行時的類型檢查。如Pascal中的子界。

幾點需要注意的地方：

1.包含多態的操作存在著逆單調（Anti-mornotonic）。即一個類型t上的操作，當其定義域縮小成t的一個子類型時，其值域應不小於t.