为什么C#允许异构IList

为什么下面的代码在C#4.0中编译得很好？我期待这样的潜在代码会被编译器捕获; 但令我惊讶的是,这段代码编译得很好.任何人都可以解释C#编译器在什么范围内确保类型安全？

    IList al = new List();
    al.Add(new Dog()); //Dog implements IAnimal
    al.Add(new Cat()); //Cat implements IAnimal
    foreach (var animal in al)
    {
        ((Dog)animal).Bark(); //Application crash when current item is Cat
    }

SLaks.. 12

转换操作符显式告诉编译器忽略类型安全并假装你知道你在做什么.
它意味着在您知道对象的实际类型的情况下使用,即使编译器无法证明它.

因为C#是一种内存安全的语言,所以搞砸了InvalidCastException (与C++相反,它将调用未定义的行为并且默默地破坏事物).