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

(시리즈 글이 9개 있습니다.)
닷넷: 2275. C# 13 - (1) 신규 이스케이프 시퀀스 '\e'
; https://www.sysnet.pe.kr/2/0/13673

닷넷: 2277. C# 13 - (2) 메서드 그룹의 자연 타입 개선 (메서드 추론 개선)
; https://www.sysnet.pe.kr/2/0/13681

닷넷: 2286. C# 13 - (3) Monitor를 대체할 Lock 타입
; https://www.sysnet.pe.kr/2/0/13699

닷넷: 2287. C# 13 - (4) Indexer를 이용한 개체 초기화 구문에서 System.Index 연산자 허용
; https://www.sysnet.pe.kr/2/0/13701

닷넷: 2291. C# 13 - (5) params 인자 타입으로 컬렉션 허용
; https://www.sysnet.pe.kr/2/0/13705

닷넷: 2294. C# 13 - (6) iterator 또는 비동기 메서드에서 ref와 unsafe 사용을 부분적으로 허용
; https://www.sysnet.pe.kr/2/0/13710

닷넷: 2303. C# 13 - (7) ref struct의 interface 상속 및 제네릭 제약으로 사용 가능
; https://www.sysnet.pe.kr/2/0/13752

닷넷: 2304. C# 13 - (8) 부분 메서드 정의를 속성 및 인덱서에도 확대
; https://www.sysnet.pe.kr/2/0/13754

닷넷: 2305. C# 13 - (9) 메서드 바인딩의 우선순위를 지정하는 OverloadResolutionPriority 특성 도입 (Overload resolution priority)
; https://www.sysnet.pe.kr/2/0/13755




C# 13 - 메서드 그룹의 자연 타입 개선 (메서드 추론 개선)

"Language Feature Status"의 2번째 목록에 있는 기능입니다.

Method group natural type
; https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-13#method-group-natural-type

Method group natural type improvements
; https://github.com/dotnet/csharplang/blob/main/proposals/method-group-natural-type-improvements.md

Proposed change to method group natural type #7364
; https://github.com/dotnet/csharplang/issues/7364

이것 역시 17.9 preview 2 버전에 구현됐지만, Visual Studio 2022에서도 <LangVersion>preview</LangVersion>을 설정하면 테스트가 가능합니다.




사전 지식으로 "natural type"에 대한 설명을 지난 글에 미리 정리했으니 참고하시면 도움이 될 것입니다.

C# - Method Group, Natural Type, function_type
; https://www.sysnet.pe.kr/2/0/13680

하지만, 엄밀히는 몰라도 상관없습니다. 간단하게 그냥, C# 코드에서 메서드 호출 시 실제 메서드와 연결하는 과정이 좀 더 정확해졌다고 생각하셔도 됩니다.

그리고, 이러한 판정 기준은 지속적으로 개선돼 왔습니다.

C# 6.0 - 재정의된 메서드의 선택 정확도를 향상
; https://www.sysnet.pe.kr/book/cs12_free.pdf (68 페이지)

C# 7.3 - 개선된 메서드 선택 규칙 3가지(Improved overload candidates)
; https://www.sysnet.pe.kr/2/0/11553

이제 C# 13에서는, 다음의 2가지 규칙을 더 추가해 이전보다 더 향상된 메서드 판정을 할 수 있게 된 것입니다.

  • 처음부터 method group에 모든 후보 메서드를 포함시키지 않고, 범위에 따라(scope-by-scope) 추가
  • 가능하지 않은 메서드는 후보에서 처음부터 제외해 이후 판정에 영향을 끼치지 못함, 예를 들어 1) 타입 인자가 없는 경우 제네릭 메서드는 후보에서 제외, 2) 제네릭 제약 또는 타입 인자의 수를 만족하지 않는 제네릭 메서드도 후보에서 제외

