{相似地，在新版本的 Java 中 接口也被参数化了，从而允许以一种类型安全的方式省去向下类型转换：class RationalNumber implements Comparable<RationalNumber> {另一个有助的语言特性是多分派。二元方法难写的一个原因就是在类似于 的调用中，对 的正确选择其实依赖于 和 两者的类型，但在经典的面向对象语言中只有 的类型被纳入考虑。在有 样式多分派特性的语言中，比较方法可以写成一个泛型方法，其两个参数类型都在方法选择中被考虑。Giuseppe