泛型带来的一些问题 --《JAVA编程思想》 58

原创于 2021-10-16 17:35:57 发布 · 490 阅读

1 ·

CC 4.0 BY-SA版权

文章标签：

#java #泛型 #泛型擦除

JAVA编程思想专栏收录该内容

90 篇文章

订阅专栏

本文探讨了Java中泛型使用时遇到的四个问题：基本类型不能作为类型参数、类无法实现相同泛型接口的不同变体、不同泛型不支持方法重载以及基类会限定泛型接口的类型参数。这些问题源于泛型擦除机制，对于理解和避免编程错误至关重要。

今天我们来聊聊，使用泛型的过程中，遇到的一些问题。

1.任何基本类型不能作为类型参数

基本类型都有对应的包装类型，如 int对应 Integer。我们可以将 int类型放入 ArrayList<Integer>，但却不能创建ArrayList<int>。

故泛型不支持基本类型的自动包装机制。

    public static void main(String[] args) {
        ArrayList<Integer> integers = new ArrayList<>();
        int a =1;
        integers.add(a);
        //基本类型无法通过编译
        //ArrayList<int> ints = new ArrayList<>();
    }

2.一个类不能实现同一个泛型接口的两种变体

一个类不能实现同一个泛型接口的两种变体，因为泛型擦除的影响，这两个变体会被认作为相同的接口。

public interface Color<T> {}

public class Red implements Color<Red> {}

//此类无法通过编译，因 Color<Red> 和 Color<DarkRed> 会被认作同一接口
 public class DarkRed extends Red implements Color<DarkRed> {}

在这里插入图片描述

3.不同的泛型不支持方法重载

同样是受到泛型擦除的影响，不同的泛型参数都会产生相同的类型签名，故不支持方法重载。

public class UseList<W, T> {
	//方法无法通过编译，W 和 T 会被认作相同的类型
    //void f(List<T> v){}
    //void f(List<W> v){}
}

在这里插入图片描述

4.基类会劫持泛型接口

一旦基类实现了某个泛型接口，其导出类将无法重写泛型接口中的类型参数。

public class ComparablePet implements Comparable<ComparablePet> {
    @Override
    public int compareTo(ComparablePet o) {
        return 0;
    }
}

//此类无法通过编译,基类会限定泛型接口中的类型参数
public class Cat extends ComparablePet implements Comparable<Cat> {}

在这里插入图片描述
本次分享至此结束，希望本文对你有所帮助，若能点亮下方的点赞按钮，在下感激不尽，谢谢您的【精神支持】。

若有任何疑问，也欢迎与我交流，若存在不足之处，也欢迎各位指正！