Java语言规范示例8.1.2-1（相互递归类型变量边界）

Question

我正在阅读jls 8，但我卡在Example 8.1.2-1、Mutually Recursive Type Variable Bounds 我搜索了stackoverflow，发现了一个问题what is a mutually recursive type?，但这不是Java 方面的问题。

示例 8.1.2-1。相互递归类型变量界限

interface ConvertibleTo<T> {
    T convert();
}
class ReprChange<T extends ConvertibleTo<S>,
                 S extends ConvertibleTo<T>> { 
    T t; 
    void set(S s) { t = s.convert();    } 
    S get()       { return t.convert(); } 
}

问题：

• 递归类型和互递归类型在Java中是什么意思？

• T extends ConvertibleTo<S>, S extends ConvertibleTo<T> 是什么意思？

• 如果我只使用 T extends ConvertibleTo<S> 作为 ReprChange 类的 类型参数，我会收到编译时错误吗？

Answer 1

Java 中递归类型和相互递归类型是什么意思？

递归类型是在其定义中使用自身的类型。最简单的例子就是链表：

class List<T> {
    T value;
    List<T> next;
}

这里，List 是递归定义的，因为它在自己的定义中使用了 List。

类型变量绑定（Foo in extends Foo）如果它引用自身，则它是递归的，例如

class Bar<T extends Comparable<T>>

这意味着 Bar 类需要一个可以与 T 进行比较的参数 T，因此 T 在其自己的定义中引用自己。

两个事物之间的相互递归意味着它们在定义中相互引用。在这种情况下，S的定义使用T，T的定义使用S，所以它们的定义是相互递归的。

这里的T extends ConvertibleTo, S extends ConvertibleTo是什么意思？

S 和 T 是两种类型，S 扩展接口 ConvertibleTo 以 T 作为其类型参数的值，T 扩展接口 ConvertibleTo 以 S 作为其参数的值。这意味着 S 有一个方法 T convert() 并且 T 有一个方法 S convert()。换句话说，您可以将任何 S 转换为 T，并将任何 T 转换为 S。

如果我只使用 T extends ConvertibleTo 作为类 ReprChange 的类型参数，我会收到编译时错误？

是的，因为您的定义提到了一个从未定义过的名为 S 的类型参数。