Microsoft MVP성태의 닷넷 이야기
.NET Framework: 1183. C# 11에 추가된 ref 필드의 (우회) 구현 방법 [링크 복사], [링크+제목 복사],
조회: 17930
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
(연관된 글이 1개 있습니다.)
(시리즈 글이 6개 있습니다.)
.NET Framework: 754. 닷넷의 관리 포인터(Managed Pointer)와 System.TypedReference
; https://www.sysnet.pe.kr/2/0/11529

.NET Framework: 1183. C# 11에 추가된 ref 필드의 (우회) 구현 방법
; https://www.sysnet.pe.kr/2/0/13016

.NET Framework: 2099. C# - 관리 포인터로서의 ref 예약어 의미
; https://www.sysnet.pe.kr/2/0/13273

.NET Framework: 2100. C# - ref 필드로 ref struct 타입을 허용하지 않는 이유
; https://www.sysnet.pe.kr/2/0/13274

.NET Framework: 2101. C# 11의 ref 필드 설명
; https://www.sysnet.pe.kr/2/0/13275

닷넷: 2327. C# - 초기화되지 않은 메모리에 접근하는 버그?
; https://www.sysnet.pe.kr/2/0/13906




C# 11에 추가된 ref 필드의 (우회) 구현 방법

지난 글에서,

C# 11  - (18) ref struct에 ref 필드를 허용
; https://www.sysnet.pe.kr/2/0/13015

C# 11에 ref 필드를 허용한다고 했는데요, 이와 관련해 재미있는 트윗이 있었습니다.

// https://twitter.com/SergioPedri/status/1507006531539144717?s=20&t=EFOovlJnTChnuaM4Ju2Txg

"Mom can we have ref fields?"
"No, we have ref fields at home"

Ref fields at home:

    public unsafe ref struct MyWrapperRefStruct
    {
        private readonly void* _target;

        public MyWrapperRefStruct(ref MyWrapperRefStruct target)
        {
            var f1 = (delegate*<ref byte, void*>)&Unsafe.AsPointer<byte>;
            var f2 = (delegate*<ref MyWrapperRefStruct, void*>)f1;
            var p = f2(ref target);

            _target = p;
        }

        public ref MyWrapperRefStruct Target
        {
            get
            {
                var f1 = (delegate*<void*, ref byte>)&Unsafe.AsRef<byte>;
                var f2 = (delegate*<void*, ref MyWrapperRefStruct>)f1;
                ref var target = ref f2(_target);

                return ref target;
            }
        }
    }

덧글에서 추가로 밝히고 있지만,

C# 11 will let you declare ref fields in a ref struct. This is a hack to achieve functionally the same without runtime/language support, by using a void* field, Unsafe.AsPointer to convert a ref T to a void*, and a delegate cast to bypass the ref struct type argument restriction.


C# 10 이하에서도 저 방법을 사용해 ref 필드와 유사한 역할을 구현할 수 있습니다. 위의 소스 코드를 하나씩 좀 뜯어볼까요? ^^

우선, void* 포인터 변수를 하나 선언해 두고, 특정 변수의 메모리 위치를 얻기 위해 Unsafe.AsPointer 메서드를 호출한 후 그 값을 void* 포인터 변수에 넣어두고 있습니다.

int age = 50;

delegate*<ref byte, void*> f1 = (delegate*<ref byte, void*>)&Unsafe.AsPointer<byte>;
delegate*<ref int, void*> f2 = (delegate*<ref int, void*>)f1;
void *p = f2(ref age);

*((int*)p) = 60;
Console.WriteLine(age); // 출력 결과: 60

결국 핵심은 Unsafe.AsPointer 메서드인데요, 저 코드를 굳이 2단계로 분리할 필요는 없으므로 다음과 같이 간단하게 정리할 수 있습니다.

int age = 50;
delegate*<ref int, void*> f1 = (delegate*<ref int, void*>)&Unsafe.AsPointer<int>;
void *p = f1(ref age);

