Microsoft MVP성태의 닷넷 이야기
닷넷: 2345. C# - 배열 및 Span의 공변성 [링크 복사], [링크+제목 복사],
조회: 586
글쓴 사람
정성태 (seongtaejeong at gmail.com)
홈페이지
첨부 파일
(연관된 글이 1개 있습니다.)

C# - 배열 및 Span의 공변성

예전에 아래의 글을 쓰면서,

C# 언어의 공변성과 반공변성
; https://www.sysnet.pe.kr/2/0/11513

C#의 배열은 공변을 허용한다고 했습니다. 다시 한번 간략하게 이에 대해 설명해 보면, Person 타입과 그것을 상속한 Employee 타입이 있을 때,

public class Person { /* ...[생략]... */ }

public class Employee : Person 
{ 
    // ...[생략]...

    public override string ToString()
    {
        return $"{base.ToString()}, Position: {Position}";
    }
}

이런 식으로 Employee 배열을 Person 배열로 형변환이 가능하다는 것입니다.

internal class Program
{
    static void Main(string[] args)
    {
        Employee[] employees = {
            new Employee("Alice", 30, "Developer"),
            new Employee("Bob", 40, "Manager"),
            new Employee("Charlie", 35, "Designer")
        };

        Person[] people = employees; // C# 언어가 배열에 대해 공변을 허용하기 때문에 가능
        foreach (var person in people)
        {
            Console.WriteLine(person);
        }   
    }
}

하지만 여기서 잊지 말아야 할 것은, 저렇게 구성한 Person[] 배열의 경우 배열 요소에 대한 타입 정보는 바로 Employee라는 점입니다. 이로 인해 컴파일 시점에는 오류를 잡아낼 수 없고 런타임에만 예외가 발생할 수 있는 상황이 있는데요, 가령, 다음과 같은 메서드를 정의했다고 가정해 보면,

static void PrintPeople(Person[] people)
{
    foreach (var p in people)
    {
        Console.WriteLine(p);
    }
}

PrintPeople 메서드 자체는 매개 변수로 들어온 Person[] 배열의 "배열 요소 타입"에 대한 정보를 컴파일 시점에는 가지고 있지 않게 됩니다. 따라서 Employee 배열도 전달하는 것이 가능하고, 이로 인해 개발자는 자칫 "배열 요소 타입"이 일치하지 않는 인스턴스를 할당하는 실수도 가능해집니다.

static void PrintPeople(Person[] people)
{
    // 런타임 시에 예외 발생
    // Unhandled exception. System.ArrayTypeMismatchException: Attempted to access an element as a type incompatible with the array.
    people[0] = new Person("Dave", 28);

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

컴파일러가 배열의 공변을 허용했지만, 정작 저런 오류를 컴파일 시에 잡아낼 수 없게 된 것입니다.




C# 7.2부터 도입된 Span 타입은 배열의 참조 뷰 역할을 합니다.

C# 7.2 - Span<T>
; https://www.sysnet.pe.kr/2/0/11534

사실상 배열이 갖는 한계를 그대로 물려받게 되는데요, 위에서 다룬 예제를 Span 타입으로 바꿔보면 그 의미를 금방 이해할 수 있습니다.

internal class Program
{
    static void Main(string[] args)
    {
        Employee[] employees = { /* ...[생략]... */ };

        // (이 코드는 C# 13까지만 컴파일이 됩니다. C# 14부터 컴피일 에러 - error CS1503)
        PrintPeople(employees); 
    }

    static void PrintPeople(Span<Person> people)
    {
        // 런타임 시 예외 발생 
        // Unhandled exception. System.ArrayTypeMismatchException: Attempted to access an element as a type incompatible with the array.
        people[0] = new Person("Dave", 28);

        foreach (var p in people)
        {
            Console.WriteLine(p);
        }
    }
}

하지만, 배열과는 달리 Span은 언어에 통합되지 않고 외부 타입으로 정의한 유형이기 때문에 개발자가 미리 고려를 한다면 저런 "런타임 예외"를 피할 수 있습니다. 즉, 배열에 대해 접근만 필요한 경우라면 아예 메서드의 매개 변수로 Span<T> 타입 대신 ReadOnlySpan<T> 타입을 사용하면 됩니다.

static void PrintPeople(ReadOnlySpan<Person> people)
{
    // Read-only이므로 대입을 시도하면 컴파일 오류 발생
    // people[0] = new Person("Dave", 28);

    foreach (var p in people)
    {
        Console.WriteLine(p);
    }
}

물론, 개발자가 해당 메서드 내에서 대입이 필요하다면 다시 Span<T> 타입으로 변경한 후 코딩하려는 시도를 할 것이기 때문에 이런 문제는 여전히 존재할 수밖에 없습니다.




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 7/23/2025]

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

