扩展通用类

Question

public class MyGeneric {}

public class Extend1<T, E> extends MyGeneric<T, E> {}

public class Extend2 extends MyGeneric<String, Object> {}

据我所知，以上示例中的两个子类均有效。我想知道Java如何知道何时在实例化子类时定义超类中给定的类型，以及何时将它们定义为实际的类名（即，它如何知道T，E不是类名）？

旁注，是否允许（即使不常见）对通用类型使用多个字母？如果（由于某些严重的计划错误）类型与现有类冲突，该怎么办？

public class E{}
public class Foo<E>{}

那会发生什么呢？

编辑：感谢您的及时答复。为了回答我的第一个问题，约阿希姆的答案是最有效的。

Answer 1

让我们看一下这个定义：

public class Extend1<T, E> extends MyGeneric<T, E> {}

在这里T，E分别以两次不同的角色出现

• 在Extend1<T,E>您 定义 类型参数。这意味着该类型Extend1具有两个（无界）类型参数T和E。 这 告诉Java编译器那些 使用 它们的人Extend1需要指定类型。
• 在extends MyGeneric<T,E>您 使用 先前定义的类型参数。如果T并E没有已知的类型参数在这里，然后T和E将是简单类型的引用，即会寻找类的编译器（或接口，…）命名T和E（最有可能找不到它们）。

是的，类型自变量遵循与Java中其他任何标识符相同的语法规则，因此您可以使用多个字母ABC甚至名称，这可能会造成混淆（使用称为String合法的类型自变量，但
高度 混乱）。

单字母类型参数名称只是一种非常常见的命名策略。