Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
(연관된 글이 1개 있습니다.)

C# - 인터페이스의 메서드가 다형성을 제공할까요? (virtual일까요?)

이 글을 쓰려니.. 참 부끄럽군요. ^^; 저는 여태껏 C#의 인터페이스 메서드는 기본적으로 virtual이라고 알고 있었습니다. 사실, 인터페이스의 IL 정의를 보면 virtual이라고 지정돼 있으며,

public interface IMessage
{
    void Write();
}

/* IL 코드
.class interface public auto ansi abstract IMessage
{
    .method public hidebysig newslot abstract virtual instance void Write () cil managed 
    {
    }
}
*/

클래스와 비교했을 때 당연히 일반 메서드는 virtual이 없고 virtual이 명시된 메서드에만 위에서 본 "virtual" 예약어가 정의됩니다.

public class Test
{
    public void Write() { }

    public virtual void Log() { }
}

.class public auto ansi beforefieldinit Test extends [mscorlib]System.Object
{
    .method public hidebysig instance void Write () cil managed 
    {
        // ...[생략]...
    }

	.method public hidebysig newslot virtual instance void Log () cil managed 
	{
		 // ...[생략]...
	}

    // ...[생략]...
}

보는 바와 같이, 인터페이스에 정의된 메서드와 일반 클래스에 정의된 virtual 메서드의 차이점은,

.method public hidebysig newslot abstract virtual instance void Write () cil managed
.method public hidebysig newslot          virtual instance void Log ()   cil managed

abstract의 차이점뿐입니다.




그런데 실제로 코딩을 해보면, 인터페이스의 메서드는 상속받은 클래스에서 구현한 경우 일반 메서드처럼 "virtual"이 누락된 것처럼 동작하고, 따라서 다형성조차도 제공되지 않습니다.

using System;

namespace ConsoleApp1
{
    class Program
    {
        static void Main(string[] args)
        {
            IMessage msg = new UserMessage();
            msg.Write(); // 출력 결과: Message.Write
        }
    }
}

public interface IMessage
{
    void Write();
}

public class Message : IMessage
{
    public void Write()
    {
        Console.WriteLine("Message.Write");
    }
}

public class UserMessage : Message
{
    // new를 지정하지 않으면 컴파일 경고 발생 
    // warning CS0108: 'UserMessage.Write()' hides inherited member 'Message.Write()'. Use the new keyword if hiding was intended.
    public new void Write()
    {
        Console.WriteLine("UserMessage.Write");
    }
}

구현한 인터페이스 메서드에 다형성을 제공하려면 명시적으로 virtual 예약어를 (상속받은) 클래스 수준에서 제공해야 합니다.

IMessage msg = new UserMessage();
msg.Write(); // 출력 결과: UserMessage.Write

public class Message : IMessage
{
    public virtual void Write()
    {
        Console.WriteLine("Message.Write");
    }
}

public class UserMessage : Message
{
    public override void Write()
    {
        Console.WriteLine("UserMessage.Write");
    }
}

(만약, 인터페이스 메서드에 직접 virtual 예약어를 명시하면 "CS0501 'IMessage.Write()' must declare a body because it is not marked abstract, extern, or partial" 오류가 발생합니다.)




물론, 현업에서 이런 식으로 만들지는 않겠지만 다형성을 제공해야 한다면 처음 상속받은 클래스에서 명시하는 것이 권장됩니다. 안 그러면 다음과 같이 이상한 상황도 발생할 수 있을 것입니다.

Message msg = new AdminMessage();
msg.Print(); // "Message.Print"

UserMessage msg2 = new AdminMessage();
msg2.Print(); // "AdminMessage.Print"

public interface IMessage
{
    void Print();
}

public class Message : IMessage
{
    public void Print()
    {
        Console.WriteLine("Message.Print");
    }
}

public class UserMessage : Message
{
    public new virtual void Print()
    {
        Console.WriteLine("UserMessage.Print");
    }
}

public class AdminMessage : UserMessage
{
    public override void Print()
    {
        Console.WriteLine("AdminMessage.Print");
    }
}

재미있는 것은, 인터페이스의 메서드가 꼭 다형성이 없다고 볼 수도 없습니다. 예를 들어 다음의 인터페이스를,

interface IAdd
{
    int Add(int arg1, int arg2);
}

public class Adder : IAdd
{
    public int Add(int arg1, int arg2) => arg1 + arg2;
}

다형성이 없는 메서드가 구현된 클래스로 바꾸려고 하면 이번엔 구현 클래스에서 명시적인 new를 필요로 하고,

public class IAdd
{
    public int Add(int arg1, int arg2) => 0;
}

public class Adder : IAdd
{
    public new int Add(int arg1, int arg2) => arg1 + arg2;
}

그렇다고 인터페이스처럼 동작하도록 만들기 위해 abstract로 바꾸려고 하면 아예 상속 구조 전체에서 virtual 메서드가 적용된 것이므로 차이가 발생합니다.

