Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

(번역글) .NET Internals Cookbook Part 5 - Methods, parameters, modifiers


이번에도 .NET Internals Cookbook 시리즈의 5번째 글을 번역한 것입니다.

(번역글) .NET Internals Cookbook Part 1 - Exceptions, filters and corrupted processes
; https://www.sysnet.pe.kr/2/0/11838

(번역글) .NET Internals Cookbook Part 2 - GC-related things
; https://www.sysnet.pe.kr/2/0/11869

(번역글) .NET Internals Cookbook Part 3 - Initialization tricks
; https://www.sysnet.pe.kr/2/0/11871

(번역글) .NET Internals Cookbook Part 4 - Type members
; https://www.sysnet.pe.kr/2/0/11872

.NET Internals Cookbook Part 5 - Methods, parameters, modifiers
; https://blog.adamfurmanek.pl/2019/03/16/net-internals-cookbook-part-5/

(번역글) .NET Internals Cookbook Part 6 - Object internals
; https://www.sysnet.pe.kr/2/0/11874

(번역글) .NET Internals Cookbook Part 7 - Word tearing, locking and others
; https://www.sysnet.pe.kr/2/0/11876

(번역글) .NET Internals Cookbook Part 8 - C# gotchas
; https://www.sysnet.pe.kr/2/0/11877

(번역글) .NET Internals Cookbook Part 9 - Finalizers, queues, card tables and other GC stuff
; https://www.sysnet.pe.kr/2/0/11878

(번역글) .NET Internals Cookbook Part 10 - Threads, Tasks, asynchronous code and others
; https://www.sysnet.pe.kr/2/0/11879

(번역글) .NET Internals Cookbook Part 11 - Various C# riddles
; https://www.sysnet.pe.kr/2/0/11882

(번역글) .NET Internals Cookbook Part 12 - Memory structure, attributes, handles
; https://www.sysnet.pe.kr/2/0/11891





27. 반환 타입만 다른 메서드 정의가 가능할까?

C#으로는 가능하지 않지만,

public class MyClass
{
    public int GetValue()
    {
        return 5;
    }

    // 컴파일 에러
    // error CS0111: Type 'MyClass' already defines a member called 'GetValue' with the same parameter types
    public string GetValue()
    {
        return "TEST";
    }
}

IL 코드로는 가능합니다.

.class public auto ansi beforefieldinit MyClass
       extends [mscorlib]System.Object
{
  .method public hidebysig instance int32 GetValue() cil managed
  {
    // Code size       7 (0x7)
    .maxstack  1
    .locals init ([0] int32 V_0)
    IL_0000:  nop
    IL_0001:  ldc.i4.5
    IL_0002:  stloc.0
    IL_0003:  br.s       IL_0005

    IL_0005:  ldloc.0
    IL_0006:  ret
  } // end of method MyClass::GetValue

  .method public hidebysig instance string GetValue() cil managed
  {
    // Code size       11 (0xb)
    .maxstack  1
    .locals init ([0] string V_0)
    IL_0000:  nop
    IL_0001:  ldstr      "TEST"
    IL_0006:  stloc.0
    IL_0007:  br.s       IL_0009

    IL_0009:  ldloc.0
    IL_000a:  ret
  } // end of method MyClass::GetValue

  ...[생략]...

} // end of class MyClass

하지만, 이렇게 만든 클래스를 포함한 DLL을 C# 프로젝트에서 참조해 사용하면 GetValue 메서드 호출에서 모호함 오류가 발생합니다.

class Program
{
    static void Main(string[] args)
    {
        MyClass mc = new MyClass();

        int n = mc.GetValue(); // 컴파일 오류: The call is ambiguous between the following methods or properties: 'MyClass.GetValue()' and 'MyClass.GetValue()'

        string txt = mc.GetValue(); // 컴파일 오류: The call is ambiguous between the following methods or properties: 'MyClass.GetValue()' and 'MyClass.GetValue()'
    }
}

즉, 호출하는 측도 동일하게 IL 코드로 작성해야만 하는 것입니다.

IL_0001:  call       int32 Program::Foo()
IL_0006:  stloc.0
IL_0007:  call       float64 Program::Foo()





28. const와 readonly의 차이점

가령 다음과 같은 코드가 있을 때,

using System;

public class Program
{
    const int a = 5;
    static readonly int b = 6;

    public static void Main()
    {
        Foo(a);
        Foo(b);
    }
    
    static void Foo(int x){
        Console.WriteLine(x);
    }
}

const 변수를 사용하는 측에서는 값 자체가 치환되는 반면, readonly의 경우에는 필드를 다루는 코드가 됩니다. 확인을 위해, 위에서 Foo 호출 부분의 IL 코드를 보면,

