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)
13630정성태5/19/2024221닷넷: 2263. C# - Thread가 Task보다 더 빠르다는 어떤 예제(?)
13629정성태5/18/2024251개발 환경 구성: 710. Android - adb.exe를 이용한 파일 전송
13628정성태5/17/2024232개발 환경 구성: 709. Windows - WHPX(Windows Hypervisor Platform)를 이용한 Android Emulator 가속
13627정성태5/17/2024229오류 유형: 903. 파이썬 - UnicodeEncodeError: 'ascii' codec can't encode character '...' in position ...: ordinal not in range(128)
13626정성태5/15/2024359Phone: 15. C# MAUI - MediaElement Source 경로 지정 방법파일 다운로드1
13625정성태5/14/2024679닷넷: 2262. C# - Exception Filter 조건(when)을 갖는 catch 절의 IL 구조
13624정성태5/12/2024916Phone: 14. C# - MAUI에서 MediaElement 사용파일 다운로드1
13623정성태5/11/20241034닷넷: 2261. C# - 구글 OAuth의 JWT (JSON Web Tokens) 해석파일 다운로드1
13622정성태5/10/20241052닷넷: 2260. C# - Google 로그인 연동 (ASP.NET 예제)파일 다운로드1
13621정성태5/10/2024977오류 유형: 902. IISExpress - Failed to register URL "..." for site "..." application "/". Error description: Cannot create a file when that file already exists. (0x800700b7)
13620정성태5/9/20241045VS.NET IDE: 190. Visual Studio가 node.exe를 경유해 Edge.exe를 띄우는 경우
13619정성태5/7/2024998닷넷: 2259. C# - decimal 저장소의 비트 구조파일 다운로드1
13618정성태5/6/20241110닷넷: 2258. C# - double (배정도 실수) 저장소의 비트 구조파일 다운로드1
13617정성태5/5/20241058닷넷: 2257. C# - float (단정도 실수) 저장소의 비트 구조파일 다운로드1
13616정성태5/3/2024993닷넷: 2256. ASP.NET Core 웹 사이트의 HTTP/HTTPS + Dual mode Socket (IPv4/IPv6) 지원 방법파일 다운로드1
13615정성태5/3/2024951닷넷: 2255. C# 배열을 Numpy ndarray 배열과 상호 변환
13614정성태5/2/2024911닷넷: 2254. C# - COM 인터페이스의 상속 시 중복으로 메서드를 선언
13613정성태5/1/2024935닷넷: 2253. C# - Video Capture 장치(Camera) 열거 및 지원 포맷 조회파일 다운로드1
13612정성태4/30/2024958오류 유형: 902. Visual Studio - error MSB3021: Unable to copy file
13611정성태4/29/2024946닷넷: 2252. C# - GUID 타입 전용의 UnmanagedType.LPStruct - 두 번째 이야기파일 다운로드1
13610정성태4/28/20241012닷넷: 2251. C# - 제네릭 인자를 가진 타입을 생성하는 방법 - 두 번째 이야기
13609정성태4/27/20241050닷넷: 2250. PInvoke 호출 시 참조 타입(class)을 마샬링하는 [IN], [OUT] 특성파일 다운로드1
13608정성태4/26/20241137닷넷: 2249. C# - 부모의 필드/프로퍼티에 대해 서로 다른 자식 클래스 간에 Reflection 접근이 동작할까요?파일 다운로드1
13607정성태4/25/20241143닷넷: 2248. C# - 인터페이스 타입의 다중 포인터를 인자로 갖는 C/C++ 함수 연동
13606정성태4/24/20241103닷넷: 2247. C# - tensorflow 연동 (MNIST 예제)파일 다운로드1
[1]  2  3  4  5  6  7  8  9  10  11  12  13  14  15  ...