C# -Compiler optimiert nicht unnötige Umwandlungen

Question

Ein paar Tage zurück, während ich eine Antwort für this question hier auf Überlauf schrieb, wurde ich ein bisschen vom C# -Compiler überrascht, wer nicht tat, was ich erwartete, es zu tun. Schauen Sie sich den folgenden Code-Schnipsel:

Erstens:

object[] array = new object[1]; 

for (int i = 0; i < 100000; i++) 
{ 
    ICollection<object> col = (ICollection<object>)array; 
    col.Contains(null); 
} 

Zweitens:

object[] array = new object[1]; 

for (int i = 0; i < 100000; i++) 
{ 
    ICollection<object> col = array; 
    col.Contains(null); 
} 

Der einzige Unterschied im Code zwischen den beiden Schnipsel ist die Besetzung zu ICollection < object>. Da object [] die ICollection < object> interface explizit implementiert, erwartete ich, dass die beiden Snippets auf dieselbe IL kompiliert werden und daher identisch sind. Wenn ich jedoch Leistungstests mit ihnen durchführte, bemerkte ich, dass das Letztere etwa 6 mal so schnell war wie das Erste.

Nach dem Vergleich der IL aus beiden Schnipsel, bemerkte ich, dass beide Methoden identisch waren, mit Ausnahme einer ILA-Anweisung im ersten Snippet.

Überrascht von diesem frage ich mich jetzt, warum der C# -Compiler hier nicht 'schlau' ist. Die Dinge sind nie so einfach wie es scheint, warum ist der C# -Compiler hier ein bisschen naiv?

Answer 1

Meine Vermutung ist, dass Sie einen kleinen Fehler im Optimierer entdeckt haben. Es gibt alle Arten von Sonderfällen Code für Arrays. Danke, dass du mich darauf aufmerksam gemacht hast.

Answer 2

Dies ist eine grobe Schätzung, aber ich denke, es geht um die Beziehung des Arrays zu seiner generischen IEnumerable.

In .NET Framework Version 2.0, die Array-Klasse implementiert die System.Collections.Generic.IList, System.Collections.Generic.ICollection, und System.Collections.Generic.IEnumerable generic Schnittstellen. Die Implementierungen werden den Arrays zur Laufzeit zur Verfügung gestellt und sind daher für die Dokumentation Build Tools nicht sichtbar . Als Ergebnis wird die generischen Schnittstellen erscheinen nicht in der Deklarationssyntax für die Array- Klasse, und es gibt keine Referenz Themen für Schnittstellenelemente, die durch Gießen ein Array den generischen Schnittstellentypen (explizite nur zugänglich sind Schnittstellenimplementierungen). Der Schlüssel Sache zu beachten, wenn Sie eine Array auf eine dieser Schnittstellen zu werfen ist , dass Mitglieder, die hinzufügen, einfügen oder Elemente entfernen NotSupportedException.

Siehe MSDN Article.

Es ist nicht klar, ob dies mit .NET 2.0+ zu tun hat, aber in diesem speziellen Fall würde es Sinn machen, warum der Compiler Ihren Ausdruck nicht optimieren kann, wenn er nur zur Laufzeit gültig wird.