Warum überspringt foreach die Überprüfung der Kompilierzeit für Schnittstellentypen?

Question

Wenn ich eine foreach Schleife in C# verwende, scheint es, dass keine Kompilierzeit Typprüfung durchgeführt wird, wenn der Elementtyp ein Schnittstellentyp ist.

z.

Dies wird gerne kompilieren und eine Ausnahme zur Laufzeit verursachen, wenn es bei der Kompilierung klar ist, macht dies keinen Sinn. Wenn ich den Elementtyp aus SomeInterface in einer anderen Klasse zu ändern, kompiliert dann Zeit Typprüfung gestellt wird:

IEnumerable<SomeClass> stuff; 
foreach(Random obj in stuff) { // This doesn't compile - good! 
} 

Warum gibt es keine Kompilierung Typüberprüfungen Zeit, wenn der Elementtyp eine Schnittstelle?

(Dies geschieht mit .NET 3.5 SP1 in Visual Studio 2008)

Answer 1

nicht klar, bei der Kompilierung ist, ob ein anderer Teil des Programms, vielleicht in einem anderen Projekt hat:

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

Jetzt ist die Laufzeitprüfung ERFOLGREICH.

Wenn Sie SomeClass als sealed markieren, ist dies nicht möglich, und es ist wieder möglich, zur Kompilierzeit zu wissen, dass die Besetzung niemals funktioniert.