Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

C# - CS8344 컴파일 에러: ref struct 타입의 사용 제한 메서드

스택에만 생성 가능한 ref struct 구조체는,

C# 7.2 - 스택에만 생성할 수 있는 값 타입 지원 - "ref struct"
; https://www.sysnet.pe.kr/2/0/11530

GC Heap에 위치하는 참조 타입의 필드로 선언될 수 없다는 제약이 있는데요. 이로 인해 다음과 같은 식으로 yield return을 포함한 메서드나, async 메서드 내에서는 사용할 수 없습니다.

using System;
using System.Collections.Generic;

class Program
{
    static void Main(string[] args)
    {
        Memory<byte> buffer = new Memory<byte>();

        EnumerateElems(buffer);
    }

    private static IEnumerable<byte> EnumerateElems(Memory<byte> buffer)
    {
        // Error CS8344 foreach statement cannot operate on enumerators of type 'Span.Enumerator' in async or iterator methods because 'Span.Enumerator' is a ref struct.
        foreach (byte item in buffer.Span)
        {
            yield return item;
        }
    }
}

왜냐하면, C# 컴파일러는 위와 같은 특별한 메서드를 다음과 같이,

[CompilerGenerated]
private sealed class <EnumerateElems>d__2 : IEnumerable<object>, IEnumerable, IEnumerator<object>, IDisposable, IEnumerator
{
    // Fields
    private int <>1__state;
    private object <>2__current;
    private Span<byte> <buffer_span>3__1;
    ...[생략]...
    // Properties
    object IEnumerator<object>.Current { [DebuggerHidden] get; }
    object IEnumerator.Current { [DebuggerHidden] get; }
}

사용자 코드에서 사용하던 buffer.Span 변수를 필드에 담는 클래스로 재구성하기 때문에 저 구문이 허용되지 않아 컴파일 오류가 발생하는 것입니다. 마찬가지의 이유로 async 메서드에서도,

C# 컴파일러 대신 직접 구현하는 비동기(async/await) 코드
; https://www.sysnet.pe.kr/2/0/11351#gen_src

IAsyncStateMachine을 상속받아 자동 생성하는 코드에서 필드로 정의해 놓기 때문에 사용하지 못합니다. 그러고 보니, 예전에 이와 유사한 문제로 허용되지 않는 구문이 또 있었지요. ^^

C# async 메서드에서 out/ref/in 유형의 인자를 사용하지 못하는 이유
; https://www.sysnet.pe.kr/2/0/11850




그나마 다행인 점은, 자동 생성되는 코드로 빠지지만 않는다면 괜찮기 때문에 경우에 따라 우회할 수 있는 가능성이 있을 수도 있습니다. 가령 이 글의 예제 코드는 다음과 같은 식으로 우회할 수 있습니다.

using System;
using System.Collections.Generic;

class Program
{
    static void Main(string[] args)
    {
        Memory<byte> buffer = new Memory<byte>();

        EnumerateElems(buffer);
    }

    private static IEnumerable<byte> EnumerateElems(Memory<byte> buffer)
    {
        /*
        foreach (byte item in buffer.Span)
        {
            yield return item;
        }
        */

        int length = GetLength(buffer);

        for (int i = 0; i < length; i ++)
        {
            yield return GetItem(buffer, i);
        }
    }

    private static int GetLength(Memory<byte> buffer)
    {
        return buffer.Length;
    }

    private static byte GetItem(Memory<byte> buffer, int idx)
    {
        return buffer.Span[idx]; // 성능 손실
    }
}

위와 같이 buffer 변수 수준에서 자동 생성 코드 내에 들어가면 컴파일 오류가 없어지는데요, 왜냐하면 Memory<T> 타입은 일반적인 struct이기 때문에 자동 생성 코드의 필드로 넣는 것이 가능하기 때문입니다.

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




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

[연관 글]


donaricano-btn



