Zpracování výjimek

Tato část obsahuje informace o podpoře zpracování výjimek v jazyce F#.

Základy zpracování výjimek

Zpracování výjimek je standardní způsob zpracování chybových podmínek v .NET Framework. Každý jazyk .NET proto musí tento mechanismus podporovat, včetně jazyka F#. Výjimka je objekt, který zapouzdřuje informace o chybě. Pokud dojde k chybám, vyvolá se výjimky a pravidelné spouštění se zastaví. Místo toho modul runtime vyhledá příslušnou obslužnou rutinu výjimky. Hledání začíná v aktuální funkci a pokračuje v zásobníku vrstvami volajících, dokud nenajde odpovídající obslužnou rutinu. Potom se obslužná rutina spustí.

Kromě toho, protože zásobník je odblokovaný, modul runtime spustí jakýkoli kód v finally blocích, aby zajistil správné vyčištění objektů během procesu odvíjení.

Nadpis Popis
Typy výjimek Popisuje, jak deklarovat typ výjimky.
Výjimky: try...with Výraz Popisuje konstruktor jazyka, který podporuje zpracování výjimek.
Výjimky: try...finally Výraz Popisuje konstruktor jazyka, který umožňuje spustit kód vyčištění, protože zásobník se odvíjí při vyvolání výjimky.
Výjimky: raise funkce Popisuje způsob vyvolání objektu výjimky.
Výjimky: failwith Funkce Popisuje, jak vygenerovat obecnou výjimku jazyka F#.
Výjimky: invalidArg Funkce Popisuje, jak vygenerovat neplatnou výjimku argumentu.