为什么在Java无限制的通配符类型上允许使用instanceof运算符，而在Java中的其他参数化类型上却不允许呢？
我认为，由于类型擦除，使用instanceof和class literals不允许的parameterized generic types除外unbounded wild card types。为什么Java语言设计人员允许此异常？对于无限制的通配符类型，类型擦除没有任何作用吗？
问题答案：
关键是对象知道其具体类，但不知道其通用类型参数。因此，如果我们构造一个ArrayList<Integer>，则在执行时就知道它ArrayList是
某种 类型的-但它不知道该Integer部分。
“ ArrayList某种”部分恰好ArrayList<?>意味着什么，这就是为什么：
if (foo instanceof ArrayList<?>)
已验证。这等效于使用原始类型：
if (foo instanceof ArrayList)
-
这是我试图理解的编译器行为的一个过度简化版本： 在上面的代码片段中，是一个类型范围比HouseCat接口允许的类型范围更广的引用，即: 如果我尝试执行类似的操作，编译器会告诉我不满足类型参数的约束。那么，，至少是潜在的。 编译器不会让我创建违反类型参数约束的实例，但我对它使用作为引用上限的行为感到困惑。在(，)之间有一个无效的类型范围，那么编译器为什么不拒绝这个引用定义呢？ 澄清：我的问题不是关于
-
问题内容： 说，我有如下通用类型 我想让它只接受特定的类型（字符串/整数/双精度）。我知道有界通配符，但在这里对我没有帮助。在setVar（）中，如果类型不是Integer / String等，我可以检查并引发异常。这是最好的方法吗？ 在对此类型进行操作时，我遇到同样的问题。根据类型，我想执行不同的操作。继承和有界通配符似乎通常是解决此类问题的方法，但它们是原始包装器。 问题答案： 使用继承： P
-
当重写超类的方法时，Java 允许返回类型是协变的。 为什么在覆盖方法时不允许相反的逆变参数类型？
-
问题内容： 通常，Java可被视为类型安全的语言。我知道泛型有一些缺陷，但是最近我遇到了一个从未有过的问题。分解： 不会导致预期的编译时错误。我假设Array的声明将不允许指向其他数组。在泛型中，我不允许做类似以下这样的怪异的事情： 如果我尝试诱使Java做一些事情 可以声明它，但只能添加type的对象。 Java为什么不阻止声明这种奇怪的数组？ 问题答案： 我认为除了“传统设计”之外，没有其他答
-
下面的泛型代码无法编译，我可以理解原因：这是为了阻止可能不兼容的类型添加到集合中： 然而，我可以对数组做同样的事情，并且不会得到编译器错误。当我运行它时，我会得到一个 为什么编译器不阻止我上传数组，因为它会麻烦地阻止我上传泛型？
-
问题内容： 作为实验，我尝试扩展-array，如下所示： 在类本身中添加一些与排序，交换，子数组构建等有关的方法。但是我在编译时遇到了这个错误： 我很好奇：为什么Java不允许扩展数组？ 问题答案： 扩展基本类型（例如a 或数组）会打开安全漏洞。如果Java允许您扩展数组，则采用数组的方法将变得不安全。这就是字符串为，而数组根本不能扩展的原因。 例如，您可以重写该方法，并返回不正确大小的数组。这有