Kotlin泛型继承疑问：如何正确定义并调用<T : Person<T>>方法

1. 为什么result1正常运行，result2和result3编译错误？ #

• method1的泛型约束是<T : Comparable<T>>，Int本身实现了Comparable<Int>，完美匹配约束，所以调用没问题。
• result2首先存在语法错误：创建Person实例需要写Person<Int>()而非Person<Int>。就算修正语法，Person<Int>的类型是Person<Int>，但method2要求T必须是Person<T>的子类——也就是Person<Int>得是Person<Person<Int>>才行，这显然不成立，因此编译报错。
• result3里的Worker继承自Person<Int>，所以Worker对应的Person泛型参数是Int，而非Worker自身。但method2要求T的父类是Person<T>（即Person<Worker>），两者类型不匹配，自然编译失败。

2. 是否无法使用“泛型继承泛型”，比如<T : Person<T>>这种写法？ #

当然可以用，这叫递归泛型约束，是Kotlin官方支持的语法。最常见的例子就是Comparable<T>，比如Int实现Comparable<Int>，本质就是这种约束的应用。它的作用是限定T必须是Person的子类，且Person的泛型参数必须是T自身。

3. 如果可以，如何无编译错误地调用method2？ #

需要先定义符合T : Person<T>约束的类型：

• 最直观的方式是自定义一个继承自Person<自身类型>的类：

class SelfPerson : Person<SelfPerson>()

然后直接调用：

val result4 = method2(SelfPerson(), SelfPerson(), SelfPerson())

• 如果不想自定义类，也可以用匿名类临时实现（写法较繁琐，不推荐在实际开发中使用）：

val result5 = method2(
    object : Person<Person<Person<*>>>() {},
    object : Person<Person<Person<*>>>() {},
    object : Person<Person<Person<*>>>() {}
)

4. 如果无法调用method2，为什么Kotlin允许我定义该方法而不报错？（错误出现在调用处而非定义处） #

因为这个方法的定义本身是合法的，递归泛型约束是Kotlin支持的语法规则。它只是要求调用时传入的类型满足T : Person<T>，当前你的代码里没有符合条件的类型实例，但不代表不存在这样的类型——比如我们刚才定义的SelfPerson就可以正常调用它。就像你可以定义一个接受Comparable<MyCustomClass>的方法，只要有人写出符合条件的MyCustomClass，就能调用该方法，定义本身没有问题，只是调用时没找到匹配的参数才会报错。

内容的提问来源于stack exchange，提问作者MarsPeople