廖雪峰Java4反射与泛型-3范型-4擦拭法

1.擦拭法是Java泛型的实现方式。

• 编译器把类型视为Object。
  * 泛型代码编译的时候，编译器实际上把所有的泛型类型T统一视为Object类型。换句话说，虚拟机对泛型一无所知，所有的工作都是编译器做的。
• 编译器根据实现安全的强制转型。
  * Java的范型实际是有Java在编译时进行的。编译器内容永远把T视为Object处理，只是在需要转型的时候，根据T的类型实行安全的强制转型。
  

2.java的泛型是由擦拭法实现的，因此有一些局限：

2.1.不能是基本类型，例如int

• 编译器把T视为Object，Object是无法持有基本类型的
  

2.2.无法取得带泛型的Class

无论T的类型是什么，返回的永远是范型类。如Pair和Pair反射获取Class，获取的都是同一个Class：Pair。

public class Main {
    public static void main(String[] args){
        Pair<String> s = new Pair<>("xiaoming","xiaohong");
        Pair<Integer> i = new Pair<>(4,5);

        Class c1 = s.getClass();
        Class c2 = i.getClass();
        System.out.println("c1:"+c1);
        System.out.println("c2:"+c2);

        System.out.print("c1==c2:");
        System.out.println(c1==c2);

        System.out.print("c1 == Pair.class:");
        System.out.println(c1 == Pair.class);
    }
}

### 2.3.无法判断带泛型的Class ```#java //判断instance只能使用Pair public class Main { public static void main(String[] args){ Pair s = new Pair<>("xiaoming","xiaohong"); Pair i = new Pair<>(4,5); if(s instanceof Pair){ System.out.println("true"); } } } ```

2.4.不能实例化T类型，因为擦拭后实际上是new Object()

```#log 实例化T类型必须借助Class ``` ```#java public class Pair { private T first; private T last; public Pair(Class clazz) throws IllegalAccessException,InstantiationException{ first = clazz.newInstance(); last = clazz.newInstance(); } public T getFisrt(){ return first; } public T getLast(){ return last; } public void setFirst(T first){ this.first = first; } public void setLast(T last){ this.last = last; } public String toString(){ return "Pari("+first+","+last+")"; } } ``` ### 2.5注意编写的泛型类的方法不要与Object的方法重名 ```#java public class Pair { private T first; private T last; public Pair(T first,T last){ this.first = first; this.last = last; } public T getFirst(){ return first; } public void setFirst(){ this.first = first; } public T getLast(){ return last; } public void setLast(){ this.last = last; } public String toString(){ return "Pair("+first+", "+last+")"; } /**提示与java.lang.Object的equals方法重名。因为范型采用了擦拭法，T擦拭后变成了Object。因此要注意与Object的重名问题 * 'equals(T)' in 'com.testArray.pair' clashs with 'equals(Object)' in 'java.lang.Object';both methods have same erasure,yet neither overides the other public boolean equals(T pair){ return true; }*/ } ``` ## 3.泛型继承： 可以继承子泛型类 父类的类型是Pair 子类的类型是IntPair Pari.java ```#java package com.testArray;

public class Pair {
private T first;
private T last;
public Pair(T first,T last){
this.first = first;
this.last = last;
}
}

IntPair.java
```#java
package com.testArray;

public class IntPair extends Pair<Integer>{
    public IntPair(Integer first,Integer last){
        super(first,last);
    }
}

package com.testArray;

import java.lang.reflect.ParameterizedType;
import java.lang.reflect.Type;

public class Main {
    public static void main(String[] args){
        Pair<String> p = new Pair<>("xiao","ming");
        IntPair ip = new IntPair(1,2);
        System.out.println(p instanceof Pair);
        System.out.println(ip instanceof Pair);
        System.out.println(ip instanceof IntPair);
        //getSuperClass()获得该类的父类
        //getGenericSuperclass()获得带有泛型的父类
        //Type是 Java 编程语言中所有类型的公共高级接口。它们包括原始类型、参数化类型、数组类型、类型变量和基本类型。
        Type type = IntPair.class.getGenericSuperclass();
        //ParameterizedType参数化类型，即泛型
        ParameterizedType pt = (ParameterizedType) type;
        //getActualTypeArguments获取参数化类型的数组，泛型可能有多个
        Type[] types = pt.getActualTypeArguments();
        Class<?> clazz = (Class<?>) types[0];
        /**
         * ？ 表示不确定的java类型。 
         * T  表示java类型。 
         * K V 分别代表java键值中的Key Value。 
         * E 代表Element。 
         */
        System.out.println(clazz);
    }
}

总结：

*    Java的泛型是采用擦拭法实现的
*    擦拭法决定了泛型<T>:
    *    不能是基本类型，例如int
    *    不能获取带泛型类型的Class，例如Pair<String>.class
    *    不能判断带泛型类型的类型，例如: x instanceof Pair<String>
    *    不能实例化T类型，例如new T()
    *    泛型方法要防止重复定义方法，例如public boolean equals(T obj)
*    子类可以获取父类的泛型类型<T>

https://blog.csdn.net/liang5630/article/details/40185591
https://www.cnblogs.com/skyislimit/p/5665853.html