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)
13893정성태2/27/20252197Linux: 115. eBPF (bpf2go) - ARRAY / HASH map 기본 사용법
13892정성태2/24/20252945닷넷: 2325. C# - PowerShell과 연동하는 방법파일 다운로드1
13891정성태2/23/20252488닷넷: 2324. C# - 프로세스의 성능 카운터용 인스턴스 이름을 구하는 방법파일 다운로드1
13890정성태2/21/20252304닷넷: 2323. C# - 프로세스 메모리 중 Private Working Set 크기를 구하는 방법(Win32 API)파일 다운로드1
13889정성태2/20/20253022닷넷: 2322. C# - 프로세스 메모리 중 Private Working Set 크기를 구하는 방법(성능 카운터, WMI) [1]파일 다운로드1
13888정성태2/17/20252469닷넷: 2321. Blazor에서 발생할 수 있는 async void 메서드의 부작용
13887정성태2/17/20253054닷넷: 2320. Blazor의 razor 페이지에서 code-behind 파일로 코드를 분리 및 DI 사용법
13886정성태2/15/20252560VS.NET IDE: 196. Visual Studio - Code-behind처럼 cs 파일을 그룹핑하는 방법
13885정성태2/14/20253214닷넷: 2319. ASP.NET Core Web API / Razor 페이지에서 발생할 수 있는 async void 메서드의 부작용
13884정성태2/13/20253485닷넷: 2318. C# - (async Task가 아닌) async void 사용 시의 부작용파일 다운로드1
13883정성태2/12/20253241닷넷: 2317. C# - Memory Mapped I/O를 이용한 PCI Configuration Space 정보 열람파일 다운로드1
13882정성태2/10/20252563스크립트: 70. 파이썬 - oracledb 패키지 연동 시 Thin / Thick 모드
13881정성태2/7/20252814닷넷: 2316. C# - Port I/O를 이용한 PCI Configuration Space 정보 열람파일 다운로드1
13880정성태2/5/20253155오류 유형: 947. sshd - Failed to start OpenSSH server daemon.
13879정성태2/5/20253374오류 유형: 946. Ubuntu - N: Updating from such a repository can't be done securely, and is therefore disabled by default.
13878정성태2/3/20253167오류 유형: 945. Windows - 최대 절전 모드 시 DRIVER_POWER_STATE_FAILURE 발생 (pacer.sys)
13877정성태1/25/20253222닷넷: 2315. C# - PCI 장치 열거 (레지스트리, SetupAPI)파일 다운로드1
13876정성태1/25/20253672닷넷: 2314. C# - ProcessStartInfo 타입의 Arguments와 ArgumentList파일 다운로드1
13875정성태1/24/20253122스크립트: 69. 파이썬 - multiprocessing 패키지의 spawn 모드로 동작하는 uvicorn의 workers
13874정성태1/24/20253524스크립트: 68. 파이썬 - multiprocessing Pool의 기본 프로세스 시작 모드(spawn, fork)
13873정성태1/23/20252954디버깅 기술: 217. WinDbg - PCI 장치 열거파일 다운로드1
13872정성태1/23/20252867오류 유형: 944. WinDbg - 원격 커널 디버깅이 연결은 되지만 Break (Ctrl + Break) 키를 눌러도 멈추지 않는 현상
13871정성태1/22/20253280Windows: 278. Windows - 윈도우를 다른 모니터 화면으로 이동시키는 단축키 (Window + Shift + 화살표)
13870정성태1/18/20253718개발 환경 구성: 741. WinDbg - 네트워크 커널 디버깅이 가능한 NIC 카드 지원 확대
13869정성태1/18/20253444개발 환경 구성: 740. WinDbg - _NT_SYMBOL_PATH 환경 변수에 설정한 경로로 심벌 파일을 다운로드하지 않는 경우
13868정성태1/17/20253096Windows: 277. Hyper-V - Windows 11 VM의 Enhanced Session 모드로 로그인을 할 수 없는 문제
1  [2]  3  4  5  6  7  8  9  10  11  12  13  14  15  ...