java中数组与泛型的自我理解

import java.util.ArrayList;
class  TestArrayAndaGeneric
{
	public static void main(String[] args) 
	{
		ArrayList<String> al = new ArrayList();//不报错,但al不能添加String类型以外的对象作为元素
		//al.add(15);//报错
		al.add("hafahha");
		
		//下面两句不报错，泛型在编译时期严格进行语法检查，一行一行编译代码，所以不报错
		//源程序被编译后的字节码不带泛型，所以添加元素也没问题
		ArrayList al2 = new ArrayList<String>();
		ArrayList<Integer> al3 = al2;
		al3.add(8);
		//al3.add("haha");//报错，编译时al3带着泛型，al3只能添加Integer类型对象
		System.out.println(al3.size());
		System.out.println(al3.get(0));
		
		//数组与泛型,数组不同于泛型，数组编译时不报错，但运行时报错，因为数组类型一直到运行时期仍然还在。
		Object[] obj = new String[4];
		//obj[2] = 7;//报错
		//System.out.println(obj[2]);
		
		ArrayList[] alList1 = new ArrayList[5];

		ArrayList<String>[] alList2 = new ArrayList[3];
		alList2[0] = new ArrayList();
		alList2[1] = new ArrayList<String>();
		//alList2[2] = new ArrayList<Object>();//错误: 不兼容的类型
		alList2[0].add("hehe");
		//alList2[0].add(4);// 错误: 对于add(int), 找不到合适的方法

		//ArrayList<String>[] alList3 = new ArrayList<String>[8];//错误:创建泛型数组

		//初步理解：java中允许定义泛型数组，但不允许创建泛型数组；定义了泛型数组，则编译时期泛型会一直跟随数组。
	}
}