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

C# - Local '...' or its members cannot have their address taken and be used inside an anonymous method or lambda expression

예를 들어, 다음과 같이 코드를 작성하면,

using System;

internal class Program
{
    static unsafe void Main(string[] args)
    {
        MyStruct* ptr = null;
        MyStruct** ptr2 = &ptr;

        Action action = () =>
        {
            if (ptr == null)
            {
                Console.Write("TEST");
            }
        };

        t.Start();
    }
}

public struct MyStruct
{
    public int x;
}

컴파일 오류가 발생합니다.

Error CS1686 Local 'ptr' or its members cannot have their address taken and be used inside an anonymous method or lambda expression

위에서 "MyStruct** ptr2 = &ptr;" 코드가 없거나, ptr 포인터 사용을 익명 메서드 또는 람다식에서 사용하지 않으면 오류가 발생하지 않습니다.

그 이유는? C# 컴파일러는 익명 메서드에서 ptr 변수를 캡처하기 위해 익명 클래스와 함께 그것의 필드에 ptr의 현재 값을 저장해 둡니다. 하지만, 그 ptr의 포인터를 다시 2중 포인터에 대입함으로써 나중에 ptr의 값이 바뀔 것을 예측할 수 있지만 정작 캡처된 변수는 Main 메서드가 가진 ptr 변수의 값을 복사만 한 것이므로 ptr2 이중 포인터의 동작과는 무관하게 됩니다. 즉, 사용자의 의도와는 달리 action 내부의 메서드에서 (캡처된) ptr 변수는 그냥 영원히 null에 불과합니다.

이 상황에서 컴파일 오류를 해결하려면, 단순히 ptr 변수가 아닌 ptr2 변수를 넘기면 됩니다.

MyStruct* ptr = null;
MyStruct** ptr2 = &ptr;

Action action = () =>
{
    if (*ptr2 == null)
    {
        Console.Write("TEST");
    }
};

하지만, 오류의 원인을 설정했던 컴파일러의 걱정을 무시하면 안 됩니다. 즉, 저런 코드에서 개발자는 반드시 익명 메서드 또는 람다식의 실행이 저 코드를 포함한 메서드가 실행 중인 동안에만 유효하게끔 주의를 기울여야 합니다.

즉, 아래와 같은 식으로 지역 변수가 포함된 메서드 내에서 실행을 완료하는 경우에만 안전한 코드가 됩니다.

using System;

internal class Program
{
    static unsafe void Main(string[] args)
    {
        MyStruct data = new MyStruct();
        data.x = 500;
        MyStruct* ptr = &data;
        MyStruct** ptr2 = &ptr;

        Action action = () =>
        {
            if (*ptr2 != null)
            {
                Console.Write($"TEST: {(*ptr2)->x}"); // 출력 결과 TEST: 500
            }
        };

        action();
    }
}

public struct MyStruct
{
    public int x;
}

그렇지 않고, 스택이 파괴될 수 있는 상황에서는,

static unsafe void Main(string[] args)
{
    Action action = GetAction();
    Span<byte> ptr = stackalloc byte[100];
    for (int i = 0; i < ptr.Length; i ++) // 이전 스택 파괴
    {
        ptr[i] = 0x70;
    }
    action();
}

private static unsafe Action GetAction()
{
    MyStruct data = new MyStruct();
    data.x = 500;
    MyStruct* ptr = null;
    MyStruct** ptr2 = &ptr;

    Action action = () =>
    {
        if (*ptr2 != null)
        {
            IntPtr p = new IntPtr(*ptr2);
            Console.WriteLine($"p == {p.ToString("x")}");
            Console.Write($"TEST: {(*ptr2)->x}");
        }
    };

    *ptr2 = &data;

    return action;
}

다음과 같은 식의 출력 결과를 얻게 됩니다.

p == 7070707070707070
Fatal error. System.AccessViolationException: Attempted to read or write protected memory. This is often an indication that other memory is corrupt.
   at Program+<>c__DisplayClass1_0.<GetAction>b__0()
   at Program.Main(System.String[])





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







