黑马程序员--自定义泛型（补充）

---------------------- <a href="http://edu.csdn.net"target="blank">ASP.Net+Android+IO开发S</a>、<a href="http://edu.csdn.net"target="blank">.Net培训</a>、期待与您交流！ ----------------------

 

 

 

 

 

                                   自定义泛型

 

定义泛型方法：
 java的泛型方法没有C++模版函数功能强大，Java的如下代码无法通过编译：
 
 <T> T add(T x,T y){
 
  return (T)(x+y);//首先T这里指的是泛型，x+y 不知道你传进来的是不是int类型，所以x+y是不能通过的
  return null;
 }

交换数组中的两个元素的位置的泛型方法语法定义如下：

 //如果想往里面传数组的时候 方法(new String[]{"abc","dd","gegc"},1,2)
      方法(new int[]{1,2,3,4},1,2)
 //这里传的数组不能是int[]因为这里指的E是个泛型，必须是引用数据类型，不能是基本数据类型

 static <E> void swap(E[] a,int i,int j){
  E t=a[i];
  a[i]=a[j];
  a[j]=t;
 }

用于放置泛型的类型参数的尖括号<>应出现在方法的其他所有修饰符之后和在方法的返回类型之前，也就是紧邻返回值之前，按照惯例，类型参数通常用单个大写字母表示。

 

只有引用类型才能作为反省方法的实际参数，swap(new int[3],3.5)语句会报告编译错误。

除了在应用泛型时可以使用extends限定符，在定义泛型时也可以使用extends限定符，例如，
 Class.getAnnotation()方法的定义。并且可以用&来指定多个边界，如<V extends Serializable & cloneable>void method(){}
普通方法，构造方法和静态方法中都可以使用泛型，编译器也不允许创建类型变量的数组。

也可以用类型变量表示异常，称为参数化的一场，可以用方法的throws列表中，但不能用户catch子句中

在泛型中可以同时有多个类型参数，在定义他们的尖括号<>中用逗号分，例如：
 public static<k,v> vgetValue(K key){return map.get(key)}

用下面的代码说明对异常如何采用泛型：

  //这里定义的反省必须继承Exception
private static <T extends Exception>sayHello() throws T
{
 try{

 }catch(Exception e){
  throw(T)e;
 }
}

编译器判断反省方法的实际类型的过程称为类型推断，类型推断是相对于知觉推断的，其实现方法是一种非常复杂的过程。

根据调用反省方法时实际船体的参数类型或返回值的类型来推断，具体规则如下：
 1.当某个类型变量只在整个参数列表中的所有参数和返回值中的一处被应用了，那么根据调用方法时该处的实际应用类型来确定，这很容易凭着感觉来推断出来，即直接根据调用方法时传递的参数类型或返回值来决定泛型参数的类型，例如：
  swap(new String[3],3,4)-->static <E> void swap(E[] a,int i,int j)
 2.当某个类型变量在整个参数列表中的所有参数和返回值中的多处被应用，那么调用方法时这多处的实际应用类型都对应到了同一种类型来确定，这很容易凭着感觉推断出来，例如：
  add(3,5)-->static <T> add(T a,T b)
 3.当某个类型变量在整个参数列表中的所有参数和返回值中的多出被应用了，如果调用方法时这多出的实际应用类型对应到了不同的类型，且没有使用返回值，这时候取多个参数中的最大交集类型，例如：下面语句实际对应的类型就是Numbwer了编译没有问题，只是运行时出问题：
  fill(new Integer[3],3.5f)-->static <T> void fill(T[],T v)
 4.当某个类型变量在整个参数列表中的所有参数和返回值中的多出被应用了，如果调用方法时这多出的实际应用类型对应到了不同的类型，并且使用返回值，这时优先考虑返回值类型，例如，下面语句实际对应的类型就是Integer了，编译将报告错误，将变量x的类型改为float，对比eclipse报告的错误提示，接着
 在将变量x类型改为Number，则没有错误；
  int x=(3,3.5f)-->static <T> add(T a,T b)

定义泛型类型

//dao   是data access object（数据访问对象）

如果类的实例对象中的多处都要用到同一个泛型参数，即这些地方引用的反省类型要保持同一个实际类型时，这时候就要采用泛型类型的方式进行定义，也就是类级别的泛型，语法格式如下：
 public class GenericDao<E>{
  private T field1;
  public void save(T obj){}
  public T getByid(int id){}
 }

类级别的泛型是根据引用该类名时制定的类型信息来参数化类型变量的，例如，如下两种方式都可以：
 GenericDao<String> dao=null;
 new genericDao<String> 0;

注意：
 在对泛型类型进行参数化时，类型参数的实例必须是引用类型，不能是基本类型。
 当一个变量被声明为泛型时，只能被实例变量和方法调用（还有内嵌类型），而不能被静态变量和静态方法调用。因为静态成员是被所有参数化的类所共享的，所以静态成员不应该有类级别的类型参数。

静态方法不能使用泛型参数：
public class aaa<T>{
 //会报错，静态方法不能使用泛型
 public static void bbb(T boj){};
 //静态方法，我非要使用反省，就单独声明，这样就与所在类声明的泛型无关，就可以使用反省了
 public static <T> void bbb(T obj){};
}

 

通过反射获得泛型的实际类型参数

//一个方法
public static void applyVector(Vector<Date> v1){}

//通过反射
 //通过反射得到我们想要的方法
 Method applyMethod=GenericTest.class.getMethod("applyVector",Vector.class);
 //得到参数的泛型类型
 Type[] types=applyMethod.getGenericParameterTypes();
 ParameterizedType ptype=(ParameterizedType)types[0];
 
 System.out.println(pType.getRavType());
 System.out.println(pType.getActualTypeArguments()[0]);

 

 

 

 

 

 

---------------------- <a href="http://edu.csdn.net"target="blank">ASP.Net+Android+IO开发S</a>、<a href="http://edu.csdn.net"target="blank">.Net培训</a>、期待与您交流！ ----------------------