Microsoft MVP성태의 닷넷 이야기
.NET Framework: 962. C# 9.0 - (11) 공변 반환 형식(Covariant return types) [링크 복사], [링크+제목 복사]
조회: 2383
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

C# 9.0 - (11) 공변 반환 형식(Covariant return types)

C# 9.0 - (1) 대상으로 형식화된 new 식(Target-typed new expressions)
; https://www.sysnet.pe.kr/2/0/12363

C# 9.0 - (2) localsinit 플래그 내보내기 무시(Suppress emitting localsinit flag)
; https://www.sysnet.pe.kr/2/0/12364

C# 9.0 - (3) 람다 메서드의 매개 변수 무시(Lambda discard parameters)
; https://www.sysnet.pe.kr/2/0/12365

C# 9.0 - (4) 원시 크기 정수(Native ints)
; https://www.sysnet.pe.kr/2/0/12366

C# 9.0 - (5) 로컬 함수에 특성 지정 가능(Attributes on local functions)
; https://www.sysnet.pe.kr/2/0/12372

C# 9.0 - (6) 함수 포인터(Function pointers)
; https://www.sysnet.pe.kr/2/0/12374

C# 9.0 - (7) 패턴 일치 개선 사항(Pattern matching enhancements)
; https://www.sysnet.pe.kr/2/0/12383

C# 9.0 - (8) 정적 익명 함수 (static anonymous functions)
; https://www.sysnet.pe.kr/2/0/12389

C# 9.0 - (9) 레코드 (Records)
; https://www.sysnet.pe.kr/2/0/12392

C# 9.0 - (10) 대상으로 형식화된 조건식(Target-typed conditional expressions)
; https://www.sysnet.pe.kr/2/0/12399

C# 9.0 - (11) 공변 반환 형식(Covariant return types)
; https://www.sysnet.pe.kr/2/0/12402

C# 9.0 - (12) foreach 루프에 대한 GetEnumerator 확장 메서드 지원(Extension GetEnumerator)
; https://www.sysnet.pe.kr/2/0/12403

C# 9.0 - (13) 모듈 이니셜라이저(Module initializers)
; https://www.sysnet.pe.kr/2/0/12404

C# 9.0 - (14) 부분 메서드에 대한 새로운 기능(New features for partial methods)
; https://www.sysnet.pe.kr/2/0/12405

C# 9.0 - (15) 최상위 문(Top-level statements)
; https://www.sysnet.pe.kr/2/0/12406

C# 9.0 - (16) 제약 조건이 없는 형식 매개변수 주석(Unconstrained type parameter annotations)
; https://www.sysnet.pe.kr/2/0/12423




(이번 실습은 - 오늘 기준 16.7.7의 Visual Studio 2019에서 지원하지 않으므로 Visual Studio Preview 버전으로 실습해야 합니다. 또한 .NET Framework 및 .NET Core 3.1 이하의 런타임에서도 동작하지 않으므로 반드시 .NET 5 환경에서 테스트해야 합니다.)

C# 언어는, 메서드의 구분을 이름과 인자의 타입으로 결정합니다. 달리 말하면, 반환 타입을 포함하지 않기 때문에 다음과 같은 식으로 메서드를 정의하면,

public class TestClass
{
    public short MyMethod(int count) { return 0; }
    public int   MyMethod(int count) { return 0; } // 컴파일 에러
}

이런 컴파일 에러 메시지를 보게 됩니다.

error CS0111: Type 'TestClass' already defines a member called 'MyMethod' with the same parameter types

얼핏 보면 이상해 보여도, 여러분들이 컴파일러 개발자라고 가정하고 다음의 코드를 어떤 메서드에 바인딩해야 할지 결정하는 순간이 되면,

MyMethod(5);  // (short MyMethod)? (int MyMethod)?

아마도 그 제약은 당연한 것이라고 자연스럽게 수긍이 될 것입니다.




이러한 제약이, 상속 관계의 반환 타입으로 오면 상황이 다소 달라집니다.

using System;

class Program
{
    static void Main(string[] args)
    {
        Product prd = new Headset().GetDevice();
        Headset hds = new Headset().GetDevice();
    }
}

public class Product
{
    public virtual Product GetDevice() { return this; }
}

public class Headset : Product
{
    // C# 8.0 이전 컴파일 오류
    // C# 9.0 + .NET 5 환경에서 컴파일 가능
    public override Headset GetDevice()
    {
        return this;
    }
}

C# 8.0까지는 위와 같이 재정의한(override) 메서드의 경우, 반환 타입이 설령 하위 타입에 해당하더라도 무조건 "Error CS0508 'Headset.GetDevice()': return type must be 'Product' to match overridden member 'Product.GetDevice()'" 컴파일 오류가 발생했지만, C# 9.0부터는 이런 제약이 풀렸습니다. 이것을 달리 말하면 "C# 메서드의 반환 타입에 공변을 허용한다."라고 표현합니다.

재미있는 것은 위의 소스 코드를 C# 9.0 + (.NET Core 3.1 이하 또는 .NET Frmaework의 모든) 버전에서 컴파일할 때 발생하는 오류 메시지입니다.

Error CS8830 'Headset.GetDevice()': Target runtime doesn't support covariant return types in overrides. Return type must be 'Product' to match overridden member 'Product.GetDevice()'

