为什么在Java无限制的通配符类型上允许使用instanceof运算符，而在Java中的其他参数化类型上却不允许呢？

为什么在Java无限制的通配符类型上允许使用instanceof运算符，而在Java中的其他参数化类型上却不允许呢？

关键是对象知道其具体类，但不知道其通用类型参数。因此，如果我们构造一个

ArrayList<Integer>

，则在执行时就知道它

ArrayList

是
某种 类型的-但它不知道该

Integer

部分。

“

ArrayList

某种”部分恰好

ArrayList<?>

意味着什么，这就是为什么：

if (foo instanceof ArrayList<?>)

已验证。这等效于使用原始类型：

if (foo instanceof ArrayList)