c# – 为什么foreach跳过接口类型的编译时类型检查?

当我在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中发生)

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

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

现在运行时检查SUCCEEDS.

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

相关文章
相关标签/搜索