위의 규칙에서 "범위"란 메서드의 인스턴스/정적 멤버 등의 유형으로 간주하시면 됩니다. 즉, 첫 번째 규칙의 경우 우선적으로 인스턴스 메서드를 대상으로 모든 후보를 method group에 포함시켜 타입 추론을 시도하고, 만약 그 범위에 속한 메서드가 없다면 이후 범위를 확장 메서드 등으로 넓혀가며 타입 추론을 시도하는 것입니다.

이에 대한 예제가 "Proposed change to method group natural type #7364" 이슈에 나오는데요, 가령 C# 12 이하에서는 다음의 코드가 컴파일되지 않습니다.

internal class Program
{
    static void Main(string[] args)
    {
        {
            var c = new MyType();
            System.Action x = c.Call; // 컴파일 가능
            var x2 = c.Call; // 타입 추론 불가능 error CS8917: The delegate type could not be inferred.
        }

        {
            var c = new MyType();
            System.Action<object> y = c.Call; // 컴파일 가능
            var y2 = c.Call; // 타입 추론 불가능 error CS8917: The delegate type could not be inferred.
        }
    }
}

public class MyType
{
    public void Call() { }
}

public static class ExtensionType
{
    public static void Call(this MyType c, object o) { }
}

이유는 간단합니다. "Call" method group에는 현재 2개의 메서드, "void Call()"과 "ExtensionType.Call(this MyType c, object o)"가 있지만, 서로 Signature가 달라 "자연 타입"을 가질 수 없습니다. 따라서, 타입 추론이 불가능해 오류가 발생하는 것입니다.

하지만, C# 13부터는 우선 인스턴스 메서드를 method group에 포함해 타입 추론을 시도합니다. 위의 경우 첫 번째 "var x2 = c.Call"은 "void Call()"만을 포함한 method group에 대해서는 signature가 일치하므로 타입 추론을 적용해 컴파일을 합니다.

두 번째 경우도 결국엔 첫 번째 경우와 같습니다. 단지 두 번째 경우는 사용자가 "Action<object>" 타입으로 받고 싶었을 수도 있습니다. 만약 그런 경우라면, 그냥 컴파일러의 추론 대신 타입을 명시하면 그만입니다.




위의 첫 번째 규칙을 이해했으면, 또 다른 scope의 대상인 제네릭 메서드에 대한 method group 구성도 쉽게 이해할 수 있습니다. 위에서 예를 든 것과 유사한 방식으로 이렇게 2개의 메서드를 작성하고,

public class MyType
{
    public void GenericMethod<T>(MyType c) { }
}

public static class ExtensionType
{
    public static void GenericMethod<T, U>(this MyType c) { }
}

C# 12 이전에 컴파일하는 경우 var 추론에서 예외가 발생합니다.

System.Action x = new MyType().GenericMethod<int, int>;
x();

// error CS8917: The delegate type could not be inferred.
var z = new MyType().GenericMethod<int, int>;
z();

왜냐하면, GenericMethod method group에는 2개의 메서드가 포함돼 있지만 서로 다른 타입 인자의 수로 "자연 타입"이 없어 타입 추론이 불가능한 경우로 판단했기 때문입니다.

하지만, C# 13에서는 우선 arity(매개변수의 수, 제네릭의 경우 타입 인자의 수)가 맞지 않는 제네릭 메서드는 제외해 method group을 구성하기 때문에 "var z = new MyType().GenericMethod<int, int>;"의 소스코드에 대해서 2개의 타입 인자를 개발자가 명시했으므로 (1개의 타입 인자를 갖는) MyType.GenericMethod는 제외가 된 것입니다. 결국, 1개의 메서드를 가진 method group이 되고 "자연 타입"이 있으므로 var 추론을 할 수 있게 됩니다.




정리해 보면, method group이나 자연 타입과 같은 기존 C# 문법에서 쉽게 찾아볼 수 없었던 생소한 단어로 제목("Method group natural type improvements")이 구성돼 이야기가 어렵게 되었지만, 한 마디로 그냥 var 추론에 대한 정확도가 높아졌다고 이해하시면 됩니다. ^^




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







[최초 등록일: ]
[최종 수정일: 8/6/2024]

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