c# - 为什么 foreach 会跳过接口类型的编译时类型检查？

Question

当我在 C# 中使用foreach循环时，如果项目类型是接口类型，则似乎不执行编译时类型检查。

例如

class SomeClass {}
interface SomeInterface {}

IEnumerable<SomeClass> stuff;
foreach(SomeInterface obj in stuff) { // This compiles - why!?
}

这将愉快地编译并在运行时导致异常，在编译时很清楚这是没有意义的。如果我将项目类型更改SomeInterface为另一个类，则恢复编译时类型检查：

IEnumerable<SomeClass> 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<SomeClass> GetSomeStuff()
   {
      for( int i = 0; i<10; ++i)
         yield return new SomeOtherClass(i);
   }
}

现在运行时检查成功了。

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