Megosztás a következőn keresztül:


Kulcsszóhivatkozás

Ez a témakör az összes F#-nyelvi kulcsszóra mutató hivatkozásokat tartalmaz.

F# kulcsszótábla

Az alábbi táblázat az összes F# kulcsszót betűrendben jeleníti meg, rövid leírásokkal és további információkat tartalmazó témakörökre mutató hivatkozásokkal együtt.

Kulcsszó Hivatkozás Leírás
abstract Tagok

Absztrakt osztályok
Olyan metódust jelöl, amelynek nincs implementációja abban a típusban, amelyben deklarálva van, vagy virtuális, és alapértelmezett implementációval rendelkezik.
and let Kötések

Rekordok

Tagok

Korlátozások
Kölcsönösen rekurzív kötésekben és rekordokban, tulajdonságdeklarációkban és az általános paraméterekre vonatkozó több korlátozással használható.
as Osztályok

Mintaegyezés
Az aktuális osztályobjektum objektumnevének adására szolgál. Arra is szolgál, hogy nevet adjon egy egész mintának egy mintaegyezésen belül.
assert Állításokat A hibakeresés során a kód ellenőrzésére szolgál.
base Osztályok

Öröklési
Az alaposztály-objektum neveként használatos.
begin Részletes szintaxis A részletes szintaxis egy kódblokk kezdetét jelzi.
class Osztályok A részletes szintaxis egy osztálydefiníció kezdetét jelzi.
default Tagok Absztrakciós módszer implementálását jelzi; egy absztrakt metódus deklarációjával együtt egy virtuális metódus létrehozásához.
delegate Küldöttek Meghatalmazott deklarálására szolgál.
do kötések használata

Hurkok: for...to Kifejezés

Hurkok: for...in Kifejezés

Hurkok: while...do Kifejezés
Konstrukciók hurkolásához vagy imperatív kód végrehajtásához használható.
done Részletes szintaxis A részletes szintaxis egy kódblokk végét jelzi egy ciklusos kifejezésben.
downcast Casting and Conversions Az öröklési láncban alacsonyabb típusúvá alakítható.
downto Hurkok: for...to Kifejezés for Fordított számláláskor használt kifejezésben.
elif Feltételes kifejezések: if...then...else Feltételes elágaztatáshoz használatos. A rövid formája else if.
else Feltételes kifejezések: if...then...else Feltételes elágaztatáshoz használatos.
end Szerkezetek

Diszkriminált uniók

Rekordok

Típuskiterjesztések

Részletes szintaxis
A típusdefiníciókban és a típuskiterjesztésekben a tagdefiníciók egy szakaszának végét jelzi.

A részletes szintaxisban a kulcsszóval begin kezdődő kódblokk végét adhatja meg.
exception Kivételkezelés

Kivételtípusok
Kivételtípus deklarálásához használatos.
extern Külső függvények Azt jelzi, hogy egy deklarált programelem egy másik bináris vagy szerelvényben van definiálva.
false Primitív típusok Logikai literálként használatos.
finally Kivételek: A try...finally kifejezés try Együtt használva egy kódblokk bevezetésével, amely függetlenül attól, hogy kivétel történik-e.
fixed Rögzített A verem mutatójának rögzítésére szolgál, hogy megakadályozza a szemétgyűjtést.
for Hurkok: for...to Kifejezés

Hurkok: a... kifejezésben
Ciklusszerkezetekben használatos.
fun Lambda-kifejezések: A fun kulcsszó Lambda-kifejezésekben, más néven névtelen függvényekben használatos.
function Kifejezések egyeztetése

Lambda kifejezések: A szórakoztató kulcsszó
A kulcsszó és match a fun lambda kifejezés rövidebb alternatívájaként használható, amely egyetlen argumentumon egyező mintával rendelkezik.
global Névterek A legfelső szintű .NET-névtérre való hivatkozásra szolgál.
if Feltételes kifejezések: if...then...else Feltételes elágaztatási szerkezetekben használatos.
in Hurkok: a... kifejezésben

Részletes szintaxis
Sorozatkifejezésekhez és részletes szintaxisban a kifejezések kötésektől való elválasztásához használatos.
inherit Öröklési Alaposztály vagy alapfelület megadására szolgál.
inline Functions

