Microsoft MVP성태의 닷넷 이야기
글쓴 사람
홈페이지
첨부 파일

(번역글) .NET Internals Cookbook Part 3 - Initialization tricks

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

(번역글) .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://blog.adamfurmanek.pl/2019/03/02/net-internals-cookbook-part-3/

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

(번역글) .NET Internals Cookbook Part 5 - Methods, parameters, modifiers
; https://www.sysnet.pe.kr/2/0/11873

(번역글) .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





13. 변수의 값이 true이면서 동시에 false가 될 수 있을까?

우선 일반적인 논리 식이라면 그런 경우가 없을 것입니다. 하지만 객체의 상태를 true/false로 평가할 수 있도록 op_False, op_True 연산자를 재정의했을 때 이런 트릭이 가능합니다.

예를 들어 전기 스위치가 있을 때, 스위치의 객체 상태를 true/false로 평가하기 위해 다음과 같이 연산자를 재정의할 수 있습니다.

class Switch
{
    public string Name { get; private set; }
    public bool On { get; private set; }

    public Switch(string name, bool on)
    {
        Name = name;
        On = on;
    }

    public static bool operator true(Switch t)
    {
        Console.WriteLine($"{t.Name} op.True");
        return t.On;
    }

    public static bool operator false(Switch t)
    {
        Console.WriteLine($"{t.Name} op.False");
        return t.On == false;
    }
}

이렇게 코딩하면 Switch 인스턴스를 조건식에 그대로 사용할 수 있습니다.

Switch foo1 = new Switch("A", true);
Switch foo2 = new Switch("B", false);

if (foo1)
{
    Console.WriteLine($"{foo1.Name} ON");
}

if (foo2)
{
    Console.WriteLine($"{foo2.Name} ON");
}

/*
A op.True
A ON
B op.True
*/

위의 결과로, C# 컴파일러는 if 문에서 객체를 평가하는 경우 op_True와 op_False 메서드 중에 op_True를 선택해 호출해 주는 것을 알 수 있습니다. 즉, 위의 코드는 사실상 다음과 같이 바뀌어 컴파일되는 것입니다.

if (Switch::op_True(foo1))
{
    Console.WriteLine($"{foo1.Name} ON");
}

if (Switch::op_True(foo2))
{
    Console.WriteLine($"{foo2.Name} ON");
}

이러한 객체의 논리식 평가에서 재미있는 것은 &&, ||과 같은 논리 연산자가 사용될 경우입니다. 예를 들어 다음과 같이 코딩을 하면,

if (foo1 && foo2)
{
    Console.WriteLine("If");
}

C# 컴파일러는 다음과 같은 식으로 && 평가를 전개합니다.

// && 논리 곱의 short-circuit 평가이므로 첫 번째 변수가 false인지를 우선 검사
if (Switch::op_False(foo1))
{
    if (Switch::op_True(foo1)) // 피연산자가 2개인 && 평가에서 왜? foo2에 대한 op_True 검사를 생략할까?
    {
        Console.WriteLine("If");
    }
}
else // foo1이 true인 상태라면 당연히 두 번째 변수의 상태를 평가
{
    Foo bitwised = Switch::op_BitwiseAnd(foo1, foo2);
    if (Switch::op_True(bitwised))
    {
        Console.WriteLine("If");
    }
}

개인적인 이해 차원에서는, 이건 좀 아니라는 생각이 듭니다. 첫 번째 변수가 false 상태라면 굳이 그 변수에 대해 op_True 검사를 할 필요가 없습니다. 설령, 확실하게 하기 위해 검증 차원에서 필요하다고 해도 당연히 두 번째 변수에 대한 평가를 추가해야 하는데 그 과정이 없습니다.

