java基础学习笔记之泛型_java

泛型

将集合中的元素限定为一个特定的类型。

术语

  1. ArrayList<E> -- 泛型类型
  2. ArrayList -- 原始类型
  3. E -- 类型参数
  4. <> -- 读作"typeof"
  5. ArrayList<Integer> -- 参数化的类型
  6. Integer -- 实际类型参数

几点注意：

参数化类型和原始类型相互兼容

ArrayList collection1 = new ArrayList<Integer>();//通过,无warning
ArrayList<Integer> collection2 = new ArrayList();//通过,有warning

参数化类型不考虑类型参数的继承关系

ArrayList<String> collection3 = new ArrayList<Object>();//编译不通过
ArrayList<Object> collection4 = new ArrayList<String>();//编译不通过

但是

ArrayList collection5 = new ArrayList<Integer>();
ArrayList<String> collection6 = collection5;//编译通过

"?"通配符

"?"表示任意类型，使用"?"通配符可以引用各种参数化的类型，可以调用与参数化无关的方法(如size()方法)，不能调用与参数化有关的方法(如add()方法)

通配符的扩展

限定通配符的上边界

ArrayList<? extends Number > collection1= new ArrayList<Integer >();//编译通过
ArrayList<? extends Number > collection2= new ArrayList<String>();//编译不通过

限定通配符的下边界

ArrayList<? super Integer > collection3= new ArrayList<Number >();//编译通过
ArrayList<? super Integer > collection4= new ArrayList<String>();//编译不通过

自定义泛型方法

C++模板函数

template <class T> T add(T x, T y){
  return (T)(x+y);
}

而java的泛型基本上完全在编译器中实现，用于编译器执行类型检查和类型判断，然后生成普通的非泛型的字节码，这种实现技术为“擦除”(erasure)。

"擦除"实例

泛型是提供给javac编译器使用的，限定集合的输入类型，编译器编译带类型说明的集合时会去掉“类型”信息。

public class GenericTest {
  public static void main(String[] args) {
    new GenericTest().testType();
  }

  public void testType(){
    ArrayList<Integer> collection1 = new ArrayList<Integer>();
    ArrayList<String> collection2= new ArrayList<String>();

    System.out.println(collection1.getClass()==collection2.getClass());
    //两者class类型一样,即字节码一致

    System.out.println(collection2.getClass().getName());
    //class均为java.util.ArrayList,并无实际类型参数信息
  }
}

输出

true
java.util.ArrayList
使用反射可跳过编译器，往某个泛型集合加入其它类型数据。

只有引用类型才能作为泛型方法的实际参数 例子：

public class GenericTest {
  public static void main(String[] args) {
    swap(new String[]{"111","222"},0,1);//编译通过

    //swap(new int[]{1,2},0,1);
    //编译不通过,因为int不是引用类型

    swap(new Integer[]{1,2},0,1);//编译通过
  }

  /*交换数组a 的第i个和第j个元素*/
  public static <T> void swap(T[]a,int i,int j){
    T temp = a[i];
    a[i] = a[j];
    a[j] = temp;
  }
}

但注意基本类型有时可以作为实参，因为有自动装箱和拆箱。 例子(编译通过了)：

public class GenericTest {
  public static void main(String[] args) {
    new GenericTest().testType();
    int a = biggerOne(3,5);
    //int 和 double,取交为Number
    Number b = biggerOne(3,5.5);
    //String和int 取交为Object
    Object c = biggerOne("1",2);
  }
  //从x,y中返回y
  public static <T> T biggerOne(T x,T y){
    return y;
  }
}

同时，该例还表明，当实参不一致时，T取交集，即第一个共同的父类。 另外，如果用Number b = biggerOne(3,5.5);改为String c = biggerOne(3,5.5);则编译报错:

Error:(17, 29) java: 不兼容的类型: 推断类型不符合上限
    推断: java.lang.Number&java.lang.Comparable<? extends java.lang.Number&java.lang.Comparable<?>>
    上限: java.lang.String,java.lang.Object
但是有一点没搞清楚，我在IDEA里面单步调试，发现结果如下图： 泛型调试截图-1 不知道b为什么是Double类型的（但直接Double b接收返回值会编译报错）。不知道跟IDE有没有关系，是不是IDE在debug时会显示这个对象最精确的类型？

类型参数的类型推断

编译器判断泛型方法的实际类型参数的过程称为类型推断。

当某个类型变量只在整个参数列表的所有参数和返回值中的一处被应用了，那么根据调用方法时该处的实际应用类型来确定。即直接根据调用方法时传递的参数类型或返回值来决定泛型参数的类型。 例如：

swap(new String[3],1,2) -> static <E> void swap(E[]a,int i,int j)

