Microsoft MVP성태의 닷넷 이야기
.NET Framework: 775. C# 7.3 - unmanaged(blittable) 제네릭 제약 [링크 복사], [링크+제목 복사]
조회: 3014
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

C# 7.3 - unmanaged(blittable) 제네릭 제약

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




C# 문서에 보면,

Language Feature Status
; https://github.com/dotnet/roslyn/blob/master/docs/Language%20Feature%20Status.md

C# 7.3의 새로운 기능으로 "blittable"이라고 명시한 것을 볼 수 있습니다. 제안된 기록들을 보면,

Champion "blittable"/"unmanaged" constraint (15.7) #187
; https://github.com/dotnet/csharplang/issues/187

Initial blittable proposal #206
; https://github.com/dotnet/csharplang/pull/206

csharplang/proposals/csharp-7.3/blittable.md - Unmanaged type constraint
; https://github.com/dotnet/csharplang/blob/master/proposals/csharp-7.3/blittable.md

blittable이라고 자주 언급하고 있지만 예약어로는 "unmanaged"가 된 것으로 보입니다. 그리고 이 unmanaged 제네릭 제약은 이미 전에도 간단하게 언급을 했었습니다.

C# 7.3에서 개선된 문법 4개(Support == and != for tuples, Ref Reassignment, Constraints, Stackalloc initializers)
; https://www.sysnet.pe.kr/2/0/11552

위의 글에서 설명했듯이, C# 7.3에 추가된 제네릭 제약에 관한 예약어가 Delegate, Enum과 unmanaged가 있는데 delegate와 enum은 직관적으로 알 수 있으니 생략하고 이번 글에서는 blittable일 뻔했던 unmanaged에 대해 좀 더 설명해 보겠습니다.




unmanaged 제약의 설명에 blittable이 나오므로 지난 글에서 한번 정리해 봤지만,

C# - blittable 타입이란?
; https://www.sysnet.pe.kr/2/0/11557

사실 위에서 정리한 blittable 타입이 unmanaged 제약이 요구하는 blittable 타입과 일치하지는 않습니다. 차이점은 대략 다음과 같은 정도입니다.

  • LayoutKind.Auto 유형의 struct를 unmanaged는 허용
  • 모든 참조 형식에 대해서는 unmanaged는 불가(가령 int [] 배열도 unmanaged는 허용하지 않음)
  • System.Boolean, System.Char에 대해 unmanaged는 허용

그런데, LayoutKind.Auto 유형은 필드 배치가 바뀔 수도 있는데 어떻게 허용하게 된 걸까요? 왜냐하면, LayoutKind.Auto일지라도 참조 형식의 필드를 포함하지 않는다면 필드 배치가 바뀌지 않기 때문입니다. 따라서 위에서 2번째 조건이었던 "모든 참조 형식에 대해서는 unmanaged는 불가"로 인해 LayoutKind.Auto도 허용이 되는 것입니다.

간단하게 보면, unmanaged 제약은 기존 struct 제약의 좀 더 특수화한 사례에 속합니다. 즉, struct 제약 중에서 대상 타입이 참조 형식을 필드로 갖지 않는다는 보장을 하나 더 해줍니다. 코드로 설명하기 위해 다음과 같은 타입을 만들고,

class CallGenerics
{
    public static void AcceptBlittable<T>(T item) where T : unmanaged
    {
    }

    public static void AcceptStruct<T>(T item) where T : struct
    {
    }
}

string 타입에 대해 AcceptBlittable과 AcceptStruct 메서드를 호출하면 다음과 같은 컴파일 오류가 발생합니다.

{
    System.String txt = "TEST";

    // 컴파일 에러 - Error CS8377 The type 'string' must be a non-nullable value type, along with all fields at any level of nesting, in order to use it as parameter 'T' in the generic type or method 'CallGenerics.AcceptBlittable<T>(T)'
    CallGenerics.AcceptBlittable(txt); 

    // 컴파일 에러 - Error CS0453 The type 'string' must be a non-nullable value type in order to use it as parameter 'T' in the generic type or method 'CallGenerics.AcceptStruct<T>(T)'
    CallGenerics.AcceptStruct(txt);
}

