Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 
(연관된 글이 1개 있습니다.)

C# - ref 필드로 ref struct 타입을 허용하지 않는 이유

지난 글에서 관리 포인터를 알아봤는데요,

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

관리 포인터는 GC 성능 문제로 인해 GC Heap 내에 필드로 존재할 수 없습니다. 그래서 class나 struct의 필드로는,

class MyClass
{
    public ref int N; // 컴파일 에러: error CS9059: A ref field can only be declared in a ref struct.
}

struct MyStruct
{
    public ref int N; // 컴파일 에러: error CS9059: A ref field can only be declared in a ref struct.
}

ref 유형을 정의할 수 없습니다. class는 당연히 GC Heap에 생성되므로 안 되고, struct의 경우에는 메서드 내에서 사용하는 경우라면 스택에 있겠지만 class의 필드로 포함되면 역시 GC Heap에 생성되므로 안 되는 것입니다.

그래서, 결국 (C# 7.2부터 지원하는) ref struct에서만 ref 필드를 가질 수 있게 되는데요,

ref struct MyRefStruct
{
    public ref int N;
}

재미있는 것은, 오직 GC Heap에 있는 인스턴스만을 저 ref 필드에 대입할 수 있다는 점입니다. 예를 들어 볼까요?

internal class Program
{
    static void Main(string[] args)
    {
        int n = 5;
        MyRefStruct data = new MyRefStruct();

        data.N = ref n; // 컴파일 오류: error CS8374: Cannot ref-assign 'n' to 'N' because 'n' has a narrower escape scope than 'N'.
                        // error CS8374: 'n'을(를) 'N'에 참조 할당할 수 없습니다. 'n'이(가) 'N'보다 이스케이프 범위가 좁기 때문입니다.

        MyStruct ms = new MyStruct();
        data.N = ref ms.n; // 컴파일 오류: error CS8374: Cannot ref-assign 'n' to 'N' because 'n' has a narrower escape scope than 'N'.

        Program pg = new Program();
        data.N = ref pg.n; // 컴파일 정상
    }
}

ref struct MyRefStruct
{
    public ref int N;
}

public struct MyStruct
{
    public int n;
}

같은 메서드 내에서 정의했기 때문에 변수 n과 변수 data는 동일한 스택 프레임 위에 있는데도 불구하고 오류 메시지에서는 n이 data.N보다 해제가 더 빠르게 된다는 식으로 지적하고 있습니다. 또한 메서드 내에서 생성한 MyStruct 인스턴스도 스택에 있으므로 data.N에 대입을 못 시킵니다.

반면, 같은 int n이지만, class에 속해 있는 경우라면 data.N에 ref를 저장하고 있습니다.

그런데 사실, 위와 같은 코드라면 "C# - 관리 포인터로서의 ref 예약어 의미" 예제로 설명한 스택 범위에서의 문제가 발생하지 않습니다. (물론 그 예제에서처럼 return을 하면 문제가 됩니다.) 단지 저렇게 무조건 스택 변수를 받지 못하게 한 것은 다소 보수적인 입장으로 막은 것이 아닌가... 하는 추측입니다.

좀 더 따지고 보면, 이해할 수 없는 비교 코드가 하나 있긴 합니다.

int n = 5;

ref int N = ref n; // 컴파일 정상

MyRefStruct data = new MyRefStruct();
data.N = ref n; // 컴파일 오류

ref int도 같은 스택 프레임에 있고, 어차피 data.N도 같은 입장인데 왜? ref struct에 대해서만 저렇게 엄격한 escape 판단을 적용하는지 알 수 없습니다.




다소 특이하다고 생각할 수 있는데, ref 필드는 그 타입으로 ref struct 형식을 허용하지 않습니다.

ref struct MyRefData
{
}

ref struct MyRefStruct
{
    public ref int N;

    public ref MyRefData Data; // 컴파일 오류: error CS9050: A ref field cannot refer to a ref struct.
}

int도 값 형식이고, MyRefData도 값 형식인데 왜? ref struct에 대해서만 막은 것일까요?

사실, 그 이유를 이번 글의 내용을 숙지하셨다면 짐작할 수 있을 것입니다. 그러니까, int 값 형식도 스택에서 정의된 경우에는 ref 필드로 참조를 가질 수 없도록 C# 컴파일러가 막고 있었는데요, 그렇다면 항상 스택에만 생성되는 ref struct에 대해서는 당연히 C# 컴파일러가 막는 것이 맞습니다.

그런 이유로 결국, ref struct 내에는 ref Span 필드를 가질 수 없습니다.

public ref struct MyRefStruct
{
    public ref Span<int> data; // Span<T>는 ref struct이므로 컴파일 오류: error CS9050: A ref field cannot refer to a ref struct.
}




그나저나, ref 필드에 대입하는 필드가 스택인지 힙인지 알 수 없는 경우도 있습니다. 이에 대한 예제 코드를 이렇게 구성할 수 있는데요,

internal class Program
{
    int n;

    static void Main(string[] args)
    {
        int n = 5;
        Process(ref n); // 스택으로부터
        Process2(ref n);

        Program pg = new Program();
        Process(ref pg.n); // 힙으로부터
        Process2(ref pg.n);
    }

    static void Process(ref int n)
    {
        ref int temp = ref n; // 컴파일 정상

        MyRefStruct msf = new MyRefStruct();
        msf.N = ref n; // 컴파일 오류: error CS9079: Cannot ref-assign 'n' to 'N' because 'n' can only escape the current method through a return statement.
                       // error CS9079: 'n'은(는) return 문을 통해서만 현재 메서드를 이스케이프할 수 있으므로 'n'을(를) 'N'에 다시 할당할 수 없습니다.
    }

    static void Process2(ref int n)
    {
        MyRefStruct data = new MyRefStruct(ref n); // 컴파일 정상
    }
}

public ref struct MyRefStruct
{
    public ref int N;

    public MyRefStruct(ref int n)
    {
        N = ref n;
    }
}

위의 코드도 엄밀히 따지면 "ref int temp = ref n;" 코드가 정상 동작하는 것처럼 "msf.N = ref n;" 코드도 문제가 없을 상황입니다. 왜냐하면 메서드의 인자로 전달받은 것은 그것이 스택이든 힙이든지에 상관없이 메서드가 가진 스택 프레임의 바깥에 위치하기 때문에 ref struct 인스턴스가 살아 있는 범위를 넘어섰으므로 유효합니다. (저 코드에서 발생하는 컴파일 오류 메시지의 내용이 원인을 잘 설명하지도 못 하는 것 같습니다.)

이러한 차이점에 대한 해석을 억지로 해보자면, 전자의 코드는 하위 호환성을 위해 그냥 허용하고 ref struct부터 원래 적용했어야 할 기준을 설정한 것이 아닐까... 혹은 아직 ref field에 대한 C# 컴파일러의 유효성 체크를 더 다듬어야 하지 않을까... 라는 추측만 해봅니다. ^^ (혹시 정확한 차이점을 알고 계신 분은 덧글 부탁드립니다.)




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 5/4/2023]

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)
13319정성태4/12/20234155개발 환경 구성: 674. WSL 2 환경에서 GNU Octave 설치
13318정성태4/11/20233972개발 환경 구성: 673. JetBrains IDE에서 "Squash Commits..." 메뉴가 비활성화된 경우
13317정성태4/11/20234143오류 유형: 855. WSL 2 Ubuntu 20.04 - error: cannot communicate with server: Post http://localhost/v2/snaps/...
13316정성태4/10/20233458오류 유형: 854. docker-compose 시 "json.decoder.JSONDecodeError: Expecting value: line 1 column 1 (char 0)" 오류 발생
13315정성태4/10/20233653Windows: 245. Win32 - 시간 만료를 갖는 컨텍스트 메뉴와 윈도우 메시지의 영역별 정의파일 다운로드1
13314정성태4/9/20233727개발 환경 구성: 672. DosBox를 이용한 Turbo C, Windows 3.1 설치
13313정성태4/9/20233820개발 환경 구성: 671. Hyper-V VM에 Turbo C 2.0 설치 [2]
13312정성태4/8/20233804Windows: 244. Win32 - 시간 만료를 갖는 MessageBox 대화창 구현 (개선된 버전)파일 다운로드1
13311정성태4/7/20234291C/C++: 163. Visual Studio 2022 - DirectShow 예제 컴파일(WAV Dest)
13310정성태4/6/20233876C/C++: 162. Visual Studio - /NODEFAULTLIB 옵션 설정 후 수동으로 추가해야 할 library
13309정성태4/5/20234031.NET Framework: 2107. .NET 6+ FileStream의 구조 변화
13308정성태4/4/20233920스크립트: 47. 파이썬의 time.time() 실숫값을 GoLang / C#에서 사용하는 방법
13307정성태4/4/20233715.NET Framework: 2106. C# - .NET Core/5+ 환경의 Windows Forms 응용 프로그램에서 HINSTANCE 구하는 방법
13306정성태4/3/20233562Windows: 243. Win32 - 윈도우(cbWndExtra) 및 윈도우 클래스(cbClsExtra) 저장소 사용 방법
13305정성태4/1/20233893Windows: 242. Win32 - 시간 만료를 갖는 MessageBox 대화창 구현 (쉬운 버전)파일 다운로드1
13304정성태3/31/20234245VS.NET IDE: 181. Visual Studio - C/C++ 프로젝트에 application manifest 적용하는 방법
13303정성태3/30/20233536Windows: 241. 환경 변수 %PATH%에 DLL을 찾는 규칙
13302정성태3/30/20234159Windows: 240. RDP 환경에서 바뀌는 %TEMP% 디렉터리 경로
13301정성태3/29/20234308Windows: 239. C/C++ - Windows 10 Version 1607부터 지원하는 /DEPENDENTLOADFLAG 옵션파일 다운로드1
13300정성태3/28/20233946Windows: 238. Win32 - Modal UI 창에 올바른 Owner(HWND)를 설정해야 하는 이유
13299정성태3/27/20233731Windows: 237. Win32 - 모든 메시지 루프를 탈출하는 WM_QUIT 메시지
13298정성태3/27/20233673Windows: 236. Win32 - MessageBeep 소리가 안 들린다면?
13297정성태3/26/20234342Windows: 235. Win32 - Code Modal과 UI Modal
13296정성태3/25/20233689Windows: 234. IsDialogMessage와 협업하는 WM_GETDLGCODE Win32 메시지 [1]파일 다운로드1
13295정성태3/24/20233942Windows: 233. Win32 - modeless 대화창을 modal처럼 동작하게 만드는 방법파일 다운로드1
13294정성태3/22/20234120.NET Framework: 2105. LargeAddressAware 옵션이 적용된 닷넷 32비트 프로세스의 가용 메모리 - 두 번째
1  2  3  4  5  6  7  8  9  10  11  [12]  13  14  15  ...