Java泛型通配符super使用Demo

class GenClassDemo4 
{
public static void main(String[] args) 
{
SupGen<? super Dog> sg=new SupGen<Dog>();


sg.setVar1(new Dog());
sg.getVar1().tell();
//SupGen<? super Dog> sg=new SupGen<Cat>(); 
/*GenClassDemo4.java:5: 错误: 不兼容的类型: SupGen<Cat>无法转换为SupGen<? super Dog>
                SupGen<? super Dog> sg=new SupGen<Cat>();  ?只接受符合规则的类型。才能通配*/
}
}


class SupGen<T extends Animal & IAnimal>
//class SupGen<T super Dog>
//类声明的时候只能是先有父类再有子类。只能有extends。 这里不能有super。只有使用通配符"?"，在使用的过程中才能使用。


/* 
//class SupGen<T extends Animal>
和 class SupGen<T extends Animal & IAnimal>是有差别的。下面这个规定的这个泛型类必须还得实现接口，是接口的实现类。
如果没有这个&IAnimal :SupGen<? super Dog> sg=new SupGen<Dog>();  sg.tell()会报错：
GenClassDemo4.java:8: 错误: 找不到符号
                sg.getVar1().tell();
                            ^
  符号:   方法 tell()
  位置: 类 Animal   ：因为getVar1()得到的T对象，只是一个继承Animal类的对象。而没有实现IAnimal，没有tell方法。
*/




//这里不能将extends改为super 。虽然只是规定的泛型。只有使用的时候才可以使用super.
{
private T var1;
public void setVar1(T var1){
this.var1=var1;
}
public T getVar1(){
return var1;
}


}
interface IAnimal
{
public void tell();
}
abstract class Animal
{
private String name;
public abstract void eat();
}


class Dog extends Animal implements IAnimal
{
public void eat(){
System.out.println("啃骨头");
}
public void tell(){
System.out.println("接口：Dog正在吃鱼");
}
}


class Cat extends Animal implements IAnimal
{
public void eat(){
System.out.println("吃鱼");
}
public void tell(){
System.out.println("接口：cat正在吃鱼");
}
}