您现在的位置是：首页 > Java

当前栏目

Type Java类型

JAVA 接口变量数组泛型

2023-03-02 11:00:27 时间

# Type —— Java类型 #

Type是一个空接口，所有类型的公共接口（父接口），其意义表示Java所有类型，这里所谓的类型是从Java整个语言角度来看的，比如原始类型、参数化类型（泛型）、类型变量及其数组等，可以理解为，Class（类）是Java对现实对象的抽象，而Type是对Java语言对象的抽象。

## Type的子孙 ##

### 概述 ###

注意区分类型（Type）与类（Class）的区别，这里Class是Type的一种，而像数组、枚举等“类型”是相对于Class来说。

### Type的直接子接口 ###

1.ParameterizedType： 表示一种参数化的类型，比如Collection，即普通的泛型。  
2.TypeVariable：是各种类型变量的公共父接口，就是泛型里面的类似T、E。  
3.GenericArrayType：表示一种元素类型是参数化类型或者类型变量的数组类型，比如List<>\[\]，T\[\]这种。  
4.WildcardType：代表一种通配符类型表达式，类似? super T这样的通配符表达式。

### Type的直接子类 ###

Type的直接子类只有一个，也就是Class，代表着类型中的原始类型以及基本类型。关于Class详见：[Class —— 反射基石][Class _]。

## Type子接口解析 ##

### 1.ParameterizedType ###

参数化类型，即泛型，类似List<T>、Map<Integer, String>、List<? extends Number>带有类型参数的类型，当然，也可以是自定义的，再调用getRawType()与getActualTypeArguments()两个方法，就可以得到声明此参数化类型的类(java.lang.Comparable)和实际的类型参数数组(\[? super T\])，而这个? super T又是一个WildcardType类型。  
ParameterizedType详见：[Java类型之参数化类型][Java]。

### 2.TypeVariable ###

类型变量，如参数化类型中的E、K等类型变量，表示泛指任何类，如果加上extends/super限定，则就会有相应的上限、下限。  
TypeVariable详见：[Java类型之类型变量][Java 1]。

### 3.GenericArrayType ###

泛型数组，表示上面两种的数组类型，即形如：A<T>\[\]，T\[\]\[\]类型。  
GenericArrayType详见：[Java类型之泛型数组][Java 2]。

### 4.WildcardType ###

通配符表达式，或泛型表达式，它虽然是Type的一个子接口，但并不是Java类型中的一种，表示的仅仅是类似 ? extends T、? super K这样的通配符表达式。  
WildcardType详见：[Java类型之泛型表达式][Java 3]。

## Java类型分类 ##

Java的所有类型包括：  
1. raw type：原始类型，对应Class  
2. parameterized types：参数化类型，对应ParameterizedType  
3. array types：数组类型，对应GenericArrayType  
4. type variables：类型变量，对应TypeVariable  
5. primitive types：基本类型，仍然对应Class  
1). 1中的Class，不仅仅指平常所指的类，还包括数组、接口、注解、枚举等结构。  
2). 3中的数组类型GenericArrayType，应该指的是2、4类型数组，而不是一般我们说的数组，我们一般所说的数组是指1、5类型数组，他们还是1，也就是Class类型。  
3). List<T ? entends>\[\]：这里的List就是ParameterizedType，T就是TypeVariable，T ? entends就是WildcardType（注意，WildcardType不是Java类型，而是一个表达式），整个List<T ? entends>\[\]就是GenericArrayType。

## Type的来历 ##

我们知道，Type是JDK5开始引入的，其引入主要是为了泛型，没有泛型的之前，只有所谓的原始类型。此时，所有的原始类型都通过字节码文件类Class类进行抽象。Class类的一个具体对象就代表一个指定的原始类型。  
　　泛型出现之后，也就扩充了数据类型。从只有原始类型扩充了参数化类型、类型变量类型、泛型数组类型，也就是Type的子接口。  
　　那为什么没有统一到Class下，而是增加一个Type呢？（Class也是种类的意思，Type是类型的意思）  
　　是为了程序的扩展性，最终引入了Type接口作为Class，ParameterizedType，GenericArrayType，TypeVariable和WildcardType这几种类型的总的父接口。这样实现了Type类型参数接受以上五种子类的实参或者返回值类型就是Type类型的参数。

[Class _]: http://blog.csdn.net/a327369238/article/details/52577040
[Java]: http://blog.csdn.net/a327369238/article/details/52622331
[Java 1]: http://blog.csdn.net/a327369238/article/details/52673338
[Java 2]: http://blog.csdn.net/a327369238/article/details/52703519
[Java 3]: http://blog.csdn.net/a327369238/article/details/52711529

猜你喜欢

哈工大车万翔：自然语言处理范式正在变迁
高级前端常考手写面试题合集5
XnConvert Mac批量图像格式转换软件商业版
每日一题之Vue的异步更新实现原理是怎样的？5
Windows 下安装和卸载MariaDB zip包
Stable Diffusion 2.1版本发布，涩图功能回来了？
浙大重磅研究登Nature：人类也能「光合作用」，让衰老细胞返老还童
马斯克指定接班人？传特斯拉大中华区CEO朱晓彤接任全球CEO，官方疑否认
2022 ACM杰出会员揭榜：清华黄隆波、刘世霞，北大郝丹、刘譞哲等23位华人学者入选！
18秒完成渲染！苹果Core ML官宣深度支持Stable Diffusion 2.0
Cheetah3D for Mac(3D建模渲染工具)v7.5.3激活版
苹果再现高管离职潮！24年「老兵」转投元宇宙新宠Roblox
什么是六西格玛绿带项目？
ChatGPT教你行窃和征服世界？自称「道德是人类的建构，不适合我」
马斯克退位大反转，朱晓彤被调德州救急！推特加床变「酒店」，洗衣机都有
超级编程AI登上Science封面！AlphaCode编程大赛卷趴一半程序员
2万人将被裁！亚马逊史上最大裁员潮来袭
Nature｜全球每年花一亿小时同行评审，学术不端却屡禁不止！专家：必须改革
200万年薪能拿多久？因ChatGPT爆红的「提示工程师」竟面临光速失业
排行榜第一的美图APP上，美女发现自拍竟被AI拿去生成果照？

zl程序教程

当前栏目

Type Java类型

相关文章