IL_0001:  ldc.i4.5
IL_0002:  call       void Program::Foo(int32)
IL_0007:  nop
IL_0008:  ldsfld     int32 Program::b
IL_000d:  call       void Program::Foo(int32)

보는 바와 같이 const의 경우 숫자 5를 직접 사용하는 반면, readonly의 경우에는 ldsfld IL 명령어를 이용해 b 필드를 로드하는 식으로 동작합니다.

이런 특성으로 인해 주의해야 할 시나리오가, const를 갖는 라이브러리를 참조해 사용한 어셈블리들이 있는 경우 라이브러리 측의 const 값을 바꾸면 그것을 사용하는 다른 어셈블리들도 반드시 재빌드해야 한다는 것입니다. 따라서, const 필드는 향후 변경 가능한 값이라면 사용하지 않거나, 같은 어셈블리 내에서만 가능하도록 public 접근자는 지정하지 않는 것이 좋습니다.





29. C#의 인자 전달 방식은 "값에 의한 전달"일까요? "참조에 의한 전달"일까요?

이 부분은 제 책의 "4.5.1.5 구조체"에서 설명한 "깊은 복사와 얕은 복사"를 참조하세요. ^^





30. 메서드의 인자에 대한 식 평가 순서는?

물론 대부분의 경우 단순히 메서드에서 정의한 인자의 순서와 일치할 것이므로 그 순서가 크게 중요하지 않을 수 있는데요. 간혹 "명명된 인수" 방식으로 지정하는 경우라면 메서드에서 정의한 순서와 일치하지 않을 수 있으므로 혼동이 될 수 있습니다.

using System;

public class Program
{
    public static void Main()
    {
        Foo(b: Identity(5), a: Identity(4));
    }
    
    static void Foo(int a, int b){
        Console.WriteLine($"a = {a}\nb = {b}");
    }
    
    static int Identity(int x){
        Console.WriteLine(x);
        return x;
    }}
}

/* 출력 결과
5
4
a = 4
b = 5
*/

보는 바와 같이, 인자의 식 평가 순서는 메서드의 인자 순서가 아니라 호출 측에서의 순서를 따릅니다.





31. typeof(...)와 GetType()의 차이점?

코드 먼저 보면,

using System;

public class Program
{
    public static void Main()
    {
        Type t = typeof(Foo);
        Type u = new Foo().GetType();
    }
}

class Foo{
    public Foo(){
        Console.WriteLine("Constructor!");
    }
}

빌드 후 IL 코드 결과는 다음과 같습니다.

// typeof(Foo)
IL_0001:  ldtoken    Foo
IL_0006:  call       class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)

// new Foo().GetType()
IL_000c:  newobj     instance void Foo::.ctor()
IL_0011:  call       instance class [mscorlib]System.Type [mscorlib]System.Object::GetType()

원 글(.NET Internals Cookbook Part 5 - Methods, parameters, modifiers)에서는 typeof는 컴파일 시점에, GetType은 실행 시점에 평가된다고 하는데, 개인적인 의견으로는 그다지 좋은 설명 같지는 않습니다. 액면 그대로, typeof는 타입명을 요구하고, GetType은 System.Object로부터 상속받은 인스턴스 메서드이므로 객체를 요구한다는 차이로 보면 될 것 같습니다.





32. using과 lock의 동작 원리

우선 using 먼저 볼까요?

using System;

public class Program
{
    public static void Main()
    {
        using(new Foo()){
            // ...
        }
    }
}
            
class Foo : IDisposable {
    public void Dispose(){}
}

C# 컴파일러는 위의 using 문을 다음과 같이 변환해 컴파일합니다.

public static void Main()
{
    Foo objUsing = new Foo();

    try
    {
        // ...
    }
    finally
    {
        if (objUsing != null)
        {
            objUsing.Dispose();
        }
    }
}

이번엔 lock을 보겠습니다.

public static void Main()
{
    lock (new object())
    {
        // ...
    }
}

위의 코드는 C# 컴파일러가 다음과 같은 처리를 합니다.

public static void Main()
{
    object objLock = new object();
    bool lockTaken = false;

    try
    {
        Monitor.Enter(objLock, ref lockTaken);
        // ...
    }
    finally
    {
        if (lockTaken == true)
        {
            Monitor.Exit(objLock);
        }
    }
}

위의 처리는 C# 4.0부터 적용되며 3.5 이전 버전에는 다음과 같은 식으로 처리가 되었습니다.

public static void Main()
{
    object objLock = new object();
    Monitor.Enter(objLock);

    try
    {
        // ...
    }
    finally
    {
        Monitor.Exit(objLock);
    }
}

