J & J - 정성태의 닷넷 이야기

사용자

메뉴

최근 덧글

[정성태] VT sequences to "CONOUT$" vs. STD_O...[정성태] NetCoreDbg is a managed code debugg...[정성태] Evaluating tail call elimination in...[정성태] What’s new in System.Text.Json in ....[정성태] What's new in .NET 9: Cryptography ...[정성태] 아... 제시해 주신 "https://akrzemi1.wordp...[정성태] 다시 질문을 정리할 필요가 있을 것 같습니다. 제가 본문에...[이승준] 완전히 잘못 짚었습니다. 댓글 지우고 싶네요. 검색을 해보...[정성태] 우선 답글 감사합니다. ^^ 그런데, 사실 저 예제는 (g...[이승준] 수정이 안되어서... byteArray는 BYTE* 타입입니다...

글쓰기

제목

이름

암호

전자우편

HTML

홈페이지

유형

내용

<div style='display: inline'>
<h1 style='font-family: Malgun Gothic, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>C# - 전위/후위 증감 연산자에 대한 오버로딩 구현</h1>

질문이 있어서, ^^ 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
후위 증감 연산자 오버로딩 방법 좀 알려주세요
; <a target='tab' href='https://www.sysnet.pe.kr/3/0/5389'>https://www.sysnet.pe.kr/3/0/5389</a>
</pre>
 
답변을 정리해 봅니다. 
 
우선, C#은 Increment / Decrement 연산자(Operator)에 대해 Overloading을 지원합니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
Overloadable operators
; <a target='tab' href='https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/operators/operator-overloading#overloadable-operators'>https://learn.microsoft.com/en-us/dotnet/csharp/language-reference/operators/operator-overloading#overloadable-operators</a>
</pre>
 
구현하기 전에, 증감 연산자에 대한 Prefix/Postfix 표현의 구현 방식을 비교해 설명할 필요가 있습니다. (어차피 증감 연산자의 구현 방식은 동일하므로, 이 글에서는 ++ 연산자에 대한 예제만 다루겠습니다.) 
 
우선, Prefix-Increment의 경우 내부적인 구현은 다음과 같이 이뤄집니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
int n = 5;
int value = ++ n;

==&gt;

int n = 5;
n = n + 1; // 값을 증가시키고,
int value = n; // 이후에 대입 (결과적으로 증가된 값으로 대입)
</pre>
 
반면 Postfix-Increment의 경우는 살짝 다릅니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
int n = 5;
int value = n ++;

==&gt;

int n = 5;
int value = n; // 값을 먼저 대입하고,
n = n + 1; // 이후에 증가 (결과적으로 증가되지 않은 값을 대입)
</pre>
 
자, 그럼 여기 질문자가 (아마도) 구현했을 잘못된 오버로딩 예제를 보겠습니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
public class Integer
{
 int _value;

public Integer(int value)
    {
        _value = value;
    }

public static Integer operator ++(Integer instance)
 {
 instance._value++;
 return instance;
 }

public override string ToString()
 {
 return _value.ToString();
 }
}
</pre>
 
위와 같이 해서, 전/후위 대입을 해보면, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
{
 Integer n = new Integer(5);
 Integer value = n++;
 Console.WriteLine(value); // 출력 결과: 6
}

{
 Integer n = new Integer(5);
 Integer value = ++n;
 Console.WriteLine(value); // 출력 결과: 6
}
</pre>
 
차이점이 없습니다. 혹시 원인을 발견하셨나요? 
 
<hr style='width: 50%' /> 
 
이 문제를 수정하려면, 2가지 방식이 있습니다. 첫 번째는, 해당 타입을 struct로 바꾸면 됩니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
public struct Integer
{
 // ...[생략]...
}
</pre>
 
값 형식으로 바뀌었기 때문에, "n ++"과 "++ n"에 대한 연산에서, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
// struct Integer인 경우

{   // Integer value = n ++;

Integer value = n; // struct이므로 값 복사 발생
 n = n + 1; // value의 값에 영향을 주지 않음
}

{   // Integer value = ++ n;

n = n + 1; // n 자체의 값이 증가 후,
 value = n; // 값 복사가 되었으므로 value 값에 반영 
}
</pre>
 
각각 풀어진 코드를 보면 정상적으로 동작하게 되는 이유를 알 수 있습니다. 위의 코드를 보면, class로 구현했을 때는 왜 비정상적인 동작을 했는지도, 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
// class Integer인 경우

{   // Integer value = n ++;

Integer value = n; // class이므로 참조 복사 발생
 n = n + 1; // n의 값이 바뀌지만 참조를 유지하는 value에도 영향
}

{   // Integer value = ++ n;

n = n + 1; // n의 값이 증가 후,
 value = n; // value로 참조 복사
}
</pre>
 
이해가 됩니다. 그렇다면, struct로 바꾸는 것이 여의치 않는 타입이라면 어떻게 해야 할까요? 그런 경우라면, ++ 연산자를 재정의하는 코드를 다음과 같이 바꿔야 합니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
public class Integer
{
 // ...[생략]...

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

// ...[생략]...
}
</pre>
 
보는 바와 같이 새로운 인스턴스를 생성해 반환하는 식이므로, 이제 전/후의 표기에 따른 영향이 반영됩니다. 
 
<pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; background-color: #fbedbb; overflow: auto; font-family: Consolas, Verdana;' >
{ // Integer value = n ++;

Integer value = n; // n의 복사본에 대한 참조가 대입되었고,
 n = n + 1; // n의 값은 변경되지만 value에는 영향을 주지 않음
}

{   // Integer value = ++ n;

n = n + 1; // n의 값이 증가 후,
 value = n; // value에 대입되므로 증가된 값 반영
}
</pre>
 
<hr style='width: 50%' /> 
 
정리해 보면, 결국 이것도 "값 형식"과 "참조 형식"에 대한 이해를 필요로 하는 문제였던 것입니다. 그리고, 웹상에 있는 C# 자료들이 대체로 연산자 재정의를 할 때 대상 인스턴스의 값을 직접 바꾸지 않고 (불변immutable 타입 다루듯이) 또 다른 인스턴스를 생성해 변경하는 식으로 구현하는 이유가 바로 value/ref 타입의 차이점에 기인합니다. 
 
어쨌든, 이 글에서는 2가지 방식으로 구현을 했지만 struct/class의 차이점에 영향을 받지 않는 두 번째 방법을 더 권장합니다. 
 
(<a target='tab' href='https://www.sysnet.pe.kr/bbs/DownloadAttachment.aspx?fid=1628&boardid=331301885'>첨부 파일은 이 글의 예제 코드를 포함</a>합니다.)

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

</div>

첨부파일

스팸 방지용 인증 번호

1967 (왼쪽의 숫자를 입력해야 합니다.)