Java泛型详解

181 篇文章 3 订阅

泛型

使用Object类常出现类型转换异常

泛型由此而生

简单来说,泛型就是泛泛而谈(空洞,不确定)的类型

Java泛型(generics)是JDK5中引入的一个新特性,泛型提供了编译时类型安全监测机制,该机制允许我们在编译时检测到非法的类型数据结构

泛型的本质就是参数化类型,也就是所操作的数据类型被指定为一个参数

优点

  1. 类型安全
  2. 无需进行类型转换(无类型转换异常)

如何声明泛型

使用 类名称+< 泛型标识 > 进行声明
若是变量则直接使用 泛型标识+变量名
如下:

public class Obj <T>{
	private T ele;
} 

我们常见有五种泛型标识:

  1. T:用于指定类的类型
  2. E:用于指定集合中的元素
  3. K:用于指明键值对中的键
  4. V:用于指明键值对中的值
  5. ?:用于指定任意类型

泛型的类型只有在使用的时候才会知道是什么类型

如何使用泛型

正常用!
意思是平时你怎么使用的就怎么使用
泛型不要看的那么重,他只是不确定的类型,也是一种类型,和String,Boolean,Integer那些都一样

你只要记住在使用时指明泛型具体的类型即可

泛型类

Demo1 < T >

package type;

public class Demo1 <T>{
    private T ele1;
    private T ele2;

    public Demo1(T ele1, T ele2) {
        this.ele1 = ele1;
        this.ele2 = ele2;
    }

    public Demo1() {
    }

    public T getEle1() {
        return ele1;
    }

    public void setEle1(T ele1) {
        this.ele1 = ele1;
    }

    public T getEle2() {
        return ele2;
    }

    public void setEle2(T ele2) {
        this.ele2 = ele2;
    }

    @Override
    public String toString() {
        return "Demo1{" +
                "ele1=" + ele1 +
                ", ele2=" + ele2 +
                '}';
    }
}

test1

package test;

import type.Demo1;

public class test1 {

    public static void main(String[] args) {
        Demo1<String> stringDemo1 = new Demo1<>();
        stringDemo1.setEle1("element1");
        stringDemo1.setEle2("element2");
        stringDemo1.toString();
        System.out.println(stringDemo1.toString());
        System.out.println("---------------");
        Demo1<Boolean> booleanDemo1 = new Demo1<>();
        booleanDemo1.setEle1(true);
        booleanDemo1.setEle2(false);
        System.out.println(booleanDemo1.toString());
    }
}

在这里插入图片描述

泛型类及其子类

1. 子类也是泛型类

若子类也是泛型类,子类和父类的泛型标识需要一致
即父类使用标识T子类也是T

父类
package type;

public class Parent <T>{
}

子类
package type;

public class Child1<T> extends Parent{
}

2.子类非泛型类

若子类非泛型类则父类需要在继承时指明类型

父类
package type;

public class Parent <T>{
}

子类
package type;

public class Child2 extends Parent<String>{
}

泛型接口

同泛型类一样有两种,写法相同

package type;

public interface Demo2 <T>{
    void doMethod();
}

实现一个带有2个泛型的类

package type;

public class Child2<K,V>{
    private K key;
    private V value;

    public Child2() {
    }

    public Child2(K key, V value) {
        this.key = key;
        this.value = value;
    }

    public K getKey() {
        return key;
    }

    public void setKey(K key) {
        this.key = key;
    }

    public V getValue() {
        return value;
    }

    public void setValue(V value) {
        this.value = value;
    }
}

泛型方法

  • public与返回值中间< T >非常重要,可以理解为声明此方法为泛型方法。
  • 只有声明了< T >的方法才是泛型方法,泛型类中的使用了泛型的成员方法并不是泛型方法。
  • < T >表明该方法将使用泛型类型T,此时才可以在方法中使用泛型类型T。
  • 与泛型类的定义一样,此处T可以随便写为任意标识,常见的如T、E、K、V等形式的参数常用于表示泛型。
修饰符 <标识> 返回值类型 方法名(){}

public <E> E met(E value){
        return value;
    }
package type;

public class Demo1 <T>{
    private T ele1;
    private T ele2;

    /*省略*/

    public <E> E met(E value){
        return value;
    }
}

测试

package test;

import type.Demo1;

public class test1 {

    public static void main(String[] args) {

        Demo1<Boolean> booleanDemo1 = new Demo1<>();
        booleanDemo1.setEle1(true);
        booleanDemo1.setEle2(false);
        System.out.println(booleanDemo1.toString());

        String test_met = booleanDemo1.met("test_met");
        System.out.println(test_met);
    }
}

在这里插入图片描述

?(类型通配符)

想象以下场景
你现在要在泛型类中对一个方法进行重载

public void met(Child<Int> child){}

