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

C# - 클래스 안에 구조체를 포함하는 경우 발생하는 dynamic 키워드의 부작용


재미있는 질문입니다. ^^

dynamic 변수 할당은 도대체 어디에????
; https://www.sysnet.pe.kr/3/0/1076

문제의 코드를 단순화하면 다음과 같습니다.

public struct People
{
    public int Age;
}

public class Casting
{
    public People People;
}

static void Main(string[] args)
{
    dynamic casting = new Casting();
    casting.People.Age = 19;
    Console.WriteLine(casting.People.Age); // 0이 출력됨
}

위의 상황에서 struct People 정의를 class People로 하면 정상적으로 출력이 됩니다. 그런 걸로 볼 때, 문제의 원인은 boxing/unboxing으로 인한 부작용이 맞는 것 같습니다.

문제를 좀 더 구체화시켜 볼까요?

static void Main(string[] args)
{
    dynamic casting = new Casting();
            
    People p1 = (People)casting.People;
    People p2 = (People)casting.People;

    p1.Age = 5;
    p2.Age = 10;

    Console.WriteLine(p1.Age); // 출력값: 5
    Console.WriteLine(p2.Age); // 출력값: 10
}

보시는 것처럼, casting.People로 값을 받아올 때마다 별도의 struct 인스턴스가 생기는 것을 확인할 수 있습니다. 확실하게 Object ID를 다음과 같이 구해볼 수도 있습니다.

dynamic casting = new Casting();
            
System.Runtime.Serialization.ObjectIDGenerator 
    obj = new System.Runtime.Serialization.ObjectIDGenerator();

bool firstTime;
long id1 = obj.GetId(casting.People, out firstTime);
long id2 = obj.GetId(casting.People, out firstTime);

Console.WriteLine(id1); // 출력값: 1
Console.WriteLine(id2); // 출력값: 2

분명히, casting.People를 호출할 때마다 생성되는 인스턴스의 ObjectID 값이 다릅니다.




이에 대한 구체적인 원인을 파악하려면 .NET Reflector를 이용해보면 됩니다. 생성되는 코드를 단순화하기 위해 다음과 같이 예제 코드를 만들고 빌드한 다음,

static void Main(string[] args)
{
    dynamic casting = new Casting();
            
    People p1 = (People)casting.People;
}

.NET Reflector에서 확인해 보면 CallSite 코드 호출로 바뀌는 것을 볼 수 있습니다. CallSite는 public이기 때문에 우리가 직접 호출해도 무방한데요. 그래서 최종적으로 코드를 다음과 같이 바꾸는 것도 가능합니다.

static void Main(string[] args)
{
    object casting = new Casting();
    
    CallSite<Func<CallSite, object, People>> site1 = CallSite<Func<CallSite, object, People>>.Create(
        Binder.Convert(CSharpBinderFlags.ConvertExplicit, typeof(People), typeof(Program)));

    CallSite<Func<CallSite, object, object>> site2 = CallSite<Func<CallSite, object, object>>.Create(
    Binder.GetMember(CSharpBinderFlags.None, "People", typeof(Program),
        new CSharpArgumentInfo[] { CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, null) }));

    People p1 = site1.Target.Invoke(site1, site2.Target.Invoke(site2, casting));
}

실제로 dynamic 키워드는 C# 컴파일러에 의해서 위와 유사하게 변경이 됩니다.

복잡하긴 해도, 천천히 뜯어보면 이해못할 것도 없습니다. ^^

우선, site1.Target.Invoke 먼저 살펴볼까요? CallSite.Target 을 .NET Reflector로 살펴보면,

public class CallSite<T> : CallSite where T: class
{
    ...[생략]...

    [__DynamicallyInvokable]
    public T Target;
}

T generic 개체를 반환합니다. 즉, CallSite<T>에 지정된 Func<CallSite, object, People> 인스턴스가 되는 것입니다. Func 개체는 .NET에서 delegate로 정의되어 있습니다.

[TypeForwardedFrom("System.Core, Version=3.5.0.0, Culture=Neutral, PublicKeyToken=b77a5c561934e089"), __DynamicallyInvokable]
public delegate TResult Func<in T1, in T2, out TResult>(T1 arg1, T2 arg2);

반환 타입이 TResult로 되어 있고, 이것은 Func 정의에서 3번째 Generic 타입으로 지정된 것입니다. 아하... 그럼 답이 나왔군요.

CallSite 정의에서 실제로 "People" 멤버값을 반환하는 것은 site2입니다. site2의 반환값은 아래와 같이 object로 지정되어 있습니다.

CallSite<Func<CallSite, object, object>> site2 = CallSite<Func<CallSite, object, object>>.Create(
    Binder.GetMember(CSharpBinderFlags.None, "People", typeof(Program),
        new CSharpArgumentInfo[] { CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, null) }));

