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 - (9) 메서드 바인딩의 우선순위를 지정하는 OverloadResolutionPriority 특성 도입 (Overload resolution priority)

이 기능은 현재(2024-10-10) Visual Studio 2022 Preview 버전에서 실습할 수 있습니다.




C# 언어가 지원하는 매개변수의 접근자는 대표적으로 4가지 정도가 됩니다.

  • ref
  • out
  • in
  • ref readonly

이러한 것들은 모두 메서드 시그니처에 반영되고, 그에 따라 메서드를 재정의하는 것이 가능하다 보니 경우에 따라 어떤 메서드가 호출될 것인지 예측하기가 어려워지는 경우도 있습니다. 달리 말하면, C# 컴파일러가 메서드 호출 구문을 분석할 때 실제로 어떤 메서드에 호출을 바인딩해야 하는지 판단하기가 모호할 수 있다는 것입니다.

이런 문제를, C# 13부터는 바인딩 우선순위를 개발자가 직접 OverloadResolutionPriority 특성을 추가해 컴파일러에게 힌트를 제공함으로써 해결할 수 있게 만들었습니다.

Overload resolution priority
; https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-13#overload-resolution-priority

Overload Resolution Priority
; https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/proposals/csharp-13.0/overload-resolution-priority#overload-resolution-priority

[Proposal]: Overload Resolution Priority (VS 17.12, .NET 9) #7706
; https://github.com/dotnet/csharplang/issues/7706

OverloadResolutionPriority attribute
; https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/attributes/general#overloadresolutionpriority-attribute

System.Runtime.CompilerServices.OverloadResolutionPriority 
; https://learn.microsoft.com/en-us/dotnet/api/system.runtime.compilerservices.overloadresolutionpriorityattribute

실제로 이 특성을 사용하면 지난 글에 설명한 내용 중,

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

아래의 코드가 "error CS0121" 컴파일 에러를 발생시키는 것을 해결할 수 있습니다.

// https://www.sysnet.pe.kr/2/0/13705#cs0121

printAll([6, 7, 8, 9, 10]); // 컴파일 에러 - error CS0121: The call is ambiguous between the following methods or properties: 'Program.printAll(List<int>)' and 'Program.printAll(params ReadOnlySpan<int>)'

static void printAll(List<int> args)
{
    for (int i = 0; i < args.Count; i++)
    {
        Console.Write($"{args[i]},");
    }

    Console.WriteLine();
}

static void printAll(params ReadOnlySpan<int> args)
{
    foreach (var item in args)
    {
        Console.Write($"{item},");
    }

    Console.WriteLine();
}

지난 글에서는 위의 코드를 컴파일하기 위해 형변환 연산자를 사용했었는데요,

printAll((ReadOnlySpan<int>)[6, 7, 8, 9, 10]); // 컴파일 OK, printAll(params ReadOnlySpan<int> args) 호출로 바인딩

위와 같이 형변환을 하는 대신 OverloadResolutionPriority 특성을 이용해 바인딩 우선순위를 지정하는 것으로 해결할 수도 있습니다.

printAll([6, 7, 8, 9, 10]); // 컴파일 OK, printAll(params ReadOnlySpan<int> args) 호출로 바인딩

static void printAll(List<int> args)
{
    Console.Write("List<int> : ");
    // ...[생략]...
}

[OverloadResolutionPriority(1)]
static void printAll(params ReadOnlySpan<int> args)
{
    Console.Write("ReadOnlySpan<int> : ");
    // ...[생략]...
}

물론, "static void printAll(List<int> args)"에 [OverloadResolutionPriority(2)] 특성을 지정하면 이제는 "printAll(List<int> args)" 메서드가 더 높은 우선순위로 바인딩이 됩니다.

참고로, 번호가 클수록 우선순위가 높으며, C# 컴파일러는 OverloadResolutionPriority 특성이 없는 메서드를 "OverloadResolutionPriority(0)"으로 간주합니다.




이 기능은 라이브러리 개발자에게 특히 유용할 수 있습니다. 예를 들어, 위의 예제에서 "printAll(List<int> args)" 구현만을 포함한 v1.0 어셈블리가 있다고 가정해 보겠습니다. 그러다, 좀 더 성능이 좋은 버전인 "ReadOnlySpan<int> args" 인자를 받는 printAll을 추가해 v2.0을 내놓은 경우 기존 v1.0을 사용해 잘 컴파일을 시켰던 "printAll([6, 7, 8, 9, 10])" 코드가 이제는 컴파일 오류로 빌드 실패가 됩니다. 즉, 소스코드 수준에서의 하위 호환성이 깨진 것입니다.

