关闭

java泛型编程学习 笔记二:使用泛型的约束和局限性

标签: java泛型编程java泛型
670人阅读 评论(0) 收藏 举报
分类:

我在java泛型编程学习 笔记一:为什么要使用泛型这篇博文中,曾经提到过java的"泛型机制"属于java的一种语法糖,它存在的目的是简化复杂的代码,以提高程序的安全性。

实际上java虚拟机没有任何泛型对象——所有的对象都属于普通类对象,所以说不管我们在任何时候定义一个泛型类型,虚拟机都会为其提供一个“原始类型”。

“原始类型”名称:删去类型变量之后的泛型类型名称。Result<T>的原始类型是Resul

“原始类型”中类型参数的“擦除”:将类型参数替换为限定类型,无限定类型的替换为Object。


下面我们探讨一下java泛型机制使用过程中的一些约束和局限性,这些限制大多是由于类型擦除而引起的。


约束一:不能用基本类型实例化类型参数

java有byte、short、int、long、float、double、char、boolean,8中基本数据类型,在提供类型参数时,不能使用基本数据类型,

因为类型擦除之后,没有限定类型的类型参数会被Object类型替换,而Object不能存储基本数据类型。

比如我们不能定义Result<int> 类型,而我们可以提供基本类型的包装器类型Result<Integer>,因为Integer的父类是Object,这样Integer就可以转换成Object类型了。


约束二:运行时类型检查只适用于原始类型

/**
 * 对于泛型所有的类型检查只产生原始类型
 * @author Administrator
 */
public class ResultTest {
	public static void main(String [] args){
		Result<String> result_Str = new Result<String>("1","success");
		Result<Integer> result_Inte = new Result<Integer>(0,-1);
		
		// 这是对确切的泛型类型使用instanceof是错误的
		if(result_Str instanceof Result<String>) {
			System.out.println("yes");
		}
		
		// 只能对原始类型使用instanceof
		if(result_Str instanceof Result) {
			System.out.println("yes");
		}
		
		// 对于泛型所有的类型检查只产生原始类型
		if(result_Str.getClass() == result_Inte.getClass()){
			System.out.println("same Class");
		}
	}
}

约束三:不能创建参数化类型的数组

Result<String> [] Rstr = new Result<String>[5];// Error

擦除类型变量之后 Rstr的类型就是Result[],这样就丢失元素的类型信息,

数组在创建时必须知道元素类型,如果试图存储其他类型的元素,就会抛出一个ArrayStoreException异常。

需要说明的是,只是不允许创建这些类型的数组,而声明类型为Result<String>[] 的变量仍然是合法的,只不过不能用new Result<String>[5]来初始化这个变量。


约束四:不能在静态域或静态方法中引用类型变量

/**
 * 不能在静态域或静态方法中引用类型变量
 * @author Administrator
 */
public class ResultStatic<T> {
	private T code;
	
	//Error
	private static T message;
	
	//Error
	public static T getTestCode(){
		
	}
}
类的静态域和静态方法是属于类而不属于对象,我们知道类型擦除之后ResultStatic<String>和ResultStatic<Integer>都会变成原始类型ResultStatic类型,如果这个类能正常定义的话,这两个ResultStatic<String>和ResultStatic<Integer>类所拥有的静态域和静态方法就会冲突。

 



0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:38788次
    • 积分:649
    • 等级:
    • 排名:千里之外
    • 原创:27篇
    • 转载:2篇
    • 译文:0篇
    • 评论:1条