Typbeziehungen in Abfrageoperationen (LINQ)
Aktualisiert: November 2007
Um Abfragen effektiv erstellen zu können, ist es wichtig, dass Sie verstehen, wie die Variablentypen in einer vollständigen Abfrageoperation miteinander zusammenhängen. Wenn Sie diese Beziehungen verstehen, können Sie die LINQ-Beispiele und die Codebeispiele in der Dokumentation besser nachvollziehen. Weiterhin können Sie dann besser verstehen, was im Hintergrund abläuft, wenn Variablen implizit mithilfe von var typisiert werden.
LINQ-Abfrageoperationen sind in der Datenquelle, in der Abfrage selbst und in der Abfrageausführung stark typisiert. Die Variablentypen in der Abfrage müssen mit den Elementtypen in der Datenquelle und mit dem Typ der Iterationsvariablen in der foreach-Anweisung kompatibel sein. Diese starke Typisierung stellt sicher, dass Typfehler zur Kompilierzeit abgefangen werden, sodass sie korrigiert werden können, bevor die Benutzer sie ausführen.
Um diese Typbeziehungen zu veranschaulichen, wird in den meisten folgenden Beispielen explizite Typisierung für alle Variablen angewendet. Im letzten Beispiel wird gezeigt, wie diese Prinzipien auch dann gelten, wenn Sie die implizite Typisierung mithilfe von var verwenden.
Abfragen, bei denen die Quelldaten nicht transformiert werden
Die folgende Abbildung zeigt eine LINQ-Abfrageoperation für Objekte, die keine Transformationen der Daten ausführt. Die Quelle enthält eine Sequenz von Zeichenfolgen, und die Abfrageausgabe ist ebenfalls eine Sequenz von Zeichenfolgen.
.png)
Das Typargument der Datenquelle bestimmt den Typ der Bereichsvariablen.
Der Typ des Objekts, das ausgewählt ist, bestimmt den Typ der Abfragevariablen. In diesem Beispiel ist name eine Zeichenfolge. Daher ist die Abfragevariable eine IEnumerable<string>.
Die Abfragevariable durchläuft in der foreach-Anweisung verschiedene Iterationen. Da die Abfragevariable eine Sequenz von Zeichenfolgen ist, ist die Iterationsvariable ebenfalls eine Zeichenfolge.
Abfragen, bei denen die Quelldaten transformiert werden
Die folgende Abbildung zeigt eine LINQ to SQL-Abfrageoperation, die eine einfache Datentransformation ausführt. Die Abfrage verwendet eine Sequenz von Customer-Objekten als Eingabe und wählt nur die Name-Eigenschaft im Ergebnis aus. Da Name eine Zeichenfolge ist, erzeugt die Abfrage eine Sequenz von Zeichenfolgen als Ausgabe.
.png)
Das Typargument der Datenquelle bestimmt den Typ der Bereichsvariablen.
Die select-Anweisung gibt die Name-Eigenschaft statt des vollständigen Customer-Objekts zurück. Da Name eine Zeichenfolge ist, lautet das Typargument von custNameQuery nicht Customer, sondern string.
Da custNameQuery eine Sequenz von Zeichenfolgen ist, muss die Iterationsvariable der foreach-Schleife auch ein string sein.
Die folgende Abbildung zeigt eine etwas komplexere Transformation. Die select-Anweisung gibt einen anonymen Typ zurück, der nur zwei Member des ursprünglichen Customer-Objekts erfasst.
.png)
Das Typargument der Datenquelle ist immer der Typ der Bereichsvariablen in der Abfrage.
Da die select-Anweisung einen anonymen Typ erzeugt, muss die Abfragevariable mithilfe von var implizit typisiert werden.
Da der Typ der Abfragevariablen implizit ist, muss die Iterationsvariable in der foreach-Schleife auch implizit sein.
Ableiten von Typinformationen durch den Compiler
Auch wenn Sie die Typbeziehungen einer Abfrageoperation grundsätzlich verstehen sollten, haben Sie die Option, den Compiler alle Arbeitsschritte ausführen zu lassen. Das var-Schlüsselwort kann in einer Abfrageoperation für jede lokale Variable verwendet werden. Die folgende Abbildung ist eine genaue Entsprechung für Beispiel Nummer 2, das früher erläutert wurde. Der einzige Unterschied besteht darin, dass der Compiler den starken Typ für jede Variable in der Abfrageoperation bereitstellt:
.png)
Weitere Informationen über var finden Sie unter Implizit typisierte lokale Variablen (C#-Programmierhandbuch).