java中子類與子類型的區別

    先說一下里氏替換原則：子類型的對象必須能夠替代父類型。也就是說在程序中基類（父類）所出現的地方都可以被它的子類來替換，替換之後的結果是不變的。

    子類是指：在編程語言中使用extends關鍵字修飾的類。如

     class A{}

     class B extends A{}

     則類B就是類A的一個子類。但是如果在程序中不能有B來替換A，即不滿足里氏替換原則的話，那麼B就不是A子類型。

總之：子類是使用編程語言的繼承機制，構造或編寫出來的某個東西。子類型是遵循里氏替換原則（LSP）的子類。