当某个类型变量在整个参数列表的所有参数和返回值中的多处被应用了，如果调用方法时这么多处的实际应用类型都 对应同一种类型，则泛型参数的类型就是该类型。 例如：

add(3,5) -> static <T> T add(T a,T b)

当某个类型变量在整个参数列表的所有参数和返回值中的*多处被应用了，如果调用方法时这么多处的实际应用类型 对应不同的类型,且没有返回值，则取多个参数中的最大交集类型，即第一个公共父类。 例如：

fill(new Integer[3],3.5) -> static <T> void fill(T a[],T v)

该例子实际对应的类型就是Number,编译通过，运行出问题。

当某个类型变量在整个参数列表的所有参数和返回值中的多处被应用了，如果调用方法时这么多处的实际应用类型对应不同的类型,且使用有返回值，则优先考虑返回值的类型
例如：

int x = add(3,3.5) -> static <T> T add(T a,T b)

上例编译报错,x类型改为float也报错，改为Number成功。

参数类型的类型推断具有传递性
例子：

copy(new Integer[5],new String[5]) -> static <T> void copy(T []a,T []b)

该例推断实际参数类型为Object,编译通过.

copy(new ArrayList<String>,new Integer[5]) -> static <T> void copy(Collection<T>a,T[]b)

该例则根据参数化的ArrayList类实例将类型变量直接确定为String类型，编译报错。

自定义泛型类

例子

public class GenericDao<T>{
  public void add(T x){
  }

  public T findById(int id){
    return null;
  }

  public void delete(T obj){
  }

  public void delete(int id){
  }

  public void update(T obj){
  }

  public T findByUserName(String name){
    return null;
  }

  public <T> Set<T> findByConditions(String where){
    return null;
  }

}

注意：当一个变量被声明为泛型时，只能被实例变量和方法调用(还有内嵌类型)，而不能被静态变量和静态方法调用。因为静态成员是被所参数化的类所共享的，所以静态成员不应该有类级别的类型参数。

泛型方法和泛型类的比较

例子：

public class A<T>(){
  //泛型类的成员方法，该T受A后面的T的限制
  public T memberFunc(){
    return null;
  }
  //泛型方法，这里的T和和类A的T是不同的
  public static <T> T genericFunc(T a){
    return null;
  }
  public static void main(String[] args) {
    //编译不通过
    //Integer i = A<String>().findByUserName("s");

    //编译通过
    Set<Integer> set= A<String>().findByConditions("s");
  }
}

这里Integer i = A<String>().findByUserName("s");会编译报错：

Error:(35, 61) java: 不兼容的类型: java.lang.String无法转换为java.lang.Integer

由这个例子可知，泛型方法的T和和类A的T是不同的。

泛型和反射

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

把泛型变量当成方法的参数，利用Method类的getGenericParameterTypes方法来获取泛型的实际类型参数 例子：

public class GenericTest {
  public static void main(String[] args) throws Exception {
    getParamType();
  }

   /*利用反射获取方法参数的实际参数类型*/
  public static void getParamType() throws NoSuchMethodException{
    Method method = GenericTest.class.getMethod("applyMap",Map.class);
    //获取方法的泛型参数的类型
    Type[] types = method.getGenericParameterTypes();
    System.out.println(types[0]);
    //参数化的类型
    ParameterizedType pType = (ParameterizedType)types[0];
    //原始类型
    System.out.println(pType.getRawType());
    //实际类型参数
    System.out.println(pType.getActualTypeArguments()[0]);
    System.out.println(pType.getActualTypeArguments()[1]);
  }

  /*供测试参数类型的方法*/
  public static void applyMap(Map<Integer,String> map){

  }

}

输出结果：

java.util.Map<java.lang.Integer, java.lang.String>
interface java.util.Map
class java.lang.Integer
class java.lang.String

以上是小编为您精心准备的的内容，在的博客、问答、公众号、人物、课程等栏目也有的相关内容，欢迎继续使用右上角搜索按钮进行搜索java
， 泛型
基础学习笔记
，以便于您获取更多的相关知识。

时间： 2024-09-15 08:43:24

java基础学习笔记之泛型_java的相关文章

java基础学习笔记之反射_java

