Microsoft MVP성태의 닷넷 이야기
.NET Framework: 1183. C# 11에 추가된 ref 필드의 (우회) 구현 방법 [링크 복사], [링크+제목 복사]
조회: 1314
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

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

비밀번호

댓글 작성자
 




1  2  3  [4]  5  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
13054정성태5/11/20221260.NET Framework: 2007. C# - 10진수 숫자를 담은 문자열을 숫자로 변환하는 방법 [11]파일 다운로드1
13053정성태5/10/2022832.NET Framework: 2006. C# - GC.KeepAlive 메서드의 역할
13052정성태5/9/2022869.NET Framework: 2005. C# - 생성한 참조 개체가 언제 GC의 정리 대상이 될까요?
13051정성태5/8/2022883.NET Framework: 2004. C# XingAPI - ACF 검색 결과로 구한 CSV 파일을 통해 퀀트 종목 찾기파일 다운로드1
13050정성태5/6/2022921.NET Framework: 2003. C# - COM 개체의 이벤트 핸들러에서 발생하는 예외에 대한 CLR의 특별 대우파일 다운로드1
13049정성태5/6/2022729오류 유형: 811. GoLand - Error: Cannot find package
13048정성태5/6/2022809오류 유형: 810. "ASUS TUF GAMING B550M-PLUS (WI-FI)" 모델에서 블루투스 장치가 인식이 안 되는 문제
13047정성태5/6/2022749오류 유형: 809. Speech Recognition could not start
13046정성태5/5/2022958.NET Framework: 2002. C# XingAPI - ACF 파일을 이용한 퀀트 종목 찾기(t1857)
13045정성태5/5/2022860.NET Framework: 2001. C# XingAPI - 주식 종목에 따른 PBR, PER, ROE 구하는 방법(t3341 예제)
13044정성태5/4/2022720오류 유형: 808. error : clang++ exited with code 127
13043정성태5/3/2022744오류 유형: 807. C# - 닷넷 응용 프로그램에서 Informix DB 사용 시 오류 메시지 정리
13042정성태5/3/2022835.NET Framework: 2000. C# - 닷넷 응용 프로그램에서 Informix DB 사용 방법파일 다운로드1
13041정성태4/28/2022763개발 환경 구성: 642. Informix 데이터베이스 docker 환경 구성
13040정성태4/27/2022768VC++: 156. 비주얼 스튜디오 - Linux C/C++ 프로젝트에서 openssl 링크하는 방법
13039정성태4/27/2022976.NET Framework: 1999. C# - Playwright를 이용한 간단한 브라우저 제어 실습
13038정성태4/26/2022845오류 유형: 806. twine 실행 시 ConfigParser.ParsingError: File contains parsing errors: /root/.pypirc
13037정성태4/25/2022913.NET Framework: 1998. Azure Functions를 사용한 간단한 실습
13036정성태4/24/20221245.NET Framework: 1997. C# - nano 시간을 가져오는 방법 [2]
13035정성태4/22/20221186Windows: 204. Windows 10부터 바뀐 QueryPerformanceFrequency, QueryPerformanceCounter
13034정성태4/21/20221010.NET Framework: 1996. C# XingAPI - 주식 종목에 따른 PBR, PER, ROE, ROA 구하는 방법(t3320, t8430 예제)파일 다운로드1
13033정성태4/18/20221327.NET Framework: 1195. C# - Thread.Yield와 Thread.Sleep(0)의 차이점(?)
13032정성태4/17/20221007오류 유형: 805. Github의 50MB 파일 크기 제한 - warning: GH001: Large files detected. You may want to try Git Large File Storage
13031정성태4/15/2022956.NET Framework: 1194. C# - IdealProcessor와 ProcessorAffinity의 차이점
13030정성태4/15/2022912오류 유형: 804. 정규 표현식 오류 - Quantifier {x,y} following nothing.
13029정성태4/14/2022985Windows: 203. iisreset 후에도 이전에 설정한 전역 환경 변수가 w3wp.exe에 적용되는 문제
1  2  3  [4]  5  6  7  8  9  10  11  12  13  14  15  ...