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

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이기 때문에 자동 생성 코드의 필드로 넣는 것이 가능하기 때문입니다.

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




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 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)
13712정성태8/14/20248712개발 환경 구성: 720. Synology NAS - docker 원격 제어를 위한 TCP 바인딩 추가
13711정성태8/13/20249252Linux: 77. C# / Linux - zombie process (defunct process) [1]파일 다운로드1
13710정성태8/8/20249831닷넷: 2294. C# 13 - (6) iterator 또는 비동기 메서드에서 ref와 unsafe 사용을 부분적으로 허용파일 다운로드1
13709정성태8/7/20249106닷넷: 2293. C# - safe/unsafe 문맥에 대한 C# 13의 (하위 호환을 깨는) 변화파일 다운로드1
13708정성태8/7/20249369개발 환경 구성: 719. ffmpeg / YoutubeExplode - mp4 동영상 파일로부터 Audio 파일 추출
13707정성태8/6/20249293닷넷: 2292. C# - 자식 프로세스의 출력이 4,096보다 많은 경우 Process.WaitForExit 호출 시 hang 현상파일 다운로드1
13706정성태8/5/20248988개발 환경 구성: 718. Hyper-V - 리눅스 VM에 새로운 디스크 추가
13705정성태8/4/20249212닷넷: 2291. C# 13 - (5) params 인자 타입으로 컬렉션 허용 [2]파일 다운로드1
13704정성태8/2/202410156닷넷: 2290. C# - 간이 dotnet-dump 프로그램 만들기파일 다운로드1
13703정성태8/1/20248569닷넷: 2289. "dotnet-dump ps" 명령어가 닷넷 프로세스를 찾는 방법
13702정성태7/31/20249582닷넷: 2288. Collection 식을 지원하는 사용자 정의 타입을 CollectionBuilder 특성으로 성능 보완파일 다운로드1
13701정성태7/30/202410039닷넷: 2287. C# 13 - (4) Indexer를 이용한 개체 초기화 구문에서 System.Index 연산자 허용파일 다운로드1
13700정성태7/29/202410009디버깅 기술: 200. DLL Export/Import의 Hint 의미
13699정성태7/27/202410024닷넷: 2286. C# 13 - (3) Monitor를 대체할 Lock 타입파일 다운로드1
13698정성태7/27/20249772닷넷: 2285. C# - async 메서드에서의 System.Threading.Lock 잠금 처리파일 다운로드1
13697정성태7/26/20248942닷넷: 2284. C# - async 메서드에서의 lock/Monitor.Enter/Exit 잠금 처리파일 다운로드1
13696정성태7/26/20248774오류 유형: 920. dotnet publish - error NETSDK1047: Assets file '...\obj\project.assets.json' doesn't have a target for '...'
13695정성태7/25/20249067닷넷: 2283. C# - Lock / Wait 상태에서도 STA COM 메서드 호출 처리파일 다운로드1
13694정성태7/25/20249229닷넷: 2282. C# - ASP.NET Core Web App의 Request 용량 상한값 (Kestrel, IIS)
13693정성태7/24/20248428개발 환경 구성: 717. Visual Studio - C# 프로젝트에서 레지스트리에 등록하지 않은 COM 개체 참조 및 사용 방법파일 다운로드1
13692정성태7/24/20249643디버깅 기술: 199. Windbg - 리눅스에서 뜬 닷넷 응용 프로그램 덤프 파일에 포함된 DLL의 Export Directory 탐색
13691정성태7/23/20248569디버깅 기술: 198. Windbg - 스레드의 Win32 Message Queue 정보 조회
13690정성태7/23/20248019오류 유형: 919. Visual C++ 리눅스 프로젝트 - error : ‘u8’ was not declared in this scope
13689정성태7/22/202410623디버깅 기술: 197. Windbg - PE 포맷의 Export Directory 탐색
13688정성태7/21/20248792닷넷: 2281. C# - Lock / Wait 상태에서도 일부 Win32 메시지 처리파일 다운로드1
13687정성태7/19/20249818닷넷: 2280. C# - PostThreadMessage로 보낸 메시지를 Windows Forms에서 수신하는 방법파일 다운로드1
1  2  3  4  5  6  7  8  9  10  [11]  12  13  14  15  ...