Konzepte und Terminologie (funktionale Transformation) (LINQ to XML)
Dieses Thema führt Sie in die Konzepte und Begriffe ein, die im Zusammenhang mit reinen funktionalen Transformationen verwendet werden. Bei Verwendung der funktionalen Transformation zum Transformieren von Daten erhalten Sie Code, der häufig schneller programmiert werden kann, ausdrucksstärker ist und einfacher von Fehlern bereinigt und verwaltet werden kann als Code, der auf die herkömmliche imperative Methode zurückzuführen ist.
Beachten Sie, dass die Themen in diesem Abschnitt keine vollständige Erläuterung der funktionalen Programmierung darstellen. In diesen Themen werden vielmehr einige der Funktionen zur funktionalen Programmierung beschrieben, die das Transformieren von XML von einer Form in eine andere erleichtern.
Was ist die reine funktionale Transformation?
Bei der reinen funktionalen Transformation definiert ein Satz von Funktionen, die sogenannten reinen Funktionen, wie ein Satz strukturierter Daten aus ihrer Originalform in eine andere Form transformiert werden soll. Das Wort „rein“ bedeutet dabei, dass die Funktionen zusammensetzbar sind. Dazu müssen sie die folgenden Voraussetzungen erfüllen:
- Sie müssen eigenständig sein, damit sie frei und ohne jede Verflechtungen oder Abhängigkeiten vom Rest des Programms geordnet und umgeordnet werden können. Reine Transformationen existieren komplett unabhängig von ihrer Umgebung und beeinflussen diese auch nicht. Damit haben die in der Transformation verwendeten Funktionen keinerlei Nebenwirkungen.
- Sie müssen zustandslos sein, damit das Ausführen ein und derselben Funktion oder eines bestimmten Satzes von Funktionen bei ein und derselben Eingabe auch immer zur selben Ausgabe führt. Reine Transformationen besitzen keine „Erinnerung“ an ihre vorherige Verwendung.
Wichtig
Im übrigen Teil dieses Lernprogramms wird der Begriff „reine Funktion“ allgemein als Bezeichnung für einen Programmieransatz und nicht als Bezeichnung für eine bestimmte Sprachfunktion verwendet.
Beachten Sie, dass reine Funktionen in C# als Methoden und in Visual Basic als Funktionen implementiert werden müssen.
Verwechseln Sie bitte auch nicht die reinen Funktionen mit den reinen virtuellen Methoden in C++. Die reinen virtuellen Methoden in C++ geben an, dass die enthaltene Klasse abstrakt ist und dass kein Methodentext angegeben wird.
Funktionale Programmierung
Die funktionale Programmierung (FP) ist ein Programmieransatz, der die reine funktionale Transformation direkt unterstützt.
In der Vergangenheit standen Allzwecksprachen zur funktionalen Programmierung, wie ML, Scheme, Haskell und F#, im Mittelpunkt des wissenschaftlichen Interesses. Es war zwar immer möglich, in C# und Visual Basic reine funktionale Transformationen zu schreiben, die damit verbundenen Schwierigkeiten ließen aber die meisten Programmierer davor zurückschrecken. In neueren Versionen von diesen Sprachen stehen jedoch neue Sprachkonstrukte, z.B. Lambdaausdrücke und Typableitung, zur Verfügung, mit denen die funktionale Programmierung wesentlich einfacher und produktiver wurde.
Weitere Informationen zur funktionalen Programmierung finden Sie unter Funktionale Programmierung im Vergleich zu imperativer Programmierung.
Domänenspezifische funktionale Programmiersprachen
Während allgemeine FP-Sprachen keine große Verbreitung gefunden haben, konnten sich bestimmte domänenspezifische FP-Sprachen durchsetzen. So wird z. B. das Aussehen vieler Internetseiten durch Cascading Style Sheets (CSS) gesteuert, während für die Bearbeitung von XML-Daten häufig XSLT-Stylesheets (Extensible Stylesheet Language Transformations) verwendet werden. Weitere Informationen zu XSLT finden Sie unter XSLT-Transformationen.
Terminologie
Im Folgenden finden Sie Definitionen für eine Reihe von Begriffen, die im Zusammenhang mit der funktionalen Transformation verwendet werden:
Funktion höherer Ordnung (Funktion erster Ordnung)
Funktion, die als programmgesteuertes Objekt behandelt werden kann. So kann eine Funktion höherer Ordnung z. B. an andere Funktionen übergeben oder von anderen Funktionen zurückgegeben werden. Zu den Sprachfunktionen in C# und Visual Basic, die Funktionen höherer Ordnung unterstützen, gehören Delegate und Lambdaausdrücke. Beim Schreiben einer Funktion höherer Ordnung deklarieren Sie für mindestens ein Argument, das diese Delegate akzeptiert, und beim Aufrufen einer solchen Funktion verwenden Sie häufig Lambdaausdrücke. Viele der Standardabfrageoperatoren sind Funktionen höherer Ordnung.
Weitere Informationen finden Sie unter Übersicht über Standardabfrageoperatoren (C#) und Übersicht über Standardabfrageoperatoren (Visual Basic).
Lambdaausdruck
Im Wesentlichen eine anonyme Inlinefunktion, die überall dort verwendet werden kann, wo ein Delegattyp erwartet wird. Dies ist zwar eine vereinfachte Definition für Lambdaausdrücke, im Rahmen dieses Lernprogramms reicht sie aber aus.
Weitere Informationen finden Sie unter Lambdaausdrücke (C#-Programmierhandbuch) und Lambdaausdrücke (Visual Basic)).
Auflistung
Strukturierter Satz von Daten, die in der Regel alle denselben Typ haben. Zur Gewährleistung der Kompatibilität mit LINQ muss eine Auflistung die IEnumerable-Schnittstelle oder die IQueryable-Schnittstelle (oder eines ihrer generischen Gegenstücke, IEnumerator<T> bzw. IQueryable<T>) implementieren.
Tupel (anonyme Typen)
Begriff aus der Mathematik, der eine endliche Abfolge von Objekten bezeichnet, die jeweils einen bestimmten Typ haben. Ein Tupel wird auch als geordnete Zusammenstellung bezeichnet. Dieses Konzept ist in Programmiersprachen als anonymer Typ implementiert, der es ermöglicht, einen nicht benannten Klassentyp zu deklarieren und gleichzeitig ein Objekt desselben Typs zu instanziieren.
Weitere Informationen finden Sie unter Anonyme Typen (C#-Programmierhandbuch) oder Anonyme Typen (Visual Basic).
Typableitung (implizite Typisierung)
Fähigkeit eines Compilers, den Typ einer Variablen in Abwesenheit einer expliziten Typdeklaration zu bestimmen.
Weitere Informationen finden Sie unter Implizit typisierte lokale Variablen (C#-Programmierhandbuch) und Lokaler Typrückschluss (Visual Basic).
Verzögerte Ausführung und verzögerte Auswertung
Bei der verzögerten Auswertung (Lazy Evaluation) eines Ausdrucks wird mit der Auswertung so lange gewartet, bis der aufgelöste Wert tatsächlich benötigt wird. Die verzögerte Ausführung (Deferred Execution) wird in Auflistungen unterstützt.
Weitere Informationen zu C# finden Sie unter Einführung in LINQ-Abfragen (C#) und Deferred Execution and Lazy Evaluation in LINQ to XML (C#) (Verzögerte Ausführung und Auswertung in LINQ to XML (C#)).
Weitere Informationen zu Visual Basic finden Sie unter Grundlegende Abfragevorgänge (Visual Basic) und Verzögerte Ausführung und verzögerte Auswertung in LINQ to XML (Visual Basic).
Diese Sprachfunktionen werden in Codebeispielen im gesamten Abschnitt verwendet.
