성태의 닷넷 이야기
홈 주인
모아 놓은 자료
프로그래밍
질문/답변
사용자 관리
사용자
메뉴
아티클
외부 아티클
유용한 코드
온라인 기능
MathJax 입력기
최근 덧글
[정성태] VT sequences to "CONOUT$" vs. STD_O...
[정성태] NetCoreDbg is a managed code debugg...
[정성태] Evaluating tail call elimination in...
[정성태] What’s new in System.Text.Json in ....
[정성태] What's new in .NET 9: Cryptography ...
[정성태] 아... 제시해 주신 "https://akrzemi1.wordp...
[정성태] 다시 질문을 정리할 필요가 있을 것 같습니다. 제가 본문에...
[이승준] 완전히 잘못 짚었습니다. 댓글 지우고 싶네요. 검색을 해보...
[정성태] 우선 답글 감사합니다. ^^ 그런데, 사실 저 예제는 (g...
[이승준] 수정이 안되어서... byteArray는 BYTE* 타입입니다...
글쓰기
제목
이름
암호
전자우편
HTML
홈페이지
유형
제니퍼 .NET
닷넷
COM 개체 관련
스크립트
VC++
VS.NET IDE
Windows
Team Foundation Server
디버깅 기술
오류 유형
개발 환경 구성
웹
기타
Linux
Java
DDK
Math
Phone
Graphics
사물인터넷
부모글 보이기/감추기
내용
<div style='display: inline'> <h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>C# 9.0 - (2) localsinit 플래그 내보내기 무시(Suppress emitting localsinit flag)</h1> <p> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > C# 9.0 - (1) <a target='tab' href='https://github.com/dotnet/csharplang/issues/100'>대상으로 형식화된 new 식(Target-typed new expressions)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12363'>https://www.sysnet.pe.kr/2/0/12363</a> C# 9.0 - (2) <a target='tab' href='https://github.com/dotnet/csharplang/issues/1738'>localsinit 플래그 내보내기 무시(Suppress emitting localsinit flag)</a> ; https://www.sysnet.pe.kr/2/0/12364 C# 9.0 - (3) <a target='tab' href='https://github.com/dotnet/csharplang/issues/111'>람다 메서드의 매개 변수 무시(Lambda discard parameters)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12365'>https://www.sysnet.pe.kr/2/0/12365</a> C# 9.0 - (4) <a target='tab' href='https://github.com/dotnet/csharplang/issues/435'>원시 크기 정수(Native ints)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12366'>https://www.sysnet.pe.kr/2/0/12366</a> C# 9.0 - (5) <a target='tab' href='https://github.com/dotnet/csharplang/issues/1888'>로컬 함수에 특성 지정 가능(Attributes on local functions)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12372'>https://www.sysnet.pe.kr/2/0/12372</a> C# 9.0 - (6) <a target='tab' href='https://github.com/dotnet/csharplang/issues/191'>함수 포인터(Function pointers)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12374'>https://www.sysnet.pe.kr/2/0/12374</a> C# 9.0 - (7) <a target='tab' href='https://github.com/dotnet/csharplang/issues/2850'>패턴 일치 개선 사항(Pattern matching enhancements)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12383'>https://www.sysnet.pe.kr/2/0/12383</a> C# 9.0 - (8) <a target='tab' href='https://github.com/dotnet/csharplang/issues/275'>정적 익명 함수 (static anonymous functions)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12389'>https://www.sysnet.pe.kr/2/0/12389</a> C# 9.0 - (9) <a target='tab' href='https://github.com/dotnet/csharplang/issues/39'>레코드 (Records)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12392'>https://www.sysnet.pe.kr/2/0/12392</a> C# 9.0 - (10) <a target='tab' href='https://github.com/dotnet/csharplang/issues/2460'>대상으로 형식화된 조건식(Target-typed conditional expressions)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12399'>https://www.sysnet.pe.kr/2/0/12399</a> C# 9.0 - (11) <a target='tab' href='https://github.com/dotnet/csharplang/issues/2844'>공변 반환 형식(Covariant return types)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12402'>https://www.sysnet.pe.kr/2/0/12402</a> C# 9.0 - (12) <a target='tab' href='https://github.com/dotnet/csharplang/issues/3194'>foreach 루프에 대한 GetEnumerator 확장 메서드 지원(Extension GetEnumerator)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12403'>https://www.sysnet.pe.kr/2/0/12403</a> C# 9.0 - (13) <a target='tab' href='https://github.com/dotnet/csharplang/blob/master/proposals/csharp-9.0/module-initializers.md'>모듈 이니셜라이저(Module initializers)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12404'>https://www.sysnet.pe.kr/2/0/12404</a> C# 9.0 - (14) <a target='tab' href='https://github.com/dotnet/csharplang/blob/master/proposals/csharp-9.0/extending-partial-methods.md'>부분 메서드에 대한 새로운 기능(New features for partial methods)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12405'>https://www.sysnet.pe.kr/2/0/12405</a> C# 9.0 - (15) <a target='tab' href='https://github.com/dotnet/csharplang/blob/master/proposals/csharp-9.0/top-level-statements.md'>최상위 문(Top-level statements)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12406'>https://www.sysnet.pe.kr/2/0/12406</a> C# 9.0 - (16) <a target='tab' href='https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/proposals/csharp-9.0/unconstrained-type-parameter-annotations'>제약 조건이 없는 형식 매개변수 주석(Unconstrained type parameter annotations)</a> ; <a target='tab' href='https://www.sysnet.pe.kr/2/0/12423'>https://www.sysnet.pe.kr/2/0/12423</a> </pre> <br /> <hr style='width: 50%' /> <br /> <br /> C# 언어는, 기본적으로 <a target='tab' href='https://www.sysnet.pe.kr/2/0/1651'>모든 로컬 변수의 값을 (기존 스택의 쓰레기 값을 가지지 않도록) 0으로 초기화</a>합니다. 그리고 이에 대한 지원을 IL 언어 수준에서부터 ".locals init" 구문으로 지원을 하는데, 가령 다음과 같이 코딩을 한 경우,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > using System; class Program { static void Main(string[] args) { LocalsInitMethod(); } private static unsafe void LocalsInitMethod() { <span style='color: blue; font-weight: bold'>int i; int j;</span> } } /* 출력 결과 0 0 */ </pre> <br /> 이것을 IL 언어로 번역해 보면 다음과 같이 ".locals init"에 로컬 변수들이 놓여 있는 것을 볼 수 있습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > .method private hidebysig static void LocalsInitMethod() cil managed { .maxstack 0 <span style='color: blue; font-weight: bold'>.locals init ([0] int32 i, [1] int32 j)</span> IL_0000: nop IL_0001: ret } // end of method Program::LocalsInitMethod </pre> <br /> 즉, ".locals init" 코드 덕분에 해당 변수는 모두 0으로 초기화되었던 것입니다.<br /> <br /> <hr style='width: 50%' /><br /> <br /> 그런데, 사실 C# 컴파일러 입장에서는 이미 로컬 변수의 값을 초기화하지 않고 사용하는 구문을 허용하지 않고 있습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > private static void LocalsInitMethod2() { int i; int j; // 컴파일 오류 Console.WriteLine(i); // CS0165 Use of unassigned local variable 'i' Console.WriteLine(j); // CS0165 Use of unassigned local variable 'j' } </pre> <br /> 따라서 개발자는 명시적으로 어떤 식으로든 할당을 해서 사용할 수밖에 없으므로,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > private static void LocalsInitMethod2() { int i = 5; int j = 6; Console.WriteLine(i); Console.WriteLine(j); } </pre> <br /> 경우에 따라, i, j 변수의 값을 0으로 초기화를 한 다음 또다시 개발자의 코드에 의해 값을 할당하는 작업을 하는 것은 일종의 오버헤드로 작용할 수 있습니다.<br /> <br /> 이런 문제를 해결하는 것이 바로 SkipLocalsInit 특성을 적용하는 것입니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > <span style='color: blue; font-weight: bold'>[SkipLocalsInit]</span> private static void NonLocalsInitMethod() { int i; int j; } </pre> <br /> <a target='tab' href='https://docs.microsoft.com/en-us/dotnet/api/system.runtime.compilerservices.skiplocalsinitattribute?view=net-5.0'>SkipLocalsInitAttribute</a> 특성은 .NET 5의 BCL에만 정의되어 있으므로 다른 환경에서는 그냥 다음과 같이 임의로 특성을 정의해 넣으면 됩니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > #if !NET5_0 namespace System.Runtime.CompilerServices { [AttributeUsage(AttributeTargets.Module | AttributeTargets.Class | AttributeTargets.Struct | AttributeTargets.Constructor | AttributeTargets.Method | AttributeTargets.Property | AttributeTargets.Event | AttributeTargets.Interface, Inherited = false)] public sealed class SkipLocalsInitAttribute : Attribute { } } #endif </pre> <br /> 이와 함께 C# 프로젝트 속성 창에서 "Build" 패널의 "Allow unsafe code" 옵션을 켜야 합니다. (해당 옵션을 켜지 않으면 "error CS0227: Unsafe code may only appear if compiling with /unsafe" 오류가 발생합니다.)<br /> <br /> 그렇게 해서 빌드를 하면 이제 ".locals init"에서 ".locals"로 바뀌어 IL 코드가 생성됩니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > .method private hidebysig static void NonLocalsInitMethod() cil managed { .custom instance void System.Runtime.CompilerServices.SkipLocalsInitAttribute::.ctor() = ( 01 00 00 00 ) // Code size 2 (0x2) .maxstack 0 <span style='color: blue; font-weight: bold'>.locals ([0] int32 i, [1] int32 j)</span> IL_0000: nop IL_0001: ret } // end of method Program::NonLocalsInitMethod </pre> <br /> 따라서, 더 이상 명시적인 0 초기화는 하지 않고, 스레드 스택에 남아 있는 값을 그대로 사용하게 되어, 아래의 출력값이 매번 달라지는 것을 확인할 수 있습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > <span style='color: blue; font-weight: bold'>[SkipLocalsInitAttribute]</span> private static unsafe void NonLocalsInitMethod() { int i; int j; int* pi = &i; int* pj = &j; Console.WriteLine(*pi); // 출력 결과: 예측할 수 없음 Console.WriteLine(*pj); // 출력 결과: 예측할 수 없음 } </pre> <br /> (<a target='tab' href='https://www.sysnet.pe.kr/bbs/DownloadAttachment.aspx?fid=1635&boardid=331301885'>첨부 파일은 이 글의 예제 코드를 포함</a>합니다.)<br /> <br /> <hr style='width: 50%' /><br /> <br /> 사실 저도 좀 궁금하긴 했는데, 굳이 "unsafe" 옵션이 필요한가?에 대한 의견이 다음의 덧글에 나옵니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > Suppress emitting of localsinit flag. (VS 16.8, .NET 5) ; <a target='tab' href='https://github.com/dotnet/csharplang/issues/1738'>https://github.com/dotnet/csharplang/issues/1738</a> </pre> <br /> 일반적으로 C#에서 배열 역시 0 초기화가 되는데,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > int [] arr = new int [100]; </pre> <br /> 위의 경우, 당연히 모든 요소가 0 초기화가 되어 있으므로 C# 컴파일러 입장에서는 safe한 코드임을 보장할 수 있습니다. 하지만, 위의 코드가 <a target='tab' href='https://www.sysnet.pe.kr/2/0/11534'>Span<T></a>와 함께 stackalloc으로 바뀌게 되면,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > /* Span<T>를 .NET Framework에서 사용하려는 경우, <a target='tab' href='https://www.nuget.org/packages/System.Memory/'>System.Memory</a>를 NuGet에서 참조 추가해야 하며 "target framework"를 최소 "4.5" 이상의 버전으로 올려야 합니다. */ private static void LocalsInitStackAlloc() { Span<int> arr = stackalloc int[100]; // 현재는 int 배열의 요소가 0임을 보장할 수 있지만, } </pre> <br /> SkipLocalsInitAttribute 특성을 적용하는 경우,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' > <span style='color: blue; font-weight: bold'>[SkipLocalsInitAttribute]</span> private static void LocalsInitStackAlloc() { Span<int> arr = stackalloc int[100]; // int 배열의 요소가 0임을 보장할 수 없음. } </pre> <br /> 더 이상 코드가 안전하다고 보장할 수 없으므로 결국 C# 컴파일러의 /unsafe 옵션을 켜도록 강제하게 된 것입니다. (그래도 그렇지... 그럼 그냥 stackalloc을 포함한 경우에만 /unsafe 옵션을 강제했으면 어땠을까... 싶군요. ^^;)<br /> </p><br /> <br /><hr /><span style='color: Maroon'>[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]</span> </div>
첨부파일
스팸 방지용 인증 번호
1610
(왼쪽의 숫자를 입력해야 합니다.)