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)
13804정성태11/7/20247084Linux: 101. eBPF 함수의 인자를 다루는 방법
13803정성태11/7/20246657닷넷: 2309. C# - .NET Core에서 바뀐 DateTime.Ticks의 정밀도
13802정성태11/6/20247082Windows: 269. GetSystemTimeAsFileTime과 GetSystemTimePreciseAsFileTime의 차이점파일 다운로드1
13801정성태11/5/20246890Linux: 100. eBPF의 2가지 방식 - libbcc와 libbpf(CO-RE)
13800정성태11/3/20247861닷넷: 2308. C# - ICU 라이브러리를 활용한 문자열의 대소문자 변환 [2]파일 다운로드1
13799정성태11/2/20245623개발 환경 구성: 732. 모바일 웹 브라우저에서 유니코드 문자가 표시되지 않는 경우
13798정성태11/2/20247290개발 환경 구성: 731. 유니코드 - 출력 예시 및 폰트 찾기
13797정성태11/1/20247267C/C++: 185. C++ - 문자열의 대소문자를 변환하는 transform + std::tolower/toupper 방식의 문제점파일 다운로드1
13796정성태10/31/20246782C/C++: 184. C++ - ICU dll을 이용하는 예제 코드 (Windows)파일 다운로드1
13795정성태10/31/20245970Windows: 268. Windows - 리눅스 환경처럼 공백으로 끝나는 프롬프트 만들기
13794정성태10/30/20246059닷넷: 2307. C# - 윈도우에서 한글(및 유니코드)을 포함한 콘솔 프로그램을 컴파일 및 실행하는 방법
13793정성태10/28/20246018C/C++: 183. C++ - 윈도우에서 한글(및 유니코드)을 포함한 콘솔 프로그램을 컴파일 및 실행하는 방법
13792정성태10/27/20245420Linux: 99. Linux - 프로세스의 실행 파일 경로 확인
13791정성태10/27/20245868Windows: 267. Win32 API의 A(ANSI) 버전은 DBCS를 사용할까요?파일 다운로드1
13790정성태10/27/20245369Linux: 98. Ubuntu 22.04 - 리눅스 커널 빌드 및 업그레이드
13789정성태10/27/20246337Linux: 97. menuconfig에 CONFIG_DEBUG_INFO_BTF, CONFIG_DEBUG_INFO_BTF_MODULES 옵션이 없는 경우
13788정성태10/26/20245135Linux: 96. eBPF (bpf2go) - fentry, fexit를 이용한 트레이스
13787정성태10/26/20246492개발 환경 구성: 730. github - Linux 커널 repo를 윈도우 환경에서 git clone하는 방법 [1]
13786정성태10/26/20246281Windows: 266. Windows - 대소문자 구분이 가능한 파일 시스템
13785정성태10/23/20245626C/C++: 182. 윈도우가 운영하는 2개의 Code Page파일 다운로드1
13784정성태10/23/20246230Linux: 95. eBPF - kprobe를 이용한 트레이스
13783정성태10/23/20245750Linux: 94. eBPF - vmlinux.h 헤더 포함하는 방법 (bpf2go에서 사용)
13782정성태10/23/20245431Linux: 93. Ubuntu 22.04 - 커널 이미지로부터 커널 함수 역어셈블
13781정성태10/22/20245991오류 유형: 930. WSL + eBPF: modprobe: FATAL: Module kheaders not found in directory
13780정성태10/22/20247049Linux: 92. WSL 2 - 커널 이미지로부터 커널 함수 역어셈블
13779정성태10/22/20245615개발 환경 구성: 729. WSL 2 - Mariner VM 커널 이미지 업데이트 방법
1  2  3  4  5  6  [7]  8  9  10  11  12  13  14  15  ...