【包装类&简单认识泛型】

目录

1，包装类

1.1 基本数据类型和对应的包装类

1.2 装箱和拆箱

2，什么是泛型

3，引出泛型

3.1 语法

4，泛型如何编译的

4.1 擦除机制

4.2 为什么不能实例化泛型类型数组

5，泛型的上界

5.1 语法

5.2 复杂示例

6，泛型方法

---

1，包装类

在Java中，由于基本类型不是继承自Object，为了在泛型代码中可以支持基本类型，Java给每个基本类型都对应了 一个包装类型。

1.1 基本数据类型和对应的包装类

除了 Integer 和 Character， 其余基本类型的包装类都是首字母大写。

1.2 装箱和拆箱

装箱：把一个基本类型变成引用类型

这里划红线的原因是代表当前方法已经过时

不管是显示还是隐式，我们打开底层的汇编过程

发现自动装箱在底层也是调用的valueof，总的来说，valueof在给我们进行装箱

拆箱：把一个引用类型变成基本类型

进入底层查看汇编代码

还可以将其变成double类型

【面试题】

下列代码输出什么，为什么？

这里涉及到点是装箱，上面讲到过装箱在底层是调用的valueof来完成的，进入到valueof的源码

valueof调用了这个方法，发现i在if这个条件范围里面，就去cache这个数组里面取值，相反如果i不在这个范围里面，那么就会实例化一个新的对象，即根据上面代码的运行结果发现100在if条件范围里面，200实例化了一个新的对象，对应地址不同，所以范围false

进入high的源码：

观察发现这个数组的范围是[-127，128]，即i的值在这个范围里面，就在这个数组里面取值，反之实例化新的对象

2，什么是泛型

一般的类和方法，只能使用具体的类型: 要么是基本类型，要么是自定义的类。如果要编写可以应用于多种类型的代码，这种刻板的限制对代码的束缚就会很大。----- 来源《Java编程思想》对泛型的介绍。

泛型是在JDK1.5引入的新的语法，通俗讲，泛型：就是适用于许多许多类型。从代码上讲，就是对类型实现了参数化。（传类型）

3，引出泛型

把类型参数化，意味着可以传指定的类型参数—》如何实现呢？

首先想到的是：Object

需求：实现一个类，类中包含一个数组成员，使得数组中可以存放任何类型的数据，也可以根据成员方法返回数组中某个下标的值

也就是说getValue的返回值是Object，他是一个父类类型，所以得强制类型转换

但是这种写法显得代码很乱，里面即可以存放int，又能存放String，甚至还可以存放double，而且还要进行强转，貌似是一个通用的，其实并不通用。

期望的是存指定类型数据，把参数传给Myarray

所以，泛型的主要目的：就是指定当前的容器，要持有什么类型的对象。让编译器去做检查。此时，就需要把类型，作为参数传递。需要什么类型，就传入什么类型。

3.1 语法

在<>里面可写E/T/E，T     <T>代表当前类，是一个泛型类

上面代码就可以改动：

1，在实例化对象的时候已经指定当前类型为整型，每次存储数据的时候，会检查你存入的数据是不是和你指定的类型一样，若不一样，就会报错。（编译的时候）

2，此时不需要进行强制类型转换      运行的时候没有泛型这样的概念

并不是<T>替换成<Integer>，只是拿着它去检查的，并不是替换

那我们是否可以直接实例化T？ 

是不可以的，Java当中的数组是一种类型，所以实例化数组的时候要知道实例化的是一个什么样的数组，从此代码来看，并不知道T是一个什么，所以上面的T并没有替换成Integer，只是拿着它去检查类型是否匹配！！！

这样写也是存在问题的，下面会讲到

代码解释：

1. 类名后的代表占位符，表示当前类是一个泛型类

2. 不能new泛型类型的数组

3. 类型后加入指定当前类型

4. 不需要进行强制类型转换

5. 编译器会在存放元素的时 候帮助我们进行类型检查

注意：泛型只能接受类，所有的基本数据类型必须使用包装类！

4，泛型如何编译的

运行的时候代码在JVM当中，也就是说在JVM当中没有泛型的概念 

4.1 擦除机制

那么，泛型到底是怎么编译的？这个问题，也是曾经的一个面试问题。泛型本质是一个非常难的语法，要理解好他还是需要一定的时间打磨。

通过命令：javap -c 查看字节码文件，所有的T都是Object。

在编译的过程当中，将所有的T替换为Object这种机制，我们称为：擦除机制。

Java的泛型机制是在编译级别实现的。编译器生成的字节码在运行期间并不包含泛型的类型信息。

4.2 为什么不能实例化泛型类型数组

在上面讲到以下代码这种写法是有问题的

在MyArray里面添加一个方法

对此方法进行访问

这里报错了，类型转换异常，不能把Object转换成String类型的，getArray的返回值通过通过类型擦除是Object类型数组，Object类型数组给到String数组是不能给的，强转都不行

那为什么强转都不行呢？

我们说Object类是所以类的父类，但是Object[ ]不是所以数组的父类，他是一种单独的类型，所以就不能说Object[ ]是String[ ]的父类，Object是String的父类

所以就只能通过Object数组来接收

所以，以后都用Object来写

5，泛型的上界

在定义泛型类时，有时需要对传入的类型变量做一定的约束，可以通过类型边界来约束。

5.1 语法

例如：

只接受 Number 的子类型作为 T 的类型实参，或者是Number自己

5.2 复杂示例

比如：定义一个泛型类，找到数组当中的最大值

6，泛型方法

还可以不实例化对象，将方法改写成静态方法，使用类名去调用即可

7，泛型进阶—>通配符

? 用于在泛型的使用，即为通配符

7.1 通配符解决什么问题

例子：

此时在main方法里面实例化了一个messge，传了一个String，在调用set方法时只能给一个String类型，在通过func方法将messge对象传过去，在func方法中获取messge。

以上程序会带来新的问题，如果现在泛型的类型设置的不是String，而是Integer.

此时代码就报错了，因为相对于func方法来说，他在这里面只能接收我传过来的参数是由String指定的类型，这时候传了一个Integer此时就会报错。

若想两个情况都能适配，把他改成通配符—>？，也就是说我不知道将来传给我的是啥，有可能是String，有可能是Integer。

在通配符"?"的基础上又产生了两个子通配符：

? extends 类：设置通配符上限

? super 类：设置通配符下限

和泛型不一样的是，泛型只有上界，没有下界。

7.2 通配符上界

语法：

比如：

传给temp的要么是Number自己，要么是Number的子类

示例1：

这里传过来的要么是Fruit自己，要么是Fruit的子类，也就是蓝色框框里面的

只能拿Fruit来接收，不能拿Apple或者Banana接收，因为都是Fruit或Fruit的子类

通配符的上界，不能进行写入数据，只能进行读取数据。对于编译器来说不知道你要存啥

7.3 通配符下界

通配符的下界，不能进行读取数据，只能写入数据。