1.泛型
1.1泛型的定义
泛型是程序设计语言的一种特性。允许程序员在强类型程序设计语言中编写代码时定义一些可变部分,那些部分在使用前必须作出指明。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。将类型参数化以达到代码复用提高软件开发工作效率的一种数据类型。泛型类是引用类型,是堆对象,主要是引入了类型参数这个概念。
// 1. 尖括号 <> 是泛型的标志
// 2. E 是类型变量(Type Variable),变量名一般要大写
// 3. E 在定义时是形参,代表的意思是 MyArrayList 最终传入的类型,但现在还不知道
public class MyArrayList<E> {
private E[] array;
private int size;
...
}
1.2泛型类的使用
// 定义了一个元素是 Book 引用的 MyArrayList
MyArrayList<Book> books = new MyArrayList<Book>();
books.add(new Book());
// 会产生编译错误,Person 类型无法转换为 Book 类型
books.add(new Person());
// 不需要做类型转换
Book book = book.get(0);
// 不需要做类型转换
// 会产生编译错误,Book 类型无法转换为 Person 类型
Person person = book.get(0);
通过以上代码,我们可以看到泛型类的一个使用方式:只需要在所有类型后边跟尖括号,并且尖括号内是真正的类
型,即 E 可以看作的最后的类型。
Book 只能想象成 E 的类型,但实际上 E 的类型还是 Object。
1.3泛型的总结
- 泛型是为了解决某些容器、算法等代码的通用性而引入,并且能在编译期间做类型检查。
- 泛型利用的是 Object 是所有类的祖先类,并且父类的引用可以指向子类对象的特定而工作。
- 泛型是一种编译期间的机制,即 MyArrayList 和 MyArrayList 在运行期间是一个类型。
- 泛型是 java 中的一种合法语法,标志就是尖括号 <>
2.包装类
2.1 基本数据类型和包装类直接的对应关系
基本数据类型 |
包装类 |
byte |
Byte |
int |
Integer |
short |
Short |
long |
Long |
float |
Float |
double |
Double |
char |
Character |
boolean |
Boolean |
2.2 包装类的使用,装箱(boxing)和拆箱(unboxing)
Integer i = 10;//自动装箱-->Integer.valueOf
int a = i;//自动拆箱 intValue
int a = 10;
Integer i = Integer.valueOf(a);
Integer integer = new Integer(a);
int b = integer.intValue();
double c = integer.doubleValue();