Tag: static typing

为什么foreach跳过对接口类型的编译时类型检查？

当我在C＃中使用foreach循环时，如果项类型是接口类型，则似乎不执行编译时类型检查。 例如 class SomeClass {} interface SomeInterface {} IEnumerable stuff; foreach(SomeInterface obj in stuff) { // This compiles – why!? } 这将很乐意编译并在运行时导致exception，当在编译时清楚这没有意义。 如果我将项类型从SomeInterface为另一个类，则会恢复编译时类型检查： IEnumerable stuff; foreach(Random obj in stuff) { // This doesn’t compile – good! } 当项类型是接口时，为什么没有编译时类型检查？ （这在Visual Studio 2008中的.NET 3.5 SP1中发生）