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

Následující možnosti určují, jak kompilátor interpretuje jazykové funkce. nová syntaxe MSBuild je zobrazena tučně. Starší syntaxe csc.exe se zobrazuje v code style .

• CheckForOverflowUnderflow / -checked : generování kontrol přetečení.
• AllowUnsafeBlocks / -unsafe : povolí nezabezpečený kód.
• DefineConstants / -define : Definujte symboly podmíněné kompilace.
• Langversion – / -langversion : zadejte jazykovou verzi default , například (nejnovější hlavní verzi) nebo latest (nejnovější verzi, včetně dílčích verzí).
• Nullable / -nullable : Povolit kontext s možnou hodnotou null nebo upozornění s možnou hodnotou null.

CheckForOverflowUnderflow

Možnost CheckForOverflowUnderflow určuje, zda je celočíselný aritmetický příkaz, jehož výsledkem je hodnota, která je mimo rozsah datového typu, způsobuje výjimku za běhu.

<CheckForOverflowUnderflow>true</CheckForOverflowUnderflow>

Celočíselný aritmetický příkaz, který je v oboru checked unchecked klíčového slova nebo, nepodléhá efektu možnosti CheckForOverflowUnderflow . Pokud celočíselný aritmetický příkaz, který není v oboru checked unchecked klíčového slova nebo, má za následek hodnotu mimo rozsah datového typu a CheckForOverflowUnderflow je true , tento příkaz způsobí výjimku v době běhu. Pokud je CheckForOverflowUnderflow false , tento příkaz během běhu nezpůsobí výjimku. Výchozí hodnota této možnosti je false ; kontrola přetečení je zakázaná.

AllowUnsafeBlocks

Možnost kompilátoru AllowUnsafeBlocks umožňuje kód, který používá klíčové slovo unsafe ke kompilaci. Výchozí hodnota pro tuto možnost je false , což znamená, že nezabezpečený kód není povolen.

<AllowUnsafeBlocks>true</AllowUnsafeBlocks>

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

DefineConstants

Možnost DefineConstants definuje symboly ve všech souborech zdrojového kódu vašeho 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 direktiva preprocesoru #define s tím rozdílem, že možnost kompilátoru je platná pro všechny soubory v projektu. Symbol zůstane definován ve zdrojovém souboru, dokud direktiva #undef ve zdrojovém souboru definici odstraní. Použijete-li -define možnost, #undef direktiva v jednom souboru nemá žádný vliv na jiné soubory zdrojového kódu v projektu. Můžete použít symboly vytvořené pomocí této možnosti s #if, #else, #elifa #endif ke podmíněnému kompilování zdrojových souborů. Kompilátor jazyka C# sám nedefinuje žádné symboly nebo makra, které lze použít ve zdrojovém kódu; všechny definice symbolů musí být definované uživatelem.

Langversion –

Způsobí, že kompilátor přijme pouze syntaxi, která je obsažena ve zvolené specifikaci jazyka C#.

<LangVersion>9.0</LangVersion>

Platné jsou následující hodnoty:

výchozí jazyková verze závisí na cílové architektuře vaší aplikace a na nainstalované verzi sady SDK nebo Visual Studio. Tato pravidla jsou definována ve verzích jazyka C#.

Metadata odkazovaná v aplikaci jazyka C# nepodléhají možnosti kompilátoru langversion – .

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

kromě toho i když se aktualizace verze C# obecně shodují s hlavními .NET Framework verzemi, nová syntaxe a funkce nemusí být nutně vázané na konkrétní verzi frameworku. i když nové funkce budou jednoznačně vyžadovat novou aktualizaci kompilátoru, která se také vydává společně s revizí C#, každá konkrétní funkce má své vlastní minimální požadavky na rozhraní .net API nebo modul clr (common language runtime), které by mohly umožňovat jeho spuštění v rámci architektury nižší verze, zahrnutím balíčků NuGet nebo jiných knihoven.

Bez ohledu na to, který langversion – nastavení použijete, použijte aktuální verzi modulu CLR (Common Language Runtime) a vytvořte .exe nebo .dll. Jedinou výjimkou jsou Friend sestavení a moduleassemblyname –, která pracují v rámci -langversion –: ISO-1.

Další způsoby určení verze jazyka C# naleznete v tématu Správa verzí jazyka c#.

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

specifikace jazyka C#

Minimální verze sady SDK potřebná pro podporu všech funkcí jazyka

V následující tabulce je uveden minimální počet verzí sady SDK s kompilátorem jazyka C#, který podporuje odpovídající jazykovou verzi:

Vynulovatelné

Možnost Nullable umožňuje určit kontext s možnou hodnotou null. Výchozí hodnota pro tuto možnost je disable .

<Nullable>enable</Nullable>

Argument musí být jeden z enable , disable , nebo warnings annotations . Argument enable povoluje kontext s možnou hodnotou null. Zadáním se disable zakáže kontext s možnou hodnotou null. Při poskytování argumentu je povolen kontext upozornění warnings s možnou hodnotou null. Při zadávání argumentu je povolen kontext poznámky s možnou hodnotou annotations null.

Flow analýza slouží k odlišování hodnoty null proměnných ve spustitelném kódu. Odvozená možnost null 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 v Debug.Assert režimu vydání.

Volání metod s poznámkami s následujícími atributy ovlivní také analýzu toku:

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