Java 泛型优点之编译时类型检查
使用泛型代码要比非泛型代码更有优势，下面是 Java 官方教程对泛型其中一个优点的介绍：
“Stronger type checks at compile time.
A Java compiler applies strong type checking to generic code and issues errors if the code violates type safety. Fixing compile-time errors is easier than fixing runtime errors, which can be difficult to find.”
现在我有两点
疑问
：
1、
在使用泛型时能在编译时被检测出的问题，在未使用泛型时是怎样的情况？即怎样才会出现这类上文中最后一句提到的不是更容易解决的运行时错误？（以代码举例）
2、
Java 如何提供这种编译时的更强的类型检查（第一句）。
解决
在 Java 还未明确的实现泛型机制之前，是具有泛型能力的，只不过没有进行语法层次上的包装。比如以容器举例。
容器的中的元素基本类型都是 Object，而由于 Java 的设计理念，Java 中所有类默认都是继承于 Object 的，所以容器中的每一个元素都可 hold 任意对象的实例。
代码如下：
ArrayList list = new ArrayList();