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)
13747정성태9/28/20241428닷넷: 2300. C# - OpenSSH의 공개키 파일에 대한 "BEGIN OPENSSH PUBLIC KEY" / "END OPENSSH PUBLIC KEY" PEM 포맷파일 다운로드1
13746정성태9/28/20241477오류 유형: 924. Python - LocalProtocolError("Illegal header value ...")
13745정성태9/28/20241361Linux: 80. 리눅스 - 실행 중인 프로세스 내부의 환경변수 설정을 구하는 방법 (lldb)
13744정성태9/27/20242135닷넷: 2299. C# - Windows Hello 사용자 인증 다이얼로그 표시하기파일 다운로드1
13743정성태9/26/20241881닷넷: 2298. C# - Console 프로젝트에서의 await 대상으로 Main 스레드 활용하는 방법 [1]
13742정성태9/26/20242322닷넷: 2297. C# - ssh-keygen으로 생성한 ecdsa 유형의 Public Key 파일 해석 [1]파일 다운로드1
13741정성태9/25/20241769디버깅 기술: 202. windbg - ASP.NET MVC Web Application (.NET Framework) 응용 프로그램의 덤프 분석 시 요령
13740정성태9/24/20241835기타: 86. RSA 공개키 등의 modulus 값에 0x00 선행 바이트가 있는 이유(ASN.1 인코딩)
13739정성태9/24/20241630닷넷: 2297. C# - ssh-keygen으로 생성한 Public Key 파일 해석과 fingerprint 값(md5, sha256) 생성 [1]파일 다운로드1
13738정성태9/22/20241395C/C++: 174. C/C++ - 윈도우 운영체제에서의 file descriptor, FILE*파일 다운로드1
13737정성태9/21/20241889개발 환경 구성: 727. Visual C++ - 리눅스 프로젝트를 위한 빌드 서버의 msbuild 구성
13736정성태9/20/20241566오류 유형: 923. Visual Studio Code - Could not establish connection to "...": Port forwarding is disabled.
13735정성태9/20/20241792개발 환경 구성: 726. ARM 플랫폼용 Visual C++ 리눅스 프로젝트 빌드
13734정성태9/19/20241780개발 환경 구성: 725. ssh를 이용한 원격 docker 서비스 사용
13733정성태9/19/20241667VS.NET IDE: 194. Visual Studio - Cross Platform / "Authentication Type: Private Key"로 접속하는 방법
13732정성태9/17/20241788개발 환경 구성: 724. ARM + docker 환경에서 .NET 8 설치
13731정성태9/15/20242352개발 환경 구성: 723. C# / Visual C++ - Control Flow Guard (CFG) 활성화 [1]파일 다운로드2
13730정성태9/10/20241769오류 유형: 922. docker - RULE_APPEND failed (No such file or directory): rule in chain DOCKER
13729정성태9/9/20242227C/C++: 173. Windows / C++ - AllocConsole로 할당한 콘솔과 CRT 함수 연동 [1]파일 다운로드1
13728정성태9/7/20241933C/C++: 172. Windows - C 런타임에서 STARTUPINFO의 cbReserved2, lpReserved2 멤버를 사용하는 이유파일 다운로드1
13727정성태9/6/20242475개발 환경 구성: 722. ARM 플랫폼 빌드를 위한 미니 PC(?) - Khadas VIM4 [1]
13726정성태9/5/20242669C/C++: 171. C/C++ - 윈도우 운영체제에서의 file descriptor와 HANDLE파일 다운로드1
13725정성태9/4/20241678디버깅 기술: 201. WinDbg - sos threads 명령어 실행 시 "Failed to request ThreadStore"
13724정성태9/3/20243014닷넷: 2296. Win32/C# - 자식 프로세스로 HANDLE 상속파일 다운로드1
13723정성태9/2/20243876C/C++: 170. Windows - STARTUPINFO의 cbReserved2, lpReserved2 멤버 사용자 정의파일 다운로드2
13722정성태9/2/20241725C/C++: 169. C/C++ - CRT(C Runtime) 함수에 의존성이 없는 프로젝트 생성
1  2  [3]  4  5  6  7  8  9  10  11  12  13  14  15  ...