通过代码理解java泛型

泛型数据java基础,但真正理解需要悉心品尝。毕竟在工作中用到的是在是太多了。

不要以为new ArrayList<>这就是泛型,这只能属于会使用。

在工作中,相对于现有的项目源码的数据库操作层,无论是mybatis,hibernate或者是自己封装的baseModel层,都会使用到泛型。

以及<? extends T> 和 <? super T>这个屌东西。

泛型使用情况分为三类

1. 泛型类。

2. 泛型方法。

3. 泛型接口。

出于规范的目的,Java 还是建议我们用单个大写字母来代表类型参数。常见的如:

1. T 代表一般的任何类。

2. E 代表 Element 的意思,或者 Exception 异常的意思。

3. K 代表 Key 的意思。

4. V 代表 Value 的意思,通常与 K 一起配合使用。

5. S 代表 Subtype 的意思,文章后面部分会讲解示意。

最直接的一段代码。

List<String> l1 = new ArrayList<String>();

List<Integer> l2 = new ArrayList<Integer>();

System.out.println(l1.getClass() == l2.getClass());

打印的判断为TRUE,因为泛型信息被擦除了。

泛型擦除实例。

List<String> listErasure = new ArrayList<String>() {

// 直接初始化,这也是一种方式。直接传入一个collection。

{add("aaa");add("bbb");}

};

listErasure.add("ccc");

Class<? extends List> class1 = listErasure.getClass();

Method method = class1.getMethod("add",Object.class);

method.invoke(listErasure, 123);

System.out.println(listErasure)

输出结果  [aaa, bbb, ccc, 123]

明明是接收String类型,但是却可以通过反射对其进行Integer类型的操作。

可见泛型只是在编译期间有效。

<?> 代表着类型未知

<? extends T> 和 <? super T>这个东西经常见到,但是并没有字面意义那么简单。

通配符有 3 种形式。

  1. <?> 被称作无限定的通配符。
  2. <? extends T> 被称作有上限的通配符。
  3. <? super T> 被称作有下限的通配符。

class A{}

class B extends A{}

class C extends B{}

List<? extends B> listExtends = new ArrayList<B>();

// listExtends.add(new A()); 全部编译错误。因为使用的是extends,丧失了写的操作能力。跟f3方法一样,是未知类型,只是确定了里面对象的范围。是B的子类。

// listExtends.add(new B());

// listExtends.add(new C());

// 能进行对B以及B的子类操作。这是super的神奇之处。

List<? super B> listSuper = new ArrayList<B>();

// listSuper.add(new A());//会编译错误。

listSuper.add(new B());

listSuper.add(new C());

以及方法泛型的返回

泛型作为参数的传递。

public static <TTT>TTT f1(TTT t) {

return t;

}

// 传递指定的A类型,对应的list可以进行对应的list应有的方法。

public static void f2(List<A> list) {

list.add(new A());

System.out.println(list.size());

}

public static void f3(List<?> list) {

// list.add(new A()); //当传入的是?通配符的话表示只能进行跟?无关的操作,类似于size方法,增加代码的可读性。

System.out.println(list.size());

}

public static void f4(List<? extends B> listExtends) {

// listExtends.add(new B());//不能进行写做操,因为是?,增加了可读性。

System.out.println(listExtends.size());

}

测试代码,很全面

package com.javaSE.fanxing;

import java.lang.reflect.InvocationTargetException;

import java.lang.reflect.Method;

import java.util.ArrayList;

import java.util.List;

class A{}

class B extends A{}

class C extends B{}

public class Demo<T,TT> {

T value;

TT value2;

public TT getValue2() {

return value2;

}

public void setValue2(TT value2) {

this.value2 = value2;

}

public T getValue() {

return value;

}

public void setValue(T value) {

this.value = value;

}

public static <TTT>TTT f1(TTT t) {

return t;

}

// 传递指定的A类型,对应的list可以进行对应的list应有的方法。

public static void f2(List<A> list) {

list.add(new A());

System.out.println(list.size());

}

public static void f3(List<?> list) {

// list.add(new A()); //当传入的是?通配符的话表示只能进行跟?无关的操作,类似于size方法,增加代码的可读性。

System.out.println(list.size());

}

public static void f4(List<? extends B> listExtends) {

// listExtends.add(new B());//不能进行写做操,因为是?,增加了可读性。

System.out.println(listExtends.size());

}

public static void main(String[] args) throws NoSuchMethodException, SecurityException, IllegalAccessException, IllegalArgumentException, InvocationTargetException, InstantiationException {

// 打印的判断为TRUE,因为泛型信息被擦除了。

List<String> l1 = new ArrayList<String>();

List<Integer> l2 = new ArrayList<Integer>();

System.out.println(l1.getClass() == l2.getClass());

// 泛型擦除实例。

List<String> listErasure = new ArrayList<String>() {

// 直接初始化,这也是一种方式。直接传入一个collection。

{add("aaa");add("bbb");}

};

listErasure.add("ccc");

Class<? extends List> class1 = listErasure.getClass();

Method method = class1.getMethod("add",Object.class);

method.invoke(listErasure, 123);

System.out.println(listErasure);

Demo<String,Integer> demo = new Demo<String,Integer>();

demo.setValue("string");

System.out.println(demo.getValue());

Demo<Integer,String> demo2 = new Demo<Integer,String>();

demo2.setValue(100);

System.out.println(demo2.getValue());

System.out.println(f1(123));

// List<A> listA = new ArrayList<A>();

// List<B> listB = listA;//new ArrayList<B>();虽然B是A的子类,并不代表泛型之间也具备继承关系。

ArrayList<A> listA = new ArrayList<A>();

listA.add(new A());

f3(listA); // 不对f3方法进行任何操作,是1.

f2(listA); // 2对应的方法实现还进行了一次插入操作。

f3(listA); // static ,对应的listA的集合数量是引用值。

ArrayList<B> listB = new ArrayList<B>();

listB.add(new B());

f3(listB); // f3方法传递的是通配符?,不能进行add操作。

// <? extends T> 和 <? super T>

List<? extends B> listExtends = new ArrayList<B>();

// listExtends.add(new A()); 全部编译错误。因为使用的是extends,丧失了写的操作能力。跟f3方法一样,是未知类型,只是确定了里面对象的范围。是B的子类。

// listExtends.add(new B());

// listExtends.add(new C());

// 能进行对B以及B的子类操作。这是super的神奇之处。

List<? super B> listSuper = new ArrayList<B>();

// listSuper.add(new A());//会编译错误。

listSuper.add(new B());

listSuper.add(new C());

// 没毛病。

List<B> listBS = new ArrayList<B>();

listBS.add(new B());

f4(listBS);

}

}

以上是 通过代码理解java泛型 的全部内容, 来源链接: utcz.com/z/361210.html

回到顶部