为什么instanceof有时似乎在静态泛型函数中工作？

Question

问候。这是我在这个网站上的第一篇文章。

我认为由于类型擦除，人们无法指望以下代码能够编译，事实上，它无法在早期版本的 Eclipse 上编译。我的理解是 instanceof 是一个运行时运算符，无法知道将在运行时编译掉的泛型类型：

   public static <E extends Comparable<? super E>> 
   void SampleForQuestion(E e)
   {
      if ( !(e instanceof String) )
         System.out.println("I am not a String");
      else
         System.out.println("I am  a String");
   }

但是，我很惊讶地发现您的线程之一实际上在答案中包含了一些这样的代码，我最新的 Eclipse（Windows 上的 Galileo，带有 JVM 1.6 rev 20）对此非常满意 - 而且它也有效。 （我确实注意到有人说它在 Eclipse 上有效，但在该线程中的另一个 IDE/JDK 上无效，但不记得具体细节。）

有人可以解释为什么它有效，更重要的是，因为我必须指导我的学生，它是否应该在未来发挥作用。

谢谢。 （我希望代码格式正确 - 从我的角度来看，它看起来缩进正确，并且没有制表符。）

Answer 1

被删除的是E。事实上，您不能执行 if (e instanceof E)，因为类型参数 E 已被删除。但是，String 不是参数化类型，并且 e 确实有运行时类型，因此 if (e instanceof String) 工作得很好。

JLS 15.20.2 类型比较 instanceof 运算符

关系表达式：
    关系表达式引用类型实例

instanceof 运算符的 RelationalExpression 操作数的类型必须是引用类型或 null 类型；否则，会出现编译时错误。 instanceof 运算符后面提到的 ReferenceType 必须表示引用类型；否则，会出现编译时错误。 如果 ReferenceType 后面提到的 instanceof 运算符不表示一个编译时错误具体化类型（§4.7）。

String 是一种可具体化的类型。 E 不是。

JLS 4.7 可具体化类型

由于某些类型信息在编译期间被删除，因此并非所有类型在运行时都可用。在运行时完全可用的类型称为可具体化类型。当且仅当满足以下条件之一时，类型才是可具体化的：

• 它指的是非泛型类型声明。
• 它是一个参数化类型，其中所有类型参数都是无界通配符
• 它是原始类型。
• 它是一个原始类型。
• 它是一个数组类型，其组件类型是可具体化的。

另请参阅

• Java：Instanceof 和泛型
• 什么是原始类型以及为什么我们不应该使用它？
  • instanceof 和 .class 文字是可以在新代码中使用原始类型的两个例外

Answer 2

效果很好。采用 E e 的方法被编译为 Comparable e，但这并不会阻止对运行时存在的类型（您的 String）进行检查。例子）。您不能做的是检查类似 ArrayList （或您自己的类的通用专业化）的内容，因为 ArrayList 类型在运行时存在，但是 < code>ArrayList没有。因此，人们使用诸如检查列表的第一个元素之类的技巧。

Answer 3

小写的 e 是一个对象，每个对象都有它的类型。您可以检查任何对象的instanceof。用不同的名称阅读你的代码，会更容易得到：

   public static <E extends Comparable<? super E>> 
   void SampleForQuestion(E paramObject)
   {
      if ( !(paramObject instanceof String) )
         System.out.println("I am not a String");
      else
         System.out.println("I am  a String");
   }