C# 7.3에서 개선된 문법 4개(Support == and != for tuples, Ref Reassignment, Constraints, Stackalloc initializers)
C# 7.3 (1) - 개선된 문법 4개(Support == and != for tuples, Ref Reassignment, Constraints, Stackalloc initializers)
; https://www.sysnet.pe.kr/2/0/11552
C# 7.3 (2) - 개선된 메서드 선택 규칙 3가지(Improved overload candidates)
; https://www.sysnet.pe.kr/2/0/11553
C# 7.3 (3) - 자동 구현 속성에 특성 적용 가능(Attribute on backing field)
; https://www.sysnet.pe.kr/2/0/11554
C# 7.3 (4) - 사용자 정의 타입에 fixed 적용 가능(Custom fixed)
; https://www.sysnet.pe.kr/2/0/11555
C# 7.3 (5) - 구조체의 고정 크기를 갖는 fixed 배열 필드에 대한 직접 접근 가능(Indexing movable fixed buffers)
; https://www.sysnet.pe.kr/2/0/11556
C# 7.3 (6) - blittable 제네릭 제약(blittable)
; https://www.sysnet.pe.kr/2/0/11558
C# 7.3 (7) - 초기화 식에서 변수 사용 가능(expression variables in initializers)
; https://www.sysnet.pe.kr/2/0/11560
지난 5월 8일에 있었던 Visual Studio 15.7 업데이트부터 C# 7.3이 지원되기 시작했습니다. (
적용 방법은 이렇게!) 이전의 C# 7.2가 struct를 위주로 한 주요 업데이트가 있었다는 특징을 지녔던 반면, C# 7.3의 경우 특정 목적을 두지는 않고 편의성을 높인 업데이트가 주류를 이루고 있습니다. 아래의 문서에 보면,
Language Feature Status
; https://github.com/dotnet/roslyn/blob/master/docs/Language%20Feature%20Status.md
C# 7.3으로 총 11개의 특징이 있는데 그중에서 아래의 글에서도 미리 소개한,
Microsoft Build 2018 - The future of C# 동영상 내용 정리
; https://www.sysnet.pe.kr/2/0/11536
4개의 기능을 이 글에서 다시 간략하게 정리해 보겠습니다.
- Support == and != for tuples
- Ref Reassignment
- Constraints
- Stackalloc initializers
Support == and != for tuples
우선, tuple 타입에 대해 ==, != 비교 연산자에 대한 지원이 추가되었습니다. 따라서, C# 7.2 이전에는 다음의 코드를 컴파일할 수 없지만,
using System;
class Program
{
static void Main(string[] args)
{
var tuple = (13, "Kevin");
// C# 7.2까지 컴파일 오류 - Error CS0019 Operator '==' cannot be applied to operands of type '(int, string)' and '(int, string)'
bool result1 = tuple == (13, "Winnie");
// C# 7.2까지 컴파일 오류 - Error CS0019 Operator '!=' cannot be applied to operands of type '(int, string)' and '(int, string)'
bool result2 = tuple != (13, "Winnie");
}
}
C# 7.3부터는 정상적으로 컴파일할 수 있습니다. 비법은 간단합니다. C# 7.3 컴파일러는 위의 비교 코드를 개별 필드에 대한 비교 코드로 확장해서 처리합니다.
bool result1 = (tuple.Item1 == 13) && (tuple.Item2 == "Winnie");
bool result2 = (tuple.Item1 != 13) || (tuple.Item2 != "Winnie");
Ref Reassignment
C# 7.0부터 추가된 ref 로컬 변수가 C# 7.2까지는 재할당을 허용하지 않았습니다.
static void Main(string[] args)
{
int a = 5;
ref int b = ref a; // ref 로컬 변수 b
int c = 6;
// C# 7.2까지 컴파일 오류 - Error CS1073 Unexpected token 'ref'
b = ref c; // 새롭게 변수 c에 대한 ref를 할당
}
하지만 C# 7.3 컴파일러부터 이를 허용합니다.
Constraints
제네릭 관련한 where 제약에 Delegate, Enum과 unmanaged가 추가되었습니다. 따라서 다음과 같은 식의 제약을 추가하는 것이 가능합니다.
unsafe void M<D, E, T>(D d, E e, T* pointer) where D : Delegate
where E: Enum
where T: unmanaged
{
// ... [생략]...
}
C# 7.2 이하에서는 위의 코드를 컴파일하면 다음과 같은 오류가 발생했습니다.
- Error CS0702 Constraint cannot be special class 'Delegate'
- Error CS0702 Constraint cannot be special class 'Enum'
- Error CS0246 The type or namespace name 'unmanaged' could not be found (are you missing a using directive or an assembly reference?)
Stackalloc initializers
stackalloc은 C# 1.0부터 제공하던 예약어였지만, 배열 초기화 구문은 C# 7.3에 와서야 제공이 됩니다.
{
Span<int> span1 = stackalloc int[5] { 1, 2, 3, 4, 5 };
Span<int> span2 = stackalloc int[] { 1, 2, 3, 4, 5 };
}
{
int *pArray1 = stackalloc int[3] { 1, 2, 3 };
int *pArray2 = stackalloc int[] { 1, 2, 3 };
}
아마도 C# 7.2의 Span 덕분에 스택 상의 배열에 대한 구문 사용이 늘어날 것을 예상하면서 편의상 추가한 것으로 보입니다.
(
첨부 파일은 이 글의 예제 코드를 포함합니다.)
[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]