java 子类型和子类以及真正的子类型

Question

我读过很多关于java子类型和真正的子类型的解释，子类，但每次我变得更加困惑，请我需要对上述所有内容进行完美的解释，我对以下陈述的理解是否正确？

1. 从另一个类继承的每个类都是子类
2. 某个类是另一个类的 java 子类(如果它具有相同的方法)
3. 真正的子类型是我们可以替换两个类之间的引用

提前致谢

Answer 1

从另一个类继承的每个类都是子类

我会将其更正为

"every class that extends another class is a subclass"

仅供引用，java 中的每个类默认都会扩展 java.lang.Object 类，除了 Object 类本身。

某个类是另一个类的 java 子类(如果它具有相同的方法)

这不是真的。考虑以下示例

class A {
   public void someMethod(){
      // method code
   }
}

class B {
   public void someMethod(){
      // method code
   }
}

两者都是独立的类，B不是A的子类，或者A不是B的子类。

真正的子类型是我们可以替换两个类之间的引用

编辑:

class A {
   public void someMethod(){
      // method code
   }
}

class B extends A{
   public void someMethod(){
      // method code
   }
}

您可以创建 B 类的对象，它是 A 的子类

A objB = new B();

这个概念是Runtime Polymorphism 。你可以查看一篇文章Inheritance in Java关于这一点。