즉, 공변 반환 타입의 제약은 C# 언어만의 문제가 아니라 CLR 런타임 쪽에서도 허용을 하지 않았던 것입니다.

(첨부 파일은 이 글의 예제 코드를 포함합니다.)




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

[연관 글]


donaricano-btn



[최초 등록일: ]
[최종 수정일: 11/22/2020]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer at outlook.com

비밀번호

댓글 쓴 사람
 



2020-11-09 10시46분
C# 9.0: 공변 리턴 타입 (Covariant return type)
http://www.csharpstudy.com/latest/CS9-covariant-return.aspx
정성태

1  2  3  4  5  6  7  8  9  [10]  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
12632정성태5/7/2021897기타: 80. (WACOM도 지원하는) Tablet 공통 디바이스 드라이버 - OpenTabletDriver
12631정성태5/5/2021823사물인터넷: 60. ThingSpeak 사물인터넷 플랫폼에 ESP8266 NodeMCU v1 + 조도 센서 장비 연동파일 다운로드1
12630정성태5/5/2021870사물인터넷: 59. NodeMCU v1 ESP8266 보드의 A0 핀 사용법 - CdS Cell(GL3526) 조도 센서 연동파일 다운로드1
12629정성태5/5/20211095.NET Framework: 1057. C# - CoAP 서버 및 클라이언트 제작 (UDP 소켓 통신)파일 다운로드1
12628정성태5/4/2021762Linux: 39. Eclipse 원격 디버깅 - Cannot run program "gdb": Launching failed
12627정성태5/4/2021916Linux: 38. 라즈베리 파이 제로 용 프로그램 개발을 위한 Eclipse C/C++ 윈도우 환경 설정
12626정성태5/3/2021883.NET Framework: 1056. C# - Thread.Suspend 호출 시 응용 프로그램 hang 현상 (2)파일 다운로드1
12625정성태5/3/2021880오류 유형: 714. error CS5001: Program does not contain a static 'Main' method suitable for an entry point
12624정성태5/2/20211116.NET Framework: 1055. C# - struct/class가 스택/힙에 할당되는 사례 정리 [6]파일 다운로드1
12623정성태5/2/2021909.NET Framework: 1054. C# 9 최상위 문에 STAThread 사용 [1]파일 다운로드1
12622정성태5/2/2021667오류 유형: 713. XSD 파일을 포함한 프로젝트 - The type or namespace name 'TypedTableBase<>' does not exist in the namespace 'System.Data'
12621정성태5/1/20211042.NET Framework: 1053. C# - 특정 레지스트리 변경 시 알림을 받는 방법파일 다운로드1
12620정성태4/29/20211395.NET Framework: 1052. C# - 왜 구조체는 16 바이트의 크기가 적합한가? [1]파일 다운로드1
12619정성태4/28/20211229.NET Framework: 1051. C# - 구조체의 크기가 16바이트가 넘어가면 힙에 할당된다? [1]파일 다운로드1
12618정성태4/27/2021903사물인터넷: 58. NodeMCU v1 ESP8266 CP2102 Module을 이용한 WiFi UDP 통신파일 다운로드1
12617정성태4/26/2021716.NET Framework: 1050. C# - ETW EventListener의 Keywords별 EventId에 따른 필터링 방법파일 다운로드1
12616정성태4/26/2021752.NET Framework: 1049. C# - ETW EventListener를 상속받았을 때 초기화 순서파일 다운로드1
12615정성태4/26/2021713오류 유형: 712. Microsoft Live 로그인 - 계정을 선택하는(Pick an account) 화면에서 진행이 안 되는 문제
12614정성태4/24/20211044개발 환경 구성: 570. C# - Azure AD 인증을 지원하는 ASP.NET Core/5+ 웹 애플리케이션 예제 구성 [3]파일 다운로드1
12613정성태4/23/2021801.NET Framework: 1048. C# - ETW 이벤트의 Keywords에 속한 EventId 구하는 방법 (2) 관리 코드파일 다운로드1
12612정성태4/23/2021774.NET Framework: 1047. C# - ETW 이벤트의 Keywords에 속한 EventId 구하는 방법 (1) PInvoke파일 다운로드1
12611정성태4/22/2021702오류 유형: 711. 닷넷 EXE 실행 오류 - Mixed mode assembly is build against version 'v2.0.50727' of the runtime
12610정성태4/22/2021790.NET Framework: 1046. C# - 컴파일 시점에 참조할 수 없는 타입을 포함한 이벤트 핸들러를 Reflection을 이용해 구독하는 방법파일 다운로드1
12609정성태4/22/2021978.NET Framework: 1045. C# - 런타임 시점에 이벤트 핸들러를 만들어 Reflection을 이용해 구독하는 방법파일 다운로드1
12608정성태4/21/20211148.NET Framework: 1044. C# - Generic Host를 이용해 .NET 5로 리눅스 daemon 프로그램 만드는 방법 [7]파일 다운로드1
12607정성태4/21/2021948.NET Framework: 1043. C# - 실행 시점에 동적으로 Delegate 타입을 만드는 방법파일 다운로드1
1  2  3  4  5  6  7  8  9  [10]  11  12  13  14  15  ...