java - "Java subtype"和 "true subtype"有什么区别

Question

我刚刚遇到了短语“java subtype”和“true subtype”。它在一个问题中以一种明确表示它们不相同的方式给出。但我找不到关于两者之间区别的解释。

有人可以解释一下“java subtype”和“true subtype”之间的区别吗？

Answer 1

Java 子类型是扩展另一个类(甚至实现接口(interface))的任何类。真正的子类型不是特定于语言的东西:

真正的子类型总是可以替代父类(super class)型。“任何由父类(super class)型保证的属性必须由子类型保证(真正的子类型化)”

http://www.cs.washington.edu/education/courses/cse331/10au/lectures/subtypingexamples.pdf

该链接包含一个非常有启发性的示例。假设您有一个存储值 x 和 y 的 Point2D 类。您现在可以创建一个子类型 Point3D 并添加一个值 z。如果您不覆盖任何方法并注意您的 equals 和 hashcode 方法，您可以随时用 Point3D 实例替换 Point2D 实例。

这当然是一个简单的例子。有人可能会争论为什么不只有 Point3D。也许这些类都提供了一些方法，可以通过划分为类来更好地识别属于 2D 或 3D 领域。在这种情况下，它可能纯粹是一个设计决定。

class Point2D {
   int x;
   int y;
}

//true subtype
class Point3D extends Point2D {
   int z;
}

如果您使用一个 Person 类然后有两个子类型:Employee 和 Customer，则可能会出现一个更复杂的示例。 Employee 和 Customer 都提供与 Person 相同的字段和方法。

class Person {
   String name;
   Date birthday;

   @Override
   public boolean equals(Object o){
       //simplified equals implementation, this does not fulfill equals contract!
       return name.equals(((Person)o).name);
   }
}

//true subtype, same behaviour
class Employee extends Person {
   long departmentId;
}

//not a true subtype, different behaviour -> equals
class Customer extends Person {
   long customerId;
   Date lastContact;
   String city;

   public boolean equals(Object o){
       //simplified equals implementation, this does not fulfill equals contract!
       return customerId.equals(((Customer)o).customerId);
   }
} 

在此示例中，Employee 将是 Person 的真正子类型。然而，Customer 不是真正的子类型，因为 equals 实现不同(并且可能 hashCode() 也是如此)并且它的行为不会相同并且可能无法始终替代 Person 对象。