[최초 등록일: ]
[최종 수정일: 1/8/2021 ]

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)
12551정성태3/5/2021240오류 유형: 702. 비주얼 스튜디오 - The 'CascadePackage' package did not load correctly. (2)
12550정성태3/5/2021201오류 유형: 701. Live Share 1.0.3713.0 버전을 1.0.3884.0으로 업데이트 이후 ContactServiceModelPackage 오류 발생하는 문제
12549정성태3/4/2021217오류 유형: 700. VsixPublisher를 이용한 등록 시 다양한 오류 유형 해결책
12548정성태3/4/2021249개발 환경 구성: 546. github workflow/actions에서 nuget 패키지 등록하는 방법
12547정성태3/3/2021316오류 유형: 699. 비주얼 스튜디오 - The 'CascadePackage' package did not load correctly.
12546정성태3/3/2021277개발 환경 구성: 545. github workflow/actions에서 빌드시 snk 파일 다루는 방법 - Encrypted secrets
12545정성태3/28/2021817.NET Framework: 1026. 닷넷 5에 추가된 POH (Pinned Object Heap) [7]
12544정성태3/28/2021487.NET Framework: 1025. C# - Control의 Invalidate, Update, Refresh 차이점 [2]
12543정성태3/12/2021406VS.NET IDE: 158. C# - 디자인 타임(design-time)과 런타임(runtime)의 코드 실행 구분
12542정성태3/3/2021462개발 환경 구성: 544. github repo의 Release 활성화 및 Actions를 이용한 자동화 방법
12541정성태4/15/2021488개발 환경 구성: 543. 애저듣보잡 - Github Workflow/Actions 소개
12540정성태3/28/2021511.NET Framework: 1024. C# - Win32 API에 대한 P/Invoke를 대신하는 Microsoft.Windows.CsWin32 패키지
12539정성태3/28/2021536Windows: 189. WM_TIMER의 동작 방식 개요파일 다운로드1
12538정성태3/28/2021651.NET Framework: 1023. C# - GC 힙이 아닌 Native 힙에 인스턴스 생성 - 0SuperComicLib.LowLevel 라이브러리 소개 [2]
12537정성태3/28/2021752.NET Framework: 1022. UI 요소의 접근은 반드시 그 UI를 만든 스레드에서! - 두 번째 이야기
12536정성태2/9/2021549개발 환경 구성: 542. BDP(Bandwidth-delay product)와 TCP Receive Window
12535정성태2/10/2021383개발 환경 구성: 541. Wireshark로 확인하는 LSO(Large Send Offload), RSC(Receive Segment Coalescing) 옵션
12534정성태2/17/2021551개발 환경 구성: 540. Wireshark + C/C++로 확인하는 TCP 연결에서의 closesocket 동작 [1]파일 다운로드1
12533정성태2/8/2021487개발 환경 구성: 539. Wireshark + C/C++로 확인하는 TCP 연결에서의 shutdown 동작파일 다운로드1
12532정성태2/6/2021460개발 환경 구성: 538. Wireshark + C#으로 확인하는 ReceiveBufferSize(SO_RCVBUF), SendBufferSize(SO_SNDBUF) [1]
12531정성태2/5/2021414개발 환경 구성: 537. Wireshark + C#으로 확인하는 PSH flag와 Nagle 알고리듬파일 다운로드1
12530정성태2/5/2021549개발 환경 구성: 536. Wireshark + C#으로 확인하는 TCP 통신의 Receive Window
12529정성태2/4/2021424개발 환경 구성: 535. Wireshark + C#으로 확인하는 TCP 통신의 MIN RTO
12528정성태2/9/2021418개발 환경 구성: 534. Wireshark + C#으로 확인하는 TCP 통신의 MSS(Maximum Segment Size) - 윈도우 환경
12527정성태2/1/2021527개발 환경 구성: 533. Wireshark + C#으로 확인하는 TCP 통신의 MSS(Maximum Segment Size) - 리눅스 환경파일 다운로드1
12526정성태2/1/2021391개발 환경 구성: 532. Azure Devops의 파이프라인 빌드 시 snk 파일 다루는 방법 - Secure file
1  2  3  4  [5]  6  7  8  9  10  11  12  13  14  15  ...