(17)泛型

先讲讲啥是向上转型跟向下转型,因为泛型在跟面向对象具体类型之间转换就是向上或向下的转型

假如有父类:人,子类:男人和女人。

向上转型: Person p = new Man() ; //向上转型不需要强制类型转化

向下转型: Man man = (Man)new Person() ; //必须强制类型转化

1.1泛型概述

存入容器的对象在取出时需要强制转型,因为对象在加入容器时都被化为Object型,而取出时要转成实际类型,在Java中向下转型对于ClassCastException而言有潜在的危险,应该尽量避免,因此便有了泛型

1.2使用泛型的目的

①使用泛型可以尽量的减少运行时ClassCastException,使代码在编译时就可以发现

②泛型就像给参数占个位置,在源代码中,接口List后跟有,这个E就与方法里的形参类似,E限定了放在容器里的元素类型

List list=new List();      

list.add(123);

Integer i=(Integer)list.get(0);     //不使用泛型,在取出时要强制转换成实际类型

List list=new List();    //使用泛型,限定了以后加入和取出的数据的类型

list.add(456);

Interger i=list.get(0);      //使用泛型,取出时不用转换

1.3声明

在定义一个泛型的时候,在<>里定义形参,例如在Class TestGun,其中这个K,V不代表值,而是类型,对于常见的泛型模式

K:键,比如映射的键

V:值,比如list,set的内容,也可以是Map的值

E:异常类

T:泛型

1.4泛型类

一个最普通的泛型类:

//T可以随便写为任意标识,只是在实例化泛型类时,必须指定T的具体类型

public class Generic{

private T key;               //key这个成员变量的类型为T,T的类型由外部指定  

publicGeneric(T key) { //泛型构造方法形参key的类型也为T,T的类型由外部指定

this.key = key;

}

//泛型的类型参数只能是类类型(包装类和自定义类),不能使用基本数据类型//传入的实参类型需与泛型的类型参数类型相同

Generic genericInteger = new Generic(123);   Integer是int的包装类,泛型类型不能使用int

1.5泛型接口

泛型接口的定义

修饰符 interface 接口名<声明自定义泛型> {

}

public interface List {

    void add(E x);

    Iterator iterator();

}

泛型接口要注意的事项 

A. 接口上自定义泛型的具体数据类型是在实现一个接口的时候指定的

interface Dao {

    public void add(T t);

}

public class Demo implements Dao {

    @Override

 public void add(String t) {

  }

}

B. 如果接口上自定义的泛型,在实现接口的时候没有指定具体的数据类型,就默认为Object类型

interface Dao {

    public void add(T t);

}

public class Demo implements Dao {

    @Override

    public void add(Object t) {

    }

}

C. 如果实现一个接口的时候,还不明确目前要操作的数据类型,要等到创建接口实现类对象的时候才去指定泛型的具体数据类型。该怎么实现呢?

interface Dao {

    public void add(T t);

}

public class Demo implements Dao {

    @Override

    public void add(T t) {

    }

    public static void main(String[] args) {

        Demo d = new Demo();

    }

}

1.6泛型方法

泛型方法的类型

修饰符 <声明自定义泛型> 返回值类型 方法名(形参列表) {

}

//需求: 定义一个方法可以接收任意类型的参数,而且返回值类型必须要与实参的类型一致。

public class Demo {

    public static void main(String[] args) {

        String str = getData("asd");

        Integer i = getData(123);

    }

    public static T getData(T t){

        return t;

    }

}

泛型方法要注意的事项

A. 泛型方法的定义和普通方法定义不同的地方在于,需要在修饰符和返回类型之间加一个泛型类型参数的声明,表明在这个方法作用域中谁才是泛型类型参数。

B. 类型参数的作用域

    class A { ... }中T的作用域就是整个A;

    public func(...) { ... }中T的作用域就是方法func;

    类型参数也存在作用域覆盖的问题,可以在一个泛型类、接口中继续定义泛型方法,例如:

class A {

    // A已经是一个泛型类,其类型参数是T

    public static void func(T t) {

    // 再在其中定义一个泛型方法,该方法的类型参数也是T

    }

}

//当上述两个类型参数冲突时,在方法中,方法的T会覆盖类的T,即和普通变量的作用域一样,内部覆盖外部,外部的同名变量是不可见的。

//除非是一些特殊需求,一定要将局部类型参数和外部类型参数区分开来,避免发生不必要的错误,因此一般正确的定义方式是这样的:

class A {

    public static void func(S s) {

    }

}

C. 方法中的泛型参数无须显式传入实际类型参数,编译器会根据传入的实参类型自动推断类型参数。

    例如: void func(T t){ ... }隐式调用object.func("name"),根据”name”的类型String推断出类型参数T的类型是String。当然也可以显式指定,类型参数要写在尖括号中并放在方法名之前,例如:object. func("String")

D. 在使用泛型方法时应避免歧义,例如: void func(T t1, T t2){ ... }如果这样调用的话object.func("name", 15);会有很大隐患,T到底应该是String还是Integer存在歧义

1.6类型通配符

为了说明通配符的作用,我们先看个例子:
List list1 = new ArrayList();  

List list2 = new ArrayList();

上面的调用都是编译不通过的,报需要一个Object,而发现个String的错,所以要么把Object换成实参的类型String,要么把实参换成Object,或者把Object换成通配符?

2)通配符的缺点

上面的问题是处理了,但通配符也有它的缺点。在上面例子中,List

List list;

    1

其中表示通配符的下边界,即“?”只能被赋值为Number或其子类型。

public static void fun(List list) {

}

fun(new ArrayList()); //ok

fun(new ArrayList());  //ok

fun(new ArrayList());  //不ok

当fun()方法的参数为List后,说明你只能赋值给“?”Number或Number的子类型。虽然这多了一个限制,但也有好处,因为你可以用list的get()方法。就算你不知道“?”是什么类型,但你知道它一定是Number或Number的子类型。

所以:Number num = list.get(0)是可以的。但是,还是不能调用list.add()方法。

4)带有下边界的通配符

List list;

其中表示通配符的下边界,即“?”只能被赋值为Integer或其父类型。

public static void fun(List list) {

}

fun(new ArrayList()); //ok

fun(new ArrayList());  //ok

fun(new ArrayList());  //ok

fun(new ArrayList());  //不ok

这时再去调用list.get()方法还是只能使用Object类型来接收:Object o = list.get(0)。因为你不知道“?”到底是Integer的哪个父类。但是你可以调用list.add()方法了,例如:list.add(new Integer(100))是正确的。因为无论“?”是Integer、Number、Object,list.add(new Integer(100))都是正确的。

5)通配符小结

1. 方法参数带有通配符会更加通用;

2. 带有通配符类型的对象,被限制了与泛型相关方法的使用;

3. 上边界通配符:可以使用参数为泛型变量的方法。

4. 下边界通配符:可以使用返回值为泛型变量的方法;

你可能感兴趣的:((17)泛型)