Параметры компилятора C# для правил языковых функций

Следующие параметры определяют, как компилятор интерпретирует языковые функции. Новый синтаксис MSBuild выделен полужирным шрифтом. Для старого синтаксиса csc.exe используется формат code style.

• CheckForOverflowUnderflow / -checked: создание проверок на переполнение.
• AllowUnsafeBlocks / -unsafe: разрешение использовать небезопасный код.
• DefineConstants / -define: определение символов условной компиляции.
• LangVersion / -langversion: указание версии языка, например default (последняя основная версия) или latest (последняя версия, включая дополнительные версии).
• Nullable / -nullable: включение контекста, допускающего значение NULL, или предупреждений, допускающих значение NULL.

CheckForOverflowUnderflow

Параметр CheckForOverflowUnderflow управляет контекстом проверки переполнения по умолчанию, определяющим поведение программы, если целочисленные арифметические переполнения.

<CheckForOverflowUnderflow>true</CheckForOverflowUnderflow>

Если установлен флажок CheckForOverflowUnderflowtrue, контекст по умолчанию является проверенным контекстом и включена проверка переполнения. В противном случае контекст по умолчанию является неконтролируемым контекстом. Значением по умолчанию для этого параметра является 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# зависит от целевой платформы для приложения и установленной версии пакета SDK или Visual Studio. Такие правила определены в статье Управление версиями языка C#.

Параметр LangVersion приводит к тому, что компилятор принимает только синтаксис, включенный в указанную спецификацию языка C#, например:

<LangVersion>9.0</LangVersion>

Допустимы следующие значения:

Рекомендации

• Чтобы убедиться, что проект использует версию компилятора по умолчанию, рекомендуемую для целевой платформы, не используйте параметр LangVersion . Вы можете обновить целевую платформу, чтобы получить доступ к новым языковым функциям.

• Указание LangVersion со значением отличается от пропуска параметра LangVersion.default Указание default последней версии языка, который поддерживает компилятор, без учета целевой платформы. Например, создание проекта, предназначенного для .NET 6 из Visual Studio версии 17.6, использует C# 10, если LangVersion не указан, но использует C# 11, если LangVersion имеет значение default.

• Параметр компилятора LangVersion не влияет на метаданные, на которые ссылается ваше приложение C#.

• Так как каждая версия компилятора C# содержит расширения для спецификации языка, параметр LangVersion не позволяет использовать возможности, аналогичные возможностям более ранней версии компилятора.

• Хотя обновления версий C# обычно совпадают с основными выпусками .NET, новые синтаксис и функции не обязательно привязаны к этой конкретной версии платформы. Каждая конкретная функция имеет собственные минимальные требования к API .NET или среде CLR, которые могут позволить ему работать на платформах нижнего уровня, включая пакеты NuGet или другие библиотеки.

• Независимо от того, какой параметр LangVersion используется, используйте текущую версию среды CLR для создания .exe или .dll. Единственным исключением являются дружественные сборки и ModuleAssemblyName, которые работают при установке параметра -langversion:ISO-1.

Другие способы указания версии языка C# см. в статье Управление версиями языка C#.

Дополнительные сведения об установке этого параметра компилятора программным путем см. в разделе LanguageVersion.

Спецификация языка C#

Минимальная версия пакета SDK, необходимая для поддержки всех возможностей языка

В следующей таблице перечислены минимальные версии пакета SDK с компилятором C#, поддерживающим соответствующую версию языка:

Допускает значение NULL

Параметр Nullable позволяет указать контекст, допускающий значение NULL. Его можно задать в конфигурации проекта с помощью тега <Nullable> :

<Nullable>enable</Nullable>

Аргумент должен иметь одно из следующих значений: enable, disable, warnings или annotations. Аргумент enable разрешает контекст, допускающий значение NULL. При указании disable контекст, допускающий значение NULL, будет отключен. При указании аргумента warnings включен контекст предупреждения, допускающий значение NULL. При указании аргумента annotations включен контекст заметки, допускающий значение NULL. Эти значения описаны и описаны в статье о контекстах, допускающих значение NULL. Дополнительные сведения о задачах, связанных с включением ссылочных типов, допускающих значение NULL, в существующей базе кода в нашей статье о стратегиях миграции, допускающих значение NULL.

Анализ потока используется для определения допустимости значений NULL в переменных в исполняемом коде. Выводимая допустимость переменной значения NULL не зависит от объявленной в переменной допустимости значения NULL. Вызовы методов анализируются, даже если они условно опущены. Например, Debug.Assert в режиме выпуска.

Вызов методов, снабженных следующими атрибутами, также повлияет на анализ потока:

• Простые предварительные условия: AllowNullAttribute и DisallowNullAttribute
• Простые постусловия: MaybeNullAttribute и NotNullAttribute
• Условные постусловия: MaybeNullWhenAttribute и NotNullWhenAttribute
• DoesNotReturnIfAttribute (например, DoesNotReturnIf(false) для Debug.Assert) и DoesNotReturnAttribute
• NotNullIfNotNullAttribute
• Постусловия элемента: MemberNotNullAttribute(String) и MemberNotNullAttribute(String[])