在前面的学习中,使用了大量的这样的语句,比如:`List<Teacher>`,`Array<Teacher>`,`HTMLCollectionOf<HTMLOptionElement>`,如果你学习过JAVA对此应该并不陌生,这种`<>`的用法被称之为泛型。泛型译之于英文的`generic`,意为一般的、通用的、广泛的。大体就是说这个东西随我们的意愿,我们想让它是什么,它就是是什么。 在实际的使用中,泛型常常被用于一些像`容器`的一样的类型中。比如我们使用的最广泛的`List<T>`,`Array<T>`,无论是列表还是数组都是一个容器,该容器能够装入任何类型的数据,所以用泛型来`<T>`来对该容器进行标识。 这就像现实生活中3只相同玻璃杯:第一只玻璃杯第一次被倒入了水,从此它有了个新名字叫水杯;第二只玻璃杯第一次被倒入了酒,从此它有了个新名字叫酒杯;第三只玻璃杯第一次被倒入了花生油,从此它有了一个新名字叫油壶。由此看来玻璃杯是多用途的,在程序中把这种拥有各种装载给力的窗口称为泛型容器;用代码来表示上述三只玻璃杯:`水杯 = 玻璃杯<水>`,`酒杯 = 玻璃杯<酒>`, `油壶 = 玻璃杯<油>`。 在计算机的世界中,这个玻璃杯大概长这个样子: ```java class 玻璃杯<T➊> { T 存放的物质; ➋ void 装入<装入的物质: T➌> { this.存放的物质 = 装入的物质; } T➍ 取出() { return this.存放的物质; } } ``` * ➊ 【规定】该玻璃杯装啥都行;你规定装啥,咱就装啥。 * ➋ 【实际的存放地】你规定装啥,我就能存啥。 * ➌ 【存数据】你说装啥,那装的时候就必须是啥。 * ➍ 【取数据】你说装啥,那么取的时候就必然是啥。 当我们想用其装水时,我们需要用如下代码: ``` 玻璃杯<水> a = new 玻璃杯<水>(); ``` 此时,我们便得到了一个规定好的用于装水且只能装水的玻璃杯a。 ``` a.装入(水); ``` 规定了a装的是水,那么a就能装水,具只能装水。a装的水被存在了内部的➋中。 ``` 水 b = a.取出(); ``` 规定a装的是水,那么从a中取出来的也必然是水。 ## 多泛型 现实生活中除了家里的玻璃杯是多用途的以外,火锅店的`锅`也是典型的多用途容器。我们到了火锅店,你点清汤锅底那么倒入该`锅`里便是清汤,我们从中盛出的当然也会是清汤;你点麻辣锅底,该`锅`中便会是麻辣味道的汤。除此以外,还有一种`锅`叫做鸳鸯锅的,通过泛型来描述它的代码如下: ``` class 鸳鸯锅<T➊, D➋> { T 左侧锅装的汤; D 右侧锅装的汤; void 装入<装入左侧锅的汤: T, 装入右侧锅的汤 D> { ➌ this.左侧锅装的汤 = 装入左侧锅的汤; this.右侧锅装的汤 = 装入右侧锅的汤; } void 装入<装入左侧锅的汤: T> { ➍ this.左侧锅装的汤 = 装入左侧锅的汤; } void 装入<装入右侧锅的汤 D> { ➍ this.右侧锅装的汤 = 装入右侧锅的汤; } T 取出左侧锅装的汤() { ➎ return this.左侧锅装的汤; } D 取出右侧锅装的汤() { ➎ return this.右侧锅装的汤; } } ``` * ➊➋ 分别对内部的两个容器中的类型做约束 * ➌ 可以使用一个方法一起装入 * ➍ 也可以按类型分子容器装入 * ➎ 每个子容器装的是时候,获取的时候便也会是什么。 ## 总结 好了,到了总结的时候了。根据上面的一此代码我们猜测: * [ ] 当某个类具有`容器`性质的时候,可以使用泛型来声明。 * [ ] 在使用`容器`时,一旦设置`容器`中物质的具体类型。则该容器的后续操作,便被约束于该具体类型。 * [ ] 在具体装载数据以前它是宽泛的,而一旦声明装载数据的类型,便马上变得特定了 * [ ] `容器`中还可以有`子容器`,当容器可以装载多种物质时,需要对各种物质的类型分别进行约束。 笔者认为:泛型是对容器装载数据的一种约束,它即宽泛又特定。它的宽泛在于可以装载任何的类型,它的特定在于一旦指定了装置某种类型后后续的操作便只能针对此类型。