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

사용자

메뉴

최근 덧글

[정성태] 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

홈페이지

유형

내용

<div style='display: inline'>
<h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>C# async 메서드에서 out/ref/in 유형의 인자를 사용하지 못하는 이유</h1>

다음과 같은 질문이 있군요. ^^ 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
c# 의 async 에서 메서드 인자제한에 의문점이... 
; <a target='tab' href='https://throwbug.com/524/c%23-%EC%9D%98-async-%EC%97%90%EC%84%9C-%EB%A9%94%EC%84%9C%EB%93%9C-%EC%9D%B8%EC%9E%90%EC%A0%9C%ED%95%9C%EC%97%90-%EC%9D%98%EB%AC%B8%EC%A0%90%EC%9D%B4?show=525#a525'>https://throwbug.com/524/c%23-%EC%9D%98-async-%EC%97%90%EC%84%9C-%EB%A9%94%EC%84%9C%EB%93%9C-%EC%9D%B8%EC%9E%90%EC%A0%9C%ED%95%9C%EC%97%90-%EC%9D%98%EB%AC%B8%EC%A0%90%EC%9D%B4?show=525#a525</a>
</pre>
 
그동안 제 글을 ^^ 잘 읽어보신 분이 있다면 아마 저 해답을 알 수 있을 것입니다. 어떻게 설명이 이어지는지 한번 찾아볼까요? ^^ 
 
이것을 이해하기 위해서는 우선 async 메서드를 C#이 풀이하는 방법을 알아야 합니다. 이에 대해서는 다음의 글에 적어두었습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
C# 컴파일러 대신 직접 구현하는 비동기(async/await) 코드
; <a target='tab' href='http://www.sysnet.pe.kr/2/0/11351'>http://www.sysnet.pe.kr/2/0/11351</a>
</pre>
 
따라서 C# async 메서드에 지정한 out 또는 ref (또는 <a target='tab' href='http://www.sysnet.pe.kr/2/0/11525'>C# 7.2의 in</a>) 인자는 IAsyncStateMachine 인터페이스를 상속받는 상태 머신 클래스에 필드로 정의되어야 합니다. 
 
문제는, out/ref/in 유형의 필드는 다음과 같이 ref 예약어가 붙는 식이어야 한다는 점입니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
private async Task&lt;string&gt; GetFileContents(out int length)
{
 return await new TaskFactory().StartNew(() =&gt; { return "test"; });
}

class CallAsync_StateMachine : IAsyncStateMachine
{
 ref int _length; // out으로 반환될 인자 값

string _text; // 반환 값

//...[생략]...
}
</pre>
 
여기서 다시 문제는, 저런 닷넷의 관리 포인터가 클래스의 필드로는 정의될 수 없다는 것이고 이것을 다음의 글에서 설명했습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
닷넷의 관리 포인터(Managed Pointer)와 System.TypedReference
; <a target='tab' href='http://www.sysnet.pe.kr/2/0/11529'>http://www.sysnet.pe.kr/2/0/11529</a>
</pre>
 
결국, 1차적으로는 async 메서드에 out/ref/in을 지원하지 못하는 것은 C# 컴파일러의 문제지만 사실 "<a target='tab' href='http://www.sysnet.pe.kr/2/0/11529'>닷넷의 관리 포인터(Managed Pointer)와 System.TypedReference</a>" 글에도 썼듯이 이것은 .NET CLR에 현재 구현된 GC의 제약 때문에 발생한 것입니다. 
 
<div style='BACKGROUND-COLOR: #ccffcc; padding: 10px 10px 5px 10px; MARGIN: 0px 10px 10px 10px; FONT-FAMILY: Malgun Gothic, Consolas, Verdana; COLOR: #005555'>
Fields and array elements are not permitted to have & types. & cannot be boxed either. These restrictions are a bit artificial. It just makes the job of GC easier if & themselves are never on the heap.
</div>

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

</div>

첨부파일

스팸 방지용 인증 번호

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