Microsoft MVP성태의 닷넷 이야기
.NET Framework: 650. C# - CachedAnonymousMethodDelegate 유형의 코드 생성 [링크 복사], [링크+제목 복사],
조회: 20537
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 

C# - CachedAnonymousMethodDelegate 유형의 코드 생성

C# 문법이 발전하면서 컴파일러가 자동 생성해 주는 코드가 많아졌습니다. 그런데, 가만 보면 이런 것에도 패턴이 있는 것 같습니다. 가령, CachedAnonymousMethodDelegate라는 유형이 있는데요.

SynthesizedLocalKind
; http://source.roslyn.io/#Microsoft.CodeAnalysis/SynthesizedLocalKind.cs,c465228f29a95c51,references

/// 
/// Local variable used to cache a delegate that is used in inner block (possibly a loop), 
/// and can be reused for all iterations of the loop.
/// 
CachedAnonymousMethodDelegate = 31,

CachedAnonymousMethodDelegate 유형의 로컬 변수를 생성하려면 다음과 같이 예제 구성을 하면 됩니다.

using System;
using System.Collections.Generic;
using System.Linq;

namespace ConsoleApp1
{
    class Program
    {
        static void Main(string[] args)
        {
            DoMethod();
        }

        private static void DoMethod()
        {
            Func<string, bool> func3 = (arg) =>
            {
                return true;
            };

            List<string> list = new List<string>();
            var list2 = list.Where(func3);
        }
    }
}

Visual Studio 2013에서 위의 소스 코드를 컴파일하고 .NET Reflector에서 "C# - None" 옵션으로 보면 다음과 같이 DoMethod 내부에 코딩한 람다 함수가 "CS$<>9__CachedAnonymousMethodDelegate1" 이름의 멤버 필드로 Program 클래스에 정의되면서 캐시 역할의 변수를 합니다. 또한 람다 함수의 코드는 "<DoMethod>b__0"라는 멤버 메서드로 자동 생성되고!

internal class Program
{
    // Fields
    [CompilerGenerated]
    private static Func<string, bool> CS$<>9__CachedAnonymousMethodDelegate1;

    // Methods
    public Program()
    {
        base..ctor();
        return;
    }

    [CompilerGenerated]
    private static bool <DoMethod>b__0(string arg)
    {
        bool flag;
        flag = 1;
    Label_0005:
        return flag;
    }

    private static void DoMethod()
    {
        Func<string, bool> func;
        List<string> list;
        IEnumerable<string> enumerable;
        if (CS$<>9__CachedAnonymousMethodDelegate1 != null)
        {
            goto Label_001B;
        }
        CS$<>9__CachedAnonymousMethodDelegate1 = new Func<string, bool>(null, <DoMethod>b__0);
    Label_001B:
        func = CS$<>9__CachedAnonymousMethodDelegate1;
        list = new List<string>();
        enumerable = Enumerable.Where<string>(list, func);
        return;
    }

    private static void Main(string[] args)
    {
        DoMethod();
        return;
    }
}

재미있는 것은, cache 변수의 역할을 하는 멤버 필드의 이름에 SynthesizedLocalKind::CachedAnonymousMethodDelegate 상숫값의 이름이 반영되어 있다는 것입니다. 게다가 CS$...에 붙는 번호들 같은 경우에도 그냥 붙는 것이 아니라고 합니다. 이에 대해서는 아래의 글을 (재미 삼아) 보시면 될 것 같습니다. ^^

Where to learn about VS debugger 'magic names'
; http://stackoverflow.com/questions/2508828/where-to-learn-about-vs-debugger-magic-names

그런데 역시나 이런 내부적인 규칙들은 public이 아니라는 점에 주의해야 합니다. 실제로 Visual Studio 2015에서 위의 소스 코드를 빌드하면 다음과 같이 전혀 다른 결과를 얻게 됩니다.

internal class Program
{
    // Methods
    public Program()
    {
        base..ctor();
        return;
    }

    private static void DoMethod()
    {
        Func<string, bool> func;
        List<string> list;
        IEnumerable<string> enumerable;
    Label_0020:
        func = <>c.<>9__1_0 ?? (<>c.<>9__1_0 = new Func<string, bool>(<>c.<>9, this.<DoMethod>b__1_0));
        list = new List<string>();
        enumerable = Enumerable.Where<string>(list, func);
        return;
    }

    private static void Main(string[] args)
    {
        DoMethod();
        return;
    }

    [Serializable, CompilerGenerated]
    private sealed class <>c
    {
        // Fields
        public static readonly Program.<>c <>9;
        public static Func<string, bool> <>9__1_0;

        // Methods
        static <>c()
        {
            <>9 = new Program.<>c();
            return;
        }

        public <>c()
        {
            base..ctor();
            return;
        }

        internal bool <DoMethod>b__1_0(string arg)
        {
            bool flag;
            flag = 1;
        Label_0005:
            return flag;
        }
    }
}

즉, CachedAnonymousMethodDelegate 접미사가 붙은 멤버 필드 대신 별도의 임시 클래스(<>c)가 만들어지고 그 안에 필드와 메서드의 본체가 정의됩니다.

이런 차이가 있기 때문에 람다 함수 안에서 다음과 같은 타입 의존적인 코드를 하게 되면,

