内容来至java核心技术第9版第12章
1. 不能用基本类型参数化实例类型
即，没有Pair<int>，Pair<float>等类型
2. 运行时类型检查只适用于原始类型，即JVM中不存在泛型或指定类型的泛型，导致无法进行某些判断
ex. if(a instanceof Pair<String>) ; //--- error，无法判断a是Pair<String>的一个实例，因为运行时，类型擦出后变成pair<Object>，无法判断是否为String类型；
同理，强制类型转换时也会出现同样的问题
ex. Pair<String> p = (Pair<String>) a; //error， (Pair<String>) a运行时无法得知String类型，只能得到Pair<Object>，导致转换异常
不同类型泛型擦出验证，以下代码说明JVM时是不区分泛型类型的，只保留原始类型
Pair<String> p1 = ...;
Pair<Integer> p2 = ...;
if(p1.getClass()==p2.getClass()); //true
3. 不能创建参数化类型的数组
pair<String> p = new Pair<Sting>[10]; //error
因为擦出机制，运行时无法区分p的引用内容（泛型具体类型），导致出现＂猫插入狗列表＂等业务逻辑上的异常，因此java得设计者阻止了这种应用．
4. Varargs警告
Varargs警告基于java不允许创建参数化类型数组，但是允许可变参数引用的情况（此时的参数为类型参数），以下理解为抑制ts数组的警告．
@SafeVarargs
Public static <T> void addAll(Collection<T> coll, T ... ts){ //ts理解为数组
for(t:ts)coll.add(t);
}
5. 不能实例化类型变量，new T(...), new T[...], T.class, JVM时变成new Object(...), new Object[...], Object.class，业务上不可能存在这样的调用，所有java阻止了这种应用． 但是通过引用传递的方式是可以到达某种类似效果的，比如：
Public static <T> pair<T> makePair(Class<T> cl){
try{
return new Pair<>(cl.newInstance,cl.newInstance);
}catch(Exception e){
return null;
}
}
...
Pair<String> p = Pair.makePair(String.class);
6. 禁止使用带有类型参数的静态域或方法，JVM时可能会遇到数据插入混乱问题，java阻止了这种应用．
7. 不能抛出或捕获泛型类的实例，甚至连扩展Throwable都是不允许的．
public class Problem<T> extends Exception{ //error, can't extends Throwable
...
}
public static <T extends Throwable> void doWork(Class<T> t){
try{
do Work;
}catch(T e){ //error, can't catch type variable
Logger.global.info(...)
}
}
//不过在异常规则允许下是可以用到类型参数的
public static <T extends Throwable> void doWork()T t throw T //OK
{...}
8.注意擦出后的冲突，所以不能再泛型类中建立类似equals(T x)这样的方法，因为擦出后与Object.equals(object obj)冲突了（相同的方法参数与方法名）．
当两个接口是同一个接口的不同参数化时，要强行限制一个类或类型变量不能同时成为这两个类的子类，即不能同时extends或implements这两个接口（有可能与中间合成的桥方法冲突）．