반면, 라이브러리 개발자가 OverloadResolutionPriority 특성을 "ReadOnlySpan<int> args"를 받는 printAll 메서드에 부여하면, v1.0을 사용해 컴파일했던 코드가 v2.0에서도 그대로 컴파일되는 것을 보장할 수 있습니다.




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







[최초 등록일: ]
[최종 수정일: 10/10/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)
13829정성태11/25/20246656스크립트: 67. 파이썬 - Windows 버전에서 함께 설치되는 py.exe
13828정성태11/25/20245178개발 환경 구성: 735. Azure - 압축 파일을 이용한 web app 배포 시 디렉터리 구분이 안 되는 문제파일 다운로드1
13827정성태11/25/20246003Windows: 273. Windows 환경의 파일 압축 방법 (tar, Compress-Archive)
13826정성태11/21/20246373닷넷: 2313. C# - (비밀번호 등의) Console로부터 입력받을 때 문자열 출력 숨기기(echo 끄기)파일 다운로드1
13825정성태11/21/20247038Linux: 110. eBPF / bpf2go - BPF_RINGBUF_OUTPUT / BPF_MAP_TYPE_RINGBUF 사용법
13824정성태11/20/20245416Linux: 109. eBPF / bpf2go - BPF_PERF_OUTPUT / BPF_MAP_TYPE_PERF_EVENT_ARRAY 사용법
13823정성태11/20/20246596개발 환경 구성: 734. Ubuntu에 docker, kubernetes (k3s) 설치
13822정성태11/20/20246484개발 환경 구성: 733. Windbg - VirtualBox VM의 커널 디버거 연결 시 COM 포트가 없는 경우
13821정성태11/18/20246077Linux: 108. Linux와 Windows의 프로세스/스레드 ID 관리 방식
13820정성태11/18/20246547VS.NET IDE: 195. Visual C++ - C# 프로젝트처럼 CopyToOutputDirectory 항목을 추가하는 방법
13819정성태11/15/20245127Linux: 107. eBPF - libbpf CO-RE의 CONFIG_DEBUG_INFO_BTF 빌드 여부에 대한 의존성
13818정성태11/15/20246653Windows: 272. Windows 11 24H2 - sudo 추가
13817정성태11/14/20245893Linux: 106. eBPF / bpf2go - (BPF_MAP_TYPE_HASH) Map을 이용한 전역 변수 구현
13816정성태11/14/20246850닷넷: 2312. C#, C++ - Windows / Linux 환경의 Thread Name 설정파일 다운로드1
13815정성태11/13/20245467Linux: 105. eBPF - bpf2go에서 전역 변수 설정 방법
13814정성태11/13/20246099닷넷: 2311. C# - Windows / Linux 환경에서 Native Thread ID 가져오기파일 다운로드1
13813정성태11/12/20246614닷넷: 2310. .NET의 Rune 타입과 emoji 표현파일 다운로드1
13812정성태11/11/202410205오류 유형: 933. Active Directory - The forest functional level is not supported.
13811정성태11/11/20245838Linux: 104. Linux - COLUMNS 환경변수가 언제나 80으로 설정되는 환경
13810정성태11/10/20246803Linux: 103. eBPF (bpf2go) - Tracepoint를 이용한 트레이스 (BPF_PROG_TYPE_TRACEPOINT)
13809정성태11/10/20246450Windows: 271. 윈도우 서버 2025 마이그레이션
13808정성태11/9/20246765오류 유형: 932. Linux - 커널 업그레이드 후 "error: bad shim signature" 오류 발생
13807정성태11/9/20245680Linux: 102. Linux - 커널 이미지 파일 서명 (Ubuntu 환경)
13806정성태11/8/20245840Windows: 270. 어댑터 상세 정보(Network Connection Details) 창의 내용이 비어 있는 경우
13805정성태11/8/20245455오류 유형: 931. Active Directory의 adprep 또는 복제가 안 되는 경우
13804정성태11/7/20246976Linux: 101. eBPF 함수의 인자를 다루는 방법
1  2  3  4  5  [6]  7  8  9  10  11  12  13  14  15  ...