为什么说泛型是类型安全的

通常说泛型，比如List<T>是类型安全的，为什么这么说呢？

 

先来看一个类型不安全的例子。

 

    class Program
    {
        static void Main(string[] args)
        {
            var tempArr = new ArrayList();
            tempArr.Add(1);
            tempArr.Add("2");
            foreach (var item in tempArr)
            {
                int tempInt = (int) item;
                Console.WriteLine(tempInt);
            }
            Console.ReadKey();
        }
    }

 

可以往ArrrayList实例中添加任何类型。但在遍历集合转换的时候，会抛出一个转换异常。

 

 

如果使用List<T>泛型呢？

 

    class Program
    {
        static void Main(string[] args)
        {
            List<int> tempArr = new List<int>();
            tempArr.Add(1);
            tempArr.Add(2);
            foreach (var item in tempArr)
            {
                int tempInt = (int) item;
                Console.WriteLine(tempInt);
            }
            Console.ReadKey();
        }
    }

 

用List<int>后，关于类型安全，有2个体会：

 

1、如果使用tempArr.Add("3")，这在编译期就不通过
2、在进行类型转换的时候不会抛出异常