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

C# 11 - Span 타입에 대한 패턴 매칭 (Pattern matching on ReadOnlySpan<char>)

(Visual Studio 2022 17.3 이후 버전에서 테스트할 수 있습니다.)

일반적인 문자열은 비교 연산이 쉽게 가능합니다.

string str = "TEST";

if (str == "test")
{
    Console.WriteLine("[==] Equals");
}

switch (str)
{
    case "TEST1":
        break;
    case "TEST2":
        break;
}

하지만, 문자열에 대한 GC 할당을 줄이기 위해 도입한 Span을 사용한 경우 비교 연산이 정상적으로 되지 않거나 오류가 발생합니다.

ReadOnlySpan<char> str = "TEST".AsSpan()[0..2];

// if 문의 경우 컴파일 오류는 발생하지 않지만, 문자열 상수와 비교가 안 됨.
if (str == "TE")
{
    Console.WriteLine("[==] Equals");
}
else
{
    Console.WriteLine(str.ToString()); // else 절의 코드가 실행됨
}

// if 문에서 패턴 매칭 코드를 사용하면 컴파일 오류 발생
if (str is "TE") // C# 10 - error CS0150: A constant value is expected
{
    Console.WriteLine("[is] Equals");
}

// swtich 문에서는 아예 컴파일 오류 발생
switch (str)
{
    case "TEST1": // C# 10 - error CS0150: A constant value is expected
        break;
    case "TEST2": // C# 10 - error CS0150: A constant value is expected
        break;
}

위의 switch 문도 if 문처럼 컴파일 오류를 방지하려면 다음과 같은 식으로 바꿔볼 수도 있겠지만,

switch (str)
{
    case var span when span == "TE":
        Console.WriteLine("[switch when] Equals");
        break;
    case var span when span == "TE2":
        break;
}

이것 역시 Span 타입의 변수를 "==" 비교를 하는 것이므로 if 문으로 작성한 str == "TE" 코드와 다를 바가 없습니다. 즉, 정상적인 비교 코드가 수행되지 않으므로 해당 case 절의 코드가 실행되지 않는 것입니다.

이런 문제를 C# 11부터 Span 타입의 인스턴스에 대해 직접적인 상수 비교를 패턴 매칭에 대해 허용하면서 깔끔하게 해결됩니다.

ReadOnlySpan<char> str = "TEST".AsSpan()[0..2];

// C# 11부터 컴파일 가능
if (str is "TE")
{
    Console.WriteLine("[is] Equals");
}

// C# 11부터 컴파일 가능
switch (str)
{
    case "TE":
        Console.WriteLine("[switch] Equals");
        break;
    case "TE2":
        break;
}

주의할 것은, if 문에서 "is" 패턴을 사용하는 것과 "==" 연산자를 사용하는 것이 다르다는 점입니다.

ReadOnlySpan<char> str = "TEST".AsSpan()[0..2];

if (str == "TE") // 무심코 이렇게 사용하면 논리 오류, 컴파일 오류도 없고!
{
    Console.WriteLine("[==] Equals");
}

if (str is "TE") // is 패턴 매칭에서만 Span에 대한 비교 연산 가능
{
    Console.WriteLine("[is] Equals");
}

그나저나 Span에 대해서도 목록 패턴을 지원할까요? ^^ 만약 목록 패턴이 IList 인터페이스 구현 여부로 판단했다면 불가능했을 것입니다. 하지만 indxer와 Length/Count 속성의 구현 여부로만 판단하므로, Span 역시 다음과 같이 목록 패턴을 적용할 수 있습니다.

var str = "TEST".AsSpan();

if (str is ['T', .. var content, 'T']) // content 타입: ReadOnlySpan<char>
{
    Console.WriteLine($"[is] Equals == {content}"); // 출력 결과: ES
}

Span<int> list = stackalloc int[] { 1, 2, 3, 4 };

if (list is [1, ..])
{
    Console.WriteLine("1 ...");
}




C# 11 - 인터페이스 내에 정적 추상 메서드 정의 가능 (공식 문서, (DIM for Static Members), Static Abstract Members In Interfaces C# 10 Preview)
; https://www.sysnet.pe.kr/2/0/12814

C# 11 - 제네릭 타입의 특성 적용 (공식 문서, Generic attributes)
; https://www.sysnet.pe.kr/2/0/12839

C# 11 - 사용자 정의 checked 연산자 (공식 문서, Checked user-defined operators)
; https://www.sysnet.pe.kr/2/0/13099

C# 11 - shift 연산자 재정의에 대한 제약 완화 (공식 문서, Relaxing Shift Operator)
; https://www.sysnet.pe.kr/2/0/13100

C# 11 - IntPtr/UIntPtr과 nint/unint의 통합 (공식 문서, Numeric IntPtr)
; https://www.sysnet.pe.kr/2/0/13111

C# 11 - 새로운 연산자 ">>>" (Unsigned Right Shift) (공식 문서, Unsigned right shift operator)
; https://www.sysnet.pe.kr/2/0/13110

C# 11 - 원시 문자열 리터럴 (공식 문서, raw string literals)
; https://www.sysnet.pe.kr/2/0/13085

C# 11 - 문자열 보간 개선 2가지 (공식 문서, Allow new-lines in all interpolations)
; https://www.sysnet.pe.kr/2/0/13086

C# 11 - 목록 패턴 (공식 문서, List patterns)
; https://www.sysnet.pe.kr/2/0/13112

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

