Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 
(연관된 글이 1개 있습니다.)
(시리즈 글이 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)"이라는 점에서 당연한 결과라고 봐야 합니다. 이러한 참조형에서의 전위 연산자에 대한 사용법이 헷갈릴 수 있다면, 차라리 연산자 오버로딩을 포함한 타입을 가능한 class보다는 struct로 구현하는 것이 권장됩니다.




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

[연관 글]






[최초 등록일: ]
[최종 수정일: 8/25/2025]

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

비밀번호

댓글 작성자
 




... [106]  107  108  109  110  111  112  113  114  115  116  117  118  119  120  ...
NoWriterDateCnt.TitleFile(s)
11372정성태11/25/201729298사물인터넷: 13. 윈도우즈 사용자를 위한 라즈베리 파이 제로 W 모델을 설정하는 방법 [4]
11371정성태11/25/201723160오류 유형: 432. Hyper-V 가상 스위치 생성 시 Failed to connect Ethernet switch port 0x80070002 오류 발생
11370정성태11/25/201723772오류 유형: 431. Hyper-V의 Virtual Switch 생성 시 "External network" 목록에 특정 네트워크 어댑터 항목이 없는 경우
11369정성태11/25/201725108사물인터넷: 12. Raspberry Pi Zero(OTG)를 다른 컴퓨터에 연결해 가상 키보드 및 마우스로 쓰는 방법 (절대 좌표, 상대 좌표, 휠) [1]
11368정성태11/25/201730058.NET Framework: 699. UDP 브로드캐스트 주소 255.255.255.255와 192.168.0.255의 차이점과 이를 고려한 C# UDP 서버/클라이언트 예제 [2]파일 다운로드1
11367정성태11/25/201730979개발 환경 구성: 337. 윈도우 운영체제의 route 명령어 사용법
11366정성태11/25/201723178오류 유형: 430. 이벤트 로그 - Cryptographic Services failed while processing the OnIdentity() call in the System Writer Object.
11365정성태11/25/201723525오류 유형: 429. 이벤트 로그 - User Policy could not be updated successfully
11364정성태11/24/201727529사물인터넷: 11. Raspberry Pi Zero(OTG)를 다른 컴퓨터에 연결해 가상 마우스로 쓰는 방법 (절대 좌표) [2]
11363정성태11/23/201727807사물인터넷: 10. Raspberry Pi Zero(OTG)를 다른 컴퓨터에 연결해 가상 마우스 + 키보드로 쓰는 방법 (두 번째 이야기)
11362정성태11/22/201722337오류 유형: 428. 윈도우 업데이트 KB4048953 - 0x800705b4 [2]
11361정성태11/22/201725409오류 유형: 427. 이벤트 로그 - Filter Manager failed to attach to volume '\Device\HarddiskVolume??' 0xC03A001C
11360정성태11/22/201726580오류 유형: 426. 이벤트 로그 - The kernel power manager has initiated a shutdown transition.
11359정성태11/16/201725412오류 유형: 425. 윈도우 10 Version 1709 (OS Build 16299.64) 업그레이드 시 발생한 문제 2가지
11358정성태11/15/201731059사물인터넷: 9. Visual Studio 2017에서 Raspberry Pi C++ 응용 프로그램 제작 [1]
11357정성태11/15/201731464개발 환경 구성: 336. 윈도우 10 Bash 쉘에서 C++ 컴파일하는 방법
11356정성태11/15/201733217사물인터넷: 8. Raspberry Pi Zero(OTG)를 다른 컴퓨터에 연결해 가상 마우스 + 키보드로 쓰는 방법 [4]
11355정성태11/15/201727048사물인터넷: 7. Raspberry Pi Zero(OTG)를 다른 컴퓨터에 연결해 가상 마우스로 쓰는 방법 [2]파일 다운로드2
11354정성태11/14/201732910사물인터넷: 6. Raspberry Pi Zero(OTG)를 다른 컴퓨터에 연결해 가상 키보드로 쓰는 방법 [8]
11353정성태11/14/201729419사물인터넷: 5. Raspberry Pi Zero(OTG)를 다른 컴퓨터에 연결해 가상 이더넷 카드로 쓰는 방법 [1]
11352정성태11/14/201726342사물인터넷: 4. Samba를 이용해 윈도우와 Raspberry Pi간의 파일 교환 [1]
11351정성태11/7/201728453.NET Framework: 698. C# 컴파일러 대신 직접 구현하는 비동기(async/await) 코드 [6]파일 다운로드1
11350정성태11/1/201724995디버깅 기술: 108. windbg 분석 사례 - Redis 서버로의 호출을 기다리면서 hang 현상 발생
11349정성태10/31/201725856디버깅 기술: 107. windbg - x64 SOS 확장의 !clrstack 명령어가 출력하는 Child SP 값의 의미 [1]파일 다운로드1
11348정성태10/31/201721388디버깅 기술: 106. windbg - x64 역어셈블 코드에서 닷넷 메서드 호출의 인자를 확인하는 방법
11347정성태10/28/201725622오류 유형: 424. Visual Studio - "클래스 다이어그램 보기" 시 "작업을 완료할 수 없습니다. 해당 인터페이스를 지원하지 않습니다." 오류 발생
... [106]  107  108  109  110  111  112  113  114  115  116  117  118  119  120  ...