따라서, site2.Target.Invoke의 결과값은 object가 되는 것입니다. 이 때문에, class 내부에 정의된 Value Type들은 모두 boxing이 되어 Heap에 복사되고 이후의 변경들은 모두 그 Heap에 복사된 개체를 대상으로 이루어지는 것과 마찬가지입니다.

정리해 보면, 다음의 코드는 결국,

dynamic casting = new Casting();
casting.People.Age = 19;

아래와 같이 코딩하는 것과 마찬가지 효과를 갖습니다.

Casting cast = new Casting();
cast.People.Age = 6;
object objPeople = cast.People; // boxing으로 인해 heap에 복사됨
People heapPeople = (People)objPeople; // heap에 있는 인스턴스가 unboxing 된 것임.
heapPeople.Age = 10;

Console.WriteLine(cast.People.Age); // 출력값: 6
Console.WriteLine(heapPeople.Age); // 출력값: 10




그런데, 왜? 다음의 결과는 제대로 동작하는지에 대해서 묻고 있습니다.

dynamic onePeople = new People();
onePeople.Age = 20;
Console.WriteLine(onePeople.Age);

아쉽게도 위의 것은 '제대로 동작하는 것처럼 보일 뿐' 실제로 의도했던 결과는 아닙니다. 예를 들어, 위의 코드를 풀어서 문제를 확인해 보면 다음과 같습니다.

Casting cast = new Casting();
cast.People.Age = 10;
dynamic onePeople = cast.People;
onePeople.Age = 15;

Console.WriteLine(cast.People.Age); // 출력값: 10
Console.WriteLine(onePeople.Age); // 출력값: 15

즉, onePeople.Age는 다시 boxing 되어 반환된 Heap 개체의 값을 다루는 것일 뿐, 원본 cast 개체에 담겨진 인스턴스를 대상으로 하는 것은 아닙니다.

사실, 문제가 되었던 코드도 위와 같은 식으로 변경해 주면 마찬가지로 보존된 값이 나옵니다.

dynamic casting = new Casting();
casting.People.Age = 19;
Console.WriteLine(casting.People.Age); // 0이 출력됨

==>

dynamic casting = new Casting();
People p1 = (People)casting.People;
p1.Age = 19;
Console.WriteLine(p1.Age); // 출력값: 19





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

[연관 글]






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

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

비밀번호

댓글 작성자
 



2012-08-05 05시21분
[이성환] 답변 감사드립니다. (__)
결국 클래스 내부 멤버로 구조체가 있다면 이 녀석에 접근할 때마다 새로운 인스턴스가 생기고 그걸 가리킨다는 얘기군요.
기본적으로 클래스 멤버로 값 형식이 선언되면 스택이 아니라 힙에 할당되는데 (하지만 전달 방식은 여전히 값복사죠... 잠시 착각하고 있었습니다.)
dynamic으로 선언해 버리면 내부 멤버를 별도의 형식으로 인식하고
그래서 People을 스택에 생성하고 접근 할 때마다 매번 object 형변환에 의해 스택에서 힙으로 박싱하여 새로운 인스턴스를 가리키게 된다고 이해했습니다.

같은 예로
struct ManKind
    {
        public DateTime BirthDay;
    }
구조체를 하나 더 만들고 이걸 People의 멤버로 선언한 후 예제처럼 호출하면
 
dynamic people = new People();
people.Kind.BirthDay = DateTime.Now.AddDays(10);
Console.WriteLine(people.Kind.BirthDay);

역시 클래스 내부에 구조체 멤버로 선언되었을 때처럼 기본값으로 표시됩니다.

new People()로 생성한 객체는 생성된 이후 곧이어 박싱된 상태로 site1로 사용될 테니 클래스와 동일하게 호출될 것이고
people 내부의 구조체들은 마찬가지로 site2의 반환값인 object로 형변환되어 별도의 인스턴스를 가리키게 되기 때문이라 이해했습니다.
구조체의 구조체 멤버, 또 그 멤버의 구조체 멤버, 또 그 구조체 멤버의 구조체 멤버.... 결국 casting.people.Kind..... 이렇게 '.' 으로 접근하는 과정에서 구조체 멤버가 있다면
그 녀석들은 별도의 객체로 박싱 / 언박싱 과정을 거쳐서 완전히 다른 인스턴스를 가리키게 되는 것이군요.
생각 없이 구조체 멤버를 선언하고 값을 할당했다 불러왔다가는 재앙을 불러올 수도 있겠네요....=ㅅ=;;;

지역에서 잠깐 쓰고 버릴 용도가 아니라면, dynamic에서 불러와서 사용할 형식에는 구조체 멤버 선언에 신중을 기해야겠다는 생각이 듭니다.

근데 다른 값형식 멤버는 dynamic이 아닐 때와 동일하게 동작하는 특별히 구조체만 이렇게 별도의 동작으로 하도록 만든 이유가 있을까요?
[guest]
2012-08-08 02시40분
이유는 저도 잘 모르겠습니다. 어쩌면 Func의 generic 인자로 object로 고정한 것이 dynamic 초기 구현으로 인한 잠재적인 버그일 수도 있고, 아니면 내부적으로 구현하는 데 object로 해야만 하는 한계가 있었을 수도 있습니다.

