为什么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中发生）

Answer 1

在编译时不清楚程序的另一部分（可能在不同的项目中）是否具有：

 class SomeOtherClass : SomeClass, ISomeInterface { public static IEnumerable GetSomeStuff() { for( int i = 0; i<10; ++i) yield return new SomeOtherClass(i); } } 

现在运行时检查SUCCEEDS。

如果你将SomeClass标记为sealed那么这是不可能的，并且再次可以在编译时知道转换将永远不会工作。