Schlüsselwortreferenz (F#)
Dieses Thema enthält Links zu Informationen über alle F#-Schlüsselwörter.
Tabelle der F#-Schlüsselwörter
Die folgende Tabelle enthält alle F#-Schlüsselwörter in alphabetischer Reihenfolge zusammen mit kurzen Beschreibungen und Links zu relevanten Themen, die weitere Informationen enthalten.
Schlüsselwort |
Link |
Beschreibung |
|---|---|---|
abstract |
Gibt eine Methode an, die entweder über keine Implementierung in dem Typ verfügt, in dem sie deklariert ist, oder virtuell ist und über eine Standardimplementierung verfügt. |
|
and |
Wird in wechselseitig rekursiven Bindungen, in Eigenschaftendeklarationen und für generische Parameter mit mehreren Einschränkungen verwendet. |
|
as |
Wird verwendet, um dem aktuellen Klassenobjekt einen Objektnamen zuzuweisen.Wird auch verwendet, um in einem Mustervergleich einem gesamten Muster einen Namen zuzuweisen. |
|
assert |
Wird verwendet, um während des Debuggens Code zu überprüfen. |
|
base |
Wird als Name des Basisklassenobjekts verwendet. |
|
begin |
Gibt in ausführlicher Syntax den Anfang eines Codeblocks an. |
|
class |
Gibt in ausführlicher Syntax den Anfang einer Klassendefinition an. |
|
default |
Gibt eine Implementierung einer abstrakten Methode an. Wird zusammen mit einer abstrakten Methodendeklaration verwendet, um eine virtuelle Methode zu erstellen. |
|
delegate |
Wird zur Deklaration eines Delegaten verwendet. |
|
do |
Schleifen: for...to-Ausdruck (F#) |
Wird in Schleifenkonstrukten oder zum Ausführen von imperativem Code verwendet. |
done |
Gibt in ausführlicher Syntax das Ende eines Codeblocks in einem Schleifenausdruck an. |
|
downcast |
Wird zum Konvertieren in einen Typ verwendet, der eine niedrigere Position in der Vererbungskette aufweist. |
|
downto |
Wird in einem for-Ausdruck beim Zählen in umgekehrter Reihenfolge verwendet. |
|
elif |
Wird bei bedingter Verzweigung verwendet.Eine Kurzform von else if. |
|
else |
Wird bei bedingter Verzweigung verwendet. |
|
end |
Gibt in Typdefinitionen und Typerweiterungen das Ende eines Abschnitts von Memberdefinitionen an. Wird in ausführlicher Syntax verwendet, um das Ende eines Codeblocks anzugeben, der mit dem begin-Schlüsselwort beginnt. |
|
exception |
Wird verwendet, um einen Ausnahmetyp zu deklarieren. |
|
extern |
Gibt an, dass ein deklariertes Programmelement in einer anderen Binärdatei oder Assembly definiert ist. |
|
false |
Wird als boolesches Literal verwendet. |
|
finally |
Wird zusammen mit try verwendet, um einen Codeblock zu beginnen, der unabhängig davon ausgeführt wird, ob eine Ausnahme auftritt. |
|
for |
Wird in Schleifenkonstrukten verwendet. |
|
fun |
Wird in Lambda-Ausdrücken, auch als anonyme Funktionen bezeichnet, verwendet. |
|
function |
Wird als kürzere Alternative des fun-Schlüsselworts und eines match-Ausdrucks in einem Lambda-Ausdruck verwendet, der Mustervergleich für ein einzelnes Argument ausführt. |
|
global |
Wird verwendet, um auf den .NET-Namespace der obersten Ebene zu verweisen. |
|
if |
Wird in bedingten Verzweigungskonstrukten verwendet. |
|
in |
Wird für Sequenzausdrücke verwendet und dient in ausführlicher Syntax zum Trennen der Ausdrücke von Bindungen. |
|
inherit |
Wird verwendet, um eine Basisklasse oder eine Basisschnittstelle anzugeben. |
|
inline |
Wird verwendet, um eine Funktion anzugeben, die direkt in den Code des Aufrufers integriert werden soll. |
|
interface |
Wird verwendet, um Schnittstellen zu deklarieren und zu implementieren. |
|
internal |
Wird verwendet, um anzugeben, dass ein Member in einer Assembly sichtbar ist, außerhalb der Assembly jedoch nicht sichtbar ist. |
|
lazy |
Wird verwendet, um eine Berechnung anzugeben, die nur ausgeführt werden soll, wenn ein Ergebnis benötigt wird. |
|
let |
Wird verwendet, um einem Wert oder einer Funktion einen Namen zuzuordnen bzw. um einen Namen an einen Wert oder eine Funktion zu binden. |
|
let! |
Wird in asynchronen Workflows, um einen Namen für das Ergebnis einer asynchronen Berechnung oder in anderen Berechnung ausdrücken zu binden, verwenden, um einen Namen zu einem Ergebnis zu binden, das vom Typ der Berechnung ist. |
|
match |
Wird zum Verzweigen durch Vergleichen eines Werts mit einem Muster verwendet. |
|
member |
Wird verwendet, um eine Eigenschaft oder eine Methode in einem Objekttyp zu deklarieren. |
|
module |
Wird verwendet, um einer Gruppe von verwandten Typen, Werten und Funktionen einen Namen zuzuordnen, damit sie von anderem Code logisch getrennt ist. |
|
mutable |
Wird verwendet, um eine Variable, d. h. ein Wert, der geändert werden kann, zu deklarieren. |
|
namespace |
Wird verwendet, um einer Gruppe von verwandten Typen und Modulen einen Namen zuzuordnen, damit sie von anderem Code logisch getrennt ist. |
|
new |
Wird verwendet, um einen Konstruktor zu deklarieren, zu definieren oder aufzurufen, der ein Objekt erstellt oder erstellen kann. Wird auch in Einschränkungen generischer Parameter verwendet, um anzugeben, dass ein Typ über einen bestimmten Konstruktor verfügen muss. |
|
not |
Eigentlich kein Schlüsselwort.Wird jedoch in der Kombination not struct als Einschränkung eines generischen Parameters verwendet. |
|
null |
Gibt das Fehlen eines Objekts an. Wird auch in Einschränkungen generischer Parameter verwendet. |
|
of |
Wird in Unterscheidungs-Unions zum Angeben des Typs von Wertkategorien sowie in Delegat- und Ausnahmedeklarationen verwendet. |
|
open |
Wird verwendet, um den Inhalt eines Namespaces oder Moduls ohne Qualifizierung verfügbar zu machen. |
|
or |
Wird für boolesche Bedingungen als boolescher or-Operator verwendet.Entspricht ||. Wird auch in Membereinschränkungen verwendet. |
|
override |
Wird verwendet, um eine Version einer abstrakten oder virtuellen Methode zu implementieren, die sich von der Basisversion unterscheidet. |
|
private |
Schränkt den Zugriff auf einen Member auf Code in dem gleichen Typ oder Modul ein. |
|
public |
Lässt Zugriff auf einen Member von außerhalb des Typs zu. |
|
rec |
Wird verwendet, um anzugeben, dass eine Funktion rekursiv ist. |
|
return |
Wird verwendet, um einen Wert anzugeben, der als Ergebnis eines Berechnungsausdrucks bereitgestellt werden soll. |
|
return! |
Wird verwendet, um einen Berechnungsausdruck anzugeben, wenn er ausgewertet wird, das Ergebnis des enthaltenden Berechnungsausdrucks bereitgestellt wird. |
|
select |
Wird in Abfrageausdrücken verwendet, um die Felder oder Spalten anzugeben, die extrahiert werden soll.Beachten Sie, dass dies ein Kontextschlüsselwort hat, was bedeutet, dass sie nicht tatsächlich ein reserviertes Wort und ist nur ein Schlüsselwort wie im entsprechenden Kontext fungiert. |
|
static |
Wird verwendet, um eine Methode oder eine Eigenschaft anzugeben, die ohne eine Instanz eines Typs aufgerufen werden kann, oder um einen Wertmember anzugeben, der für alle Instanzen eines Typs freigegeben ist. |
|
struct |
Wird verwendet, um einen Strukturtyp zu deklarieren. Wird auch in Einschränkungen generischer Parameter verwendet. Wird in Moduldefinitionen für die Kompatibilität mit OCaml verwendet. |
|
then |
Wird in bedingten Ausdrücken verwendet. Wird auch verwendet, um nach der Objektkonstruktion Nebeneffekte auszuführen. |
|
to |
Wird in for-Schleifen verwendet, um einen Bereich anzugeben. |
|
true |
Wird als boolesches Literal verwendet. |
|
try |
Wird verwendet, um einen Codeblock zu beginnen, der möglicherweise eine Ausnahme generiert.Wird zusammen mit with oder finally verwendet. |
|
type |
Wird verwendet, um eine Klasse, einen Datensatz, eine Struktur, eine Unterscheidungs-Union, einen Enumerationstyp, eine Maßeinheit oder eine Typabkürzung zu deklarieren. |
|
upcast |
Wird zum Konvertieren in einen Typ verwendet, der eine höhere Position in der Vererbungskette aufweist. |
|
use |
Wird anstelle von let für Werte verwendet, die den Aufruf von Dispose erfordern, um Ressourcen freizugeben. |
|
use! |
Wird anstelle let! in asynchronen Workflows und andere Berechnung ausdrücken, die Werte für Dispose das Freigeben von Ressourcen benötigen, die aufgerufen werden soll. |
|
val |
Wird in einer Signatur verwendet, um einen Wert anzugeben, oder in bestimmten Situationen in einem Typ, um einen Member zu deklarieren. |
|
void |
Gibt den .NET-void-Typ an.Wird bei der Interoperation mit anderen .NET-Sprachen verwendet. |
|
when |
Wird für boolesche Bedingungen (Wenn-Wächter) in Mustervergleichen und zum Einführen einer Einschränkungsklausel für einen generischen Typparameter verwendet. |
|
while |
Führt ein Schleifenkonstrukt ein. |
|
with |
Wird zusammen mit dem match-Schlüsselwort in Mustervergleichsausdrücken verwendet.Wird auch verwendet, um in Objektausdrücken, Datensatzkopierausdrücken und Typerweiterungen Memberdefinitionen einzuführen und um Ausnahmehandler einzuführen. |
|
yield |
Wird in einem Sequenzausdruck verwendet, um einen Wert für eine Sequenz zu erzeugen. |
|
yield! |
Wird in einem Berechnungsausdruck das Ergebnis eines angegebenen Berechnungsausdrucks auf eine Auflistung von Ergebnissen für den enthaltenen Berechnungsausdruck anzufügen. |
Außerdem sind die folgenden Token in F# reserviert, da sie Schlüsselwörter in OCaml sind:
asr |
land |
lor |
lsl |
lsr |
lxor |
mod |
sig |
Wenn Sie die --mlcompatibility-Compileroption verwenden, sind diese Schlüsselwörter zur Verwendung als Bezeichner verfügbar.
Die folgenden Token sind für die zukünftige Erweiterung von F# als Schlüsselwörter reserviert:
atomic |
break |
checked |
component |
const |
constraint |
constructor |
continue |
eager |
event |
external |
fixed |
functor |
include |
method |
mixin |
object |
parallel |
process |
protected |
pure |
sealed |
tailcall |
trait |
virtual |
volatile |
Siehe auch
Referenz
Symbol- und Operatorenreferenz (F#)