反射 反射:将类的属性和方法映射成相应的类. 反射基本使用 获取Class类的三种方法: 类名.class 对象名.getClass() Class.forName("要加载的类名") 根据API写就行了,大致流程就是: 用上述三种方式之一获取特定类的Class类,即该类对应的字节码 调用Class对象的getConstructor(Class<?>... parameterTypes)获取构造方法对象 调用是构造方法类Constructor的newInstance(Obj

java基础学习笔记之类加载器_java

类加载器 java类加载器就是在运行时在JVM中动态地加载所需的类,java类加载器基于三个机制:委托,可见,单一. 把classpath下的那些.class文件加载进内存,处理后成为字节码,这些工作是类加载器做的. 委托机制指的是将加载类的请求传递给父加载器,如果父加载器找不到或者不能加载这个类,那么再加载他. 可见性机制指的是父加载器加载的类都能被子加载器看见,但是子加载器加载的类父加载器是看不见的. 单一性机制指的是一个类只能被同一种加载器加载一次. 默认类加载器 系统默认三个类加载器:

对象-Java基础学习遇见的问题

问题描述 Java基础学习遇见的问题 我是将自定义的对象,存储到了ArrayList集合中,出现下面错误,咋回事啊 多谢各位大神! 解决方案 19行的public拼错了少了b 解决方案二: ArrayList 里面应该加参数吧 ArrayList> list= new ArrayList>();这样定义试试 解决方案三: 黑马程序员 Java基础学习笔记 线程安全问题java基础问题01java基础问题18 解决方案四: 特殊词都带色的,,,拼错了色不对... 解决方案五: 用的什么开发工具啊

Javascript基础学习笔记(菜鸟必看篇)_基础知识

什么是变量? 变量是用于存储信息的容器 变量的声明 语法: var 变量名 变量名 = 值; 变量要先声明再赋值 变量可以重复赋值 变量的命名规则 变量必须以字母开头: 变量也能以$和_符号开头(不过我们不推荐这么做): 变量名称对大小写敏感(a和A是不同的变量). 语句 语句以一个分号结尾:如果省略分号,则由解析器确定语句的结尾. 有个好的编码习惯,都要以 ; 结尾 数据类型 在JavaScript中,一段信息就是一个值(value).值有不同的类型,大家最熟悉的类型是数字.字符串(strin

值得收藏的asp.net基础学习笔记_实用技巧

值得收藏的asp.net基础学习笔记,分享给大家. 1.概论 浏览器-服务器 B/S 浏览的  浏览器和服务器之间的交互,形成上网B/S模式 对于HTML传到服务器  交给服务器软件(IIS)  服务器软件直接读取静态页面代码,然后返回浏览器 对于ASPX传达服务器  交给服务器软件(IIS)   IIS发现自己处理不了aspx的文件,就去映射表根据后缀名里找到响应的处理程序(isapi,服务器扩展程序) 问题:IIS如何调用可扩展程序? 答:可扩展程序首先就是按照IIS提供的借口实现代码,所以

java 学习笔记(入门篇)_java的安装与配置_java

  学习Java已经很长时间了,但是总感觉基础不是很好,有时候遇到一些平时不常见的问题就会无从下手,也从侧面显现了自己的一些问题.所以,打算写Java的随手笔记来巩固基础,加强学习.今天是第一篇,主要是java的安装,配置,也就是常说的Hello world.   一.下载   进入Oracle的官网,下载Java的jdk,   二.安装   安装就简单了,只需要下一步就可以,路径可以根据需要自己选择.   三.配置    安装完jdk后还不能来编译程序,因为还需要配置java 的jdk.进入的

零基础轻松入门——JAVA基础学习

你准备好学习java了吗?了解一下开发java的基本过程以及java的基本特性.与C++做些简单的比较,熟悉两种语言的共性和区别,关于一些java知识体系. Java 的主要特性: 1. Java语言的语法与C语言和C++语言很接近,使得大多数程序员很容易学习和使用.另一方面,Java丢弃了C++中很少使用的.很难理解的.令人迷惑的那些特性,如操作符重载.多继承.自动的强制类型转换.特别地,Java语言不使用指针,而是引用.并提供了自动的废料收集,使得程序员不必为内存管理而担忧. 2.Java是

python基础学习笔记（九）

python异常   python用异常对象(exception object)来表示异常情况.遇到错误后,会引发异常.如果异常对象并未被处理或捕捉,程序就会用所谓的 回溯(Traceback, 一种错误信息)终止执行: >>> 1/0 Traceback (most recent call last): File "<pyshell#0>", line 1, in <module> 1/0 ZeroDivisionError: integer

Java反射学习 getClass()函数应用_java

Java反射学习 所谓反射,可以理解为在运行时期获取对象类型信息的操作.传统的编程方法要求程序员在编译阶段决定使用的类型,但是在反射的帮助下,编程人员可以动态获取这些信息,从而编写更加具有可移植性的代码.严格地说,反射并非编程语言的特性,因为在任何一种语言都可以实现反射机制,但是如果编程语言本身支持反射,那么反射的实现就会方便很多. 1,获得类型类 我们知道在Java中一切都是对象,我们一般所使用的对象都直接或间接继承自Object类.Object类中包含一个方法名叫getClass,利用这个方