包含多態

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

包含多態(Inclusion Polymorphism)
同樣的操作可用於一個類型及其子類型。(注意是子類型,不是子類。)包含多態一般需要進行運行時的類型檢查。如Pascal中的子界。
幾點需要注意的地方:
1.包含多態的操作存在著逆單調(Anti-mornotonic)。即一個類型t上的操作,當其定義域縮小成t的一個子類型時,其值域應不小於t.

相關詞條

熱門詞條

聯絡我們