또 한가지 재미있는 것은, 첫 번째 변수의 평가가 true라고 된 경우 두 번째 변수에 대해 곧바로 op_True 평가를 하는 것이 아니라 첫 번째 변수와 두 번째 변수의 비트 곱(&) 연산자를 호출해 하나의 결과로 합친 다음 그것에 대해 op_True 평가를 한다는 것입니다. 이 때문에 객체에 대해 && 논리곱을 하려면 비트 곱(&) 연산자도 함께 재정의해야 합니다.

public static Switch operator &(Switch lhs, Switch rhs)
{
    Console.WriteLine($"{lhs.Name} & {rhs.Name}");

    if (lhs.On == false)
    {
        return lhs;
    }

    return rhs;
}

이 정도 알았으면 이제 질문에 대한 답을 할 수 있습니다. 즉, true/false에 대한 연산자 재정의에서 모두 옳다고 반환하면 그 객체는 true이면서 false인 상태를 갖는 것과 같습니다.

public static bool operator true(Switch t)
{
    Console.WriteLine($"{t.Name} op.True");
    return true;
}

public static bool operator false(Switch t)
{
    Console.WriteLine($"{t.Name} op.False");
    return true;
}

그래서 위와 같이 정의된 객체를 논리곱 연산자에 사용하면,

if (foo1 && foo2)
{
    Console.WriteLine("If");
}

다음과 같은 출력 결과를 얻게 됩니다.

A op.False
A op.True
If

참고로, 논리합 연산자(||)라면 첫 번째 피연산자에 대한 평가를 short-circuit 검사를 위해 op_True를 호출합니다.





14. 생성자 호출 없이 객체 생성을 할 수 있을까?

FormatterServices 타입의 GetUninitializedObject 메서드를 호출해 객체 생성을 할 수 있습니다.

using System;
using System.Runtime.Serialization;

public class Program
{
    public static void Main()
    {
        Foo o = FormatterServices.GetUninitializedObject(typeof(Foo)) as Foo;
        Console.WriteLine(o.n); // 출력 결과: 0
    }
}

class Foo
{
    public int n = 5; // C# 컴파일러는 필드 초기화 코드를 생성자에 넣음.

    Foo()
    {
        Console.WriteLine("Constructor");
    }
}

당연히 생성자를 호출하지 않고 객체가 소유한 필드의 메모리만큼 할당만 한 후에 객체 주소를 반환하기 때문에 필드 n의 값은 0이 됩니다.





15. 생성자를 여러 번 호출할 수 있을까?

ctor도 메서드이기 때문에 Reflection을 이용해 임의 호출이 가능합니다.

using System;

public class Program
{
    public static void Main()
    {
        Foo foo = new Foo();

        var ctor = foo.GetType().GetConstructor(new Type[0]);
        
        ctor.Invoke(foo, new object[0]);
        ctor.Invoke(foo, new object[0]);
        ctor.Invoke(foo, new object[0]);
    }
}

class Foo
{
    public int n = 5;

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

/* 출력 결과
Constructor!
Constructor!
Constructor!
Constructor!
*/

따라서 14번 문제와 합치면 객체 생성 과정을 다음과 같이 수작업으로 재구성할 수 있습니다.

using System;
using System.Runtime.Serialization;

public class Program
{
    public static void Main()
    {
        var ctor = typeof(Foo).GetConstructor(new Type[0]);

        Foo o = FormatterServices.GetUninitializedObject(typeof(Foo)) as Foo;
        ctor.Invoke(o, new object[0]);
        Console.WriteLine(o.n); // 출력 결과: 5
    }
}





16. 생성자에서 null 반환이 가능할까?

ContextBoundObject를 상속받아 생성자 호출을 가로채면 가능합니다.

using System;
using System.Runtime.Remoting.Proxies;

namespace ConsoleApp
{
    class Program
    {
        public static void Main()
        {
            var instance = new Foo();
            Console.WriteLine(instance == null);
        }
    }

    class FooProxyAttribute : ProxyAttribute
    {
        public override MarshalByRefObject CreateInstance(Type serverType)
        {
            Console.WriteLine("Custom new");
            return null;
        }
    }

