为什么带通配符的泛型类型与instanceOf运算符一起使用

Question

class Gen<T>
{
T val;
Gen(T o)
{
val=o;
}
T getOb()
{
return val;
}
}

如果我们编写以下内容来测试上面的类

Gen<String> a=new Gen<String>();

if(a instanceOf Gen<?>) // this compiles
{

}

if(a instanceOf Gen<String>) // this doesn't compile.
{
}

那么为什么第一个语句被成功编译而第二个语句没有？

请帮我理解这个？