비밀번호

댓글 작성자
 




... 181  182  183  184  185  186  187  188  189  190  191  192  193  [194]  195  ...
NoWriterDateCnt.TitleFile(s)
143정성태5/5/200520023.NET Framework: 38. DSL (Domain Specific Language)
141정성태4/14/200520775VS.NET IDE: 27. 64bit 컴퓨터 사용 평가 [3]
140정성태4/14/200517862.NET Framework: 37. String.GetHashCode의 리턴값. 그때그때 다릅니다.
138정성태4/12/200518559.NET Framework: 36. 64bit 시스템 구성
142정성태4/14/200520070    답변글 VS.NET IDE: 36.1. 메모리 구성에 대한 추가 내용
137정성태3/31/200524412.NET Framework: 35. XP SP2 팝업 뚫은 소스
135정성태3/31/200523200VS.NET IDE: 26. SQL Server 2000구성이 실패
134정성태3/31/200520222COM 개체 관련: 16. Microsoft.XMLHTTP 개체에서 Microsoft.XMLDOM 개체를 전송할 때 charset 지정 문제? [2]
128정성태3/30/200518778.NET Framework: 34. VC++에서 Managed 타입의 메서드에 BSTR을 넘기는 경우의 오류(!)
129정성태3/30/200521015    답변글 .NET Framework: 34.1. 위의 질문에 대한 답변으로 나온 것입니다.
130정성태3/30/200517927        답변글 .NET Framework: 34.2. 다시... 제가 질문한 내용입니다. ^^
131정성태3/30/200518474            답변글 .NET Framework: 34.3. 다시... 정봉겸님이 하신... 명확한 답변입니다.
126정성태3/26/200518300.NET Framework: 33. Proxy 환경에서의 Smart Client 업데이트 문제 [1]
133정성태3/31/200519487    답변글 .NET Framework: 33.1. [추가]: Proxy 환경에서의 Smart Client 업데이트 문제 [2]
125정성태3/26/200518621VC++: 15. VC++ Keyword
124정성태3/25/200518969.NET Framework: 32. 네트워크 공유 없이 상대 컴퓨터에 프로그램 설치
119정성태3/21/200518586.NET Framework: 31. 소스세이프 오류현상: 웹 프로젝트를 열수 없습니다.
120정성태3/21/200520000    답변글 .NET Framework: 31.1. 소스세이프 오류현상: PDB 파일이 잠기는 문제
121정성태3/21/200519818    답변글 .NET Framework: 31.2. 소스세이프 오류현상: VS.NET 2003 IDE 와 연동되는 소스세이프 버전 문제
122정성태3/21/200518522    답변글 .NET Framework: 31.3. 소스세이프 관련 사이트
160정성태11/14/200521715    답변글 VS.NET IDE: 31.4. [추가]: 웹 애플리케이션 로드시 "_1"을 붙여서 묻는 경우. [1]
196이문석12/23/200518290        답변글 .NET Framework: 31.8. [답변]: [추가]: 웹 애플리케이션 로드시 "_1" 을 붙여서 묻는 경우.
167정성태10/10/200518150    답변글 .NET Framework: 31.5. [추가]: 삭제한 웹 가상 디렉터리에 대해 동일한 이름으로 웹 공유를 설정할 때 - 이미 있다고 오류발생
190정성태12/11/200517235    답변글 VC++: 31.6. ASP.NET 소스세이프 오류현상: 다른 사람이 체크아웃 한 것을 또 다른 사람이 체크아웃 가능!
191정성태12/11/200519622    답변글 VC++: 31.7. 소스 세이프 사용 시, 특정 프로젝트의 빌드 체크가 솔루션 로드할 때마다 해제되는 경우
118정성태3/30/200625777VC++: 14. TCP through HTTP tunneling: 기업 내 Proxy 서버 제한에서 벗어나는 방법 [2]
... 181  182  183  184  185  186  187  188  189  190  191  192  193  [194]  195  ...