Microsoft MVP성태의 닷넷 이야기
닷넷: 2346. C# 14 - (3) Span 타입과 배열 간의 암시적 형변환 [링크 복사], [링크+제목 복사],
조회: 580
글쓴 사람
정성태 (seongtaejeong at gmail.com)
홈페이지
첨부 파일
(연관된 글이 1개 있습니다.)
(시리즈 글이 4개 있습니다.)
닷넷: 2342. C# 14 - (1) (예약)
; https://www.sysnet.pe.kr/2/0/13970

닷넷: 2343. C# 14 - (2) 속성 구문에서 문맥 키워드로 추가되는 field 예약어
; https://www.sysnet.pe.kr/2/0/13971

닷넷: 2346. C# 14 - (3) Span 타입과 배열 간의 암시적 형변환
; https://www.sysnet.pe.kr/2/0/13974

닷넷: 2347. C# 14 - (4) 형식 인자가 없는 제네릭 타입의 nameof 지원
; https://www.sysnet.pe.kr/2/0/13975




C# 14 - (3) Span 타입과 배열 간의 암시적 형변환

시리즈의 3번째는,

Working Set C#
; https://github.com/dotnet/roslyn/blob/main/docs/Language%20Feature%20Status.md#working-set-c

[Proposal]: First-Class Span Types #7905
; https://github.com/dotnet/csharplang/issues/7905

Implicit span conversions
; https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-14#implicit-span-conversions

Span 타입에 관한 내용입니다. C# 7.2와 함께 BCL에 도입된 Span은,

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

관리 및 비관리 메모리에 대한 일관성 있는 참조를 제공하면서도 성능까지 높일 수 있게 해주는 타입입니다. 직관적으로는 배열과 유사하지만, 아쉽게도 그동안 별도의 Span<T> 타입으로만 제공되었기 때문에 사용하기가 다소 불편했던 점이 있습니다.

물론 C# 언어가 버전업을 하면서 그런 부분들이 점차로 개선되었고,

C# 11 - Span 타입에 대한 패턴 매칭 (Pattern matching on ReadOnlySpan<char>)
; https://www.sysnet.pe.kr/2/0/13113

C# 12 - 컬렉션 식(Collection Expressions)
; https://www.sysnet.pe.kr/2/0/13415

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

C# 13 - (9) 메서드 바인딩의 우선순위를 지정하는 OverloadResolutionPriority 특성 도입 (Overload resolution priority)
; https://www.sysnet.pe.kr/2/0/13755

C# 14에 와서 다음의 5가지 규칙을 만족하게 되면서,

  1. T 타입의 1차원 배열을 Span<T>으로 암시적 형변환
  2. E 타입과 U 타입이 identity conversion 또는 공변일 때, E 타입의 1차원 배열을 ReadOnlySpan<U>으로 암시적 형변환
  3. E 타입과 U 타입이 identity conversion 또는 공변일 때, E 타입의 Span<E> 타입을 ReadOnlySpan<U> 타입으로 암시적 형변환
  4. E 타입이 U 타입에 대해 identity conversion 또는 공변일 때, ReadOnlySpan<E> 타입을 ReadOnlySpan<U> 타입으로 암시적 형변환
  5. string 타입을 System.ReadOnlySpan<char> 타입으로 암시적 형변환

사실상 언어 내에서 배열과 다름없는 대우를 받게 된 것입니다. 설명할 내용이 저게 전부이긴 한데... 이렇게만 설명하고 끝내면 섭섭할 테니 각각의 규칙에 해당하는 예를 들어 보겠습니다. ^^





1. T 타입의 1차원 배열을 Span<T> 타입으로 암시적 형변환

이 규칙은 C# 13 이전에도 지원했던 것으로, 다음과 같은 코드로 확인할 수 있습니다.

internal class Program
{
    static void Main(string[] args)
    {
        int[] arr = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
        PrintArray(arr); // 1차원 배열을 Span 타입에 전달 (암시적 형변환)
    }

    // int [] 배열도 전달 가능
    static void PrintArray(Span<int> span)
    {
        for (int i = 0; i < span.Length; i++)
        {
            Console.WriteLine(span[i]);
        }
    }
}

뭐, 특별한 것이 없으니 이 정도로 넘어갑니다. ^^


2. E 타입과 U 타입이 identity conversion 또는 공변일 때, E 타입의 1차원 배열을 ReadOnlySpan<U>로 암시적 형변환

이와 연관해서는 C# 13을 기준으로 미리 이전 글에서 한번 설명했습니다.

