Referenční dokumentace klíčových slov

Toto téma obsahuje odkazy na informace o všech klíčových slovech jazyka F#.

Tabulka klíčových slov F#

Následující tabulka obsahuje všechna klíčová slova jazyka F# v abecedním pořadí spolu se stručnými popisy a odkazy na relevantní témata, která obsahují další informace.

Klíčové slovo	Odkaz	Popis
abstract	Členové Abstraktní třídy	Označuje metodu, která buď nemá žádnou implementaci v typu, ve kterém je deklarována, nebo je virtuální a má výchozí implementaci.
and	let Vazby Záznamy Členové Omezení	Používá se ve vzájemně rekurzivních vazbách a záznamech, v deklaraci vlastností a s více omezeními obecných parametrů.
as	Třídy Porovnávání vzorů	Slouží k přiřazení aktuálního objektu třídy k názvu objektu. Používá se také k pojmenování celého vzoru v rámci shody vzorů.
assert	Kontrolní výrazy	Slouží k ověření kódu během ladění.
base	Třídy Dědičnost	Používá se jako název objektu základní třídy.
begin	Podrobná syntaxe	Ve podrobné syntaxi označuje začátek bloku kódu.
class	Třídy	Ve podrobné syntaxi označuje začátek definice třídy.
default	Členové	Označuje implementaci abstraktní metody; používá se společně s deklarací abstraktní metody k vytvoření virtuální metody.
delegate	Delegáti	Slouží k deklaraci delegáta.
do	Vazby do Smyčky: for...to Výraz Smyčky: for...in Výraz Smyčky: while...do Výraz	Používá se v konstruktech smyčky nebo ke spuštění imperativního kódu.
done	Podrobná syntaxe	Ve podrobné syntaxi označuje konec bloku kódu ve výrazu smyčky.
downcast	Přetypování a převody	Slouží k převodu na typ, který je nižší v řetězci dědičnosti.
downto	Smyčky: for...to Výraz	Ve výrazu for se používá při počítání obráceně.
elif	Podmíněné výrazy: if...then...else	Používá se v podmíněném větvení. Krátká forma else if.
else	Podmíněné výrazy: if...then...else	Používá se v podmíněném větvení.
end	Struktury Rozlišovaná sjednocení Záznamy Rozšíření typů Podrobná syntaxe	V definicích typů a příponách typů označuje konec oddílu definic členů. Ve podrobné syntaxi slouží k určení konce bloku kódu, který začíná klíčovým slovem begin .
exception	Zpracování výjimek Typy výjimek	Slouží k deklaraci typu výjimky.
extern	Externí funkce	Označuje, že deklarovaný program element je definován v jiném binárním souboru nebo sestavení.
false	Primitivní typy	Používá se jako logický literál.
finally	Výjimky: Výraz try...finally	Používá se společně try k zavedení bloku kódu, který se spouští bez ohledu na to, zda dojde k výjimce.
fixed	Dlouhodobého	Slouží k připnutí ukazatele na zásobník, aby se zabránilo uvolňování paměti.
for	Smyčky: for...to Výraz Smyčky: Výraz for...in	Používá se v konstruktech smyčky.
fun	Výrazy lambda: fun Klíčové slovo	Používá se ve výrazech lambda, označovaných také jako anonymní funkce.
function	Výrazy shody Výrazy lambda: zábavné klíčové slovo	Používá se jako kratší alternativa k klíčovému slovu fun a match výrazu ve výrazu lambda, který má porovnávání vzorů u jednoho argumentu.
global	Obory názvů	Používá se pro odkaz na obor názvů .NET nejvyšší úrovně.
if	Podmíněné výrazy: if...then...else	Používá se v konstruktech podmíněného větvení.
in	Smyčky: Výraz for...in Podrobná syntaxe	Používá se pro sekvenční výrazy a v podrobné syntaxi k oddělení výrazů od vazeb.
inherit	Dědičnost	Slouží k určení základní třídy nebo základního rozhraní.
inline	Functions Vložené funkce	Slouží k označení funkce, která by se měla integrovat přímo do kódu volajícího.
interface	Rozhraní	Slouží k deklaraci a implementaci rozhraní.
internal	Řízení přístupu	Slouží k určení, že člen je viditelný uvnitř sestavení, ale ne mimo něj.
lazy	Výrazy Lazy	Slouží k určení výrazu, který se má provést pouze v případě, že je potřeba výsledek.
let	let Vazby	Slouží k přidružení nebo vytvoření vazby názvu k hodnotě nebo funkci.
let!	Asynchronní výrazy Výrazy úloh Výpočetní výrazy	Používá se v asynchronních výrazech k vytvoření vazby názvu na výsledek asynchronního výpočtu nebo v jiných výpočetních výrazech, které slouží k vytvoření vazby názvu na výsledek, což je typ výpočtu.
match	Výrazy shody	Používá se k větvení porovnáním hodnoty se vzorem.
match!	Výpočetní výrazy	Používá se k vložení volání výpočetního výrazu a shody vzorů ve výsledku.
member	Členové	Slouží k deklaraci vlastnosti nebo metody v typu objektu.
module	Moduly	Slouží k přidružení názvu ke skupině souvisejících typů, hodnot a funkcí k logickému oddělení od jiného kódu.
mutable	Vazby let	Slouží k deklaraci proměnné, tj. hodnoty, kterou lze změnit.
namespace	Obory názvů	Slouží k přidružení názvu ke skupině souvisejících typů a modulů k logickému oddělení od jiného kódu.
new	Konstruktory Omezení	Slouží k deklaraci, definování nebo vyvolání konstruktoru, který vytvoří nebo který může vytvořit objekt. Používá se také v obecných omezeních parametrů k označení, že typ musí mít určitý konstruktor.
not	Referenční dokumentace symbolů a operátorů Omezení	Ve skutečnosti není klíčové slovo. not struct V kombinaci se ale používá jako omezení obecného parametru.
null	Hodnoty Null Omezení	Označuje nepřítomnost objektu. Používá se také v obecných omezeních parametrů.
of	Rozlišovaná sjednocení Delegáti Typy výjimek	Používá se v diskriminovaných sjednoceních k označení typu kategorií hodnot a v deklalarací delegátů a výjimek.
open	Deklarace importu: open Klíčové slovo	Slouží k zpřístupnění obsahu oboru názvů nebo modulu bez kvalifikace.
or	Referenční dokumentace symbolů a operátorů Omezení	Používá se s logickými podmínkami jako or logický operátor. Ekvivalentní objektu ||. Používá se také v omezeních členů.
override	Členové	Používá se k implementaci verze abstraktní nebo virtuální metody, která se liší od základní verze.
private	Řízení přístupu	Omezí přístup k členu na kód ve stejném typu nebo modulu.
public	Řízení přístupu	Umožňuje přístup k členu mimo typ.
rec	Functions	Slouží k označení, že funkce je rekurzivní.
return	Výpočetní výrazy Asynchronní výrazy Výrazy úloh	Slouží k označení hodnoty, která se má poskytnout jako výsledek výpočetního výrazu.
return!	Výpočetní výrazy Asynchronní výrazy Výrazy úloh	Používá se k označení výpočetního výrazu, který při vyhodnocení poskytuje výsledek obsahující výpočetní výraz.
select	Výrazy dotazu	Používá se ve výrazech dotazu k určení polí nebo sloupců, které se mají extrahovat. Všimněte si, že se jedná o kontextové klíčové slovo, což znamená, že ve skutečnosti není vyhrazeným slovem a funguje pouze jako klíčové slovo v příslušném kontextu.
static	Členové	Slouží k označení metody nebo vlastnosti, které lze volat bez instance typu, nebo člen hodnoty, který je sdílen mezi všemi instancemi typu.
struct	Struktury Řazené kolekce členů Omezení	Slouží k deklaraci typu struktury. Slouží k zadání řazené kolekce členů struktury. Používá se také v obecných omezeních parametrů. Používá se pro kompatibilitu OCaml v definicích modulů.
then	Podmíněné výrazy: if...then...else Konstruktory	Používá se v podmíněných výrazech. Používá se také k provádění vedlejších účinků po konstrukci objektu.
to	Smyčky: for...to Výraz	Používá se ve for smyčce k označení rozsahu.
true	Primitivní typy	Používá se jako logický literál.
try	Výjimky: Pokus... with Expression Výjimky: Pokus... finally – výraz	Používá se k zavedení bloku kódu, který může vygenerovat výjimku. Používá se společně s with nebo finally.
type	Typy F# Třídy Záznamy Struktury Výčty Rozlišovaná sjednocení Zkratky typů Měrné jednotky	Slouží k deklaraci třídy, záznamu, struktury, diskriminovaného sjednocení, typu výčtu, měrné jednotky nebo zkratky typu.
upcast	Přetypování a převody	Slouží k převodu na typ, který je vyšší v řetězu dědičnosti.
use	Správa prostředků: use Klíčové slovo	Používá se místo let hodnot, které vyžadují Dispose , aby se volaly k bezplatným prostředkům.
use!	Výpočetní výrazy Asynchronní výrazy Výrazy úloh	Používá se místo let! v asynchronních výrazech a dalších výpočetních výrazech pro hodnoty, které vyžadují Dispose volání pro volné prostředky.
val	Explicitní pole: Klíčové slovo val Signatury Členové	Používá se v podpisu k označení hodnoty nebo typu pro deklaraci člena v omezených situacích.
void	Primitivní typy	Označuje typ .NET void . Používá se při spolupráci s jinými jazyky .NET.
when	Omezení	Používá se pro logické podmínky (když chrání) u shody vzorů a k zavedení klauzule constraint pro parametr obecného typu.
while	Smyčky: while...do Výraz	Představuje konstruktor smyčky.
with	Výrazy shody Objektové výrazy Kopírování a aktualizace výrazů záznamů Rozšíření typů Výjimky: Výraz try...with	Používá se společně s klíčovým slovem match ve vzorových shodných výrazech. Používá se také v objektových výrazech, zaznamenává kopírování výrazů a rozšíření typů k zavedení definic členů a k zavedení obslužných rutin výjimek.
yield	Seznamy, pole, sekvence	Používá se v seznamu, poli nebo sekvenčním výrazu k vytvoření hodnoty pro sekvenci. Obvykle je možné ji vynechat, protože je implicitní ve většině situací.
yield!	Výpočetní výrazy Asynchronní výrazy Výrazy úloh	Používá se ve výpočetním výrazu k připojení výsledku daného výpočetního výrazu do kolekce výsledků pro obsahující výpočetní výraz.
const	Zprostředkovatelé typů	Zprostředkovatelé typů umožňují použití const jako klíčové slovo k zadání konstantního literálu jako argumentu parametru typu.

