Naslaginformatie over trefwoorden
Dit onderwerp bevat koppelingen naar informatie over alle F#-taaltrefwoorden.
F# Trefwoordtabel
In de volgende tabel ziet u alle F#-trefwoorden in alfabetische volgorde, samen met korte beschrijvingen en koppelingen naar relevante onderwerpen die meer informatie bevatten.
Trefwoord | Koppeling | Beschrijving |
---|---|---|
abstract |
Leden Abstracte klassen |
Geeft een methode aan die geen implementatie heeft in het type waarin deze is gedeclareerd of die virtueel is en een standaard implementatie heeft. |
and |
let BindingsRecords Leden Beperkingen |
Wordt gebruikt in wederzijds recursieve bindingen en records, in eigenschapsdeclaraties en met meerdere beperkingen voor algemene parameters. |
as |
Klassen Patroonherkenning |
Wordt gebruikt om het huidige klasseobject een objectnaam te geven. Wordt ook gebruikt om een naam te geven aan een geheel patroon binnen een patroonovereenkomst. |
assert |
Beweringen | Wordt gebruikt om code te verifiëren tijdens foutopsporing. |
base |
Klassen Overname |
Wordt gebruikt als de naam van het basisklasseobject. |
begin |
Uitgebreide syntaxis | In uitgebreide syntaxis wordt het begin van een codeblok aangegeven. |
class |
Klassen | In uitgebreide syntaxis wordt het begin van een klassedefinitie aangegeven. |
default |
Leden | Geeft een implementatie van een abstracte methode aan; wordt samen met een abstracte methodedeclaratie gebruikt om een virtuele methode te maken. |
delegate |
Afgevaardigden | Wordt gebruikt om een gemachtigde te declareren. |
do |
do Bindingen Lussen: for...to ExpressieLussen: for...in ExpressieLussen: while...do Expressie |
Wordt gebruikt in lusconstructies of om imperatieve code uit te voeren. |
done |
Uitgebreide syntaxis | In uitgebreide syntaxis wordt het einde van een codeblok in een lusexpressie aangegeven. |
downcast |
Cast-conversies en conversies | Wordt gebruikt om te converteren naar een type dat lager is in de overnameketen. |
downto |
Lussen: for...to Expressie |
In een for expressie die wordt gebruikt bij het tellen in omgekeerde volgorde. |
elif |
Voorwaardelijke expressies: if...then...else |
Wordt gebruikt in voorwaardelijke vertakkingen. Een korte vorm van else if . |
else |
Voorwaardelijke expressies: if...then...else |
Wordt gebruikt in voorwaardelijke vertakkingen. |
end |
Structs Gediscrimineerde vakbonden Records Type-extensies Uitgebreide syntaxis |
In typedefinities en typeextensies wordt het einde van een sectie met liddefinities aangegeven. In uitgebreide syntaxis wordt gebruikt om het einde van een codeblok op te geven dat begint met het begin trefwoord. |
exception |
Afhandeling van uitzonderingen Uitzonderingstypen |
Wordt gebruikt om een uitzonderingstype te declareren. |
extern |
Externe functies | Geeft aan dat een gedeclareerd programma-element is gedefinieerd in een andere binaire of assembly. |
false |
Primitieve typen | Wordt gebruikt als een Booleaanse letterlijke waarde. |
finally |
Uitzonderingen: de try...finally expressie |
Wordt samen gebruikt try om een codeblok te introduceren dat wordt uitgevoerd, ongeacht of er een uitzondering optreedt. |
fixed |
Vast | Wordt gebruikt om een aanwijzer op de stapel vast te maken om te voorkomen dat het afval wordt verzameld. |
for |
Lussen: for...to ExpressieLussen: voor... in expressie |
Wordt gebruikt in lusconstructies. |
fun |
Lambda-expressies: het fun trefwoord |
Wordt gebruikt in lambda-expressies, ook wel anonieme functies genoemd. |
function |
Expressies vergelijken Lambda-expressies: het leuke trefwoord |
Wordt gebruikt als korter alternatief voor het fun trefwoord en een match expressie in een lambda-expressie met patroonkoppeling op één argument. |
global |
Naamruimten | Wordt gebruikt om te verwijzen naar de .NET-naamruimte op het hoogste niveau. |
if |
Voorwaardelijke expressies: if...then...else |
Wordt gebruikt in voorwaardelijke vertakkingsconstructies. |
in |
Lussen: voor... in expressie Uitgebreide syntaxis |
Wordt gebruikt voor reeksexpressies en, in uitgebreide syntaxis, om expressies van bindingen te scheiden. |
inherit |
Overname | Wordt gebruikt om een basisklasse of basisinterface op te geven. |
inline |
Functies Inlinefuncties |
Wordt gebruikt om een functie aan te geven die rechtstreeks in de code van de aanroeper moet worden geïntegreerd. |
interface |
Interfaces | Wordt gebruikt om interfaces te declareren en te implementeren. |
internal |
Toegangsbeheer | Wordt gebruikt om op te geven dat een lid zichtbaar is in een assembly, maar niet buiten de assembly. |
lazy |
Luie expressies | Wordt gebruikt om een expressie op te geven die alleen moet worden uitgevoerd wanneer een resultaat nodig is. |
let |
let Bindings |
Wordt gebruikt om een naam aan een waarde of functie te koppelen of te binden. |
let! |
Asynchrone expressies Taakexpressies Berekeningsexpressies |
Wordt gebruikt in asynchrone expressies om een naam te binden aan het resultaat van een asynchrone berekening, of, in andere rekenexpressies, die worden gebruikt om een naam te binden aan een resultaat, wat van het rekentype is. |
match |
Expressies vergelijken | Wordt gebruikt om te vertakken door een waarde te vergelijken met een patroon. |
match! |
Berekeningsexpressies | Wordt gebruikt om een aanroep naar een berekeningsexpressie en patroonovereenkomst inline te plaatsen op het resultaat. |
member |
Leden | Wordt gebruikt om een eigenschap of methode in een objecttype te declareren. |
module |
Modules | Wordt gebruikt om een naam te koppelen aan een groep gerelateerde typen, waarden en functies, om deze logisch te scheiden van andere code. |
mutable |
Bindingen toestaan | Wordt gebruikt om een variabele te declareren, dat wil zeggen een waarde die kan worden gewijzigd. |
namespace |
Naamruimten | Wordt gebruikt om een naam te koppelen aan een groep gerelateerde typen en modules, om deze logisch te scheiden van andere code. |
new |
Constructeurs Beperkingen |
Wordt gebruikt om een constructor te declareren, te definiëren of aan te roepen waarmee een object kan worden gemaakt of gemaakt. Ook gebruikt in algemene parameterbeperkingen om aan te geven dat een type een bepaalde constructor moet hebben. |
not |
Naslaginformatie voor symbolen en operatoren Beperkingen |
Niet echt een trefwoord. not struct In combinatie wordt echter gebruikt als een algemene parameterbeperking. |
null |
Null-waarden Beperkingen |
Geeft de afwezigheid van een object aan. Wordt ook gebruikt in algemene parameterbeperkingen. |
of |
Gediscrimineerde vakbonden Afgevaardigden Uitzonderingstypen |
Wordt gebruikt in gediscrimineerde samenvoegingen om het type categorieën waarden en in declaraties voor gemachtigden en uitzonderingen aan te geven. |
open |
Importdeclaraties: het open trefwoord |
Wordt gebruikt om de inhoud van een naamruimte of module beschikbaar te maken zonder kwalificatie. |
or |
Naslaginformatie voor symbolen en operatoren Beperkingen |
Wordt gebruikt met Booleaanse voorwaarden als een Booleaanse or operator. Gelijk aan ||.Ook gebruikt in lidbeperkingen. |
override |
Leden | Wordt gebruikt voor het implementeren van een versie van een abstracte of virtuele methode die verschilt van de basisversie. |
private |
Toegangsbeheer | Hiermee beperkt u de toegang tot een lid tot code in hetzelfde type of dezelfde module. |
public |
Toegangsbeheer | Hiermee verleent u toegang tot een lid van buiten het type. |
rec |
Functies | Wordt gebruikt om aan te geven dat een functie recursief is. |
return |
Berekeningsexpressies Asynchrone expressies Taakexpressies |
Wordt gebruikt om een waarde aan te geven die moet worden opgegeven als resultaat van een berekeningsexpressie. |
return! |
Berekeningsexpressies Asynchrone expressies Taakexpressies |
Wordt gebruikt om een berekeningsexpressie aan te geven die, wanneer deze wordt geëvalueerd, het resultaat van de rekenexpressie bevat. |
select |
Query-expressies | Wordt gebruikt in query-expressies om op te geven welke velden of kolommen moeten worden geëxtraheerd. Houd er rekening mee dat dit een contextueel trefwoord is, wat betekent dat het geen gereserveerd woord is en dat het alleen fungeert als een trefwoord in de juiste context. |
static |
Leden | Wordt gebruikt om een methode of eigenschap aan te geven die kan worden aangeroepen zonder een exemplaar van een type, of een waardelid dat wordt gedeeld tussen alle exemplaren van een type. |
struct |
Structs Tupels Beperkingen |
Wordt gebruikt om een structuurtype te declareren. Wordt gebruikt om een struct tuple op te geven. Wordt ook gebruikt in algemene parameterbeperkingen. Wordt gebruikt voor OCaml-compatibiliteit in moduledefinities. |
then |
Voorwaardelijke expressies: if...then...else Constructeurs |
Wordt gebruikt in voorwaardelijke expressies. Ook gebruikt om bijwerkingen na objectconstructie uit te voeren. |
to |
Lussen: for...to Expressie |
Wordt gebruikt in for lussen om een bereik aan te geven. |
true |
Primitieve typen | Wordt gebruikt als een Booleaanse letterlijke waarde. |
try |
Uitzonderingen: Het proberen... met expressie Uitzonderingen: Het proberen... eindelijk expressie |
Wordt gebruikt om een codeblok te introduceren dat een uitzondering kan genereren. Gebruikt samen met with of finally . |
type |
F#-typen Klassen Records Structs Opsommingen Gediscrimineerde vakbonden Afkortingen typen Maateenheden |
Wordt gebruikt om een klasse, record, structuur, gediscrimineerde samenvoeging, opsommingstype, maateenheid of type afkorting te declareren. |
upcast |
Cast-conversies en conversies | Wordt gebruikt om te converteren naar een type dat hoger is in de overnameketen. |
use |
Resourcebeheer: het use trefwoord |
Wordt gebruikt in plaats van let voor waarden die moeten Dispose worden aangeroepen voor gratis resources. |
use! |
Berekeningsexpressies Asynchrone expressies Taakexpressies |
Wordt gebruikt in plaats van let! in asynchrone expressies en andere berekeningsexpressies voor waarden die moeten Dispose worden aangeroepen voor gratis resources. |
val |
Expliciete velden: het val trefwoordHandtekeningen Leden |
Wordt gebruikt in een handtekening om een waarde aan te geven, of in een type om een lid te declareren, in beperkte situaties. |
void |
Primitieve typen | Geeft het .NET-type void aan. Wordt gebruikt bij het samenwerken met andere .NET-talen. |
when |
Beperkingen | Wordt gebruikt voor Booleaanse voorwaarden (wanneer bewakers) voor patroonovereenkomsten en om een beperkingscomponent te introduceren voor een algemene typeparameter. |
while |
Lussen: while...do Expressie |
Introduceert een lusconstructie. |
with |
Expressies vergelijken Objectexpressies Recordexpressies kopiëren en bijwerken Type-extensies Uitzonderingen: de try...with expressie |
Wordt samen met het match trefwoord gebruikt in patroonkoppelingsexpressies. Ook gebruikt in objectexpressies, recordkopieerexpressies en typeextensies om liddefinities te introduceren en uitzonderingshandlers te introduceren. |
yield |
Lijsten, matrices, reeksen | Wordt gebruikt in een lijst-, matrix- of reeksexpressie om een waarde voor een reeks te produceren. Dit kan meestal worden weggelaten, omdat dit in de meeste situaties impliciet is. |
yield! |
Berekeningsexpressies Asynchrone expressies Taakexpressies |
Wordt gebruikt in een berekeningsexpressie om het resultaat van een bepaalde berekeningsexpressie toe te voegen aan een verzameling resultaten voor de resulterende rekenexpressie. |
const |
Type Providers | Typeproviders maken het gebruik van const als trefwoord mogelijk om een constante letterlijke waarde op te geven als een parameterargument van het type. |
De volgende tokens zijn gereserveerd in F# omdat ze trefwoorden zijn in de OCaml-taal:
asr
land
lor
lsl
lsr
lxor
mod
sig
Als u de --mlcompatibility
compileroptie gebruikt, zijn de bovenstaande trefwoorden beschikbaar voor gebruik als id's.
De volgende tokens zijn gereserveerd als trefwoorden voor toekomstige uitbreiding van F#:
break
checked
component
const
constraint
continue
event
external
include
mixin
parallel
process
protected
pure
sealed
tailcall
trait
virtual
De volgende tokens zijn eenmaal gereserveerd als trefwoorden, maar zijn uitgebracht in F# 4.1, dus u kunt ze nu gebruiken als id's:
Trefwoord | Reden |
---|---|
method |
Gebruik member dit om methoden te introduceren. |
constructor |
Gebruik new dit om constructors te introduceren. |
atomic |
Gerelateerd aan de fad voor transactioneel geheugen circa 2006. Dit is nu een bibliotheekgedefinieerde rekenexpressie. |
eager |
Niet meer nodig; het was aanvankelijk ontworpen om overeen te komen let eager met een potentieel let lazy . |
object |
U hoeft dit niet te reserveren. |
recursive |
Gebruik rec . |
functor |
Als F# geparameteriseerde modules heeft toegevoegd, gebruikt module M(args) = ... u . |
measure |
Het [<Measure>] kenmerk volstaat. |
volatile |
Het [<Volatile>] kenmerk volstaat. |