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)
12537정성태2/11/2021870.NET Framework: 1022. UI 요소의 접근은 반드시 그 UI를 만든 스레드에서! - 두 번째 이야기
12536정성태2/9/2021708개발 환경 구성: 542. BDP(Bandwidth-delay product)와 TCP Receive Window
12535정성태2/9/2021475개발 환경 구성: 541. Wireshark로 확인하는 LSO(Large Send Offload), RSC(Receive Segment Coalescing) 옵션
12534정성태2/8/2021679개발 환경 구성: 540. Wireshark + C/C++로 확인하는 TCP 연결에서의 closesocket 동작 [1]파일 다운로드1
12533정성태2/8/2021609개발 환경 구성: 539. Wireshark + C/C++로 확인하는 TCP 연결에서의 shutdown 동작파일 다운로드1
12532정성태2/6/2021532개발 환경 구성: 538. Wireshark + C#으로 확인하는 ReceiveBufferSize(SO_RCVBUF), SendBufferSize(SO_SNDBUF) [1]
12531정성태2/5/2021480개발 환경 구성: 537. Wireshark + C#으로 확인하는 PSH flag와 Nagle 알고리듬파일 다운로드1
12530정성태2/4/2021754개발 환경 구성: 536. Wireshark + C#으로 확인하는 TCP 통신의 Receive Window
12529정성태2/4/2021476개발 환경 구성: 535. Wireshark + C#으로 확인하는 TCP 통신의 MIN RTO
12528정성태2/1/2021530개발 환경 구성: 534. Wireshark + C#으로 확인하는 TCP 통신의 MSS(Maximum Segment Size) - 윈도우 환경
12527정성태2/1/2021591개발 환경 구성: 533. Wireshark + C#으로 확인하는 TCP 통신의 MSS(Maximum Segment Size) - 리눅스 환경파일 다운로드1
12526정성태2/1/2021442개발 환경 구성: 532. Azure Devops의 파이프라인 빌드 시 snk 파일 다루는 방법 - Secure file
12525정성태2/1/2021351개발 환경 구성: 531. Azure Devops - 파이프라인 실행 시 빌드 이벤트를 생략하는 방법
12524정성태1/31/2021457개발 환경 구성: 530. 기존 github 프로젝트를 Azure Devops의 빌드 Pipeline에 연결하는 방법 [1]
12523정성태1/31/2021476개발 환경 구성: 529. 기존 github 프로젝트를 Azure Devops의 Board에 연결하는 방법
12522정성태1/31/2021553개발 환경 구성: 528. 오라클 클라우드의 리눅스 VM - 9000 MTU Jumbo Frame 테스트
12521정성태1/31/2021679개발 환경 구성: 527. 이더넷(Ethernet) 환경의 TCP 통신에서 MSS(Maximum Segment Size) 확인
12520정성태1/30/2021367개발 환경 구성: 526. 오라클 클라우드의 VM에 ping ICMP 여는 방법
12519정성태1/30/2021478개발 환경 구성: 525. 오라클 클라우드의 VM을 외부에서 접근하기 위해 포트 여는 방법
12518정성태1/30/2021889Linux: 37. Ubuntu에 Wireshark 설치
12517정성태1/30/2021746Linux: 36. 윈도우 클라이언트에서 X2Go를 이용한 원격 리눅스의 GUI 접속 - 우분투 20.04
12516정성태1/29/2021521Windows: 188. Windows - TCP default template 설정 방법
12515정성태1/28/2021568웹: 41. Microsoft Edge - localhost에 대해 http 접근 시 무조건 https로 바뀌는 문제 [3]
12514정성태1/28/2021969.NET Framework: 1021. C# - 일렉트론 닷넷(Electron.NET) 소개 [1]파일 다운로드1
12513정성태1/28/2021428오류 유형: 698. electronize - User Profile 디렉터리에 공백 문자가 있는 경우 빌드가 실패하는 문제
12512정성태1/28/2021481오류 유형: 697. The program can't start because VCRUNTIME140.dll is missing from your computer. Try reinstalling the program to fix this problem.
1  2  3  4  5  6  [7]  8  9  10  11  12  13  14  15  ...