Následující tokeny jsou rezervovány v jazyce F#, protože se jedná o klíčová slova v jazyce OCaml:

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

Pokud použijete možnost kompilátoru --mlcompatibility , jsou výše uvedená klíčová slova k dispozici jako identifikátory.

Následující tokeny jsou vyhrazeny jako klíčová slova pro budoucí rozšíření jazyka F#:

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

Následující tokeny byly jednou rezervovány jako klíčová slova, ale byly vydány v jazyce F# 4.1, takže je teď můžete použít jako identifikátory:

Klíčové slovo	Důvod
method	Slouží member k zavedení metod.
constructor	Slouží new k zavedení konstruktorů.
atomic	Související s fad pro transakční paměť circa 2006. Teď by to byl výpočetní výraz definovaný knihovnou.
eager	Už nepotřebujete; původně byla navržena tak, aby let eager odpovídala potenciálnímu .let lazy
object	Tohle si nemusíte rezervovat.
recursive	Použijte rec.
functor	Pokud jazyk F# přidal parametrizované moduly, použili module M(args) = ...byste .
measure	Atribut [<Measure>] stačí.
volatile	Atribut [<Volatile>] stačí.

Viz také

• Referenční dokumentace jazyka F#
• Referenční dokumentace symbolů a operátorů
• Možnosti kompilátoru