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

(시리즈 글이 2개 있습니다.)
.NET Framework: 939. C# - 전위/후위 증감 연산자에 대한 오버로딩 구현
; https://www.sysnet.pe.kr/2/0/12330

.NET Framework: 941. C# - 전위/후위 증감 연산자에 대한 오버로딩 구현 (2)
; https://www.sysnet.pe.kr/2/0/12333




C# - 전위/후위 증감 연산자에 대한 오버로딩 구현 (2)

아래의 내용에 이어,

C# - 전위/후위 증감 연산자에 대한 오버로딩 구현
; https://www.sysnet.pe.kr/2/0/12330

덧글에서 또다시 의문을 제기했는데,

그런데 아래 내용에서 another에 value+1의 값을 넣었으면 연산 순서에 따라 연산이 된 value+1의 값이 another라는 instance에 들어가야 하는데 그렇지 않고 왜 반환되는 값은 value인 것인지 이해가 가지 않습니다.

public static Integer operator ++(Integer instance)
{
    Integer another = new Integer(instance._value + 1);
    return another;
}


어찌 보면 신기할 수 있지만, 사실 일반적인 전위/후위 원칙과 별반 다르지 않습니다. 이미 기존에도 설명했지만, 동일한 ++의 코드임에도 전/후위 표기에 따라 C# 컴파일러는 Increment/Decrement 연산자의 사용 코드를 다음과 같이 풀어서 번역합니다.

int n = 5;
int value = ++ n;

==> ++를 사용하는 측에서 다음과 같이 코드 번역

int n = 5;
n = n + 1; // 값을 증가시키고,
int value = n; // 이후에 대입

int n = 5;
int value = n ++;

==> ++를 사용하는 측에서 다음과 같이 코드 번역

int n = 5;
int value = n; // 값을 먼저 대입하고,
n = n + 1; // 이후에 증가

그러니까, 재정의된 전위/후위 연산자도 내부 코드는 같지만 사용하는 측에서 다음과 같이 번역해 버리면 그만입니다.

{
    Integer n = new Integer(5);
    Integer value = n++;
}
==>
        {
            Integer n = new Integer(5);
            Integer temp = Integer.operator ++(n);
            Integer value = n;
            n = temp;
        }

{
    Integer n = new Integer(5);
    Integer value = ++n;
}
==>
        {
            Integer n = new Integer(5);
            Integer value = Integer.operator ++(n);
            n = value;
        }

실제로 저렇게 번역이 되는지 확인하고 싶다면 IL 코드를 보면 됩니다.

.locals init (
	[0] class Integer n,
	[1] class Integer 'value',
	[2] class Integer n,
	[3] class Integer 'value'
)

/* 0x0000025C 00           */ IL_0000: nop
/* 0x0000025D 00           */ IL_0001: nop
/* 0x0000025E 1B           */ IL_0002: ldc.i4.5
/* 0x0000025F 7303000006   */ IL_0003: newobj    instance void Integer::.ctor(int32)
/* 0x00000264 0A           */ IL_0008: stloc.0
/* 0x00000265 06           */ IL_0009: ldloc.0
/* 0x00000266 25           */ IL_000A: dup
/* 0x00000267 2804000006   */ IL_000B: call      class Integer Integer::op_Increment(class Integer)
/* 0x0000026C 0A           */ IL_0010: stloc.0
/* 0x0000026D 0B           */ IL_0011: stloc.1
/* 0x0000026E 07           */ IL_0012: ldloc.1
/* 0x0000026F 280F00000A   */ IL_0013: call      void [mscorlib]System.Console::WriteLine(object)
/* 0x00000274 00           */ IL_0018: nop
/* 0x00000275 00           */ IL_0019: nop
/* 0x00000276 00           */ IL_001A: nop
/* 0x00000277 1B           */ IL_001B: ldc.i4.5
/* 0x00000278 7303000006   */ IL_001C: newobj    instance void Integer::.ctor(int32)
/* 0x0000027D 0C           */ IL_0021: stloc.2
/* 0x0000027E 08           */ IL_0022: ldloc.2
/* 0x0000027F 2804000006   */ IL_0023: call      class Integer Integer::op_Increment(class Integer)
/* 0x00000284 25           */ IL_0028: dup
/* 0x00000285 0C           */ IL_0029: stloc.2
/* 0x00000286 0D           */ IL_002A: stloc.3
/* 0x00000287 09           */ IL_002B: ldloc.3
/* 0x00000288 280F00000A   */ IL_002C: call      void [mscorlib]System.Console::WriteLine(object)
/* 0x0000028D 00           */ IL_0031: nop
/* 0x0000028E 00           */ IL_0032: nop
/* 0x0000028F 2A           */ IL_0033: ret




답변을 하다 보니, 재미있는 점이 눈에 띕니다. 전위 연산자의 경우에는 상관없지만, 후위 연산자의 경우에는, (후위 연산자가 꽤나 문제군요. ^^)

{
    Integer n = new Integer(5);
    Integer value = ++n;
}
==>
        {
            Integer n = new Integer(5);
            Integer value = Integer.operator ++(n);
            n = value;
        }

결국 같은 인스턴스가 n과 value에 들어가 참조 값이 같아집니다. 실제로 이를 다음의 코드로 테스트해볼 수 있습니다.

