in C#, warum ich eine Schnittstelle zu jeder Art ohne Compiler-Fehler werfen kann

Question

Betrachten Sie den folgenden Code

IDisposable foo = <something>; 
ArrayList bar = (ArrayList)foo; 

Dies sogar ohne Warnung kompiliert obwohl Arraylist IDisposable nicht implementiert.

Es scheint, dass Sie jede Schnittstelle in eine Klasse umwandeln können, die diese Schnittstelle nicht implementiert. Da die beiden Arten zur Kompilierungszeit offensichtlich sind, warum überprüft der Compiler das nicht?

Answer 1

Es wird nicht validiert, da es sich um eine gültige Besetzung handeln könnte.

public class Foo : ArrayList, IDisposable 
{ 
    ... 
} 
public class Bar : IDisposable 
{ 
    ... 
} 

Random rand = new Random(); 
public IDisposable SomtimesGetArrayList() 
{ 
    if(rand.Next(0,4) == 0) 
     return new Bar(); 

    return new Foo(); 
} 

//Elsewhere 
IDisposable foo = SomtimesGetArrayList(); 
ArrayList bar = (ArrayList)foo; 

3 von 4 Anrufen SomtimesGetArrayList ein Objekt zurück, das erfolgreich gegossen werden kann. Es ist zu viel Verarbeitungsaufwand für den Compiler, jeden Codepfad zu überprüfen und sicherzustellen, dass jeder mögliche Weg potenziell ein Objekt erzeugen könnte.

Wenn Sie jedoch eine sealed Klasse hatten, kann der Compiler weitere Annahmen treffen und es muss nicht jeder Pfad überprüft werden, um zu wissen, dass der Cast immer fehlschlägt, der folgende Code lautet will fail to compile.

using System; 

public class Program 
{ 
    public static void Main() 
    { 
     IDisposable foo = new Foo(); 
     Bar bar = (Bar)foo; 
    } 
} 

public class Foo : IDisposable 
{ 
    public void Dispose() 
    { 
    } 
} 

public sealed class Bar 
{ 
}