Beágyazott függvények
Olyan függvény jelzésére szolgál, amelyet közvetlenül a hívó kódjába kell integrálnia.
interface Felületek Interfészek deklarálásához és implementálásához használatos.
internal Hozzáférés-vezérlés Annak megadására szolgál, hogy egy tag látható legyen egy szerelvényen belül, de ne azon kívül.
lazy Lusta kifejezések Olyan kifejezés megadására szolgál, amelyet csak akkor kell végrehajtani, ha eredményre van szükség.
let let Kötések Egy név értékhez vagy függvényhez való társítására vagy kötésére szolgál.
let! Aszinkron kifejezések

Tevékenységkifejezések

Számítási kifejezések
Az aszinkron kifejezésekben egy név aszinkron számítások eredményéhez való kötésére szolgál, vagy más számítási kifejezésekben a névnek a számítási típusú eredményhez való kötésére szolgál.
match Kifejezések egyeztetése Egy érték mintával való összehasonlításával elágaztatásra szolgál.
match! Számítási kifejezések A számítási kifejezés és a mintaegyeztetés hívásának beírására szolgál az eredmény alapján.
member Tagok Objektumtípusú tulajdonság vagy metódus deklarálásához használatos.
module Modulok A név társítása kapcsolódó típusok, értékek és függvények egy csoportjához, hogy logikailag elkülönítse azt a többi kódtól.
mutable Kötések használata Változó, vagyis módosítható érték deklarálására szolgál.
namespace Névterek A név társítása kapcsolódó típusok és modulok egy csoportjával, amellyel logikailag elválasztható a többi kódtól.
new Konstruktorok

Korlátozások
Objektumot létrehozó vagy létrehozó konstruktorok deklarálásához, definiálásához vagy meghívásához használható.

Általános paraméterkorlátozásokban is használatos, amely azt jelzi, hogy egy típusnak rendelkeznie kell egy bizonyos konstruktorsal.
not Szimbólum és operátor referenciája

Korlátozások
Valójában nem kulcsszó. not struct A rendszer azonban kombinációban általános paraméterkényszerként használatos.
null Null értékek

Korlátozások
Objektum hiányát jelzi.

Általános paraméterkorlátozásokban is használatos.
of Diszkriminált uniók

Küldöttek

Kivételtípusok
Megkülönböztetést eredményező egyesítőkben az értékek kategóriáinak típusának, valamint a delegálási és kivételdeklarációknak a jelzésére szolgál.
open Importálási deklarációk: A open kulcsszó Egy névtér vagy modul tartalmának minősítés nélküli elérhetővé tétele.
or Szimbólum és operátor referenciája

Korlátozások
Logikai feltételekkel logikai operátorként or használható. A(z) || értéknek felel meg.

Tagkorlátozásokban is használható.
override Tagok Egy absztrakt vagy virtuális metódus olyan verziójának implementálásához használatos, amely eltér az alapverziótól.
private Hozzáférés-vezérlés Egy tag hozzáférését az azonos típusú vagy modulú kódra korlátozza.
public Hozzáférés-vezérlés Engedélyezi a hozzáférést egy taghoz a típuson kívülről.
rec Functions Azt jelzi, hogy egy függvény rekurzív.
return Számítási kifejezések

Aszinkron kifejezések

Tevékenységkifejezések
Egy számítási kifejezés eredményeként megadható érték jelzésére szolgál.
return! Számítási kifejezések

Aszinkron kifejezések

Tevékenységkifejezések
Olyan számítási kifejezés jelzésére szolgál, amely kiértékelésekor a benne található számítási kifejezés eredményét adja meg.
select Lekérdezési kifejezések A lekérdezési kifejezésekben a kinyerni kívánt mezők vagy oszlopok megadására szolgál. Vegye figyelembe, hogy ez egy környezeti kulcsszó, ami azt jelenti, hogy valójában nem fenntartott szó, és csak a megfelelő kontextusban működik kulcsszóként.
static Tagok Olyan metódust vagy tulajdonságot jelöl, amely típuspéldány nélkül hívható meg, vagy egy olyan értéktagot, amely egy típus összes példánya között meg van osztva.
struct Szerkezetek

Csuples

Korlátozások
Szerkezettípus deklarálásához használatos.

Strukturálási rekord megadására szolgál.

Általános paraméterkorlátozásokban is használatos.

OCaml-kompatibilitáshoz használatos a moduldefiníciókban.
then Feltételes kifejezések: if...then...else

Konstruktorok
Feltételes kifejezésekben használatos.

