子類和子類型

「子類」和「子類型」是不同的，替換原則只適合於"子類型"關係，而一般編程語言只是考慮了"子類"關係， 子類 : 說明了新類是繼承自父類 子類型 : 強調的是新類具有父類一樣的行爲（未必是繼承）。 那麼，什麼時候才應該使用繼承？  那就是符合子類型關係的時候，或者一般所說的」is a"關係， 你必須保證新類的行爲與父類完全一致！！！ 在任何使用父類的場合，新類應該表現一樣的行爲。

>>阅读原文<<