泛型系列文章（1）- 泛型基础知识

最新推荐文章于 2026-06-22 22:46:40 发布

原创最新推荐文章于 2026-06-22 22:46:40 发布 · 292 阅读

0 ·

本内容遵循CC 4.0 BY-SA版权协议

标签

#java

本文详细介绍了Java泛型的基础知识、中级概念以及高级应用。泛型是一种语法糖，用于在编译时检查类型安全，避免运行时的强制类型转换异常。在泛型出现之前，集合中的对象需要强制类型转换，而泛型引入后，可以限制集合中对象的类型，减少错误转换的风险。文章还涵盖了泛型类、泛型接口和泛型方法的用法，并提到了通配符的使用，包括无限制通配符和带限通配符。

泛型系列文章（1）- 泛型基础知识

一.概述

1.泛型是个语法糖(Syntactic Sugar)

在计算机语言中添加某种语法，这种语法对语言的功能并没有影响，但更方便程序员使用
Java中常用的语法糖主要有泛型、变长参数、条件编译、自动拆装箱、内部类等
虚拟机并不支持语法糖，会在编译阶段解语法糖，将语法糖还原回基础的语法结构
泛型作为一种语法糖，可以在编译阶段完成一些类型转换工作，避免在运行时强制转换而出现ClassCastException(类型转换异常)

2.泛型的引入原因

JDK1.5之前没有泛型，通过引用Object实现参数的**“任意化”**
任意化带来的缺点是需要显式的强制类型转换，这种转换要求开发者预知实际参数类型
如果开发者进行错误的类型转换，编译器可能不会提示，但在运行时出现异常
JDK1.5通过引入泛型在编译时检查类型安全，并且自动和隐式进行强制类型转换，提高代码重用率

3.泛型出现后的结果

泛型出现前

没有泛型的时候，只有原始类型。此时，所有的原始类型都通过字节码文件类Class类进行抽象。Class类的一个具体对象就代表一个指定的原始类型。

1）List放置Object类型，任何对象类型都可以放置或取出
2）但对象放入集合时，集合不会记忆该对象类型，再次从集合取出该对象时，该对象类型为Object
3）这导致使用从集合取出的对象时需要强制类型转换，可能出现ClassCastException

public static void main(String[] args)
{
    List list = new ArrayList();
    list.add("123");
    list.add("456");
 
    System.out.println((String)list.get(0));
}

泛型出现后

泛型出现之后，扩充了数据类型。从只有原始类型扩充了参数化类型、类型变量类型、限定符类型、泛型数组类型。

通过菱形符限制对象类型，避免了对象类型丢失和强制类型转换.

使用泛型可以在编译时检查类型安全，并且自动和隐式进行强制类型转换

public static void main(String[] args)
{
    List<String> list = new ArrayList<String>();
    list.add("123");
    list.add("456");
 
    System.out.println(list.get(0));
}

二.泛型的用法

1.泛型类

在类定义中使用泛型的类
通过泛型可以完成对一组类的操作对外开放相同的接口，应用场景如容器类(List、Set、Map)
泛型类示例

//此处T可以随便写为任意标识，常见的如T、E、K、V等形式的参数常用于表示泛型
//在实例化泛型类时，必须指定T的具体类型
public class Generic<T>{ 
    //key这个成员变量的类型为T,T的类型由外部指定  
    private T key;

    public Generic(T key) { //泛型构造方法形参key的类型也为T，T的类型由外部指定
        this.key = key;
    }

    public T getKey(){ //泛型方法getKey的返回值类型为T，T的类型由外部指定
        return key;
    }
}

调用泛型类注意，泛型类的类型参数不能是简单类型

//传入的实参类型需与泛型的类型参数类型相同，即为Integer.
Generic<Integer> genericInteger = new Generic<>(123456);
//传入的实参类型需与泛型的类型参数类型相同，即为String.
Generic<String> genericString = new Generic<>("key_vlaue");

Log.d("泛型测试","key is " + genericInteger.getKey());
Log.d("泛型测试","key is " + genericString.getKey());

2.泛型接口

在接口定义中使用泛型的接口
泛型接口示例

public interface List<E> extends Collection<E> {
   //在该接口里，E可以作为类型使用
   public E get(int index) {}
   public void add(E e) {} 
}

//定义类时指定了一个类型形参，该形参名为E
public class ArrayList<E> extends AbstractList<E> implements List<E>{
   //在该类里，E可以作为类型使用
   public void set(E e) {
   ...
   }
}

3.泛型方法

在方法声明时使用一个或多个类型形参
泛型方法定义格式

修饰符<T, S> 返回值类型 方法名（形参列表）｛
    方法体
 ｝

泛型方法示例

public class GenericMethodDemo {

    public <T> void f(T x)  {
        System.out.println(x.getClass().getName());
    }

    public static void main(String[] args) {
        GenericMethodDemo genericMethodDemo = new GenericMethodDemo();
        genericMethodDemo.f("String");
        genericMethodDemo.f('A');
        genericMethodDemo.f(123);
    }
}

三.泛型特例–通配符

1.通配符“?"

表示类型实参可以是任何一种类型
注意，与参数“T”不同，“T”表示未知类型，“?”表示任何一种类型
使用场景
待补充

2.带限通配符

上限通配符“? extends Shape”
"? extends Shape"代表的类型必须是Shape类本身或其子类

表示集合中的所有元素都是Shape类型或者其子类
List< ? extends Shape >

下限通配符“? super Circle”
“? super Circle”代表的类型必须是Circle类本身或其父类

它表示集合中的所有元素都是Circle类型或者其父类
List< ? super Circle >