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ésekRekordok 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ésHurkok: for...in KifejezésHurkok: 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ésHurkok: 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 with finally . |
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ő. |