public void met(Child<String> child){}

你认为可以重载成功吗?

答案是不行!因为Child< String >和Child< Int >实际上就是一个Child< T >!

所以由此而生

public void met(Child<?> child){}

我们就可以直接通过这样一个进行多个方法的重载

所以就代表类型实参,而不是类型形参

类型通配符的上限

我们设置可以用进行继承,标识该泛型只能是继承的类或其子类

public void met(Child<? extends Number> child){}

这就称为类型通配符的上限

上限表示该类型至多是XX类型

类型通配符的下限

extends改为super这表明当前传入实参类型只能是某个类型的父类


public void met(Child<? super Int> child){}

下限表示该类型至少是XX类型

类型擦除

泛型的信息只存在于代码编译阶段,进入JVM前与之相关的信息会被抹除(去掉)

这被称为类型擦除

无限制类型擦除

从泛型 → Object

即所有的泛型标识都转为Object

//擦除前
public T ele
//擦除后
public Object ele
验证(通过反射)
泛型类
package type;

public class Demo1 <T>{
    private T ele1;
    private T ele2;

    public Demo1(T ele1, T ele2) {
        this.ele1 = ele1;
        this.ele2 = ele2;
    }

    public Demo1() {
    }

    public T getEle1() {
        return ele1;
    }

    public void setEle1(T ele1) {
        this.ele1 = ele1;
    }

    public T getEle2() {
        return ele2;
    }

    public void setEle2(T ele2) {
        this.ele2 = ele2;
    }

    @Override
    public String toString() {
        return "Demo1{" +
                "ele1=" + ele1 +
                ", ele2=" + ele2 +
                '}';
    }

    public <E> E met(E value){
        return value;
    }
}

测试类
package test;

import type.Demo1;

import java.lang.reflect.Field;

public class test3 {
    public static void main(String[] args) {
        Demo1<String> stringDemo1 = new Demo1<>();
        Class<? extends Demo1> aClass = stringDemo1.getClass();
        Field[] declaredFields = aClass.getDeclaredFields();
        for (Field declaredField : declaredFields) {
            System.out.println(declaredField.getType().getSimpleName());
        }
    }
}

在这里插入图片描述

类型上下限擦除

上限变父类,向下兼容
下限变Object,顶层兼容所有

只要记住上面两句话即可
即:

//上限
public <T extends Parent> T met(){...}
//擦除后
public Parent met(){...}
//下限
public <T super Parent> T met(){...}
//擦除后
public Object met(){...}

桥接方法

当我们的类以指定的某个类型实现某个泛型接口,编译后就会产生桥接方法

桥接方法是为了让实现类向上兼容

接口
package type;

public interface Demo2 <T>{
    T doMethod(T val);
}

实现类
package type;

public class Demo3 implements Demo2<String>{
    @Override
    public String doMethod(String val) {
        System.out.println("实现接口");
        return val;
    }
}

编译后
package type;

public class Demo3 implements Demo2{
    @Override
    public String doMethod(String val) {
        System.out.println("实现接口");
        return val;
    }
//编译后生成的桥接方法
@Override
    public Object doMethod(Object val) {
        System.out.println("实现接口");
        return doMethod((String) val)
    }
}

泛型数组

声明方式

package test;

import java.util.ArrayList;

public class test4 {
    public static void main(String[] args) {
        ArrayList<String>[] lists = new ArrayList[10];
        ArrayList<String> strings = new ArrayList<>();
        strings.add("new");
        lists[0] = strings;
        String s = lists[0].get(0);
        System.out.println(s);

    }
}

问题

这时候就有人问了,我不能写出如下的形式吗?

package test;

import java.util.ArrayList;

public class test4 {
    public static void main(String[] args) {
        ArrayList<String>[] lists = new ArrayList[10];
        lists[0].add("hello");
        System.out.println(lists[0].get(0));
    }
}

这样一看从逻辑上好像解释的通
既然lists[ ]是ArrayList< String >类型那么一定有其add方法可以添加元素

但是实际上是不对的!会出现空指针

在这里插入图片描述

原因

经过调试,你可以看到在执行这一行时lists[0]是空,也就是说lists[0]仅有对象引用没有内存空间!所以null.add()根本不可能有这个方法!

在这里插入图片描述

通过Array.newInstance创建

package type;

import java.lang.reflect.Array;

public class Demo4<T> {
    private T[] ele;