Azt is használják, hogy végezzen mellékhatások után objektum építése.
to Hurkok: for...to Kifejezés Ciklusokban for használva egy tartomány jelzésére.
true Primitív típusok Logikai literálként használatos.
try Kivételek: A kísérlet... kifejezéssel

Kivételek: A kísérlet... végül Kifejezés
Olyan kódblokk bevezetésére szolgál, amely kivételt eredményezhet. Együtt használják vagy withfinally.
type F#-típusok

Osztályok

Rekordok

Szerkezetek

Számbavételek

Diszkriminált uniók

Rövidítések beírása

Mértékegységek
Osztály, rekord, struktúra, diszkriminált egyesítés, számbavétel típusa, mértékegység vagy típus rövidítése deklarálásához használatos.
upcast Casting and Conversions Az öröklési láncban magasabb típusúvá alakítható.
use Erőforrás-kezelés: A use kulcsszó Az erőforrások felszabadításához szükséges Dispose értékek helyett let használható.
use! Számítási kifejezések

Aszinkron kifejezések

Tevékenységkifejezések
Az aszinkron kifejezések és más számítási kifejezések helyett let! olyan értékekhez használatos, amelyeket Dispose szabad erőforrásokhoz kell meghívni.
val Explicit mezők: A val kulcsszó

Aláírások

Tagok
Az aláírásban egy érték jelzésére vagy tag deklarálásához használt típusban, korlátozott helyzetekben.
void Primitív típusok A .NET void típust jelzi. Más .NET-nyelvekkel való együttműködéshez használható.
when Korlátozások Logikai feltételekhez használható (amikor a minta egyezéseit védi), és egy általános típusparaméter kényszerzárat vezet be.
while Hurkok: while...do Kifejezés Egy hurokszerkezetet vezet be.
with Kifejezések egyeztetése

Objektumkifejezések

Rekordkifejezések másolása és frissítése

Típuskiterjesztések

Kivételek: A try...with kifejezés
A kulcsszóval együtt használják a match mintamegfeleltetési kifejezésekben. Objektumkifejezésekben, rekordmásolási kifejezésekben és típuskiterjesztésekben is használható tagdefiníciók bevezetéséhez és kivételkezelők bevezetéséhez.
yield Listák, tömbök, sorozatok Listában, tömbben vagy szekvenciakifejezésben használatos egy sorozat értékének előállításához. Általában kihagyható, mivel a legtöbb esetben implicit.
yield! Számítási kifejezések

Aszinkron kifejezések

Tevékenységkifejezések
Egy számítási kifejezésben egy adott számítási kifejezés eredményét hozzáfűzi a számítási kifejezés eredménygyűjteményéhez.
const Típusszolgáltatók A típusszolgáltatók lehetővé teszik, hogy kulcsszóként adjon const meg egy állandó literált típusparaméter argumentumként.

A következő jogkivonatok F# nyelven vannak fenntartva, mivel az OCaml nyelv kulcsszavai:

  • asr
  • land
  • lor
  • lsl
  • lsr
  • lxor
  • mod
  • sig

Ha a --mlcompatibility fordítót használja, a fenti kulcsszavak használhatók azonosítóként.

A következő jogkivonatok kulcsszavakként vannak fenntartva az F#későbbi bővítéséhez:

  • break
  • checked
  • component
  • const
  • constraint
  • continue
  • event
  • external
  • include
  • mixin
  • parallel
  • process
  • protected
  • pure
  • sealed
  • tailcall
  • trait
  • virtual

A következő jogkivonatok egykor kulcsszavakként voltak fenntartva, de az F# 4.1-ben jelentek meg , így mostantól azonosítóként használhatja őket:

Kulcsszó Ok
method Módszerek bevezetésére használható member .
constructor Konstruktorok bevezetésére használható new .
atomic A tranzakciós memória 2006 körüli halványulásához kapcsolódik. Ez most egy kódtár által definiált számítási kifejezés lenne.
eager Már nincs rá szükség; eredetileg úgy tervezték , hogy let eager megfeleljen a lehetséges let lazy.
object Ezt nem kell lefoglalni.
recursive Használja az rec parancsot.
functor Ha az F# paraméteres modulokat ad hozzá, akkor a következőt kell használnia module M(args) = ...:
measure Az [<Measure>] attribútum elegendő.
volatile Az [<Volatile>] attribútum elegendő.

Lásd még