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

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 at outlook.com

비밀번호

댓글 작성자
 




... [16]  17  18  19  20  21  22  23  24  25  26  27  28  29  30  ...
NoWriterDateCnt.TitleFile(s)
13222정성태1/20/20233934개발 환경 구성: 657. WSL - DockerDesktop.vhdx 파일 위치를 옮기는 방법
13221정성태1/19/20234167Linux: 57. C# - 리눅스 프로세스 메모리 정보파일 다운로드1
13220정성태1/19/20234316오류 유형: 837. NETSDK1045 The current .NET SDK does not support targeting .NET ...
13219정성태1/18/20233881Windows: 220. 네트워크의 인터넷 접속 가능 여부에 대한 판단 기준
13218정성태1/17/20233811VS.NET IDE: 178. Visual Studio 17.5 (Preview 2) - 포트 터널링을 이용한 웹 응용 프로그램의 외부 접근 허용
13217정성태1/13/20234406디버깅 기술: 185. windbg - 64비트 운영체제에서 작업 관리자로 뜬 32비트 프로세스의 덤프를 sos로 디버깅하는 방법
13216정성태1/12/20234658디버깅 기술: 184. windbg - 32비트 프로세스의 메모리 덤프인 경우 !peb 명령어로 나타나지 않는 환경 변수
13215정성태1/11/20236182Linux: 56. 리눅스 - /proc/pid/stat 정보를 이용해 프로세스의 CPU 사용량 구하는 방법 [1]
13214정성태1/10/20235742.NET Framework: 2087. .NET 6부터 SourceGenerator와 통합된 System.Text.Json [1]파일 다운로드1
13213정성태1/9/20235271오류 유형: 836. docker 이미지 빌드 시 "RUN apt install ..." 명령어가 실패하는 이유
13212정성태1/8/20235032기타: 85. 단정도/배정도 부동 소수점의 정밀도(Precision)에 따른 형변환 손실
13211정성태1/6/20235113웹: 42. (https가 아닌) http 다운로드를 막는 웹 브라우저
13210정성태1/5/20234134Windows: 219. 윈도우 x64의 경우 0x00000000`7ffe0000 아래의 주소는 왜 사용하지 않을까요?
13209정성태1/4/20234040Windows: 218. 왜 윈도우에서 가상 메모리 공간은 64KB 정렬이 된 걸까요?
13208정성태1/3/20233983.NET Framework: 2086. C# - Windows 운영체제의 2MB Large 페이지 크기 할당 방법파일 다운로드1
13207정성태12/26/20224287.NET Framework: 2085. C# - gpedit.msc의 "User Rights Assignment" 특권을 코드로 설정/해제하는 방법파일 다운로드1
13206정성태12/24/20224499.NET Framework: 2084. C# - GetTokenInformation으로 사용자 SID(Security identifiers) 구하는 방법 [3]파일 다운로드1
13205정성태12/24/20224888.NET Framework: 2083. C# - C++과의 연동을 위한 구조체의 fixed 배열 필드 사용 (2)파일 다운로드1
13204정성태12/22/20224169.NET Framework: 2082. C# - (LSA_UNICODE_STRING 예제로) CustomMarshaler 사용법파일 다운로드1
13203정성태12/22/20224329.NET Framework: 2081. C# Interop 예제 - (LSA_UNICODE_STRING 예제로) 구조체를 C++에 전달하는 방법파일 다운로드1
13202정성태12/21/20224713기타: 84. 직렬화로 설명하는 Little/Big Endian파일 다운로드1
13201정성태12/20/20225331오류 유형: 835. PyCharm 사용 시 C 드라이브 용량 부족
13200정성태12/19/20224206오류 유형: 834. 이벤트 로그 - SSL Certificate Settings created by an admin process for endpoint
13199정성태12/19/20224494개발 환경 구성: 656. Internal Network 유형의 스위치로 공유한 Hyper-V의 VM과 호스트가 통신이 안 되는 경우
13198정성태12/18/20224374.NET Framework: 2080. C# - Microsoft.XmlSerializer.Generator 처리 없이 XmlSerializer 생성자를 예외 없이 사용하고 싶다면?파일 다운로드1
13197정성태12/17/20224308.NET Framework: 2079. .NET Core/5+ 환경에서 XmlSerializer 사용 시 System.IO.FileNotFoundException 예외 발생하는 경우파일 다운로드1
... [16]  17  18  19  20  21  22  23  24  25  26  27  28  29  30  ...