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

C# - 닷넷에서 허용하는 메서드의 매개변수와 호출 인자의 최대 수

재미있는 읽을거리가 있군요. ^^

What’s the maximum number of arguments for method in C# and in .NET? 
; https://www.tabsoverspaces.com/233892-whats-the-maximum-number-of-arguments-for-method-in-csharp-and-in-net

귀찮은 매개변수/인자 테스트를 T4 템플릿을 이용해,

하나의 T4 템플릿으로 여러 개의 소스코드 파일을 자동으로 생성하는 방법
; https://www.sysnet.pe.kr/2/0/1674

T4를 이용한 INotifyPropertyChanged 코드 자동 생성
; https://www.sysnet.pe.kr/2/0/1619

해결하고 있는데요,

<#@ template debug="false" hostspecific="false" language="C#" #>
<#@ assembly name="System.Core" #>
<#@ import namespace="System.Linq" #>
<#@ import namespace="System.Text" #>
<#@ import namespace="System.Collections.Generic" #>
<#@ output extension=".cs" #>

<#
const int Max = 65537;
#>

class Test
{
    public static void Huge(<#= string.Join(", ", Enumerable.Range(0, Max).Select(x => $"byte arg{x}")) #>)
    { }

    public static void CallHuge()
    {
        Huge(<#= string.Join(", ", Enumerable.Range(0, Max).Select(_ => "0")) #>);
        Console.WriteLine("It works!");
    }
}

위의 T4 템플릿으로 생성되는 메서드는 65537개의 매개변수를 갖지만 빌드해 보면 이런 오류가 발생합니다.

Unhandled Exception: System.ArgumentOutOfRangeException: Specified argument was out of the range of valid values.

반면, 16비트 범위인 65536으로 낮추면 컴파일은 잘 됩니다. 그러니까, 메타데이터로는 일단 65536개의 매개변수를 가진 메서드는 허용을 하는 것입니다.

하지만, 해당 메서드를 호출해 보면 실행 시에 다음과 같은 오류가 발생합니다.

C:\temp\Console1> .\bin\Debug\net6.0\Console1.exe
Unhandled exception. System.InvalidProgramException: Common Language Runtime detected an invalid program.
   at Test.CallHuge()
   at Program.Main(String[] args) in C:\temp\Console1\Program.cs:line 7

"What’s the maximum number of arguments for method in C# and in .NET?" 글에서 이에 대해 설명하는데요, 그러니까, 매개변수는 65536개까지 가능하지만 정작 호출하는 측의 인수 전달은 8192개까지만 가능한 것입니다. 그런데 8192라는 숫자가 나온 것도 재미있는데, 2의 13승으로 65536/8개에 해당합니다.

정리하면, 8193 ~ 65536개의 매개변수는 실행 시 System.InvalidProgramException 예외가 발생하고, 65536을 초과하면 컴파일 시 System.ArgumentOutOfRangeException 예외가 발생하는 것입니다.




그런데, 저런 제약이 어디서 오는 것일까요? 우선 메서드 정의와 관련된 signature 해석을 살펴보겠습니다. 예전에, method의 signature 분석에 대해 적은 글이 있는데요,

.NET 메서드의 Signature 바이트 코드 분석
; https://www.sysnet.pe.kr/2/0/12379

위의 글에 소개한 코드 하나를 예로 들면,

COR_SIGNATURE sigFunctionProbe[] = {
            IMAGE_CEE_CS_CALLCONV_DEFAULT,      // default calling convention (쉽게 말해, static 멤버)
            0x0,                                // # of arguments == 0
            ELEMENT_TYPE_VOID,                  // return type == void
        };

1바이트로 인자 수를 표현했지만, 원래는 저 코드 영역을 cor.h 헤더 파일에 정의된 CorSigUncompressData 함수를 이용해 해석해 냅니다. 해당 코드를 보면,

inline HRESULT CorSigUncompressData(// return S_OK or E_BADIMAGEFORMAT if the signature is bad 
    PCCOR_SIGNATURE pData,          // [IN] compressed data
    DWORD           len,            // [IN] length of the signature
    ULONG *         pDataOut,       // [OUT] the expanded *pData
    ULONG *         pDataLen)       // [OUT] length of the expanded *pData
{
    HRESULT hr = S_OK;
    BYTE const  *pBytes = reinterpret_cast<BYTE const*>(pData); 

    // Smallest.
    if ((*pBytes & 0x80) == 0x00)       // 0??? ????
    {
        if (len < 1)
        {
            *pDataOut = 0;
            *pDataLen = 0;
            hr = META_E_BAD_SIGNATURE;
        }
        else
        {
            *pDataOut = *pBytes;
            *pDataLen = 1; 
        }
    }
    // Medium.
    else if ((*pBytes & 0xC0) == 0x80)  // 10?? ????
    {
        if (len < 2)
        {
            *pDataOut = 0;
            *pDataLen = 0;
            hr = META_E_BAD_SIGNATURE;
        }
        else
        {
            *pDataOut = (ULONG)(((*pBytes & 0x3f) << 8 | *(pBytes+1)));
            *pDataLen = 2; 
        }
    }
    else if ((*pBytes & 0xE0) == 0xC0)      // 110? ????
    {
        if (len < 4)
        {
            *pDataOut = 0;
            *pDataLen = 0;
            hr = META_E_BAD_SIGNATURE;
        }
        else
        {
            *pDataOut = (ULONG)(((*pBytes & 0x1f) << 24 | *(pBytes+1) << 16 | *(pBytes+2) << 8 | *(pBytes+3)));
            *pDataLen = 4; 
        }
    }
    else // We don't recognize this encoding
    {
        *pDataOut = 0;
        *pDataLen = 0;
        hr = META_E_BAD_SIGNATURE;
    }
    
    return hr;
}

상위 비트가 0, 10, 110인지 판단해 1~4바이트 가변 크기를 지원하는 형식입니다. 따라서, 8192개의 매개변수를 가졌다면 16진수로는 0x2000이지만 정작 인코딩 상태에서는 0xa000으로 나옵니다.

0xa0_00
1010_0000

따라서, 두 번째 if 문으로 진입하고 0b0011_1111(0x3f)와 AND 연산 및 8비트 Left shift 시킨 후 두 번째 바이트와 OR 연산을 하기 때문에 0b0010_0000_0000_0000(0x2000) 값이 나와 8192가 됩니다.

저런 의미에서 봤을 때, 사실 메타데이터에서 지원하는 signature 포맷으로는 2의 (32 - 3) 승까지는 표현할 수 있는데 어느 부분에서 제약을 하고 있는지 모르겠군요. ^^

그다음 호출 측을 볼까요?

호출과 관련해서는 IL 코드로 표현이 되는데, ldarg의 경우,

OpCodes.Ldarg Field
; https://docs.microsoft.com/en-us/dotnet/api/system.reflection.emit.opcodes.ldarg

16비트 값을 받기 때문에,

FE 09 < unsigned int16 >

온전히 65536개의 인자를 처리할 수 있습니다. 그러니까, 메타데이터 관점에서 보면 매개변수의 수는 2의 29승, 인자의 수는 2의 16승까지 지원은 합니다. (혹시, 매개변수가 65536, 인자가 8192개까지만 처리되는 내부 코드를 알고 계신 분이 있다면 덧글 부탁드립니다. ^^)




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







[최초 등록일: ]
[최종 수정일: 3/14/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)
13917정성태4/30/202558VS.NET IDE: 199. Directory.Build.props에 정의한 속성에 대해 Condition 제약으로 값을 변경하는 방법
13916정성태4/23/2025455디버깅 기술: 221. WinDbg 분석 사례 - ASP.NET HttpCookieCollection을 다중 스레드에서 사용할 경우 무한 루프 현상 - 두 번째 이야기
13915정성태4/13/20251673닷넷: 2331. C# - 실행 시에 메서드 가로채기 (.NET 9)파일 다운로드1
13914정성태4/11/20251987디버깅 기술: 220. windbg 분석 사례 - x86 ASP.NET 웹 응용 프로그램의 CPU 100% 현상 (4)
13913정성태4/10/20251211오류 유형: 950. Process Explorer - 64비트 윈도우에서 32비트 프로세스의 덤프를 뜰 때 "Error writing dump file: Access is denied." 오류
13912정성태4/9/2025870닷넷: 2330. C# - 실행 시에 메서드 가로채기 (.NET 5 ~ .NET 8)파일 다운로드1
13911정성태4/8/20251105오류 유형: 949. WinDbg - .NET Core/5+ 응용 프로그램 디버깅 시 sos 확장을 자동으로 로드하지 못하는 문제
13910정성태4/8/20251264디버깅 기술: 219. WinDbg - 명령어 내에서 환경 변수 사용법
13909정성태4/7/20251758닷넷: 2329. C# - 실행 시에 메서드 가로채기 (.NET Framework 4.8)파일 다운로드1
13908정성태4/2/20252172닷넷: 2328. C# - MailKit: SMTP, POP3, IMAP 지원 라이브러리
13907정성태3/29/20251982VS.NET IDE: 198. (OneDrive, Dropbox 등의 공유 디렉터리에 있는) C# 프로젝트의 출력 경로 변경하기
13906정성태3/27/20252251닷넷: 2327. C# - 초기화되지 않은 메모리에 접근하는 버그?파일 다운로드1
13905정성태3/26/20252283Windows: 281. C++ - Windows / Critical Section의 안정화를 위해 도입된 "Keyed Event"파일 다운로드1
13904정성태3/25/20251914디버깅 기술: 218. Windbg로 살펴보는 Win32 Critical Section파일 다운로드1
13903정성태3/24/20251535VS.NET IDE: 197. (OneDrive, Dropbox 등의 공유 디렉터리에 있는) C++ 프로젝트의 출력 경로 변경하기
13902정성태3/24/20251744개발 환경 구성: 742. Oracle - 테스트용 hr 계정 및 데이터 생성파일 다운로드1
13901정성태3/9/20252127Windows: 280. Hyper-V의 3가지 Thread Scheduler (Classic, Core, Root)
13900정성태3/8/20252357스크립트: 72. 파이썬 - SQLAlchemy + oracledb 연동
13899정성태3/7/20251821스크립트: 71. 파이썬 - asyncio의 ContextVar 전달
13898정성태3/5/20252154오류 유형: 948. Visual Studio - Proxy Authentication Required: dotnetfeed.blob.core.windows.net
13897정성태3/5/20252380닷넷: 2326. C# - PowerShell과 연동하는 방법 (두 번째 이야기)파일 다운로드1
13896정성태3/5/20252204Windows: 279. Hyper-V Manager - VM 목록의 CPU Usage 항목이 항상 0%로 나오는 문제
13895정성태3/4/20252234Linux: 117. eBPF / bpf2go - Map에 추가된 요소의 개수를 확인하는 방법
13894정성태2/28/20252283Linux: 116. eBPF / bpf2go - BTF Style Maps 정의 구문과 데이터 정렬 문제
13893정성태2/27/20252225Linux: 115. eBPF (bpf2go) - ARRAY / HASH map 기본 사용법
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...