m = (++i) + (++i) 에 대한 고찰....

───────────────────────────────────────
#26     Pooh    (석원홍  )
[아시는 분]간단한 계산                                       08/19 19:16     6

#include <stdio.h>

int main()
{
int i = 0;
int m = 0;
m = (++i)+(++i);

printf("%d",m);
}

과연 결과는 한 번 쯤 생각해 보구요..^^;.







결과는 4가 나오네요..ㅠㅠ..3을 예상했는데요.(리눅스에서)

그런데 다른 분이 솔라리스에서 같은 버젼에 gcc에서

컴파일하니..3이 나왔다고 하네요..


어떤 게시판에서 본 건데...저런 식으로 사용은 거의(?)
되지 않지만, 저런 질문이 흥미롭긴 한데..

어떻게 알야내야 할지...^^;.

오늘도 좋은 하루..











#27     lovydayz(이근호  )
미테 문제  풀이잡설...                                       08/20 20:02     6
일단 결론부터 말씀드리면...

컴파일러의 지능(?)차이라고...

일단 3이 나온놈이 한갑자 높은놈이라 생각하심이...

왜인지는 밑에를 쭈욱 봐주세요 ^^


연산자 우선순위로 봤을때...

()먼저... ++ ... 그담이 + 가 되겠슴다....

즉... ++i == 1.... 두번째 ++i 에서 2...

즉 1+2 = 3이 되어야 코드를 짠사람의 의도라고 할수 있겠는데...

(내 맘대로 추측한건가 ㅡㅡ;;;)



일반적인 컴파일러 결과는 조금 다르져...

(여기서 일반적이라 함은 원홍이 행님이 한것과 내가 VC6++에서 테스트한것)

몇가지 실험을 해보면...

(++i) + (--i) == 0
(++i) + (  i) == 2
(++i) + (++i) == 4
(  i) + (++i) == 2
(--i) + (++i) == 0

5가지 경우를 비교했을때...알수있는건...

괄호의 유무와 연산자의 결합우선순위와 상관없이...

같은 라인에 있는 같은변수를 ++ -- 하는 연산은...

서로 각각 처리가 됨을 알수 있습니다.



왜 이렇게 되는지 이해하려면 디스어셈블한 코드를

살짜기 보면 쉽게 알수있는데

(어셈을 제대로 공부한게 아니고 후루꾸로 해서

  제대로는 못합니다 ㅡㅡ;; 감안해줘요)


8:        m = (++i) + (++i);
00401036   mov         eax,dword ptr [ebp-8]
00401039   add         eax,1
0040103C   mov         dword ptr [ebp-8],eax
eax레지스테어 i의 주소를 넣고.. 1을 더해주죠...
그담에 다시 i에다가 값을 넘깁니다.

0040103F   mov         ecx,dword ptr [ebp-8]
00401042   add         ecx,1
00401045   mov         dword ptr [ebp-8],ecx
ecx에 i의 주소를 넘기고 1증가시키고...다시 i에 넣고
위에랑 똑같은데 레지스터만 ecx써  

00401048   mov         edx,dword ptr [ebp-8]
edx에 i의 주소를 넘기구요...

0040104B   add         edx,dword ptr [ebp-8]
요기가 압권!!!
즉 i + i 에서 뿌라스 기호 부분인데...
현재i는 2인데...이놈을 edx에 다시 더해서..
즉 4 ㅡㅡ;;; 여기서 바로 4가 나오는 이유가 밝혀진것임다...으흐흐흐

0040104E   mov         dword ptr [ebp-4],edx
이게 마지막의 m = 이 구문..


즉.... 한라인에서 대입문에 들어가는 연산문에서 (말이 좀 어렵네 ㅡㅡ;;)

i의 주소를 바탕으로 각각의 증가(++) 감소(--)연산자는 제대로 연산이 되지만

마지막에 인자의 합을 더하는 부분에서...

주소를 통해 합이 도출되기   문에...

4가 나온다는 말씀이 되겠슴다.


그럼 3이 나온놈은 무엇이냐 ... 대강은 짐작하셨겠지만...

(아직 3이 나온놈을 디스어셈블 못해봐서 뭐라 말하기는 그렇지만...)

컴파일러에서 바이너리코드를 생성할때...

새로운 레지스터를 등록해서 eax, ecx를 더해서...

그걸 edx에 넘겨주는걸로 사료됩니다.

그렇게 하면 3이 나오겠죠 ^^



역시 심오한 C ^^

이샹 =3=3=3=3=3