검색해 보시면 알겠지만, 이성환 님 같은 경우의 활용 사례가 없습니다. 따라서, 이 문제에 대해 마이크로소프트 측 개발자들이 전혀 인식하지 못하고 있을 수도 있습니다. https://connect.microsoft.com에 이슈 제기를 한번 해보세요. ^^
정성태

... 31  32  33  34  35  36  37  38  39  40  41  [42]  43  44  45  ...
NoWriterDateCnt.TitleFile(s)
12586정성태4/5/20219543오류 유형: 710. Windows - Restart-Computer / shutdown 명령어 수행 시 Access is denied(E_ACCESSDENIED)
12585정성태4/5/20219305개발 환경 구성: 563. 기본 생성된 kubeconfig 파일의 내용을 새롭게 생성한 인증서로 구성하는 방법
12584정성태4/1/20219999개발 환경 구성: 562. kubeconfig 파일 없이 kubectl 옵션만으로 실행하는 방법
12583정성태3/29/202111481개발 환경 구성: 561. kubectl 수행 시 다른 k8s 클러스터로 접속하는 방법
12582정성태3/29/202110192오류 유형: 709. Visual C++ - 컴파일 에러 error C2059: syntax error: '__stdcall'
12581정성태3/28/202110104.NET Framework: 1031. WinForm/WPF에서 Console 창을 띄워 출력하는 방법 (2) - Output 디버깅 출력을 AllocConsole로 우회 [2]
12580정성태3/28/20218837오류 유형: 708. SQL Server Management Studio - Execution Timeout Expired.
12579정성태3/28/20218942오류 유형: 707. 중첩 가상화(Nested Virtualization) - The virtual machine could not be started because this platform does not support nested virtualization.
12578정성태3/27/20219203개발 환경 구성: 560. Docker Desktop for Windows 기반의 Kubernetes 구성 (2) - WSL 2 인스턴스에 kind가 구성한 k8s 서비스 위치
12577정성태3/26/202111256개발 환경 구성: 559. Docker Desktop for Windows 기반의 Kubernetes 구성 - WSL 2 인스턴스에 kind 도구로 k8s 클러스터 구성
12576정성태3/25/20219043개발 환경 구성: 558. Docker Desktop for Windows에서 DockerDesktopVM 기반의 Kubernetes 구성 (2) - k8s 서비스 위치
12575정성태3/24/20218126개발 환경 구성: 557. Docker Desktop for Windows에서 DockerDesktopVM 기반의 Kubernetes 구성
12574정성태3/23/202112152.NET Framework: 1030. C# Socket의 Close/Shutdown 동작 (동기 모드)
12573정성태3/22/20219964개발 환경 구성: 556. WSL 인스턴스 초기 설정 명령어 [1]
12572정성태3/22/20219514.NET Framework: 1029. C# - GC 호출로 인한 메모리 압축(Compaction)을 확인하는 방법파일 다운로드1
12571정성태3/21/20218655오류 유형: 706. WSL 2 기반으로 "Enable Kubernetes" 활성화 시 초기화 실패 [1]
12570정성태3/19/202112950개발 환경 구성: 555. openssl - CA로부터 인증받은 새로운 인증서를 생성하는 방법
12569정성태3/18/202111846개발 환경 구성: 554. WSL 인스턴스 export/import 방법 및 단축 아이콘 설정 방법
12568정성태3/18/20217427오류 유형: 705. C# 빌드 - Couldn't process file ... due to its being in the Internet or Restricted zone or having the mark of the web on the file.
12567정성태3/17/20218850개발 환경 구성: 553. Docker Desktop for Windows를 위한 k8s 대시보드 활성화 [1]
12566정성태3/17/20219162개발 환경 구성: 552. Kubernetes - kube-apiserver와 REST API 통신하는 방법 (Docker Desktop for Windows 환경)
12565정성태3/17/20216628오류 유형: 704. curl.exe 실행 시 dll not found 오류
12564정성태3/16/20217127VS.NET IDE: 160. 새 프로젝트 창에 C++/CLI 프로젝트 템플릿이 없는 경우
12563정성태3/16/20219099개발 환경 구성: 551. C# - JIRA REST API 사용 정리 (3) jira-oauth-cli 도구를 이용한 키 관리
12562정성태3/15/202110254개발 환경 구성: 550. C# - JIRA REST API 사용 정리 (2) JIRA OAuth 토큰으로 API 사용하는 방법파일 다운로드1
12561정성태3/12/20218856VS.NET IDE: 159. Visual Studio에서 개행(\n, \r) 등의 제어 문자를 치환하는 방법 - 정규 표현식 사용
... 31  32  33  34  35  36  37  38  39  40  41  [42]  43  44  45  ...