*((int*)p) = 60;
Console.WriteLine(age); // 출력 결과: 60

그리고 그 포인터 변수로부터 원래의 ref 타입 변수로 복원하는 것을 Unsafe.AsRef 메서드가 하는데요, 이것 역시 2단계로 분리할 필요 없이 다음과 같이 곧바로 형변환해 사용할 수 있습니다.

var f2 = (delegate*<void*, ref int>)&Unsafe.AsRef<int>;
ref int target = ref f2(p);

target = 99;
Console.WriteLine(age); // 출력 결과: 99

따라서, 이걸 일반화시켜 원래의 트윗에 해당하던 코드를 다음과 같은 식으로 바꿔 코딩할 수 있습니다.

using System;
using System.Runtime.CompilerServices;

public unsafe class MyType<T>
{
    private readonly void* _target;

    public MyType(ref T target)
    {
        var f = (delegate*<ref T, void*>)&Unsafe.AsPointer<T>;
        var p = f(ref target);

        _target = p;
    }

    public ref T? Target
    {
        get
        {
            var f = (delegate*<void*, ref T>)&Unsafe.AsRef<T>;
            ref var target = ref f(_target);

            return ref target;
        }
    }
}

internal class Program
{
    static void Main(string[] args)
    {
        int age = 50;
        MyType<int> t = new MyType<int>(ref age);

        t.Target = 20;

        Console.WriteLine(age); // 출력 결과: 20
    }
}

정리하면, C# 11의 ref 필드를 void* 필드로 바꿔 동일하게 구현하고 있는 것입니다.




물론, 해당 원글의 주인장이 말한 대로,

C# 11 will let you declare ref fields in a ref struct.

A few notes. Yes, this does work. No, you should not actually use this. Yes, I might not always follow my own advice. Yes, this will lead to GC holes if you don't manually handle the lifetimes of your targets, as the language won't help you here. Also, @jaredpar I'm so sorry


이 글에서 정의한 MyType 클래스는 C# 11의 ref 필드와 같은 "문법"을 통해 구현한 것은 아니므로, 기본적으로 컴파일러가 제공하는 기타 제약 사항에 대한 도움을 받지 못합니다. 즉, MyType은 ref struct일 필요도 없기 때문에, ref 필드의 대상에 대한 관리를 꼼꼼하게 하지 않는다면 프로그램은 오동작할 수밖에 없습니다. 실제로 MyType은 이렇게 사용하는 것도 가능한데,

MyType<int> t = GetMyType();
Console.WriteLine(t.Target); // 예측할 수 없는 값

private static MyType<int> GetMyType()
{
    int age = 50;
    MyType<int> t = new MyType<int>(ref age);
    return t;
}


당연히, int age가 속한 스택이 GetMyType 메서드의 실행 중에만 유효한 탓에 위의 코드는 Console.WriteLine의 출력 결과가 예측할 수 없는 값이 나오게 됩니다.




참고로, 이것은 결국 TypedReference의 제약을 없앤 것과 같습니다.

닷넷의 관리 포인터(Managed Pointer)와 System.TypedReference
; https://www.sysnet.pe.kr/2/0/11529

현재 BCL에서 TypedReference는 ref struct 유형이므로, 원래는 다른 ref struct 타입 내의 필드로 정의될 수 있어야 합니다. 하지만, 실제로는 이런 경우 빌드 오류가 발생합니다.

public ref struct MyStruct1
{
    System.TypedReference xRef; // Error CS0610 Field or property cannot be of type 'TypedReference'
}

아마도, C# 11에서는 System.TypedReference 역시 ref struct 타입 내의 필드로 정의하는 것이 가능하지 않을까요? ^^

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




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 3/30/2022]

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

비밀번호

댓글 작성자
 




