Dlaczego foreach pomija czas kompilacji sprawdzania typów interfejsów?

Question

Gdy używam pętli foreach w języku C#, wydaje się, że nie jest wykonywane sprawdzanie typu czasu kompilacji, jeśli typ elementu jest typem interfejsu.

E.g.

class SomeClass {} 
interface SomeInterface {} 

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

to chętnie skompilować i spowodować wyjątek w czasie wykonywania, gdy jest jasne, w czasie kompilacji to nie ma sensu. Jeśli zmienić typ elementu z SomeInterface do innej klasy, a następnie kompilacji typu sprawdziany przywrócone:

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

Dlaczego nie ma kompilacji typu kontroli czasu, gdy typ elementu jest interfejs?

(Dzieje się tak z .NET 3.5 SP1 w Visual Studio 2008)

Answer 1

nie jest jasne, w czasie kompilacji, czy kolejna część programu, może w innym projekcie, posiada:

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

Teraz środowisko wykonawcze sprawdza SUCCEEDS.

Jeśli oznaczysz SomeClass jako sealed, nie będzie to możliwe, i znowu będzie można dowiedzieć się podczas kompilacji, że rzutowanie nigdy nie zadziała.