C# - 배열 및 Span의 공변성
; https://www.sysnet.pe.kr/2/0/13973

C# 14부터 달라진 점은, 더 이상 Span<U> 타입으로의 변환을 지원하지 않고 오직 ReadOnlySpan<U>만 지원한다는 것인데요,

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

public class 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")
        };

        // C# 14부터 컴파일 오류
        // PrintPerson(employees);

        // C# 14부터 ReadOnlySpan<Person>로 암시적 형변환  
        Print(employees);
    }

    static void PrintPerson(Span<Person> span)
    {
        for (int i = 0; i < span.Length; i++)
        {
            Console.WriteLine(span[i]);
        }
    }

    static void Print(ReadOnlySpan<Person> span)
    {
        for (int i = 0; i < span.Length; i++)
        {
            Console.WriteLine(span[i]);
        }
    }
}

즉, 하위 호환성이 깨진 경우입니다.

Breaking changes in Roslyn after .NET 9.0.100 through .NET 10.0.100
 - Span<T> and ReadOnlySpan<T> overloads are applicable in more scenarios in C# 14 and newer
; https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/breaking-changes/compiler%20breaking%20changes%20-%20dotnet%2010#spant-and-readonlyspant-overloads-are-applicable-in-more-scenarios-in-c-14-and-newer


3. E 타입과 U 타입이 identity conversion 또는 공변일 때, E 타입의 Span<E> 타입을 ReadOnlySpan<U> 타입으로 암시적 형변환

이 규칙은 C# 14부터 새롭게 추가된 것으로, 다음의 예제와 같이 Span<Employee> 타입을 ReadOnlySpan<Person> 타입으로 암시적 형변환할 수 있습니다.

static void PrintEmployee(Span<Employee> span)
{
    // C# 14부터 ReadOnlySpan<Person>으로 암시적 형변환 가능
    Print(span);
}

static void Print(ReadOnlySpan<Person> span)
{
    for (int i = 0; i < span.Length; i++)
    {
        Console.WriteLine(span[i]);
    }
}

부가적으로, 위의 코드를 컴파일하려면 .NET 9+ 런타임이 필요하다는 점에 유의해야 합니다. 그렇지 않으면 "error CS0656: Missing compiler required member 'ReadOnlySpan<T>.CastUp'" 컴파일 오류가 발생하는데요, 다시 말해, .NET 9 BCL의 ReadOnlySpan<T> 타입에 CastUp 메서드가 추가돼 C# 14 컴파일러가 활용할 수 있게 된 것입니다.


4. E 타입이 U 타입에 대해 identity conversion 또는 공변일 때, ReadOnlySpan<E> 타입을 ReadOnlySpan<U> 타입으로 암시적 형변환

위의 3번 규칙에서 Span<E>에서 ReadOnlySpan<U>로 형변환이 가능했던 것처럼, C# 14부터 ReadOnlySpan<E> 타입을 ReadOnlySpan<U> 타입으로 암시적 형변환할 수 있습니다.

static void PrintEmployee(ReadOnlySpan<Employee> span)
{
    // C# 14부터 ReadOnlySpan<Person>으로 암시적 형변환 가능
    Print(span);
}

static void Print(ReadOnlySpan<Person> span)
{
    for (int i = 0; i < span.Length; i++)
    {
        Console.WriteLine(span[i]);
    }
}

또한 이것 역시 .NET 9+ 런타임이 필요합니다.


5. string 타입을 System.ReadOnlySpan<char> 타입으로 암시적 형변환

C# 13에서도 가능했었기 때문에 새로울 것은 없으니 아래의 예제로 대체하겠습니다.

PrintString("Hello, World!"); // 문자열 리터럴에서도, 
string text = "Hello, World!";
PrintString(text); // string 인스턴스도 ReadOnlySpan<char>로 암시적 형변환

static void PrintString(ReadOnlySpan<char> text)
{
    foreach (var ch in text)
    {
        Console.Write(ch);
    }

    Console.WriteLine();
}




자, 이렇게 해서 마이크로소프트는 (제목을 ^^ "First-Class Span Types #7905"라고 지었을 정도니까) C#에 Span 타입을 배열에 준하는 수준으로 언어에 자연스럽게 녹아냈다고 평가하는 것 같습니다.

제가 보기에도 이 정도면, (ref struct라는 특성상) 일반 class/struct의 멤버로 정의할 수 없다는 점을 제외하면 배열과 거의 차이가 없다고 봐도 무방할 정도입니다. (굳이 필드로 정의해야 한다면 Memory<T>라는 대안도 있긴 합니다.)

