언어 기능 규칙에 대한 C# 컴파일러 옵션

다음 옵션은 컴파일러에서 언어 기능을 해석하는 방법을 제어합니다. 새 MSBuild 구문은 굵게 표시됩니다. 이전 csc.exe 구문은 code style에 표시됩니다.

• CheckForOverflowUnderflow / -checked: 오버플로 검사를 생성합니다.
• AllowUnsafeBlocks / -unsafe: '안전하지 않은' 코드를 허용합니다.
• DefineConstants / -define: 조건부 컴파일 기호를 정의합니다.
• LangVersion / -langversion: default(최신 주 버전) 또는 latest(부 버전을 포함한 최신 버전)와 같은 언어 버전을 지정합니다.
• Null 허용 / -nullable: null 허용 컨텍스트 또는 null 허용 경고를 사용하도록 설정합니다.

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# 컴파일러의 기본 언어 버전은 애플리케이션의 대상 프레임워크와 설치된 SDK 또는 Visual Studio 버전에 따라 다릅니다. 이러한 규칙은 C# 언어 버전 관리에 정의되어 있습니다.

LangVersion 옵션을 사용하면 컴파일러는 지정된 C# 언어 사양에 포함된 구문만 허용합니다. 예를 들면 다음과 같습니다.

<LangVersion>9.0</LangVersion>

유효한 값은 다음과 같습니다.

고려 사항

• 프로젝트가 대상 프레임워크에 권장되는 기본 컴파일러 버전을 사용하도록 하려면 LangVersion 옵션을 사용하지 마세요. 최신 언어 기능에 액세스하려면 대상 프레임워크를 업데이트할 수 있습니다.

• 값과 함께 default를 지정하는 것은 LangVersion 옵션을 생략하는 것과 다릅니다. default를 지정하면 대상 프레임워크를 고려하지 않고 컴파일러가 지원하는 최신 버전의 언어가 사용됩니다. 예를 들어, Visual Studio 버전 17.6에서 .NET 6을 대상으로 하는 프로젝트를 빌드하는 경우 LangVersion이 지정되지 않으면 C# 10을 사용하지만, LangVersion이 default로 설정되면 C# 11을 사용합니다.

• C# 애플리케이션에서 참조된 메타데이터에는 LangVersion 컴파일러 옵션이 적용되지 않습니다.

• 각 C# 컴파일러 버전에 언어 사양의 확장이 포함되어 있으므로 LangVersion은 이전 컴파일러 버전의 동등한 기능을 제공하지 않습니다.

• C# 버전 업데이트는 일반적으로 주요 .NET 릴리스와 일치하지만 새로운 구문과 기능이 반드시 해당 특정 프레임워크 버전에 연결되는 것은 아닙니다. 각 특정 기능에는 NuGet 패키지 또는 기타 라이브러리를 포함하여 하위 수준 프레임워크에서 실행할 수 있는 고유한 최소 .NET API 또는 공용 언어 런타임 요구 사항이 있습니다.

• 사용하는 LangVersion 설정과 관계없이 현재 버전의 공용 언어 런타임을 사용하여 고유한 .exe 또는 .dll을 만듭니다. 한 가지 예외는 친구 어셈블리 및 -langversion:ISO-1에서 작동하는 ModuleAssemblyName입니다.

C# 언어 버전을 지정하는 다른 방법은 C# 언어 버전 관리를 참조하세요.

이 컴파일러 옵션을 프로그래밍 방식으로 설정하는 방법에 대한 자세한 내용은 LanguageVersion을 참조하십시오.

C# 언어 사양

모든 언어 기능을 지원하는 데 필요한 최소 SDK 버전

다음 표에서는 해당 언어 버전을 지원하는 C# 컴파일러가 포함된 SDK의 최소 버전을 보여줍니다.

Nullable

Nullable 옵션을 사용하면 null 허용 컨텍스트를 지정할 수 있습니다. <Nullable> 태그를 사용하여 프로젝트 구성에서 설정할 수 있습니다.

<Nullable>enable</Nullable>

인수는 enable, disable, warnings 또는 annotations 중 하나여야 합니다. enable 인수는 null 허용 컨텍스트를 사용하도록 설정합니다. disable을 지정하면 null 허용 컨텍스트가 비활성화됩니다. warnings 인수를 지정하면 null 허용 경고 컨텍스트가 사용하도록 설정됩니다. annotations 인수를 지정하면 null 허용 주석 컨텍스트가 사용하도록 설정됩니다. 값은 Nullable 컨텍스트에 대한 문서에 설명되어 있습니다. null 허용 마이그레이션 전략에 대한 문서에서 기존 코드베이스에서 null 허용 참조 형식을 사용하도록 설정하는 것과 관련된 작업에 대해 자세히 알아볼 수 있습니다.

흐름 분석은 실행 코드 내에서 변수의 Null 허용 여부를 유추하는 데 사용됩니다. 변수의 유추된 Null 허용 여부는 변수의 선언된 Null 허용 여부와 관계가 없습니다. 메서드 호출은 조건부로 생략된 경우에도 분석됩니다. 예를 들어 릴리스 모드의 Debug.Assert입니다.

다음 특성으로 주석이 지정된 메서드를 호출하면 흐름 분석에도 영향을 줍니다.

• 간단한 사전 조건: AllowNullAttribute 및 DisallowNullAttribute
• 간단한 사후 조건: MaybeNullAttribute 및 NotNullAttribute
• 조건부 사후 조건: MaybeNullWhenAttribute 및 NotNullWhenAttribute
• DoesNotReturnIfAttribute(예: DoesNotReturnIf(false)의 경우 Debug.Assert) 및 DoesNotReturnAttribute
• NotNullIfNotNullAttribute
• 멤버 사후 조건: MemberNotNullAttribute(String) 및 MemberNotNullAttribute(String[])