    public Demo4(Class<T> ele, int length) {
        this.ele = (T[]) Array.newInstance(ele, length);
    }
}

  • 1
    点赞
  • 2
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
Java泛型Java 5引入的新特性,可以提高代码的可读性和安全性,降低代码的耦合度。泛型是将类型参数化,实现代码的通用性。 一、泛型的基本语法 在声明类、接口、方法时可以使用泛型泛型声明方式为在类名、接口名、方法名后面加上尖括号<>,括号中可以声明一个或多个类型参数,多个类型参数之间用逗号隔开。例如: ```java public class GenericClass<T> { private T data; public T getData() { return data; } public void setData(T data) { this.data = data; } } public interface GenericInterface<T> { T getData(); void setData(T data); } public <T> void genericMethod(T data) { System.out.println(data); } ``` 其中,`GenericClass`是一个泛型类,`GenericInterface`是一个泛型接口,`genericMethod`是一个泛型方法。在这些声明中,`<T>`就是类型参数,可以用任何字母代替。 二、泛型的使用 1. 泛型类的使用 在使用泛型类时,需要在类名后面加上尖括号<>,并在括号中指定具体的类型参数。例如: ```java GenericClass<String> gc = new GenericClass<>(); gc.setData("Hello World"); String data = gc.getData(); ``` 在这个例子中,`GenericClass`被声明为一个泛型类,`<String>`指定了具体的类型参数,即`data`字段的类型为`String`,`gc`对象被创建时没有指定类型参数,因为编译器可以根据上下文自动推断出类型参数为`String`。 2. 泛型接口的使用 在使用泛型接口时,也需要在接口名后面加上尖括号<>,并在括号中指定具体的类型参数。例如: ```java GenericInterface<String> gi = new GenericInterface<String>() { private String data; @Override public String getData() { return data; } @Override public void setData(String data) { this.data = data; } }; gi.setData("Hello World"); String data = gi.getData(); ``` 在这个例子中,`GenericInterface`被声明为一个泛型接口,`<String>`指定了具体的类型参数,匿名内部类实现了该接口,并使用`String`作为类型参数。 3. 泛型方法的使用 在使用泛型方法时,需要在方法名前面加上尖括号<>,并在括号中指定具体的类型参数。例如: ```java genericMethod("Hello World"); ``` 在这个例子中,`genericMethod`被声明为一个泛型方法,`<T>`指定了类型参数,`T data`表示一个类型为`T`的参数,调用时可以传入任何类型的参数。 三、泛型的通配符 有时候,我们不知道泛型的具体类型,可以使用通配符`?`。通配符可以作为类型参数出现在方法的参数类型或返回类型中,但不能用于声明泛型类或泛型接口。例如: ```java public void printList(List<?> list) { for (Object obj : list) { System.out.print(obj + " "); } } ``` 在这个例子中,`printList`方法的参数类型为`List<?>`,表示可以接受任何类型的`List`,无论是`List<String>`还是`List<Integer>`都可以。在方法内部,使用`Object`类型来遍历`List`中的元素。 四、泛型的继承 泛型类和泛型接口可以继承或实现其他泛型类或泛型接口,可以使用子类或实现类的类型参数来替换父类或接口的类型参数。例如: ```java public class SubGenericClass<T> extends GenericClass<T> {} public class SubGenericInterface<T> implements GenericInterface<T> { private T data; @Override public T getData() { return data; } @Override public void setData(T data) { this.data = data; } } ``` 在这个例子中,`SubGenericClass`继承了`GenericClass`,并使用了相同的类型参数`T`,`SubGenericInterface`实现了`GenericInterface`,也使用了相同的类型参数`T`。 五、泛型的限定 有时候,我们需要对泛型的类型参数进行限定,使其只能是某个类或接口的子类或实现类。可以使用`extends`关键字来限定类型参数的上限,或使用`super`关键字来限定类型参数的下限。例如: ```java public class GenericClass<T extends Number> { private T data; public T getData() { return data; } public void setData(T data) { this.data = data; } } public interface GenericInterface<T extends Comparable<T>> { T getData(); void setData(T data); } ``` 在这个例子中,`GenericClass`的类型参数`T`被限定为`Number`的子类,`GenericInterface`的类型参数`T`被限定为实现了`Comparable`接口的类。 六、泛型的擦除 在Java中,泛型信息只存在于代码编译阶段,在编译后的字节码中会被擦除。在运行时,无法获取泛型的具体类型。例如: ```java public void genericMethod(List<String> list) { System.out.println(list.getClass()); } ``` 在这个例子中,`list`的类型为`List<String>`,但是在运行时,`getClass`返回的类型为`java.util.ArrayList`,因为泛型信息已经被擦除了。 七、泛型的类型推断 在Java 7中,引入了钻石操作符<>,可以使用它来省略类型参数的声明。例如: ```java List<String> list = new ArrayList<>(); ``` 在这个例子中,`ArrayList`的类型参数可以被编译器自动推断为`String`。 八、总结 Java泛型是一个强大的特性,可以提高代码的可读性和安全性,降低代码的耦合度。在使用泛型时,需要注意它的基本语法、使用方法、通配符、继承、限定、擦除和类型推断等问题。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值