Java 中类型变量可以引用其自己的子类型吗？

类型变量可以引用当前类型吗？

在编程语言中，类型变量对于表达类型约束和多态性至关重要。然而，这些变量的使用方式存在限制。一个常见的问题是类型变量是否可以引用它所在的确切子类型。

考虑以下代码：

class A {
    <t extends a> foo();
}

class B extends A {
    @Override
    T foo();
}</t>

这里，我们使用泛型方法定义一个类 A foo() 接受类型参数 T。我们还定义了一个重写方法 foo() 的子类 B。问题是，foo() 中的类型参数 T 可以用来引用 B 类中的确切子类型 B 吗？

答案：

不幸的是，Java 确实可以不允许类型变量引用它们所在的确切子类型。上例中的类型变量 T 在 foo() 范围内仍然是未知类型，并且不能被解析为子类型 B。

奇怪的重复模板模式（自我类型）：

要实现具有“自我”类型的所需行为，可以使用设计模式称为 Curiously Recurring Template (CRT) 模式，也称为“自类型”。此模式涉及定义抽象基类，这些基类强制执行返回实例的运行时类型的约定。派生类通过将类型参数解析为自己的类型来实现 self 类型。

下面是 Java 中 CRT 模式的示例：

abstract class SelfTyped<self extends selftyped>> {
    abstract SELF self();
}

public class MyLeafClass extends SelfTyped<myleafclass> {
    @Override
    MyLeafClass self() {
        return this;
    }
}

MyLeafClass mlc = new MyLeafClass();
mlc.self(); // returns mlc</myleafclass></self>

虽然此模式提供了一种引用的方法当前类型使用 self()，应谨慎使用，因为它会引入误用的可能性并可能损害类型安全。

以上是Java 中类型变量可以引用其自己的子类型吗？的详细内容。更多信息请关注PHP中文网其他相关文章！