... 106  107  108  109  110  111  112  113  114  115  [116]  117  118  119  120  ...
NoWriterDateCnt.TitleFile(s)
11061정성태10/12/201632222오류 유형: 360. IIS - 500.19 오류 (0x80070021)
11060정성태10/12/201624342오류 유형: 359. WCF - .svc 요청시 404 Not Found
11059정성태10/11/201629207.NET Framework: 609. WPF - 다중 스레드 환경에서 데이터 바인딩의 INotifyPropertyChanged.PropertyChanged에 대한 배려 [1]파일 다운로드1
11058정성태10/8/201624293개발 환경 구성: 303. Windows 10 Bash Shell - 한글 환경을 영문으로 바꾸고 싶다면?
11057정성태10/8/201618667오류 유형: 358. Windows 10 bash shell - sudo: unable to resolve host ...
11056정성태10/8/201622633개발 환경 구성: 302. Windows 10 bash shell 시작 시 [...] packages can be updated.
11055정성태10/8/201623678.NET Framework: 608. double 값을 구할 때는 반드시 피연산자를 double로 형변환! [6]
11054정성태10/5/201627762개발 환경 구성: 301. "Let's Encrypt" SSL 인증서를 Azure Cloud Services(classic)에 업데이트하는 방법
11053정성태10/5/201622363.NET Framework: 607. C# try/catch/finally의 IL 코드 표현
11052정성태9/27/201636112개발 환경 구성: 300. C# DLL에서 Win32 C/C++처럼 dllexport 함수를 제공하는 방법 [7]파일 다운로드1
11051정성태9/25/201623335개발 환경 구성: 299. docker - c:\programdata\docker\windowsfilter 폴더 정리하는 방법파일 다운로드1
11050정성태9/24/201628268VC++: 101. 반올림하지 않고 double 변수 값 출력하는 방법 [3]
11049정성태9/24/201622512오류 유형: 357. 윈도우 백업 시 오류 - 0x81000037
11048정성태9/24/201623647VC++: 100. 전역 변수 유형별 실행 파일 크기 차이점
11047정성태9/21/201627636기타: 61. algospot.com - 양자화(Quantization) 문제 [2]파일 다운로드1
11046정성태9/15/201629239개발 환경 구성: 298. Windows 10 - bash 실행 시 시작 디렉터리 자동 변경
11045정성태9/15/201621937Windows: 119. Windows 10 - bash 명령어 창을 실행했는데 바로 닫히는 경우
11044정성태9/15/201622245VS.NET IDE: 112. Visual Studio 확장 - 편집 화면 내에서 링크를 누르면 외부 웹 브라우저에서 열기
11043정성태9/15/201622688.NET Framework: 606. .NET 스레드 콜 스택 덤프 (7) - ClrMD(Microsoft.Diagnostics.Runtime)를 이용한 방법 [1]파일 다운로드1
11042정성태9/14/201620809오류 유형: 356. Unknown custom metadata item kind: 6
11041정성태9/10/201621202.NET Framework: 605. CLR4 보안 - yield 구문 내에서 SecurityCritical 메서드 사용 불가 - 2번째 이야기
11040정성태9/10/201628641.NET Framework: 604. C# Windows Forms - Drag & Drop 예제 코드 [2]파일 다운로드1
11039정성태9/9/201624223오류 유형: 355. Visual Studio 빌드 오류 - error CS0122: '__ComObject' is inaccessible due to its protection level
11038정성태9/9/201626940VC++: 99. 서로 다른 프로세스에서 WM_DROPFILES 메시지를 전송하는 방법파일 다운로드1
11037정성태9/8/201630195.NET Framework: 603. socket - shutdown 호출이 필요한 사례파일 다운로드1
11036정성태8/29/201625835개발 환경 구성: 297. 소스 코드가 없는 닷넷 어셈블리를 디버깅할 때 지역 변숫값을 확인하는 방법
... 106  107  108  109  110  111  112  113  114  115  [116]  117  118  119  120  ...