Kotlin 有一个完整而优雅的类型层次结构 - 如果这是正确的词，因为它是一个有向无环图而不是树 - 在 http://www.natpryce.com/articles/000818.html 中用图表进行了描述和 https://blog.kotlin-academy.com/the-beauty-of-kotlin-typing-system-7a2804fe6cf0
我不清楚泛型如何适应这一切。
像List这样的泛型类型如何和Map ，及其特化，如 List<Int>和Map<String, Int>适合类型层次结构吗？
最佳答案
List和Map不是类型；他们是类(class)。要形成类型，您需要指定必要的类型参数，例如List<Int> (或 type projection 例如 List<*> )。
(这与Java不同，Java允许 raw types ，主要是为了向后兼容。)
类型关系取决于 variance :例如List<Int>是 List<Number> 的子类型，因为它的类型参数是协变的；但是MutableList<Int>是不变的，与 MutableList<Number> 没有关系(除了它们都是 Any 的子类型)。
这为类型层次结构添加了额外的维度，使其比您可能看到的简单图表更加复杂。但原理很简单，所以通常不会被画出来。
更多详细信息，一如既往，请参阅 Kotlin documentation .
关于generics - 泛型类型如何适应类型层次结构？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/61999717/