java泛型详解
相关文章：
1、《夯实JAVA基本之一 —— 泛型详解(1):基本使用》
2、《夯实JAVA基本之一——泛型详解(2)：高级进阶》
3、《夯实JAVA基本之二 —— 反射（1）：基本类周边信息获取》
4、《夯实JAVA基本之二 —— 反射（2）：泛型相关周边信息获取》
5、《夯实JAVA基本之二 —— 反射（3）：类内部信息获取》
一、类型绑定
1、引入
我们重新看上篇写的一个泛型：
-
class Point<T> {
-
private T x;
// 表示X坐标
-
private T y;
// 表示Y坐标
-
-
public void setX(T x) {
-
this.x = x;
-
}
-
-
public void setY(T y) {
-
this.y = y;
-
}
-
-
public T getX() {
-
return
this.x;
-
}
-
-
public T getY() {
-
return
this.y;
-
}
-
}
-
-
//使用
-
Point
p1 =
new Point();
-
p1.setX(
new Integer(
100));
-
System.out.println(p1.getX());
然后，问题来了，那在泛型类Point
private T x;
那么问题又来了，如果我想写一个找到最小值的泛型类；由于不知道用户会传什么类型，所以要写一个接口,让用户实现这个接口来自已对比他所传递的类型的大小。
接口如下：
-
public
interface Comparable<T>{
-
public boolean compareTo(T i);
-
}
这是因为，编译器根本无法得知T是继承自Comparable接口的函数。那怎么样才能让编译器知道，T是继承了Comparable接口的类型呢？
这就是类型绑定的作用了。
2、类型绑定：extends
（1）、定义有时候，你会希望泛型类型只能是某一部分类型，比如操作数据的时候，你会希望是Number或其子类类型。这个想法其实就是给泛型参数添加一个界限。其定义形式为：
一定要非常注意的是，这里的extends不是类继承里的那个extends！两个根本没有任何关联。在这里extends后的BoundingType可以是类，也可以是接口，意思是说，T是在BoundingType基础上创建的，具有BoundingType的功能。目测是JAVA的开发人员不想再引入一个关键字，所以用已有的extends来代替而已。
（2）、实例：绑定接口
同样，我们还使用上面对比大小的接口来做例子
首先，看加上extends限定后的min函数：
-
public
interface Comparable<T> {
-
public boolean compareTo(T i);
-
}
-
//添加上extends Comparable之后，就可以Comparable里的函数了
-
public
static
T min(T...a){
-
T smallest = a[
0];
-
for(T item:a){
-
if (smallest.compareTo(item)){
-
smallest = item;
-
}
-
}
-
return smallest;
-
}
从这段代码也可以看出，类型绑定有两个作用：1、对填充的泛型加以限定 2、使用泛型变量T时，可以使用BoundingType内部的函数。
这里有一点非常要注意的是，在这句中smallest.compareTo(item)，smallest和item全部都是T类型的，也就是说，compareTo对比的是同一种类型。
然后我们实现一个派生自Comparable接口的类：
-
public
class StringCompare implements Comparable<StringCompare> {
-
private String mStr;
-
-
public StringCompare(String string){
-
this.mStr = string;
-
}
-
-
@Override
-
public boolean compareTo(StringCompare str) {
-
if (mStr.length() > str.mStr.length()){
-
return
true;
-
}
-
return
false;
-
}
-
}
在这段代码中compareTo的实现为，对比当前mstr的长度与传进来实例的mstr长度进行比较，如果超过，则返回true,否则返回false;
最后是使用min函数：
-
StringCompare result = min(
new StringCompare(
"123"),
new StringCompare(
"234"),
new StringCompare(
"59897"));
-
Log.d(TAG,
"min:"+result.mStr);
这里有extends接口，我们开篇说过，extends表示绑定，后面的BindingType即可以是接口，也可以是类，下面我们就再举个绑定类的例子。
源码在文章底部给出
（3）、实例：绑定类
我们假设，我们有很多种类的水果，需要写一个函数，打印出填充进去水果的名字：
为此，我们先建一个基类来设置和提取名字：
-
class Fruit {
-
private String name;
-
-
public String getName() {
-
return name;
-
}
-
public void setName(String name) {
-
this.name = name;
-
}
-
}
-
public
static
String getFruitName(T t){
-
return t.getName();
-
}
然后，我们新建两个类，派生自Fruit，并填充进去它们自己的名字:
-
class Banana extends Fruit{
-
public Banana(){
-
setName(
"bababa");
-
}
-
}
-
class Apple extends Fruit{
-
public Apple(){
-
setName(
"apple");
-
}
-
}
-
String name_1 = getFruitName(
new Banana());
-
String name_2 = getFruitName(
new Apple());
-
Log.d(TAG,name_1);
-
Log.d(TAG,name_2);
源码在文章底部给出
（4）、绑定多个限定
上面我们讲了，有关绑定限定的用法，其实我们可以同时绑定多个绑定,用&连接，比如：
-
public
static
String getFruitName(T t){
-
return t.getName();
-
}
-
public
static
T foo(T a, U b){
-
…………
-
}
好了，这部分就讲完了，下面讲讲有关通配符的用法。
二、通配符
通配符是一个非常令人头疼的一个功能，理解与掌握难度比较大，下面我尽力去讲明白它与泛型变量的区别与用法。1、引入
重新来看我们上篇用的Point泛型定义：
-
class Point<T> {
-
private T x;
-
private T y;
-
-
public Point(){
-
-
}
-
public Point(T x,T y){
-
this.x = x;
-
this.y = y;
-
}
-
-
public void setX(T x) {
-
this.x = x;
-
}
-
-
public void setY(T y) {
-
this.y = y;
-
}
-
-
public T getX() {
-
return
this.x;
-
}
-
-
public T getY() {
-
return
this.y;
-
}
-
}
我们看看下面这段使用的代码：
-
Point
integerPoint =
new Point(
3,
3);
-
…………
-
Point
floatPoint =
new Point(
4.3f,
4.3f);
-
…………
-
Point
doublePoint =
new Point(
4.3d,
4.90d);
-
…………
-
Point
longPoint =
new Point(
12l,
23l);
-
…………
在这里，我们生成四个实例，就得想四个名字。如果我们想生成十个不同类型的实例呢？那不得想十个名字。
光想名字就是个事，（其实我并不觉得想名字是个什么大事…… T _ T ，没办法，想不出更好的例子了…… ）
那有没有一种办法，生成一个变量，可以将不同类型的实例赋值给他呢？
2、无边界通配符：？
（1）、概述先不讲无边界通配符是什么，同样拿上面的例子来看，如果我们这样实现：
-
Point point;
-
-
point =
new Point
(
3,
3);
-
point =
new Point
(
4.3f,
4.3f);
-
point =
new Point
(
4.3d,
4.90d);
-
point =
new Point
(
12l,
23l);
Point point;
-
point =
new Point
(
3,
3);
-
point =
new Point
(
4.3f,
4.3f);
-
point =
new Point
(
4.3d,
4.90d);
-
point =
new Point
(
12l,
23l);
所以这里可能大家就明白了，这里不光能将泛型变量T填充为数值类型，其实任意Point实例都是可以传给point的：比如这里的Point