Werte

  • Artikel

Werte in F# sind Mengen, die einen bestimmten Typ aufweisen. Werte können Ganzzahlen oder Gleitkommazahlen, Zeichen oder Text, Listen, Sequenzen, Arrays, Tupeln, Unterscheidungs-Unions, Datensätze, Klassentypen oder Funktionswerte sein.

Binden eines Werts

Der Begriff Bindung bezeichnet das Zuordnen eines Namens zu einer Definition. Das let-Schlüsselwort bindet einen Wert, wie in den folgenden Beispielen:

let a = 1
let b = 100u
let str = "text"

// A function value binding.

let f x = x + 1

Der Typ eines Werts wird aus der Definition abgeleitet. Für einen primitiven Datentyp, z.B. eine Ganzzahl oder Gleitkommazahl, wird der Typ vom Typ des Literals bestimmt. Aus diesem Grund leitet der Compiler im vorherigen Beispiel den Typ b ab, um unsigned int zu sein, hingegen leitet der Compiler den Typ a ab, damit er int wird. Der Typ eines Funktionswerts wird anhand des Rückgabewerts im Funktionsrumpf bestimmt. Weitere Informationen über Funktionswerttypen finden Sie unter Funktionen. Weitere Informationen über Literaltypen finden Sie unter Literale.

Der Compiler gibt standardmäßig keine Diagnose zu nicht verwendeten Bindungen aus. Wenn Sie diese Meldung empfangen möchten, aktivieren Sie die Warnung 1182 in Ihrer Projektdatei oder wenn Sie den Compiler aufrufen (siehe --warnon unter Compileroptionen).

Warum unveränderlich?

Unveränderliche Werte sind Werte, die im Verlauf der Ausführung des Programms nicht geändert werden können. Wenn Sie an Sprachen wie C++, Visual Basic oder C# gewöhnt sind, finden Sie es möglicherweise überraschend, dass F# unveränderlichen Werte Vorrang gewährt, anstelle von Variablen, denen während der Ausführung eines Programms neue Werte zugeordnet werden können. Unveränderliche Daten sind ein wichtiges Element der funktionalen Programmierung. In einer Multithreadumgebung sind freigegebene änderbare Variablen, die von vielen unterschiedlichen Threads geändert werden können, schwierig zu verwalten. Darüber hinaus kann man mit änderbaren Variablen manchmal nur schwer feststellen, ob eine Variable geändert werden kann, wenn sie an eine andere Funktion übergeben wird.

In reinen funktionalen Sprachen gibt es keine Variablen, und Funktionen verhalten sich genau wie mathematische Funktionen. Wo Code in einer prozeduralen Sprache eine Zuweisung einer Variable verwendet, um einen Wert zu ändern, verfügt der entsprechende Code in einer funktionalen Sprache über einen unveränderlichen Wert, der die Eingabe ist, eine unveränderliche Funktion und über verschiedene unveränderliche Werte als Ausgabe. Diese mathematische Strenge ermöglicht genauere Schlussfolgerungen über das Verhalten des Programms. Diese Strenge ist der Grund dafür, dass Compiler Code präziser überprüfen und effizienter optimieren können, und es erleichtert Entwicklern das Verstehen und korrekte Schreiben von Code. Funktionaler Code ist daher häufig einfacher zu debuggen als gewöhnlicher prozeduraler Code.

F# ist keine rein funktionale Programmiersprache, aber unterstützt funktionale Programmierung umfassend. Die Verwendung von unveränderlichen Werten wird empfohlen, da Ihr Code dadurch von einem wichtigen Aspekt der funktionalen Programmierung profitieren kann.

Änderbare Variablen

Sie können mithilfe des Schlüsselworts mutable eine Variable angeben, die geändert werden kann. Änderbare Variablen in F# sollten grundsätzlich einen begrenzten Bereich haben, entweder als Feld eines Typs oder als lokaler Wert. Änderbare Variablen mit einem begrenzten Gültigkeitsbereich sind einfacher zu steuern und werden seltener auf falsche Weise geändert.

Sie können einen Anfangswert für eine änderbare Variable zuweisen, indem Sie das let-Schlüsselwort auf die gleiche Weise verwenden, wie Sie einen Wert definieren würden. Der Unterschied ist jedoch, dass Sie anschließend den änderbaren Variablen neue Werte zuweisen können, indem Sie den <--Operator verwenden, wie im folgenden Beispiel.

let mutable x = 1
x <- x + 1

Mit mutable markierte Werte können automatisch auf 'a ref höher gestuft werden, wenn sie von einem Abschluss erfasst werden, einschließlich von Formularen, die Abschlüsse erstellen, zum Beispiel seq-Generatoren. Wenn Sie in diesem Fall benachrichtigt werden möchten, aktivieren Sie die Warnung 3180 in Ihrer Projektdatei oder beim Aufrufen des Compilers.

Titel Beschreibung
let-Bindungen Enthält Informationen zur Verwendung des let-Schlüsselworts zur Bindung von Namen an Werte und Funktionen
Funktionen Bietet eine Übersicht über Funktionen in F#.

Siehe auch