泛型 lesson 1

/*泛型是可作用于任何类型使各种类保持编译时类型安全。
 术语
  参数化类型 parameterized type  
  类型变量   type variable  定义泛型类中使用到的参数，以及一个泛型类型对象被创建时被指定类型所替代的那些参数
  泛型类     generic class  声明和实例化类时被参数化的类。也称参数化类
  
  
泛型类--->也称“参数化类”。在这类被定义的时，在打括号内放置一个或多个参数空间，参数的类型在声明一个特定类实例时被指定。

一个类型变量是一个未限定格式的标识符，被当作一个占位符在泛型类中被使用。类型变量出现在大括号中

在泛型类的层次结构中，存在一个重要的限制。为了支持类型消除的转换，一个类或者类型变量不能同时有相同类或接口的两个不同的参数化形式

interface BaseInterface<A> {
 A getInfo();
}
class ParentClass impl9ements BaseInterface<Integer>{
 public Integer getInfo(null) 
 { 
  return(null);
 }
}
class ChildClass extends ParentClass implements BaseInterface<String>{
}
Baseinterface接口第一次使用Integer参数化，第二次又实用String参数化。这两个参数化活动会产生直接冲突，编译时会产生冲突
 * */
public interface BaseInterface<A> {
 public A getInfo();
}

 

public class ParentClass implements BaseInterface<Integer> {

 @Override
 public Integer getInfo() {
  // TODO Auto-generated method stub
  return null;
 }

}

 

public class ChildClass extends ParentClass implements BaseInterface<String> {

}//编译期出现异常