java泛型问题，方法参数问题

Question

Java泛型.
代码如下：
class Info{
private T var;
public void setVar(T var){
this.var=var;
}
public T getVar(){
return this.var;
}
public String toString(){
return this.var.toString();
}
}
下面是第一个测试程序：
public class GenericsDemo6{
public static void main(String []agrs){
Info info=new Info();
info.setVar("lixinghua");
String str=(String)info.getVar();
System.out.println(info.getVar());
}
}
第二个测试程序；
public class GenericsDemo8{
public static void main(String []agrs){
Info info=new Info();
fun(info);
}
public static void fun(Info info){
System.out.println(info.getVar());
}
}
为什么第一个测试程序可以运行，而第二个不可以？第一个测试程序没有指定泛型，则默认是Object，这里String可以向上转型为Object,而第二个程序却不可以向上转型为Object？

Answer 1

 第二个程序根本不能编译，Info<String>和 Info<Object>没有继承/派生关系。Java使用类型擦除来实现的泛型，所以Info<String>其实是将所有泛型参数替换成String得到的类，而Info<Object>是将所有泛型参数替换成Object得到的类，虽然String和Object有继承关系，但是两个泛型类没有。Java不支持泛型逆变/协变。