C# 11 - Utf8 문자열 리터럴 지원 (공식 문서, Utf8 Strings Literals)
; https://www.sysnet.pe.kr/2/0/13096

C# 11 - ref struct에 ref 필드를 허용 (공식 문서, ref fields)
; https://www.sysnet.pe.kr/2/0/13015

C# 11 - 파일 범위 내에서 유효한 타입 정의 (공식 문서, File-local types)
; https://www.sysnet.pe.kr/2/0/13117

C# 11 - 메서드 매개 변수에 대한 nameof 지원 (공식 문서, nameof(parameter))
; https://www.sysnet.pe.kr/2/0/13122

C# 11 - 멤버(속성/필드)에 지정할 수 있는 required 예약어 추가 (공식 문서, Required members)
; https://www.sysnet.pe.kr/2/0/13123

C# 11 - 구조체 필드의 자동 초기화 (공식 문서, auto-default structs)
; https://www.sysnet.pe.kr/2/0/13125

C# 11 - 정적 메서드에 대한 delegate 처리 시 cache 적용 (공식 문서, Cache delegates for static method group)
; https://www.sysnet.pe.kr/2/0/13126

Language Feature Status
; https://github.com/dotnet/roslyn/blob/main/docs/Language%20Feature%20Status.md




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 5/5/2023]

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)
13208정성태1/3/20233159.NET Framework: 2086. C# - Windows 운영체제의 2MB Large 페이지 크기 할당 방법파일 다운로드1
13207정성태12/26/20223528.NET Framework: 2085. C# - gpedit.msc의 "User Rights Assignment" 특권을 코드로 설정/해제하는 방법파일 다운로드1
13206정성태12/24/20223731.NET Framework: 2084. C# - GetTokenInformation으로 사용자 SID(Security identifiers) 구하는 방법 [3]파일 다운로드1
13205정성태12/24/20224154.NET Framework: 2083. C# - C++과의 연동을 위한 구조체의 fixed 배열 필드 사용 (2)파일 다운로드1
13204정성태12/22/20223451.NET Framework: 2082. C# - (LSA_UNICODE_STRING 예제로) CustomMarshaler 사용법파일 다운로드1
13203정성태12/22/20223526.NET Framework: 2081. C# Interop 예제 - (LSA_UNICODE_STRING 예제로) 구조체를 C++에 전달하는 방법파일 다운로드1
13202정성태12/21/20223853기타: 84. 직렬화로 설명하는 Little/Big Endian파일 다운로드1
13201정성태12/20/20224430오류 유형: 835. PyCharm 사용 시 C 드라이브 용량 부족
13200정성태12/19/20223359오류 유형: 834. 이벤트 로그 - SSL Certificate Settings created by an admin process for endpoint
13199정성태12/19/20223584개발 환경 구성: 656. Internal Network 유형의 스위치로 공유한 Hyper-V의 VM과 호스트가 통신이 안 되는 경우
13198정성태12/18/20223528.NET Framework: 2080. C# - Microsoft.XmlSerializer.Generator 처리 없이 XmlSerializer 생성자를 예외 없이 사용하고 싶다면?파일 다운로드1
13197정성태12/17/20223479.NET Framework: 2079. .NET Core/5+ 환경에서 XmlSerializer 사용 시 System.IO.FileNotFoundException 예외 발생하는 경우파일 다운로드1
13196정성태12/16/20223605.NET Framework: 2078. .NET Core/5+를 위한 SGen(Microsoft.XmlSerializer.Generator) 사용법
13195정성태12/15/20224183개발 환경 구성: 655. docker - bridge 네트워크 모드에서 컨테이너 간 통신 시 --link 옵션 권장 이유
13194정성태12/14/20224138오류 유형: 833. warning C4747: Calling managed 'DllMain': Managed code may not be run under loader lock파일 다운로드1
13193정성태12/14/20224234오류 유형: 832. error C7681: two-phase name lookup is not supported for C++/CLI or C++/CX; use /Zc:twoPhase-
13192정성태12/13/20224218Linux: 55. 리눅스 - bash shell에서 실수 연산
13191정성태12/11/20225109.NET Framework: 2077. C# - 직접 만들어 보는 SynchronizationContext파일 다운로드1
13190정성태12/9/20225497.NET Framework: 2076. C# - SynchronizationContext 기본 사용법파일 다운로드1
13189정성태12/9/20225679오류 유형: 831. Visual Studio - Windows Forms 디자이너의 도구 상자에 컨트롤이 보이지 않는 문제
13188정성태12/9/20225019.NET Framework: 2075. C# - 직접 만들어 보는 TaskScheduler 실습 (SingleThreadTaskScheduler)파일 다운로드1
13187정성태12/8/20224900개발 환경 구성: 654. openssl - CA로부터 인증받은 새로운 인증서를 생성하는 방법 (2)
13186정성태12/6/20223496오류 유형: 831. The framework 'Microsoft.AspNetCore.App', version '...' was not found.
13185정성태12/6/20224394개발 환경 구성: 653. Windows 환경에서의 Hello World x64 어셈블리 예제 (NASM 버전)
13184정성태12/5/20223757개발 환경 구성: 652. ml64.exe와 link.exe x64 실행 환경 구성
13183정성태12/4/20223602오류 유형: 830. MASM + CRT 함수를 사용하는 경우 발생하는 컴파일 오류 정리
1  2  3  4  5  6  7  8  9  10  11  12  13  14  [15]  ...