解析Java 泛型什么情况下不能使用

所属分类: 软件编程 / java 阅读数: 90
收藏 0 赞 0 分享

一、前言

Java泛型来保证类型安全,防止在运行时发生类型转换异常,让类型参数化,提高了代码的可读性和重用率。但是有些情况下泛型也是不允许使用的,以下是不能使用泛型的一些场景。

二、 什么情况下不能使用Java泛型

1 不能使用泛型的形参创建对象。

T o=new T();  // 不允许

2 在泛型类中,不能给静态成员变量定义泛型

Java 中的静态类型随着类加载而实例化,此时泛型的具体类型并没有声明。同时因为静态变量作为所有对象的共享变量,只有类实例化或者方法调用时才能确定其类型。如果是泛型类型将无法确定其类型。同样在类上声明的泛型也无法作为返回值类型出现在类的静态方法中,下面的写法也是错误的:

以下是不允许的

public class A<T>
{
  public static T t; //错误
  public T getA(){ //正确
    ......
  }
}

下面也一样

public class Generic<T>{
  // 不能将类声明的泛型类型作为静态变量
  public static T t;
  // 也不能将类声明的泛型类型作为 静态方法的返回值
  public static T rtval(List<T> list){
    return list.get(0);
  }
}

3 泛型类不能继承、不能直接或间接扩展java.lang.Throwable类

如下是不允许的

public class D<T> extends java.lang.Throwable //错误

下面的两种写法将引发编译错误:

// 不能间接地扩展 Throwable  
class IndirectException<T> extends Exception {}   

// 不能直接地扩展 Throwable 
class DirectException<T> extends Throwable {} 

如果成立将出现:

 try {
    // ...
  } catch (T e) {  
    // 类型不确定 无法处理具体的异常逻辑
  }

你如何才能对异常进行具体的处理,这显然不便于精确的异常处理逻辑。但是你可以抛出一个 不确定的异常,但是同样不能在静态方法中使用类声明的泛型:

class Parser<T extends Exception> {
  // 这样是对的
  public void okThrow(File file) throws T {   
    // ...
  }
  // 静态方法不能出现类声明的泛型类型作为返回值和异常
  public static void wrongThrow(File file) throws T {   
  }
}

4 泛型类不能初始化一个数组、无法创建参数化类型的数组

如下所示不允许

T[] b = new T[10]; //错误

再看下面的情况

首先下面这种写法是对的:

// OK
List[] arrayOfLists = new List[2];

 但是加上了泛型就编译不通过了:

//error
List<Integer>[] arrayOfLists = new List<Integer>[2];

如果不这么规定将引发以下逻辑错误:

// 如果上面的成立,则下面的也应该成立
Object[] stringLists = new List<String>[]; 
// 那么我们可以放入 字符串 List
stringLists[0] = new ArrayList<String>();  
// 放入 Integer list
stringLists[1] = new ArrayList<Integer>();
// 这显然不合理

5. 基本类型无法直接使用泛型

以下写法是错误的:

// error 
Map<int,char> wrong= new HashMap<>()

基本类型是不能够作为泛型类型的,需要使用它们对应的包装类。

// OK
Map<Integer,Character> wrong= new HashMap<>()

6. 泛型类型无法被直接实例化

泛型类型可以理解为一个抽象类型,只是代表了类型的抽象,因此我们不能直接实例化它,下面的做法也是错误的:

 public <E> E first(List<E> list){
   // error 
    E e = new E();
    return list.get(0);  
 }

7. 无法进行 instanceof 判断

Java 中的泛型是伪泛型,在编译期会被擦除,运行的字节码中不存在泛型,所以下面的判断条件无法进行:

public static <E> void wrong(List<E> list) {
  // error 
  if (list instanceof ArrayList<Integer>) {  
  }
}

但是泛型的无界通配符 <?> 可以进行 instanceof 判断,你仔细想想为什么。

8. 泛型擦除后相同参数签名的方法不能重载

由于泛型擦除的原因,以下的不视为方法的重载且无法编译 :

public class NoReload {
  public void sets(Set<String> strSet) { }
  public void sets(Set<Integer> intSet) { }
}
更多精彩内容其他人还在看

Java实现一个简单的文件上传案例示例代码

这篇文章主要介绍了Java实现一个简单的文件上传案例,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
收藏 0 赞 0 分享

详解在spring中使用JdbcTemplate操作数据库的几种方式

这篇文章主要介绍了详解在spring中使用JdbcTemplate操作数据库的几种方式,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
收藏 0 赞 0 分享

java中的switch case语句使用详解

这篇文章主要介绍了java中的switch case语句使用详解,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
收藏 0 赞 0 分享

深入理解Java 线程池

这篇文章主要介绍了Java 线程池的相关资料,文中讲解非常细致,帮助大家更好的理解和学习,感兴趣的朋友可以了解下
收藏 0 赞 0 分享

详解mybatis #{}和${}的区别、传参、基本语法

这篇文章主要介绍了mybatis #{}和${}的区别、传参、基本语法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
收藏 0 赞 0 分享

MyBatis 中 ${}和 #{}的正确使用方法(千万不要乱用)

这篇文章主要介绍了MyBatis 中 ${}和 #{}的正确使用方法,本文给大家提到了MyBatis 中 ${}和 #{}的区别,本文通过实例代码给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
收藏 0 赞 0 分享

详解Mybatis中的 ${} 和 #{}区别与用法

这篇文章主要介绍了Mybatis中的 ${} 和 #{}区别与用法,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友可以参考下
收藏 0 赞 0 分享

Maven安装过程图文详解

这篇文章主要介绍了Maven安装过程,本文通过图文并茂的形式给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧
收藏 0 赞 0 分享

SpringBoot登录拦截配置详解(实测可用)

这篇文章主要介绍了SpringBoot登录拦截配置详解(实测可用),文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧
收藏 0 赞 0 分享

JAVA 内存溢出案例汇总

这篇文章主要介绍了JAVA 内存溢出案例的汇总,文中讲解非常细致,帮助各位工作学习时避免内存溢出,感兴趣的朋友可以了解下
收藏 0 赞 0 分享
查看更多