超類和超類型之間的區別以及子類和子類型之間的區別

Question

它們是可互換的術語嗎？你能給出正式的定義和例子嗎？

Answer 1

這兩個術語（超類和超類型）是相關的，但它們不完全可以互換。

只有有超類，而其他分類有父類型。由於Class也是一個分類器，因此超類總是超類型的（因爲超類重新定義了分類器之間的一般關聯），但相反的情況並非如此。

例如，在Java is defined作爲超型的int基本類型long。由於原始類型不是類，因此long不是int的超類。另一個例子：在UML中，組件和接口與類（它們都是分類器）是不同的，那麼說「組件的超類」而不是「組件的超類」是不正確的。

Answer 2

要說A是B的一個子類，只是斷言A是用繼承形成的。 要說a是B的一個子類型聲明A保留了B中所有操作的含義。

有可能形成不是子類型的子類;並且（至少在某些語言中）形成不是子類的子類型。