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

原创 2017年01月03日 16:45:04

我在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>类所拥有的静态域和静态方法就会冲突。

 



版权声明:本文为博主原创文章,未经博主允许不得转载。

相关文章推荐

java泛型(一)、泛型的基本介绍和使用

现在开始深入学习java的泛型了,以前一直只是在集合中简单的使用泛型,根本就不明白泛型的原理和作用。泛型在java中,是一个十分重要的特性,所以要好好的研究下。 一、泛型的基本概念  泛型...

Java 泛型类约束与局限性

Java 泛型类约束与局限性   1.不能用基本类型实例化类型参数; Pair // 这样是错误的   2.运行时类型查询只适用于原始类型 Pair stringPair = .....
  • AMinfo
  • AMinfo
  • 2012-08-26 20:15
  • 5151

Java泛型解析(04):约束和局限性

前两节,认识和学习了泛型的限定以及通配符,初学者可能需要一些时间去体会到泛型程序设计的好处和力量,特别是想成为库程序员的同学就需要下去体会通配符的运用了,应用程序员则需要掌握怎么使用泛型,这里针对泛型...

java泛型程序设计——约束与局限性

【0】README0.1) 本文描述+源代码均 转自 core java volume 1, 旨在理解 java泛型程序设计 的 约束与局限性 的知识;【1】 不能用基本类型实例化类型参数1.1)不能...

Java泛型的约束和局限性

在使用Java泛型时需要考虑一些限制, 大多数限制都是由于类型擦除所引起的。

泛型的约束与局限性

因为Java并没有真正实现泛型,是编译器在编译的时候在字节码上做了手脚,这种实现理念造成Java泛型本身有很多漏洞。为了规避这些问题Java对泛型的使用上做了一些约束,但不可避免的还是有一些问题存在。...

where泛型约束的使用

《Java编程思想》学习笔记8——泛型编程高级

1.泛型边界: Java泛型编程时,编译器忽略泛型参数的具体类型,认为使用泛型的类、方法对Object都适用,这在泛型编程中称为类型信息檫除。 例如: class GenericType{ p...

《Java编程思想》学习笔记8——泛型编程高级

1.泛型边界: Java泛型编程时,编译器忽略泛型参数的具体类型,认为使用泛型的类、方法对Object都适用,这在泛型编程中称为类型信息檫除。 例如: [java] view...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:深度学习:神经网络中的前向传播和反向传播算法推导
举报原因:
原因补充:

(最多只允许输入30个字)