J & J - 정성태의 닷넷 이야기

사용자

메뉴

최근 덧글

[정성태] 그냥 RSS Reader 기능과 약간의 UI 편의성 때문에 사용...[이종효] 오래된 소프트웨어는 보안 위협이 되기도 합니다. 혹시 어떤 기능...[정성태] @Keystroke IEEE의 문서를 소개해 주시다니... +_...[손민수 (Keystroke)] 괜히 듀얼채널 구성할 때 한번에 같은 제품 사라고 하는 것이 아...[정성태] 전각(Full-width)/반각(Half-width) 기능을 토...[정성태] Vector에 대한 내용은 없습니다. Vector가 닷넷 BCL...[orion] 글 읽고 찾아보니 디자인 타임에는 InitializeCompon...[orion] 연휴 전에 재현 프로젝트 올리자 생각해 놓고 여의치 않아서 못 ...[정성태] 아래의 글에 정리했으니 참고하세요. C# - Typed D...[정성태] 간단한 재현 프로젝트라도 있을까요? 저런 식으로 설명만 해...

글쓰기

제목

이름

암호

전자우편

HTML

홈페이지

유형

내용

<div style='display: inline'>
<h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>C# 11 - Span 타입에 대한 패턴 매칭 (Pattern matching on ReadOnlySpan&lt;char&gt;)</h1>

(Visual Studio 2022 17.3 이후 버전에서 테스트할 수 있습니다.) 
 
일반적인 문자열은 비교 연산이 쉽게 가능합니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
string str = "TEST";

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

switch (str)
{
 case "TEST1":
 break;
 case "TEST2":
 break;
}
</pre>
 
하지만, 문자열에 대한 GC 할당을 줄이기 위해 도입한 Span을 사용한 경우 비교 연산이 정상적으로 되지 않거나 오류가 발생합니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
ReadOnlySpan&lt;char&gt; 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;
}
</pre>
 
위의 switch 문도 if 문처럼 컴파일 오류를 방지하려면 다음과 같은 식으로 바꿔볼 수도 있겠지만, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
switch (str)
{
 case var span when span == "TE":
 Console.WriteLine("[switch when] Equals");
 break;
 case var span when span == "TE2":
 break;
}
</pre>
 
이것 역시 Span 타입의 변수를 "==" 비교를 하는 것이므로 if 문으로 작성한 str == "TE" 코드와 다를 바가 없습니다. 즉, 정상적인 비교 코드가 수행되지 않으므로 해당 case 절의 코드가 실행되지 않는 것입니다. 
 
이런 문제를 C# 11부터 Span 타입의 인스턴스에 대해 직접적인 상수 비교를 패턴 매칭에 대해 허용하면서 깔끔하게 해결됩니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
ReadOnlySpan&lt;char&gt; 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;
}
</pre>
 
주의할 것은, if 문에서 "is" 패턴을 사용하는 것과 "==" 연산자를 사용하는 것이 다르다는 점입니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
ReadOnlySpan&lt;char&gt; str = "TEST".AsSpan()[0..2];

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

if (str is "TE") // is 패턴 매칭에서만 Span에 대한 비교 연산 가능
{
 Console.WriteLine("[is] Equals");
}
</pre>
 
그나저나 Span에 대해서도 <a target='tab' href='https://www.sysnet.pe.kr/2/0/13112'>목록 패턴</a>을 지원할까요? ^^ 만약 목록 패턴이 IList 인터페이스 구현 여부로 판단했다면 불가능했을 것입니다. 하지만 indxer와 Length/Count 속성의 구현 여부로만 판단하므로, Span 역시 다음과 같이 목록 패턴을 적용할 수 있습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;'>
var str = "TEST".AsSpan();

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

Span&lt;int&gt; list = stackalloc int[] { 1, 2, 3, 4 };

if (list is [1, ..])
{
 Console.WriteLine("1 ...");
}
</pre>
 
<hr style='width: 50%' /> 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
C# 11 - 인터페이스 내에 정적 추상 메서드 정의 가능 (공식 문서, <a target='tab' href='https://github.com/dotnet/csharplang/issues/4436'>(DIM for Static Members), Static Abstract Members In Interfaces C# 10 Preview</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12814'>https://www.sysnet.pe.kr/2/0/12814</a>

C# 11 - 제네릭 타입의 특성 적용 (<a target='tab' href='https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-11#generic-attributes'>공식 문서</a>, <a target='tab' href='https://github.com/dotnet/csharplang/issues/124'>Generic attributes</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12839'>https://www.sysnet.pe.kr/2/0/12839</a>

C# 11 - 사용자 정의 checked 연산자 (공식 문서, <a target='tab' href='https://github.com/dotnet/csharplang/blob/main/proposals/checked-user-defined-operators.md'>Checked user-defined operators</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13099'>https://www.sysnet.pe.kr/2/0/13099</a>

