实现参数化多态

在面向对象语言中，有两个基本方法实现参数化多态。
1.“同类”实现对参数化类型的所有实例化执行相同的编译代码
2.“异类”实现对参数类型的每个独立的实例化产生专门代码的编译代码

同类实现方法的原理是在编译时去掉类型参数，用适合于所有实例的通用类型替换他们。在GJ中，运行时没有类型参数信息，而是GJ编译器插入多台类型映射到代码中，保证类型安全。
优点：节省内存
缺点：类型擦除丢失了信息这就意味着类型参数无法在一个新表达式中指定类型，而且类型参数不能用作映射的类型、catch或instanceof表达式中。

异类实现方法可以通过Java层实现，它为每个实例产生了专用的代码。
优点：改进了同类实现方法
缺点：如果实例很多，会产生代码膨胀，此外，替换实例类中的实际类型参数，会导致当实际类型和参数类型在不同的包中时，产生访问控制限制。

同类实现和异类实现各有优缺点，如果编译器提供让程序员自己选择控制实例化的方法是否可以取长补短呢？