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 타입 내의 필드로 정의하는 것이 가능하지 않을까요? ^^
(
첨부 파일은 이 글의 예제 코드를 포함합니다.)
[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]