위에서 Monitor.Enter가 try 블록 이전에 수행되었다는 것을 눈여겨볼 필요가 있습니다. 따라서 Monitor.Enter 실행 후, ThreadAbortException이 발생해 해당 스레드가 종료되는 경우 영원히 lock이 풀리지 않는 문제가 발생하는 버그를 유발할 수 있었습니다. (참고: Subtleties of C# IL codegen)





33. .NET의 호출 규약은?

호출 규약이 난립해 있던 x86의 경우, .NET 메서드는 __clrcall 호출 규약을 따릅니다. 이것은 __fastcall 호출 규약과 같지만 단지 인자의 전달 순서만 좌측에서 우측이라는 점만 다릅니다.

예를 들어 다음의 코드는,

using System;

public class Program
{
    public static void Main()
    {
        Static(1, 2, 3, 4, 5, 6);
        new Program().Instance(1, 2, 3, 4, 5, 6);
    }

    public static void Static(int a, int b, int c, int d, int e, int f)
    {
    }

    public void Instance(int a, int b, int c, int d, int e, int f)
    {
    }
}

Static 메서드 호출은 다음과 같이 인자 처리가 되며,

push    3
push    4
push    5
push    6
mov     ecx,1
mov     edx,2

Instance 메서드 호출은 이렇게 됩니다.

push    2
push    3
push    4
push    5
push    6
mov     ecx,dword ptr [ebp-4] // this 포인터
mov     edx,1

반면 x64에서는 모든 호출 규약이 Microsoft x64로 단일하게 바뀌었으므로 Static과 Instance 메서드 호출의 인자 전달은 this 포인터 처리를 제외하고 동일한 구조를 가집니다.

// Static 메서드 호출 인자 처리
mov     dword ptr [rsp+20h],5
mov     dword ptr [rsp+28h],6
mov     ecx,1
mov     edx,2
mov     r8d,3
mov     r9d,4

// Instance 메서드 호출 인자 처리
mov     dword ptr [rsp+20h],4
mov     dword ptr [rsp+28h],5
mov     dword ptr [rsp+30h],6
mov     rcx,qword ptr [rbp-8] // this 포인터
mov     edx,1
mov     r8d,2
mov     r9d,3





34. string 또는 사용자 정의 타입(값 형식, 참조 형식)을 const 변수로 만들 수 있을까?

원칙은 const 변수를 초기화하는 값이 컴파일 시에 결정되는 상수식이라면 가능합니다. 하지만 사용자 정의 타입인 경우 참조 형식(class)이라면 null 초기화만 가능한 반면 값 형식(struct)의 경우에는 기본 자료형을 제외하고는 모든 구조체가 const 초기화를 할 수 없습니다.

그런데, 한가지 재미있는 점이라면 decimal의 const 처리 방식이 독특하다는 점입니다.

using System;

public class Program
{
    const decimal a = 5;
    const string b = "abc";
    const Foo c = null;

    public static void Main()
    {
    }
}

class Foo { }

위의 코드에 대해 각각의 const 변수를 IL 코드로 확인해 보면,

.field private static initonly valuetype [mscorlib]System.Decimal a
.field private static literal string b = "abc"
.field private static literal class Foo c = nullref

System.Decimal의 경우 literal이 아닌, initonly로 처리되어 실제적인 값의 초기화는 (인스턴스 생성자가 아닌) static 생성자에서 이뤄지는 것을 볼 수 있습니다.

.method private hidebysig specialname rtspecialname static 
          void  .cctor() cil managed
  {
    // 
    .maxstack  8
    .line 5,5 : 2,22 ''
    IL_0000:  ldc.i4.5
    IL_0001:  newobj     instance void [mscorlib]System.Decimal::.ctor(int32)
    IL_0006:  stsfld     valuetype [mscorlib]System.Decimal Program::a
    IL_000b:  ret
  } // end of method Program::.cctor

그러면서도 C# 컴파일러는 static 생성자에서 const decimal 변수를 초기화하는 코드를 허용하지는 않습니다.

static Program()
{
    a = 6; // 컴파일 에러 - error CS0131: The left-hand side of an assignment must be a variable, property or indexer
}

재미있는 것은, 이런 이유로 인해 decimal의 경우 값이 바뀐다 해도 28번의 내용에서 설명한 재컴파일이 필요하지는 않습니다.





35. volatile 변수를 ref로 전달할 수 있을까?

전달할 수는 있지만, C# 컴파일러는 컴파일 시점에 경고를 발생시킵니다.

using System;

public class Program
{
    static volatile int a = 5;
    public static void Main()
    {
        // 컴파일 경고
        // warning CS0420: 'Program.a': a reference to a volatile field will not be treated as volatile
        Foo(ref a);
    }

    static void Foo(ref int x)
    {
    }
}

volatile 필드가 참조로 전달된 경우에는 volatile로 다뤄지지 않는다는 것입니다. 즉, Foo 함수의 변수 x에 대해서는 일반 변수와 동일하게 처리된다는 것인데... 하지만 이로 인한 문제가 발생할 수 있는 코드를 재현하기가 쉽지 않습니다. (혹시 적당한 재현 예제를 구현하신 분은 덧글 부탁드립니다. ^^)

(첨부 파일은 이 글의 예제 코드를 포함합니다.)



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

[연관 글]





[최초 등록일: ]
[최종 수정일: 7/9/2020 ]

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

비밀번호

댓글 쓴 사람
 




1  2  3  4  [5]  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
12282정성태8/2/2020227디버깅 기술: 167. windbg 디버깅 사례: AppDomain 간의 static 변수 사용으로 인한 crash (2)
12281정성태8/2/2020416개발 환경 구성: 500. (PDB 연결이 없는) DLL의 소스 코드 디버깅을 dotPeek 도구로 해결하는 방법
12280정성태8/2/2020335오류 유형: 634. 오라클 (평생) 무료 클라우드 VM 생성 후 SSH 접속 시 키 오류 발생
12279정성태7/29/2020250개발 환경 구성: 499. 닷넷에서 접근해보는 InterSystems의 Cache 데이터베이스파일 다운로드1
12278정성태8/2/2020239VS.NET IDE: 149. ("Binary was not built with debug information" 상태로) 소스 코드 디버깅이 안되는 경우
12277정성태8/2/2020375개발 환경 구성: 498. DEVPATH 환경 변수의 사용 예 - .NET Reflector의 (PDB 연결이 없는) DLL의 소스 코드 디버깅
12276정성태7/23/2020375.NET Framework: 930. 개발자를 위한 닷넷 어셈블리 바인딩 - DEVPATH 환경 변수
12275정성태7/28/2020327개발 환경 구성: 497. 닷넷에서 접근해보는 InterSystems의 IRIS Data Platform 데이터베이스파일 다운로드1
12274정성태7/21/2020350개발 환경 구성: 496. Azure - Blob Storage Account의 Location 이전 방법파일 다운로드1
12273정성태7/20/2020447개발 환경 구성: 495. Azure - Location이 다른 웹/DB 서버의 경우 발생하는 성능 하락
12272정성태7/16/2020285.NET Framework: 929. (StrongName의 버전 구분이 필요 없는) .NET Core 어셈블리 바인딩 규칙파일 다운로드1
12271정성태7/16/2020283.NET Framework: 928. .NET Framework의 Strong-named 어셈블리 바인딩 (2) - 런타임에 바인딩 리디렉션파일 다운로드1
12270정성태7/16/2020356오류 유형: 633. SSL_CTX_use_certificate_file - error:140AB18F:SSL routines:SSL_CTX_use_certificate:ee key too small
12269정성태7/16/2020241오류 유형: 632. .NET Core 웹 응용 프로그램 - The process was terminated due to an unhandled exception.
12268정성태7/15/2020286오류 유형: 631. .NET Core 웹 응용 프로그램 오류 - HTTP Error 500.35 - ANCM Multiple In-Process Applications in same Process
12267정성태7/15/2020418.NET Framework: 927. C# - 윈도우 프로그램에서 Credential Manager를 이용한 보안 정보 저장파일 다운로드1
12266정성태7/14/2020367오류 유형: 630. 사용자 계정을 지정해 CreateService API로 서비스를 등록한 경우 "Error 1069: The service did not start due to a logon failure." 오류발생
12265정성태7/10/2020233오류 유형: 629. Visual Studio - 웹 애플리케이션 실행 시 "Unable to connect to web server 'IIS Express'." 오류 발생
12264정성태7/9/2020310오류 유형: 628. docker: Error response from daemon: Conflict. The container name "..." is already in use by container "...".
12261정성태9/26/2020673VS.NET IDE: 148. 윈도우 10에서 .NET Core 응용 프로그램을 리눅스 환경에서 실행하는 2가지 방법 - docker, WSL 2 [5]
12260정성태7/8/2020292.NET Framework: 926. C# - ETW를 이용한 ThreadPool 스레드 감시파일 다운로드1
12259정성태7/8/2020236오류 유형: 627. nvlddmkm.sys의 BAD_POOL_HEADER BSOD 문제
12258정성태8/4/2020434기타: 77. DataDog APM 간략 소개
12257정성태7/7/2020282.NET Framework: 925. C# - ETW를 이용한 Monitor Enter/Exit 감시파일 다운로드1
12256정성태7/7/2020389.NET Framework: 924. C# - Reflection으로 변경할 수 없는 readonly 정적 필드 [4]
12255정성태7/6/2020314.NET Framework: 923. C# - ETW(Event Tracing for Windows)를 이용한 Finalizer 실행 감시파일 다운로드1
1  2  3  4  [5]  6  7  8  9  10  11  12  13  14  15  ...