보는 바와 같이 오류 메시지에서 명확한 제약 조건을 확인할 수 있습니다. 우선, struct 제약은 "non-nullable value type"으로 (C# 2.0에 추가된 nullable이 아닌) 값 형식이기만 하면 됩니다. 반면 unmanaged는 "along with all fields at any level of nesting"이라는 하나의 조건이 더 있습니다. 따라서 실제로 blittable한 것을 평가하기보다는 struct 중에서 그 내부의 필드까지도 "non-nullable value type"이어야만 합니다.




unmanaged의 이러한 특성 덕분에 따라오는 struct와의 또 다른 차이점은, 바로 포인터 형을 정의할 수 있다는 것입니다.

class CallGenerics
{
    public static unsafe void AcceptBlittablePtr<T>(T *item) where T : unmanaged
    {
        Console.WriteLine(*item);
    }

    // 컴파일 에러 - Error CS0208 Cannot take the address of, get the size of, or declare a pointer to a managed type ('T')
    // public static unsafe void AcceptStructPtr<T>(T* item) where T : struct
    // {
    // }
}

struct BlittableStructType
{
    public int Age;
}

class Program
{
    static unsafe void Main()
    {
        BlittableStructType* pbst = &bst;
        CallGenerics.AcceptBlittablePtr<BlittableStructType>(pbst);
    }
}

위의 코드를 달리 해석하면, 다음과 같이 포인터로 형변환할 수 있는 타입만을 필요로 할 때 unmanaged 제약을 쓸 수 있다는 것이 됩니다.

using System;

namespace ConsoleApp1
{
    struct BlittableStructType
    {
        public int Age;
    }

    class Program
    {
        static void Main(string[] args)
        {
            BlittableStructType bst = new BlittableStructType();
            bst.Age = 500;

            Convert(bst);
        }

        static unsafe void Convert<T>(T value) where T : unmanaged
        {
            T* ptr = &value;
            IntPtr ptrAddress = new IntPtr(ptr);
            Console.WriteLine(ptrAddress.ToString("x"));
        }
    }
}

예약어 정의에 대한 미적 감각을 제외하고 unmanaged를 다른 예약어로 쉽게 정의해 본다면 "pointable_struct_type" 제약 정도가 될 것입니다.

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




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

[연관 글]





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

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer@outlook.com

비밀번호

댓글 쓴 사람
 




... [31]  32  33  34  35  36  37  38  39  40  41  42  43  44  45  ...
NoWriterDateCnt.TitleFile(s)
11635정성태8/1/20182773오류 유형: 472. C# 컴파일 오류 - Your project is not referencing the ".NETFramework,Version=v3.5" framework.
11634정성태8/1/20182706.NET Framework: 790. .NET Thread 상태가 Cooperative일 때 GC hang 현상 재현 방법파일 다운로드1
11633정성태7/29/20184967Graphics: 15. Unity - shader의 World matrix(unity_ObjectToWorld)를 수작업으로 구성 [1]
11632정성태7/28/20188289Graphics: 14. C# - Unity에서 캐릭터가 바라보는 방향을 기준으로 카메라의 위치 이동 및 회전하는 방법
11631정성태7/27/20186152Graphics: 13. Unity로 실습하는 Shader (9) - 투명 배경이 있는 텍스처 입히기 [1]
11630정성태2/11/20203552개발 환경 구성: 391. (GitHub 등과 직접 연동해) 소스 코드 디버깅을 쉽게 해 주는 SourceLink [2]
11629정성태7/26/20182958.NET Framework: 789. C# 컴파일 옵션 - Check for arithmetic overflow/underflow [1]
11628정성태7/26/20184926Graphics: 12. Unity로 실습하는 Shader (8) - 다중 패스(Multi-Pass Shader)
11627정성태7/25/20182248개발 환경 구성: 390. C# - 컴파일러 옵션 OSS signing / Public Signing
11626정성태7/25/20183057오류 유형: 471. .C++ 함수를 const로 바꾼 경우 C2440 컴파일 오류가 발생한다면?
11625정성태7/24/20182319Math: 49. GeoGebra 기하 (25) - 타원의 중심점 찾기파일 다운로드1
11624정성태7/24/20182877개발 환경 구성: 389. C# - 재현 가능한 빌드(reproducible builds) == Deterministic builds [4]
11623정성태7/24/20183530Math: 48. C# - 가우시안 함수의 이산형(discrete) 커널 값 생성파일 다운로드1
11622정성태7/23/20184179개발 환경 구성: 388. Windows 환경에서 Octave 패키지 설치하는 방법
11621정성태7/23/20183011VC++: 127. 멤버 함수에 대한 포인터를 외부에서 호출하는 방법파일 다운로드1
11620정성태8/3/20184664Graphics: 11. Unity로 실습하는 Shader (7) - Blur (평균값, 가우스, 중간값) 필터파일 다운로드1
11619정성태7/21/20183348Graphics: 10. Unity로 실습하는 Shader (6) - Mosaic Shading
11618정성태4/28/20203033개발 환경 구성: 387. 삼성 오디세이(Odyssey) 노트북의 운영체제를 새로 설치하는 방법
11617정성태7/20/20183090Team Foundation Server: 50. TFS 소스 코드 관리 기능 (5) - "Rollback", "Rollback Entire Changeset"
11616정성태7/17/20182900Graphics: 9. Unity Shader - 전역 변수의 초기화
11615정성태7/17/20184030.NET Framework: 788. RawInput을 이용한 키보드/마우스 입력 모니터링파일 다운로드1
11614정성태7/20/20185448Graphics: 8. Unity Shader - Texture의 UV 좌표에 대응하는 Pixel 좌표
11613정성태7/17/20183664Graphics: 7. Unity로 실습하는 Shader (5) - Flat Shading
11612정성태7/16/20183113Windows: 148. Windows - Raw Input의 Top level collection 의미
11611정성태8/3/20183855Graphics: 6. Unity로 실습하는 Shader (4) - 퐁 셰이딩(phong shading)
11610정성태8/3/20182557Graphics: 5. Unity로 실습하는 Shader (3) - 고로 셰이딩(gouraud shading) + 퐁 모델(Phong model) + Texture
... [31]  32  33  34  35  36  37  38  39  40  41  42  43  44  45  ...