C#-kompilatoralternativ för språkfunktionsregler

Följande alternativ styr hur kompilatorn tolkar språkfunktioner. Den nya MSBuild-syntaxen visas i Fetstil. Den äldre csc.exe syntaxen visas i code style.

• CheckForOverflowUnderflow / -checked: Generera spillkontroller.
• AllowUnsafeBlocks / -unsafe: Tillåt "osäker" kod.
• DefineConstants: Definiera villkorsstyrda kompileringssymboler / -define.
• LangVersion / -langversion: Ange språkversion som default (senaste huvudversion) eller latest (senaste version, inklusive delversioner).
• Nullbar / -nullable: Aktivera nullbar kontext eller nullbara varningar.

CheckForOverflowUnderflow

Alternativet CheckForOverflowUnderflow styr standardkontexten för spillkontroll som definierar programmets beteende om heltalsaritmetiska spill.

<CheckForOverflowUnderflow>true</CheckForOverflowUnderflow>

När CheckForOverflowUnderflow är trueär standardkontexten en markerad kontext och spillkontroll är aktiverad. Annars är standardkontexten en omarkerad kontext. Standardvärdet för det här alternativet är false, d.v.s. spillkontroll är inaktiverat.

Du kan också uttryckligen styra överflödeskontrollkontexten för delar av koden med hjälp av instruktionen checked och unchecked .

Information om hur överflödeskontrollkontexten påverkar åtgärder och vilka åtgärder som påverkas finns i artikeln om checked och unchecked -instruktioner.

AllowUnsafeBlocks

Kompileringsalternativet AllowUnsafeBlocks tillåter kod som använder det osäkra nyckelordet för kompilering. Standardvärdet för det här alternativet är false, vilket innebär att osäker kod inte tillåts.

<AllowUnsafeBlocks>true</AllowUnsafeBlocks>

Mer information om osäker kod finns i Osäker kod och pekare.

DefineConstants

Alternativet DefineConstants definierar symboler i alla källkodsfiler i ditt program.

<DefineConstants>name;name2</DefineConstants>

Det här alternativet anger namnen på en eller flera symboler som du vill definiera. Alternativet DefineConstants har samma effekt som det #define förprocessordirektivet, förutom att kompilatoralternativet gäller för alla filer i projektet. En symbol förblir definierad i en källfil tills ett #undef-direktiv i källfilen tar bort definitionen. När du använder -define alternativet har ett #undef direktiv i en fil ingen effekt på andra källkodsfiler i projektet. Du kan använda symboler som skapats med det här alternativet med #if, #else, #elif och #endif för att kompilera källfiler villkorligt. Själva C#-kompilatorn definierar inga symboler eller makron som du kan använda i källkoden. alla symboldefinitioner måste vara användardefinierade.

LangVersion

Standardspråkversionen för C#-kompilatorn beror på målramverket för ditt program och vilken version av SDK eller Visual Studio som är installerad. Dessa regler definieras i C#-språkversioner.

Alternativet LangVersion gör att kompilatorn endast accepterar syntax som ingår i den angivna C#-språkspecifikationen, till exempel:

<LangVersion>9.0</LangVersion>

Följande värden är giltiga:

Att tänka på

• Använd inte alternativet LangVersion för att säkerställa att ditt projekt använder den standardkompilatorversion som rekommenderas för ditt målramverk. Du kan uppdatera målramverket för att få åtkomst till nyare språkfunktioner.

• Att ange LangVersion med default värdet skiljer sig från att utelämna alternativet LangVersion . När du anger default används den senaste versionen av språket som kompilatorn stöder, utan att ta hänsyn till målramverket. Om du till exempel skapar ett projekt som riktar sig mot .NET 6 från Visual Studio version 17.6 används C# 10 om LangVersion inte har angetts, men använder C# 11 om LangVersion är inställt på default.

• Metadata som refereras av C#-programmet omfattas inte av kompilatoralternativet LangVersion .

• Eftersom varje version av C#-kompilatorn innehåller tillägg till språkspecifikationen ger LangVersion inte motsvarande funktioner i en tidigare version av kompilatorn.

• Även om C#-versionsuppdateringar vanligtvis sammanfaller med större .NET-versioner, är den nya syntaxen och funktionerna inte nödvändigtvis knutna till den specifika ramverksversionen. Varje specifik funktion har ett eget minimikrav för .NET API eller vanliga språkkörningskrav som gör att den kan köras på ramverk på nednivå genom att inkludera NuGet-paket eller andra bibliotek.

• Oavsett vilken LangVersion-inställning du använder använder du den aktuella versionen av den vanliga språkkörningen för att skapa .exe eller .dll. Ett undantag är vänsammansättningar och ModuleAssemblyName, som fungerar under -langversion:ISO-1.

Andra sätt att ange C#-språkversionen finns i C#-språkversioner.

Information om hur du ställer in det här kompilatoralternativet programmatiskt finns i LanguageVersion.

Språkspecifikation för C#

Lägsta SDK-version som krävs för att stödja alla språkfunktioner

I följande tabell visas de lägsta versionerna av SDK:t med C#-kompilatorn som stöder motsvarande språkversion:

Kan ha värdet null

Med alternativet Nullable kan du ange den nullbara kontexten. Den kan anges i projektets konfiguration med hjälp av taggen <Nullable> :

<Nullable>enable</Nullable>

Argumentet måste vara ett av enable, disable, warningseller annotations. Argumentet enable aktiverar den nullbara kontexten. Om du anger disable inaktiveras den nullbara kontexten. När du anger warnings argumentet aktiveras den nullbara varningskontexten. När du anger annotations argumentet aktiveras den nullbara anteckningskontexten. Värdena beskrivs och förklaras i artikeln om nullbara kontexter. Du kan lära dig mer om de uppgifter som ingår i aktivering av nullbara referenstyper i en befintlig kodbas i vår artikel om nullbara migreringsstrategier.

Flödesanalys används för att härleda variablernas nullbarhet i körbar kod. Den härledda nullabiliteten för en variabel är oberoende av variabelns deklarerade nullabilitet. Metodanrop analyseras även när de utelämnas villkorligt. Till exempel Debug.Assert i versionsläge.

Anrop av metoder som har kommenterats med följande attribut påverkar också flödesanalysen:

• Enkla förutsättningar: AllowNullAttribute och DisallowNullAttribute
• Enkla eftervillkor: MaybeNullAttribute och NotNullAttribute
• Villkor för villkor: MaybeNullWhenAttribute och NotNullWhenAttribute
• DoesNotReturnIfAttribute (till exempel DoesNotReturnIf(false) för Debug.Assert) och DoesNotReturnAttribute
• NotNullIfNotNullAttribute
• Eftervillkor för medlem: MemberNotNullAttribute(String) och MemberNotNullAttribute(String[])