public abstract class IAdd
{
    public abstract int Add(int arg1, int arg2);
}

public class Adder : IAdd
{
    public override int Add(int arg1, int arg2) => arg1 + arg2;
}

즉, 인터페이스는 참 이상한 정의라고 볼 수 있는데, 간단하게 정리하면 1레벨 수준의 상속에 대해서만 다형성을 제공하는 것입니다.

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




어쨌든, 이것 때문에 또 책의 내용을 수정해야만 했습니다. ^^;




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 8/18/2021]

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

비밀번호

댓글 작성자
 




... 46  47  48  49  50  51  52  53  54  55  56  [57]  58  59  60  ...
NoWriterDateCnt.TitleFile(s)
12222정성태6/3/202010359VS.NET IDE: 146. error information: "CryptQueryObject" (-2147024893/0x80070003)
12221정성태6/3/202010097Windows: 170. 비어 있지 않은 디렉터리로 symbolic link(junction) 연결하는 방법
12220정성태6/3/202012593.NET Framework: 907. C# DLL로부터 TLB 및 C/C++ 헤더 파일(TLH)을 생성하는 방법
12219정성태6/1/202011677.NET Framework: 906. C# - lock (this), lock (typeof(...))를 사용하면 안 되는 이유파일 다운로드1
12218정성태5/27/202011638.NET Framework: 905. C# - DirectX 게임 클라이언트 실행 중 키보드 입력을 감지하는 방법 [3]
12217정성태5/24/202010057오류 유형: 615. Transaction count after EXECUTE indicates a mismatching number of BEGIN and COMMIT statements. Previous count = 0, current count = 1.
12216정성태5/15/202013242.NET Framework: 904. USB/IP PROJECT를 이용해 C#으로 USB Keyboard 가상 장치 만들기 [14]파일 다운로드1
12215정성태5/12/202018348개발 환경 구성: 490. C# - (Wireshark의) USBPcap을 이용한 USB 패킷 모니터링 [10]파일 다운로드1
12214정성태5/5/202010608개발 환경 구성: 489. 정식 인증서가 있는 경우 Device Driver 서명하는 방법 (2) - UEFI/SecureBoot [1]
12213정성태5/3/202012274개발 환경 구성: 488. (User-mode 코드로 가상 USB 장치를 만들 수 있는) USB/IP PROJECT 소개
12212정성태5/1/20209901개발 환경 구성: 487. UEFI / Secure Boot 상태인지 확인하는 방법
12211정성태4/27/202012232개발 환경 구성: 486. WSL에서 Makefile로 공개된 리눅스 환경의 C/C++ 소스 코드 빌드
12210정성태4/20/202012683.NET Framework: 903. .NET Framework의 Strong-named 어셈블리 바인딩 (1) - app.config을 이용한 바인딩 리디렉션 [1]파일 다운로드1
12209정성태4/13/202010717오류 유형: 614. 리눅스 환경에서 C/C++ 프로그램이 Segmentation fault 에러가 발생한 경우 (2)
12208정성태4/12/202010133Linux: 29. 리눅스 환경에서 C/C++ 프로그램이 Segmentation fault 에러가 발생한 경우
12207정성태4/2/20209119스크립트: 19. Windows PowerShell의 NonInteractive 모드
12206정성태4/2/202011440오류 유형: 613. 파일 잠금이 바로 안 풀린다면? - The process cannot access the file '...' because it is being used by another process.
12205정성태4/2/20208799스크립트: 18. Powershell에서는 cmd.exe의 명령어를 지원하진 않습니다.
12204정성태4/1/20208629스크립트: 17. Powershell 명령어에 ';' (semi-colon) 문자가 포함된 경우
12203정성태3/18/202010708오류 유형: 612. warning: 'C:\ProgramData/Git/config' has a dubious owner: '...'.
12202정성태3/18/202013261개발 환경 구성: 486. .NET Framework 프로젝트를 위한 GitLab CI/CD Runner 구성
12201정성태3/18/202011086오류 유형: 611. git-credential-manager.exe: Using credentials for username "Personal Access Token". [1]
12200정성태3/18/202011473VS.NET IDE: 145. NuGet + Github 라이브러리 디버깅 관련 옵션 3가지 - "Enable Just My Code" / "Enable Source Link support" / "Suppress JIT optimization on module load (Managed only)"
12199정성태3/17/20209294오류 유형: 610. C# - CodeDomProvider 사용 시 Unhandled Exception: System.IO.DirectoryNotFoundException: Could not find a part of the path '...\f2_6uod0.tmp'.
12198정성태3/17/202012097오류 유형: 609. SQL 서버 접속 시 "Cannot open user default database. Login failed."
12197정성태3/17/202011238VS.NET IDE: 144. .NET Core 콘솔 응용 프로그램을 배포(publish) 시 docker image 자동 생성 - 두 번째 이야기 [1]
... 46  47  48  49  50  51  52  53  54  55  56  [57]  58  59  60  ...