Question

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

E.g。

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);
   }
}

现在运行时检查SUCCEEDS。

如果您将SomeClass标记为sealed，那么这是不可能的，并且再次可以在编译时知道演员阵容永远不会有效。

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

1 个答案: