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

---

우선, 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");

---

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 컴파일러부터 이를 허용합니다.

---

제네릭 관련한 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은 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 덕분에 스택 상의 배열에 대한 구문 사용이 늘어날 것을 예상하면서 편의상 추가한 것으로 보입니다.

---

(첨부 파일은 이 글의 예제 코드를 포함합니다.)

---

[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]

[최초 등록일: 6/15/2018]
[최종 수정일: 6/25/2018]


이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.

by SeongTae Jeong, mailto:techsharer at outlook.com