    [FooProxy]
    class Foo : ContextBoundObject 
    {
    }
}

여기서 재미있는 것은, "var instance"의 null 여부입니다. .NET Framework의 경우 instance는 null이지만, .NET Internals Cookbook Part 3 ? Initialization tricks 글에서 링크한 Mono 런타임에서는 null이 아닙니다.

아마도 이것은, .NET Framework의 런타임은 null이 반환된 경우 ContextBoundObject로 인한 Proxy 객체 자체를 null 처리해서 반환하는 반면, Mono의 경우에는 대상 객체는 null을 반환하지만 그 null을 가리키는 Proxy 객체를 반환하기 때문인 것으로 보입니다. 참고로, 이때의 Proxy 객체 타입은 System.Runtime.Remoting.Proxies.__TransparentProxy라는 식의 이름을 갖습니다.





17. 인터페이스 타입의 인스턴스를 생성할 수 있을까?

인터페이스는 new할 수 없지만, .NET Framework이 기존 COM 객체와의 연동을 위해 마련한 편의 장치를 이용하면 생성할 수 있습니다.

using System;
using System.Runtime.InteropServices;

public class Program
{
    public static void Main()
    {
        IFoo obj = new IFoo("abc");
        Console.WriteLine(obj.Message);
    }
}

class Foo : IFoo
{
    readonly string name;
    public Foo(string name)
    {
        this.name = name;
    }
    string IFoo.Message
    {
        get
        {
            return "Hello from " + name;
        }
    }
}

[ComImport, CoClass(typeof(Foo))]
[Guid("d60908eb-fd5a-4d3c-9392-8646fcd1edce")]
interface IFoo
{
    string Message { get; }
}

사실 엄밀히 말하면, C# 코드 상으로는 new IFoo를 하기 때문에 인터페이스를 생성하는 것처럼 보이지만 내부적으로 C# 컴파일러는 해당 인터페이스에 지정된 CoClass 특성에 지정된 타입을 생성하는 것으로 치환하므로,

public static void Main()
{
    IFoo obj = new Foo("abc");
    Console.WriteLine(obj.Message);
}

인터페이스를 생성한다고 볼 수는 없습니다. 그냥 겉으로만 그렇게 보이는 것에 불과합니다.

(첨부 파일은 이 글의 예제 프로젝트를 포함합니다.)




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

[연관 글]





[최초 등록일: ]
[최종 수정일: 5/9/2019 ]

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

비밀번호

댓글 쓴 사람
 



2019-04-17 11시20분
[이성환] 피와 살이 되는 글! 감사합니다. 파트 12까지 다 번역해주실거죠? (__.. 굽실굽실)

근데 이정도 내용이면 엮어서 책으로 내는 것도 괜찮을 거 같은데, 원작자가 먼저 책으로 발간해야 가능하겠죠? Effective C# 빰치게 도움이 되는 내용이라 책으로 갖고 싶은데...;ㅂ;
[손님]
2019-04-17 03시46분
[JK] 우연치 않게 지나가다 들렸는데 재미난 게시글이 많네요 ㅎㅎ 감사합니다.
[손님]
2019-04-17 06시31분
@이성환 일단은 여력이 되는 한 다 하고 싶습니다. 그러게요. Cookbook이라고 온라인으로만 있다가 묻히기에는 아까운 것같습니다.
정성태

1  2  3  4  5  6  7  8  9  [10]  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
12042정성태10/26/2019685오류 유형: 573. OneDrive 하위에 위치한 Documents, Desktop 폴더에 대한 권한 변경 시 "Unable to display current owner"
12041정성태10/23/2019532오류 유형: 572. mstest.exe - The load test results database could not be opened.
12040정성태10/23/2019910오류 유형: 571. Unhandled Exception: System.Net.Mail.SmtpException: Transaction failed. The server response was: 5.2.0 STOREDRV.Submission.Exception:SendAsDeniedException.MapiExceptionSendAsDenied
12039정성태10/22/2019676스크립트: 16. cmd.exe의 for 문에서는 ERRORLEVEL이 설정되지 않는 문제
12038정성태10/17/2019545오류 유형: 570. SQL Server 2019 RC1 - SQL Client Connectivity SDK 설치 오류
12037정성태10/15/2019871.NET Framework: 867. C# - Encoding.Default 값을 바꿀 수 있을까요?파일 다운로드1
12036정성태10/21/20191540.NET Framework: 866. C# - 고성능이 필요한 환경에서 GC가 발생하지 않는 네이티브 힙 사용파일 다운로드1
12035정성태10/13/2019757개발 환경 구성: 461. C# 8.0의 #nulable 관련 특성을 .NET Framework 프로젝트에서 사용하는 방법파일 다운로드1
12034정성태1/31/20201025개발 환경 구성: 460. .NET Core 환경에서 (프로젝트가 아닌) C# 코드 파일을 입력으로 컴파일하는 방법 [1]
12033정성태10/11/20191487개발 환경 구성: 459. .NET Framework 프로젝트에서 C# 8.0 컴파일러를 사용하는 방법
12032정성태11/25/2019934.NET Framework: 865. .NET Core 2.2/3.0 웹 프로젝트를 IIS에서 호스팅(Inproc, out-of-proc)하는 방법 - AspNetCoreModuleV2 소개
12031정성태10/7/2019571오류 유형: 569. Azure Site Extension 업그레이드 시 "System.IO.IOException: There is not enough space on the disk" 예외 발생
12030정성태11/12/20192319.NET Framework: 864. .NET Conf 2019 Korea - "닷넷 17년의 변화 정리 및 닷넷 코어 3.0" 발표 자료 [1]파일 다운로드1
12029정성태9/27/2019689제니퍼 .NET: 29. Jennifersoft provides a trial promotion on its APM solution such as JENNIFER, PHP, and .NET in 2019 and shares the examples of their application.
12028정성태9/26/2019822.NET Framework: 863. C# - Thread.Suspend 호출 시 응용 프로그램 hang 현상을 해결하기 위한 시도파일 다운로드1
12027정성태9/26/2019513오류 유형: 568. Consider app.config remapping of assembly "..." from Version "..." [...] to Version "..." [...] to solve conflict and get rid of warning.
12026정성태9/26/2019708.NET Framework: 862. C# - Active Directory의 LDAP 경로 및 정보 조회
12025정성태9/25/2019811제니퍼 .NET: 28. APM 솔루션 제니퍼, PHP, .NET 무료 사용 프로모션 2019 및 적용 사례 (8)
12024정성태9/20/2019939.NET Framework: 861. HttpClient와 HttpClientHandler의 관계
12023정성태9/19/2019870.NET Framework: 860. ServicePointManager.DefaultConnectionLimit와 HttpClient의 관계파일 다운로드1
12022정성태9/12/20191891개발 환경 구성: 458. C# 8.0 (Preview) 신규 문법을 위한 개발 환경 구성 [3]
12021정성태7/1/20204703도서: 시작하세요! C# 8.0 프로그래밍 [3]
12020정성태9/11/2019921VC++: 134. SYSTEMTIME 값 기준으로 특정 시간이 지났는지를 판단하는 함수
12019정성태9/11/2019717Linux: 23. .NET Core + 리눅스 환경에서 Environment.CurrentDirectory 접근 시 주의 사항
12018정성태9/25/2019622오류 유형: 567. IIS - Unrecognized attribute 'targetFramework'. Note that attribute names are case-sensitive. (D:\lowSite4\web.config line 11)
12017정성태9/11/20191011오류 유형: 566. 비주얼 스튜디오 - Failed to register URL "http://localhost:6879/" for site "..." application "/". Error description: Access is denied. (0x80070005)
1  2  3  4  5  6  7  8  9  [10]  11  12  13  14  15  ...