{
    Integer n = new Integer(5);
    Integer value = ++n;

    value.Increment(); //
    value.Increment(); // value의 값을 변경했지만,
    value.Increment(); //
    Console.WriteLine(value); // 출력 결과: 9
    Console.WriteLine(n); // 출력 결과: 9 (n의 값도 함께 변경)
}

public class Integer
{
    int _value;

    // ...[생략]...

    internal void Increment()
    {
        _value++;
    }
}

이것은 일종의 side-effect 일 수 있는데, 이런 부분을 고려한다면 연산자 오버로딩을 포함한 타입은 가능한 class보다는 struct로 구현하는 것이 권장됩니다.




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







[최초 등록일: ]
[최종 수정일: 12/18/2020]

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

비밀번호

댓글 작성자
 




... 46  47  48  49  50  51  52  53  [54]  55  56  57  58  59  60  ...
NoWriterDateCnt.TitleFile(s)
12629정성태5/5/202122665.NET Framework: 1057. C# - CoAP 서버 및 클라이언트 제작 (UDP 소켓 통신) [1]파일 다운로드1
12628정성태5/4/202120608Linux: 39. Eclipse 원격 디버깅 - Cannot run program "gdb": Launching failed
12627정성태5/4/202120192Linux: 38. 라즈베리 파이 제로 용 프로그램 개발을 위한 Eclipse C/C++ 윈도우 환경 설정
12626정성태5/3/202120677.NET Framework: 1056. C# - Thread.Suspend 호출 시 응용 프로그램 hang 현상 (2)파일 다운로드1
12625정성태5/3/202118249오류 유형: 714. error CS5001: Program does not contain a static 'Main' method suitable for an entry point
12624정성태5/2/202122760.NET Framework: 1055. C# - struct/class가 스택/힙에 할당되는 사례 정리 [10]파일 다운로드1
12623정성태5/2/202119497.NET Framework: 1054. C# 9 최상위 문에 STAThread 사용 [1]파일 다운로드1
12622정성태5/2/202115361오류 유형: 713. XSD 파일을 포함한 프로젝트 - The type or namespace name 'TypedTableBase<>' does not exist in the namespace 'System.Data'
12621정성태5/1/202119945.NET Framework: 1053. C# - 특정 레지스트리 변경 시 알림을 받는 방법 [1]파일 다운로드1
12620정성태4/29/202124193.NET Framework: 1052. C# - 왜 구조체는 16 바이트의 크기가 적합한가? [1]파일 다운로드1
12619정성태4/28/202124147.NET Framework: 1051. C# - 구조체의 크기가 16바이트가 넘어가면 힙에 할당된다? [2]파일 다운로드1
12618정성태4/27/202122231사물인터넷: 58. NodeMCU v1 ESP8266 CP2102 Module을 이용한 WiFi UDP 통신 [1]파일 다운로드1
12617정성태4/26/202118839.NET Framework: 1050. C# - ETW EventListener의 Keywords별 EventId에 따른 필터링 방법파일 다운로드1
12616정성태4/26/202118493.NET Framework: 1049. C# - ETW EventListener를 상속받았을 때 초기화 순서파일 다운로드1
12615정성태4/26/202115804오류 유형: 712. Microsoft Live 로그인 - 계정을 선택하는(Pick an account) 화면에서 진행이 안 되는 문제
12614정성태4/24/202120586개발 환경 구성: 570. C# - Azure AD 인증을 지원하는 ASP.NET Core/5+ 웹 애플리케이션 예제 구성 [4]파일 다운로드1
12613정성태4/23/202118943.NET Framework: 1048. C# - ETW 이벤트의 Keywords에 속한 EventId 구하는 방법 (2) 관리 코드파일 다운로드1
12612정성태4/23/202118354.NET Framework: 1047. C# - ETW 이벤트의 Keywords에 속한 EventId 구하는 방법 (1) PInvoke파일 다운로드1
12611정성태4/22/202116530오류 유형: 711. 닷넷 EXE 실행 오류 - Mixed mode assembly is build against version 'v2.0.50727' of the runtime
12610정성태4/22/202116517.NET Framework: 1046. C# - 컴파일 시점에 참조할 수 없는 타입을 포함한 이벤트 핸들러를 Reflection을 이용해 구독하는 방법파일 다운로드1
12609정성태4/22/202120189.NET Framework: 1045. C# - 런타임 시점에 이벤트 핸들러를 만들어 Reflection을 이용해 구독하는 방법파일 다운로드1
12608정성태4/21/202120769.NET Framework: 1044. C# - Generic Host를 이용해 .NET 5로 리눅스 daemon 프로그램 만드는 방법 [9]파일 다운로드1
12607정성태4/21/202116768.NET Framework: 1043. C# - 실행 시점에 동적으로 Delegate 타입을 만드는 방법파일 다운로드1
12606정성태4/21/202123885.NET Framework: 1042. C# - enum 값을 int로 암시적(implicit) 형변환하는 방법? [2]파일 다운로드1
12605정성태4/18/202119282.NET Framework: 1041. C# - AssemblyID, ModuleID를 관리 코드에서 구하는 방법파일 다운로드1
12604정성태4/18/202116905VS.NET IDE: 163. 비주얼 스튜디오 속성 창의 "Build(빌드)" / "Configuration(구성)"에서의 "활성" 의미
... 46  47  48  49  50  51  52  53  [54]  55  56  57  58  59  60  ...