The following options control how the compiler interprets language features. The new MSBuild syntax is shown inBold. The oldercsc.exe syntax is shown incode style.

• CheckForOverflowUnderflow /-checked: Generate overflow checks.
• AllowUnsafeBlocks /-unsafe: Allow 'unsafe' code.
• DefineConstants /-define: Define conditional compilation symbol(s).
• LangVersion /-langversion: Specify language version such asdefault (latest major version), orlatest (latest version, including minor versions).
• Nullable /-nullable: Enable nullable context, or nullable warnings.

CheckForOverflowUnderflow

TheCheckForOverflowUnderflow option controls the default overflow-checking context that defines the program behavior if integer arithmetic overflows.

<CheckForOverflowUnderflow>true</CheckForOverflowUnderflow>

WhenCheckForOverflowUnderflow istrue, the default context is a checked context and overflow checking is enabled; otherwise, the default context is an unchecked context. The default value for this option isfalse, that is, overflow checking is disabled.

You can also explicitly control the overflow-checking context for the parts of your code by using thechecked andunchecked statements.

For information about how the overflow-checking context affects operations and what operations are affected, see thearticle aboutchecked andunchecked statements.

AllowUnsafeBlocks

TheAllowUnsafeBlocks compiler option allows code that uses theunsafe keyword to compile. The default value for this option isfalse, meaning unsafe code isn't allowed.

<AllowUnsafeBlocks>true</AllowUnsafeBlocks>

For more information about unsafe code, seeUnsafe Code and Pointers.

DefineConstants

TheDefineConstants option defines symbols in all source code files of your program.

<DefineConstants>name;name2</DefineConstants>

This option specifies the names of one or more symbols that you want to define. TheDefineConstants option has the same effect as the#define preprocessor directive except that the compiler option is in effect for all files in the project. A symbol remains defined in a source file until an#undef directive in the source file removes the definition. When you use the-define option, an#undef directive in one file has no effect on other source code files in the project. You can use symbols created by this option with#if,#else,#elif, and#endif to compile source files conditionally. The C# compiler itself defines no symbols or macros that you can use in your source code; all symbol definitions must be user-defined.

LangVersion

The default language version for the C# compiler depends on the target framework for your application and the version of the SDK or Visual Studio installed. Those rules are defined inC# language versioning.

TheLangVersion option causes the compiler to accept only syntax that is included in the specified C# language specification, for example:

<LangVersion>9.0</LangVersion>

The following values are valid:

Considerations

• To ensure that your project uses the default compiler version recommended for your target framework, don't use theLangVersion option. You can update the target framework to access newer language features.

• SpecifyingLangVersion with thedefault value is different from omitting theLangVersion option. Specifyingdefault uses the latest version of the language that the compiler supports, without taking into account the target framework. For example, building a project that targets .NET 6 from Visual Studio version 17.6 uses C# 10 ifLangVersion isn't specified, but uses C# 11 ifLangVersion is set todefault.

• Metadata referenced by your C# application isn't subject to theLangVersion compiler option.

• Because each version of the C# compiler contains extensions to the language specification,LangVersion doesn't give you the equivalent functionality of an earlier version of the compiler.

• While C# version updates generally coincide with major .NET releases, the new syntax and features aren't necessarily tied to that specific framework version. Each specific feature has its own minimum .NET API or common language runtime requirements that may allow it to run on downlevel frameworks by including NuGet packages or other libraries.

• Regardless of whichLangVersion setting you use, use the current version of the common language runtime to create your.exe or.dll. One exception is friend assemblies andModuleAssemblyName, which work under-langversion:ISO-1.

For other ways to specify the C# language version, seeC# language versioning.

For information about how to set this compiler option programmatically, seeLanguageVersion.

C# language specification

Minimum SDK version needed to support all language features

The following table lists the minimum versions of the SDK with the C# compiler that supports the corresponding language version:

Nullable

TheNullable option lets you specify the nullable context. It can be set in the project's configuration using the<Nullable> tag:

<Nullable>enable</Nullable>

The argument must be one ofenable,disable,warnings, orannotations. Theenable argument enables the nullable context. Specifyingdisable will disable the nullable context. When you specify thewarnings argument, the nullable warning context is enabled. When you specify theannotations argument, the nullable annotation context is enabled. The values are described and explained in the article onNullable contexts. You can learn more about the tasks involved in enabling nullable reference types in an existing codebase in our article onnullable migration strategies.

Flow analysis is used to infer the nullability of variables within executable code. The inferred nullability of a variable is independent of the variable's declared nullability. Method calls are analyzed even when they're conditionally omitted. For instance,Debug.Assert in release mode.

Invocation of methods annotated with the following attributes will also affect flow analysis:

• Simple pre-conditions:AllowNullAttribute andDisallowNullAttribute
• Simple post-conditions:MaybeNullAttribute andNotNullAttribute
• Conditional post-conditions:MaybeNullWhenAttribute andNotNullWhenAttribute
• DoesNotReturnIfAttribute (for example,DoesNotReturnIf(false) forDebug.Assert) andDoesNotReturnAttribute
• NotNullIfNotNullAttribute
• Member post-conditions:MemberNotNullAttribute(String) andMemberNotNullAttribute(String[])