그나저나, 제가 C# 언어에 대한 책을 쓴 경험으로 느낀 건데요, 근래 들어 점점 더 C#의 신규 문법을 소개하기 위해 Spec 문서의 내용을 세세하게 알아야만 하는 경우가 생기는 것 같습니다. C# 13에서도 "Method group natural type improvements"을 설명하기 위해 아래의 내용을 써야만 했었고,

C# - Method Group, Natural Type, function_type
; https://www.sysnet.pe.kr/2/0/13680

이번에도 "Identity conversion"을 설명해야만 했으니... C# 언어 개발팀에서 한편으로는 열일하는 것도 같고... 다른 한편으로는 이제 넣을 수 있는 기능은 다 넣은 상태에서 버전 업은 해야겠다는 압박감에 쥐어짜는 것 같은 느낌도 드는군요. ^^;

물론, 이런 기능들이 편리하긴 하지만... 그에 따라 설명하는 것도 점점 더 어려워지는 것 같습니다.




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

[연관 글]






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

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

비밀번호

댓글 작성자
 




... 166  167  168  169  170  171  172  173  174  [175]  176  177  178  179  180  ...
NoWriterDateCnt.TitleFile(s)
683정성태3/28/200933366디버깅 기술: 26. 보호 모드로 응용 프로그램 디버깅하는 방법 - 두 번째 이야기 [3]
682정성태3/27/200930302디버깅 기술: 25. 보호 모드로 응용 프로그램 디버깅하는 방법 [2]
681정성태3/23/200927590오류 유형: 73. SQL Server 2008 Express 설치 오류
680정성태3/21/200927292.NET Framework: 125. WPF - RadioButton에 대한 데이터바인딩(2) [1]파일 다운로드1
679정성태3/15/200922057오류 유형: 72. IE 8 멈춤 현상 - 두 번째 이야기
678정성태3/15/200927525개발 환경 구성: 37. Hyper-V에서 Vista의 Virtual Machine Bus 장치 인식 문제
677정성태3/15/200927857개발 환경 구성: 36. MSI P45 Neo3-FR V2 - RAID 1 구성
997정성태2/26/201123282    답변글 개발 환경 구성: 36.1. 개발 환경 구성: 34 - 1. RAID 1 구성 이후...
676정성태3/15/200924541오류 유형: 71. IE 8 RC1 - 멈춤 현상
675정성태3/14/200927418오류 유형: 70. Virtual Machine Additions 제거
673정성태3/11/200925886웹: 10. 금일 진행되었던 마이크로소프트 IE 8 행사의 ActiveX 세션 PPT [6]파일 다운로드1
672정성태3/1/200939191Windows: 43. Loopback network adapter 설치하기 [2]
670정성태2/22/200932648.NET Framework: 124. IIS 7에서 SVC 호스팅 [1]
669정성태2/21/200926783오류 유형: 69. The SQL Server Network Interface library could not register the Service Principal Name (SPN) for the SQL Server service.
668정성태2/21/200931998개발 환경 구성: 35. SQL Express 버전과 User Instance 옵션
667정성태2/14/200943685웹: 9. IE 7. IWebBrowser2 인터페이스 메서드의 Navigate / Navigate2 차이점 [3]파일 다운로드1
666정성태2/12/200930364웹: 8. IE 8: 프로세스와 윈도우의 관계 - LCIE [1]파일 다운로드1
665정성태2/7/200926763웹: 7. Internet Explorer 8 - XHR, XDR, XST, XSRF [1]
664정성태2/5/200922718Windows: 42. Concurrency Runtime
663정성태2/5/200927363.NET Framework: 123. WPF - Arial Narrow 폰트 문제
662정성태2/3/200922864VS.NET IDE: 59. HyperAddin 도구 사용 설명 [1]
661정성태2/3/200926559오류 유형: 68. msxml6r.dll 설치 오류
660정성태2/3/200925305Windows: 41. UAC 보안 취약 [2]
659정성태2/2/200936459오류 유형: 67. ClickOnce 응용 프로그램이 실행되지 않을 때.
658정성태2/1/200928660Team Foundation Server: 30. 소스 서버 보안
657정성태2/1/200931652Windows: 40. Q1 Ultra + Windows 7 베타
... 166  167  168  169  170  171  172  173  174  [175]  176  177  178  179  180  ...