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)
13766정성태10/14/20245578C/C++: 178. C++ - 파일에 대한 Text 모드의 "translated" 동작파일 다운로드1
13765정성태10/12/20247259오류 유형: 928. go build 시 "package maps is not in GOROOT" 오류
13764정성태10/11/20248096Linux: 85. Ubuntu - 원하는 golang 버전 설치
13763정성태10/11/20246524Linux: 84. WSL / Ubuntu 20.04 - bpftool 설치
13762정성태10/11/20246734Linux: 83. WSL / Ubuntu 22.04 - bpftool 설치
13761정성태10/11/20246344오류 유형: 927. WSL / Ubuntu - /usr/include/linux/types.h:5:10: fatal error: 'asm/types.h' file not found
13760정성태10/11/20247586Linux: 82. Ubuntu - clang 최신(stable) 버전 설치
13759정성태10/10/20248632C/C++: 177. C++ - 자유 함수(free function) 및 주소 지정 가능한 함수(addressable function) [6]
13758정성태10/8/20247156오류 유형: 926. dotnet tools를 sudo로 실행하는 경우 command not found
13757정성태10/8/20247577닷넷: 2306. Linux - dotnet tool의 설치 디렉터리가 PATH 환경변수에 자동 등록이 되는 이유
13756정성태10/8/20247866오류 유형: 925. ssh로 docker 접근을 할 때 "... malformed HTTP status code ..." 오류 발생
13755정성태10/7/20248376닷넷: 2305. C# 13 - (9) 메서드 바인딩의 우선순위를 지정하는 OverloadResolutionPriority 특성 도입 (Overload resolution priority)파일 다운로드1
13754정성태10/4/20247302닷넷: 2304. C# 13 - (8) 부분 메서드 정의를 속성 및 인덱서에도 확대파일 다운로드1
13753정성태10/4/20246870Linux: 81. Linux - PATH 환경변수의 적용 규칙
13752정성태10/2/20248235닷넷: 2303. C# 13 - (7) ref struct의 interface 상속 및 제네릭 제약으로 사용 가능 [6]파일 다운로드1
13751정성태10/2/20246595C/C++: 176. C/C++ - ARM64로 포팅할 때 유의할 점
13750정성태10/1/20246528C/C++: 175. C++ - WinMain/wWinMain 호출 전의 CRT 초기화 단계
13749정성태9/30/20246602닷넷: 2302. C# - ssh-keygen으로 생성한 Private Key와 Public Key 연동파일 다운로드1
13748정성태9/29/20247132닷넷: 2301. C# - BigInteger 타입이 byte 배열로 직렬화하는 방식
13747정성태9/28/20248134닷넷: 2300. C# - OpenSSH의 공개키 파일에 대한 "BEGIN OPENSSH PUBLIC KEY" / "END OPENSSH PUBLIC KEY" PEM 포맷파일 다운로드1
13746정성태9/28/20246941오류 유형: 924. Python - LocalProtocolError("Illegal header value ...")
13745정성태9/28/20246839Linux: 80. 리눅스 - 실행 중인 프로세스 내부의 환경변수 설정을 구하는 방법 (lldb)
13744정성태9/27/20247481닷넷: 2299. C# - Windows Hello 사용자 인증 다이얼로그 표시하기파일 다운로드1
13743정성태9/26/20248087닷넷: 2298. C# - Console 프로젝트에서의 await 대상으로 Main 스레드 활용하는 방법 [1]
13742정성태9/26/20248085닷넷: 2297. C# - ssh-keygen으로 생성한 ecdsa 유형의 Public Key 파일 해석 [1]파일 다운로드1
13741정성태9/25/20247460디버깅 기술: 202. windbg - ASP.NET MVC Web Application (.NET Framework) 응용 프로그램의 덤프 분석 시 요령
1  2  3  4  5  6  7  8  [9]  10  11  12  13  14  15  ...