用于语言功能规则的 C# 编译器选项

以下选项控制编译器如何解释语言功能。 新的 MSBuild 语法以粗体显示。 旧的 csc.exe 语法以 code style 显示。

• CheckForOverflowUnderflow-checked：生成溢出检查。
• AllowUnsafeBlocks-unsafe：允许“不安全”代码。
• DefineConstants-define：定义条件编译符号。
• LangVersion-langversion：指定语言版本，如 default（最新主版本）或 latest（最新版本，包括次要版本）。
• Nullable-nullable：启用可为空上下文或可为空警告。

CheckForOverflowUnderflow

CheckForOverflowUnderflow 选项控制在整数算术溢出的情况下定义程序行为的默认溢出检查上下文。

<CheckForOverflowUnderflow>true</CheckForOverflowUnderflow>

CheckForOverflowUnderflow 为 true 时，默认上下文为已检查上下文，并且启用了溢出检查；否则，默认上下文为未检查的上下文。 此选项的默认值为 false，即禁用溢出检查。

还可以使用 checked 和 unchecked 语句显式控制代码部分的溢出检查上下文。

有关溢出检查上下文如何影响操作以及哪些操作受到影响的信息，请参阅关于 checked 和 unchecked 语句的文章。

AllowUnsafeBlocks

AllowUnsafeBlocks 编译器选项允许使用 unsafe 关键字的代码进行编译。 此选项的默认值为 false，表示不允许不安全代码。

<AllowUnsafeBlocks>true</AllowUnsafeBlocks>

有关不安全代码的详细信息，请参阅不安全代码和指针。

DefineConstants

DefineConstants 选项将定义程序中所有源代码文件的符号。

<DefineConstants>name;name2</DefineConstants>

此选项指定要定义的一个或多个符号的名称。 DefineConstants 选项具有与 #define 预处理器指令相同的效果，只不过编译器选项对项目中的所有文件都有效。 符号在源文件中保持已定义状态，直到源文件中的 #undef 指令删除该定义。 当你使用 -define 选项时，一个文件中的 #undef 指令不影响项目中的其他源代码文件。 可以将由此选项创建的符号同 #if、#else、#elif 和 #endif 一起使用，对源文件进行条件编译。 C# 编译器本身不定义源代码中使用的符号或宏；所有符号定义必须都是用户定义的。

LangVersion

使编译器仅接受包含在所选 C# 语言规范中的语法。

<LangVersion>9.0</LangVersion>

以下为有效值：

默认语言版本依赖于应用程序的目标框架以及所安装的 SDK 或 Visual Studio 的版本。 这些规则是在 C# 语言版本控制中定义的。

C# 应用程序引用的元数据不受 LangVersion 编译器选项约束。

每个版本的 C# 编译器都包含语言规范的扩展，因此 LangVersion 不提供早期版本编译器的同等功能。

此外，虽然 C# 版本更新通常与主要的 .NET 版本一致，但新的语法和功能不一定绑定到该特定的 Framework 版本。 虽然新功能肯定需要与 C# 修订版一起发布的新编译器更新，但每项具体功能都有自己的最小 .NET API 或公共语言运行时要求，这些要求通过包括 NuGet 包或其他库允许功能在下层框架上运行。

无论使用哪一项 LangVersion 设置，请使用当前版本的公共语言运行时来创建 .exe 或 .dll。 友元程序集和 ModuleAssemblyName 是一个例外，它们在 -langversion:ISO-1 下工作。

若要了解指定 C# 语言版本的其他方式，请参阅 C# 语言版本控制。

有关如何以编程方式设置此编译器选项的信息，请参阅 LanguageVersion。

C# 语言规范

支持所有语言功能所需的最低 SDK 版本

下表列出了支持相应语言版本的 C# 编译器的 SDK 的最低版本：

Nullable

使用 Nullable 选项可指定可为空上下文。 可以使用 <Nullable> 标记在项目的配置中设置它：

<Nullable>enable</Nullable>

参数必须为以下项之一：enable、disable、warnings 或 annotations。 enable 参数启用可为空上下文。 指定 disable 将禁用可为空上下文。 如果提供 warnings 参数，将启用可为空警告上下文。 如果指定 annotations 参数，将启用可为空注释上下文。

流分析用于在可执行代码中推断变量的为空性。 推断出的变量的为空性与变量声明的为空性无关。 即使有条件地省略方法调用，也会对其进行分析。 例如，发布模式下的 Debug.Assert。

采用以下特性进行注释的方法调用也将影响流分析：

• 简单的前提条件：AllowNullAttribute 和 DisallowNullAttribute
• 简单的后置条件：MaybeNullAttribute 和 NotNullAttribute
• 有条件后置条件：MaybeNullWhenAttribute 和 NotNullWhenAttribute
• DoesNotReturnIfAttribute（例如 Debug.Assert 的 DoesNotReturnIf(false)）和 DoesNotReturnAttribute
• NotNullIfNotNullAttribute
• 成员后置条件：MemberNotNullAttribute(String) 和 MemberNotNullAttribute(String[])