每次提到语言的时候我总是忍不住骂Java是一门生产力低下，固步自封的语言——这估计要一直等到Java语言被JVM上的其他语言取代之后吧。JVM上目前已经有许多语言了：JRuby，Jython；还有一些特定于JVM平台的语言，如Scala和Groovy等等。但是，为什么JVM上没有C#语言呢？按理说，这门和Java十分相似，却又强大许多的语言更容易被Java程序员接受才对。您可能会说，Sun和微软是对头，怎么可能将C#移植到JVM平台上呢？嗯，有道理，但是为什么社区里也没有人这么做呢（要知道JVM上其他语言都是由社区发起的）？其实在我看来，这还是受到了技术方面的限制。

　　泛型是Java和C#语言的重要特性，它使得程序员可以方便地进行类型安全的编程，而不需要像以前那样不断进行类型转换。例如，我们要在Java中写一个泛型字典的封装便可以这么做：

　　看上去和C#并没有什么区别，不是吗？不过，如果我们观察编译后生成的bytecode（类似于。NET平台上的IL），便会发现一丝奇妙之处。使用javap-cDictWrapper得到的结果是：

　　从bytecode中可以看出，其中并没有包含任何与K，V有关的信息。get/put方法的参数和返回值都是Object类型，甚至内置的HashMap也是如此。那么调用DictWrapper的代码是如何做到“强类型”的呢？例如：

　　它的bytecode便是：

　　看到标号为22的那行代码没有？这条checkcast指令便是将上一句invokevirtual的结果转化为String类型——DictWrapper.get所返回的是个最普通不过的Object。

　　这便是Java语言的泛型实现——请注意我这里说的是Java语言，而不是JVM。因为JVM本身并没有“泛型”的概念，Java语言的泛型则完全是编译器的魔法。我们写出的泛型代码，事实上都是和Object对象在打交道，是编译器在帮我们省去了冗余的类型转换代码，以此保证了代码层面的类型安全。由于在运行时去除所有泛型的类型信息，因此这种泛型实现方式叫做TypeErasure（类型擦除）。