class Program
{
    static void Main(string[] args)
    {
        Program pg = new Program();
        pg.DoMethod();
    }

    private void DoMethod()
    {
        Func<string, bool> func3 = (arg) =>
        {
            StackFrame st = new StackFrame();

            Console.WriteLine(st.GetMethod().DeclaringType.Name);
            Console.WriteLine(st.GetMethod().DeclaringType.FullName);
            return true;
        };

        List<string> list = new List<string>();
        list.Add("TEST");
        var list2 = list.Where(func3);
        list2.ToList();
    }
}

Visual Studio 2013에서는 다음과 같이 출력이 되고,

Type.Name: Program
Type.FullName: ConsoleApp1.Program 

Visual Studio 2015 이후로는 이런 결과가 나옵니다.

Type.Name: <>c
Type.FullName: ConsoleApp1.Program+<>c

재미있는 것은, Visual Studio 2013에서도 람다 함수 내에 변수를 capture 하게 되면,

public string DoMethod()
{
    StringBuilder sb = new StringBuilder();

    Func<string, bool> func3 = (arg) =>
    {
        sb.AppendLine(arg);
        return true;
    };

    List<string> list = new List<string>();
    list.Add("TEST");
    var list2 = list.Where(func3);
    list2.ToList();
}

2015에서와 같은 결과가 나옵니다.

Visual Studio 2013
Type.Name: <>c
Type.FullName: ConsoleApp1.Program+<>c




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







[최초 등록일: ]
[최종 수정일: 3/31/2017]

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)
13793정성태10/28/20245148C/C++: 183. C++ - 윈도우에서 한글(및 유니코드)을 포함한 콘솔 프로그램을 컴파일 및 실행하는 방법
13792정성태10/27/20244633Linux: 99. Linux - 프로세스의 실행 파일 경로 확인
13791정성태10/27/20244901Windows: 267. Win32 API의 A(ANSI) 버전은 DBCS를 사용할까요?파일 다운로드1
13790정성태10/27/20244621Linux: 98. Ubuntu 22.04 - 리눅스 커널 빌드 및 업그레이드
13789정성태10/27/20244912Linux: 97. menuconfig에 CONFIG_DEBUG_INFO_BTF, CONFIG_DEBUG_INFO_BTF_MODULES 옵션이 없는 경우
13788정성태10/26/20244458Linux: 96. eBPF (bpf2go) - fentry, fexit를 이용한 트레이스
13787정성태10/26/20244968개발 환경 구성: 730. github - Linux 커널 repo를 윈도우 환경에서 git clone하는 방법 [1]
13786정성태10/26/20245217Windows: 266. Windows - 대소문자 구분이 가능한 파일 시스템
13785정성태10/23/20244984C/C++: 182. 윈도우가 운영하는 2개의 Code Page파일 다운로드1
13784정성태10/23/20245247Linux: 95. eBPF - kprobe를 이용한 트레이스
13783정성태10/23/20244859Linux: 94. eBPF - vmlinux.h 헤더 포함하는 방법 (bpf2go에서 사용)
13782정성태10/23/20244620Linux: 93. Ubuntu 22.04 - 커널 이미지로부터 커널 함수 역어셈블
13781정성태10/22/20244800오류 유형: 930. WSL + eBPF: modprobe: FATAL: Module kheaders not found in directory
13780정성태10/22/20245548Linux: 92. WSL 2 - 커널 이미지로부터 커널 함수 역어셈블
13779정성태10/22/20244841개발 환경 구성: 729. WSL 2 - Mariner VM 커널 이미지 업데이트 방법
13778정성태10/21/20245670C/C++: 181. C/C++ - 소스코드 파일의 인코딩, 바이너리 모듈 상태의 인코딩
13777정성태10/20/20244952Windows: 265. Win32 API의 W(유니코드) 버전은 UCS-2일까요? UTF-16 인코딩일까요?
13776정성태10/19/20245268C/C++: 180. C++ - 고수준 FILE I/O 함수에서의 Unicode stream 모드(_O_WTEXT, _O_U16TEXT, _O_U8TEXT)파일 다운로드1
13775정성태10/19/20245492개발 환경 구성: 728. 윈도우 환경의 개발자를 위한 UTF-8 환경 설정
13774정성태10/18/20245195Linux: 91. Container 환경에서 출력하는 eBPF bpf_get_current_pid_tgid의 pid가 존재하지 않는 이유
13773정성태10/18/20244883Linux: 90. pid 네임스페이스 구성으로 본 WSL 2 + docker-desktop
13772정성태10/17/20245159Linux: 89. pid 네임스페이스 구성으로 본 WSL 2 배포본의 계층 관계
13771정성태10/17/20245065Linux: 88. WSL 2 리눅스 배포본 내에서의 pid 네임스페이스 구성
13770정성태10/17/20245336Linux: 87. ps + grep 조합에서 grep 명령어를 사용한 프로세스를 출력에서 제거하는 방법
13769정성태10/15/20246114Linux: 86. Golang + bpf2go를 사용한 eBPF 기본 예제파일 다운로드1
13768정성태10/15/20245395C/C++: 179. C++ - _O_WTEXT, _O_U16TEXT, _O_U8TEXT의 Unicode stream 모드파일 다운로드2
1  2  3  4  5  [6]  7  8  9  10  11  12  13  14  15  ...