Možnosti kompilátoru jazyka C# pro pravidla jazykových funkcí

Následující možnosti určují, jak kompilátor interpretuje funkce jazyka. Nová syntaxe nástroje MSBuild je zobrazena tučně. Starší syntaxe csc.exe je zobrazena v code stylesouboru .

• CheckForOverflowUnderflow / -checked: Vygenerujte kontroly přetečení.
• AllowUnsafeBlocks / -unsafe: Povolte nebezpečný kód.
• DefineConstants / -define: Definujte symboly podmíněné kompilace.
• LangVersion / -langversion: Zadejte jazykovou verzi, například default (nejnovější hlavní verzi) nebo latest (nejnovější verzi, včetně podverzí).
• Nullable / -nullable: Povolte kontext s možnou hodnotou null nebo upozornění s možnou hodnotou null.

CheckForOverflowUnderflow

Možnost CheckForOverflowUnderflow řídí výchozí kontext kontroly přetečení, který definuje chování programu v případě celočíselného aritmetického přetečení.

<CheckForOverflowUnderflow>true</CheckForOverflowUnderflow>

Pokud je truecheckForOverflowUnderflow , výchozí kontext je zaškrtnutý kontext a je povolena kontrola přetečení. Jinak je výchozí kontext nezaškrtnutý. Výchozí hodnota této možnosti je , to znamená false, že kontrola přetečení je zakázaná.

Pomocí příkazů a příkazů můžete také explicitně řídit kontext kontroly přetečení částí kódu checked unchecked .

Informace o tom, jak kontext kontroly přetečení ovlivňuje operace a jaké operace jsou ovlivněny, najdete v článku o checked a unchecked příkazech.

AllowUnsafeBlocks

Možnost kompilátoru AllowUnsafeBlocks umožňuje kód, který ke kompilaci používá nebezpečné klíčové slovo. Výchozí hodnota této možnosti je false, což znamená, že nebezpečný kód není povolený.

<AllowUnsafeBlocks>true</AllowUnsafeBlocks>

Další informace o nebezpečném kódu naleznete v tématu Nebezpečný kód a ukazatele.

DefineConstants

Možnost DefineConstants definuje symboly ve všech souborech zdrojového kódu programu.

<DefineConstants>name;name2</DefineConstants>

Tato možnost určuje názvy jednoho nebo více symbolů, které chcete definovat. Možnost DefineConstants má stejný účinek jako #define direktiva preprocesoru s tím rozdílem, že možnost kompilátoru platí pro všechny soubory v projektu. Symbol zůstane definovaný ve zdrojovém souboru, dokud #undef direktiva ve zdrojovém souboru definici neodebere. Pokud použijete -define tuto možnost, direktiva #undef v jednom souboru nemá žádný vliv na jiné soubory zdrojového kódu v projektu. K podmíněné kompilaci zdrojových souborů můžete použít symboly vytvořené touto možností pomocí #if, #else, #elif a #endif . Samotný kompilátor jazyka C# definuje žádné symboly ani makra, které můžete použít ve zdrojovém kódu; všechny definice symbolů musí být definované uživatelem.

LangVersion

Výchozí jazyková verze kompilátoru jazyka C# závisí na cílovém rozhraní pro vaši aplikaci a na verzi nainstalované sady SDK nebo sady Visual Studio. Tato pravidla jsou definována ve správě verzí jazyka C#.

Možnost LangVersion způsobí, že kompilátor přijme pouze syntaxi, která je součástí zadané specifikace jazyka C#, například:

<LangVersion>9.0</LangVersion>

Platné jsou následující hodnoty:

Důležité informace

• Pokud chcete zajistit, aby váš projekt používal výchozí verzi kompilátoru doporučenou pro cílovou architekturu , nepoužívejte možnost LangVersion . Cílovou architekturu můžete aktualizovat pro přístup k novějším jazykových funkcím.

• Zadání jazyka default LangVersion s hodnotou se liší od vynechání možnosti LangVersion. Určení default používá nejnovější verzi jazyka, který kompilátor podporuje, bez zohlednění cílové architektury. Například sestavení projektu, který cílí na .NET 6 ze sady Visual Studio verze 17.6, používá jazyk C# 10, pokud není zadaný jazyk LangVersion , ale používá jazyk C# 11, pokud je jazyk LangVersion nastavený na default.

• Metadata odkazovaná vaší aplikací jazyka C# nejsou předmětem možnosti kompilátoru LangVersion .

• Vzhledem k tomu, že každá verze kompilátoru jazyka C# obsahuje rozšíření specifikace jazyka, LangVersion neposkytuje ekvivalentní funkce starší verze kompilátoru.

• Aktualizace verzí jazyka C# se obecně shodují s hlavními verzemi .NET, ale nová syntaxe a funkce nemusí být nutně svázané s danou konkrétní verzí architektury. Každá konkrétní funkce má vlastní minimální požadavky rozhraní .NET API nebo běžné jazykové moduly runtime, které můžou umožňovat spouštění na architekturách nižší úrovně včetně balíčků NuGet nebo jiných knihoven.

• Bez ohledu na to, které nastavení JazykVersion používáte, použijte aktuální verzi modulu CLR (Common Language Runtime) k vytvoření .exe nebo .dll. Jednou výjimkou jsou přátelská sestavení a ModuleAssemblyName, která pracují v části -langversion:ISO-1.

Další způsoby, jak určit jazykovou verzi jazyka C#, najdete v tématu Správa verzí jazyka C#.

Informace o tom, jak tuto možnost kompilátoru nastavit programově, naleznete v tématu LanguageVersion.

specifikace jazyka C#

Minimální verze sady SDK potřebná k podpoře všech jazykových funkcí

Následující tabulka uvádí minimální verze sady SDK s kompilátorem jazyka C#, který podporuje odpovídající jazykovou verzi:

Vynulovatelné

Možnost Nullable umožňuje zadat kontext s možnou hodnotou null. Dá se nastavit v konfiguraci projektu pomocí značky <Nullable> :

<Nullable>enable</Nullable>

Argument musí být jeden z enable, disable, warningsnebo annotations. Argument enable povolí kontext s možnou hodnotou null. Zadání disable zakáže kontext s možnou hodnotou null. Když zadáte warnings argument, povolí se kontext upozornění s možnou hodnotou null. Když zadáte annotations argument, povolí se kontext poznámek s možnou hodnotou null. Hodnoty jsou popsány a vysvětleny v článku o kontextech s možnou hodnotou Null. Další informace o úlohách, které se týkají povolení referenčních typů s možnou hodnotou null ve stávajícím základu kódu, najdete v našem článku o strategiích migrace s možnou hodnotou null.

Analýza toku se používá k odvození hodnoty null proměnných v rámci spustitelného kódu. Odvozená nullability proměnné je nezávislá na deklarované nullability proměnné. Volání metod se analyzují i v případě, že jsou podmíněně vynechána. Například Debug.Assert v režimu vydání.

Vyvolání metod anotovaných s následujícími atributy ovlivní také analýzu toku:

• Jednoduché předběžné podmínky: AllowNullAttribute a DisallowNullAttribute
• Jednoduché po podmínkách: MaybeNullAttribute a NotNullAttribute
• Podmíněné po podmínkách: MaybeNullWhenAttribute a NotNullWhenAttribute
• DoesNotReturnIfAttribute (například DoesNotReturnIf(false) pro Debug.Assert) a DoesNotReturnAttribute
• NotNullIfNotNullAttribute
• Členské podmínky po splnění podmínek: MemberNotNullAttribute(String)MemberNotNullAttribute(String[])