[최초 등록일: ]
[최종 수정일: 3/21/2022]

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)
13779정성태10/22/20245615개발 환경 구성: 729. WSL 2 - Mariner VM 커널 이미지 업데이트 방법
13778정성태10/21/20247135C/C++: 181. C/C++ - 소스코드 파일의 인코딩, 바이너리 모듈 상태의 인코딩
13777정성태10/20/20245564Windows: 265. Win32 API의 W(유니코드) 버전은 UCS-2일까요? UTF-16 인코딩일까요?
13776정성태10/19/20246609C/C++: 180. C++ - 고수준 FILE I/O 함수에서의 Unicode stream 모드(_O_WTEXT, _O_U16TEXT, _O_U8TEXT)파일 다운로드1
13775정성태10/19/20246639개발 환경 구성: 728. 윈도우 환경의 개발자를 위한 UTF-8 환경 설정
13774정성태10/18/20246194Linux: 91. Container 환경에서 출력하는 eBPF bpf_get_current_pid_tgid의 pid가 존재하지 않는 이유
13773정성태10/18/20245984Linux: 90. pid 네임스페이스 구성으로 본 WSL 2 + docker-desktop
13772정성태10/17/20246210Linux: 89. pid 네임스페이스 구성으로 본 WSL 2 배포본의 계층 관계
13771정성태10/17/20245957Linux: 88. WSL 2 리눅스 배포본 내에서의 pid 네임스페이스 구성
13770정성태10/17/20246430Linux: 87. ps + grep 조합에서 grep 명령어를 사용한 프로세스를 출력에서 제거하는 방법
13769정성태10/15/20247531Linux: 86. Golang + bpf2go를 사용한 eBPF 기본 예제파일 다운로드1
13768정성태10/15/20246804C/C++: 179. C++ - _O_WTEXT, _O_U16TEXT, _O_U8TEXT의 Unicode stream 모드파일 다운로드2
13767정성태10/14/20245726오류 유형: 929. bpftrace 수행 시 "ERROR: Could not resolve symbol: /proc/self/exe:BEGIN_trigger"
13766정성태10/14/20245183C/C++: 178. C++ - 파일에 대한 Text 모드의 "translated" 동작파일 다운로드1
13765정성태10/12/20246470오류 유형: 928. go build 시 "package maps is not in GOROOT" 오류
13764정성태10/11/20247045Linux: 85. Ubuntu - 원하는 golang 버전 설치
13763정성태10/11/20245939Linux: 84. WSL / Ubuntu 20.04 - bpftool 설치
13762정성태10/11/20246123Linux: 83. WSL / Ubuntu 22.04 - bpftool 설치
13761정성태10/11/20245811오류 유형: 927. WSL / Ubuntu - /usr/include/linux/types.h:5:10: fatal error: 'asm/types.h' file not found
13760정성태10/11/20246956Linux: 82. Ubuntu - clang 최신(stable) 버전 설치
13759정성태10/10/20247971C/C++: 177. C++ - 자유 함수(free function) 및 주소 지정 가능한 함수(addressable function) [6]
13758정성태10/8/20246647오류 유형: 926. dotnet tools를 sudo로 실행하는 경우 command not found
13757정성태10/8/20246964닷넷: 2306. Linux - dotnet tool의 설치 디렉터리가 PATH 환경변수에 자동 등록이 되는 이유
13756정성태10/8/20247149오류 유형: 925. ssh로 docker 접근을 할 때 "... malformed HTTP status code ..." 오류 발생
13755정성태10/7/20247705닷넷: 2305. C# 13 - (9) 메서드 바인딩의 우선순위를 지정하는 OverloadResolutionPriority 특성 도입 (Overload resolution priority)파일 다운로드1
13754정성태10/4/20246802닷넷: 2304. C# 13 - (8) 부분 메서드 정의를 속성 및 인덱서에도 확대파일 다운로드1
1  2  3  4  5  6  7  [8]  9  10  11  12  13  14  15  ...