当我在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标记为密封,那么这是不可能的,并且再次可以在编译时知道转换将永远不会工作.