C# 11 - shift 연산자 재정의에 대한 제약 완화 (공식 문서, <a target='tab' href='https://github.com/dotnet/csharplang/issues/4666'>Relaxing Shift Operator</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13100'>https://www.sysnet.pe.kr/2/0/13100</a>

C# 11 - IntPtr/UIntPtr과 nint/unint의 통합 (<a target='tab' href='https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-11#numeric-intptr-and-uintptr'>공식 문서</a>, <a target='tab' href='https://github.com/dotnet/csharplang/blob/main/proposals/numeric-intptr.md'>Numeric IntPtr</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13111'>https://www.sysnet.pe.kr/2/0/13111</a>

C# 11 - 새로운 연산자 "&gt;&gt;&gt;" (Unsigned Right Shift) (공식 문서, <a target='tab' href='https://github.com/dotnet/csharplang/issues/4682'>Unsigned right shift operator</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13110'>https://www.sysnet.pe.kr/2/0/13110</a>

C# 11 - 원시 문자열 리터럴 (<a target='tab' href='https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-11#raw-string-literals'>공식 문서</a>, <a target='tab' href='https://github.com/dotnet/csharplang/blob/main/proposals/raw-string-literal.md'>raw string literals</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13085'>https://www.sysnet.pe.kr/2/0/13085</a>

C# 11 - 문자열 보간 개선 2가지 (<a target='tab' href='https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-11#newlines-in-string-interpolations'>공식 문서</a>, <a target='tab' href='https://github.com/dotnet/csharplang/issues/4935'>Allow new-lines in all interpolations</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13086'>https://www.sysnet.pe.kr/2/0/13086</a>

C# 11 - 목록 패턴 (<a target='tab' href='https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-11#list-patterns'>공식 문서</a>, <a target='tab' href='https://github.com/dotnet/csharplang/blob/main/proposals/list-patterns.md'>List patterns</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13112'>https://www.sysnet.pe.kr/2/0/13112</a>

C# 11 - Span 타입에 대한 패턴 매칭 (<a target='tab' href='https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-11#pattern-match-spanchar-or-readonlyspanchar-on-a-constant-string'>공식 문서</a>, <a target='tab' href='https://github.com/dotnet/csharplang/issues/1881'>Pattern matching on ReadOnlySpan&lt;char&gt;</a>)
; https://www.sysnet.pe.kr/2/0/13113

C# 11 - Utf8 문자열 리터럴 지원 (공식 문서, <a target='tab' href='https://github.com/dotnet/csharplang/blob/main/proposals/utf8-string-literals.md'>Utf8 Strings Literals</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13096'>https://www.sysnet.pe.kr/2/0/13096</a>

C# 11 - ref struct에 ref 필드를 허용 (공식 문서, <a target='tab' href='https://github.com/dotnet/csharplang/blob/main/proposals/low-level-struct-improvements.md'>ref fields</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13015'>https://www.sysnet.pe.kr/2/0/13015</a>

C# 11 - 파일 범위 내에서 유효한 타입 정의 (공식 문서, <a target='tab' href='https://github.com/dotnet/csharplang/issues/6011'>File-local types</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13117'>https://www.sysnet.pe.kr/2/0/13117</a>

C# 11 - 메서드 매개 변수에 대한 nameof 지원 (<a target='tab' href='https://learn.microsoft.com/en-us/dotnet/csharp/whats-new/csharp-11#extended-nameof-scope'>공식 문서</a>, <a target='tab' href='https://github.com/dotnet/csharplang/issues/373'>nameof(parameter)</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13122'>https://www.sysnet.pe.kr/2/0/13122</a>

C# 11 - 멤버(속성/필드)에 지정할 수 있는 required 예약어 추가 (공식 문서, <a target='tab' href='https://github.com/dotnet/csharplang/blob/main/proposals/required-members.md'>Required members</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13123'>https://www.sysnet.pe.kr/2/0/13123</a>

C# 11 - 구조체 필드의 자동 초기화 (공식 문서, <a target='tab' href='https://github.com/dotnet/csharplang/blob/main/proposals/auto-default-structs.md'>auto-default structs</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13125'>https://www.sysnet.pe.kr/2/0/13125</a>

C# 11 - 정적 메서드에 대한 delegate 처리 시 cache 적용 (공식 문서, <a target='tab' href='https://github.com/dotnet/roslyn/issues/5835'>Cache delegates for static method group</a>)
; <a target='tab' href='https://www.sysnet.pe.kr/2/0/13126'>https://www.sysnet.pe.kr/2/0/13126</a>

Language Feature Status
; <a target='tab' href='https://github.com/dotnet/roslyn/blob/main/docs/Language%20Feature%20Status.md'>https://github.com/dotnet/roslyn/blob/main/docs/Language%20Feature%20Status.md</a>
</pre>

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

</div>

첨부파일

스팸 방지용 인증 번호

1688 (왼쪽의 숫자를 입력해야 합니다.)