c언어 증감연산자 공부 중인 학생인데 모르겠는 부분이 있어 질문 드립니다!

Question

1.int a &#61; 2, b &#61; 5;printf(&#34;%d %d %d
, &#43;&#43;a &#43; b--, a, &#43;&#43;b); // 9 3 5printf(&#34;a &#61; %d, b &#61; %d
, a, b); // a &#61; 3, b &#61; 52.int a &#61; 2, b &#61; 5;printf(&#34;%d %d %d %d
&#34;, b--, b--, b, a &#43; &#43;&#43;b); // 5 6 4 6printf(&#34;a &#61; %d, b &#61; %d
&#34;, a, b); // a &#61; 2, b &#61; 43.int a &#61; 2, b &#61; 5;printf(&#34;%d %d %d %d
&#34;, b--, b--, b, &#43;&#43;b); // 5 6 4 4printf(&#34;a &#61; %d, b &#61; %d
&#34;, a, b); // a &#61; 2, b &#61; 41, 2, 3번 문제가 비주얼스튜디오 돌렸을 때 주석처리한 부분과 같이 답이 나왔습니다.이렇게 하나의 코드 내에 여러 개의 증감연산자가 있을 경우 어떻게 해석하고 컴파일해서 저런 결과가 나온 것인지 모르겠습니다.도움 주시면 감사하겠습니다!

Clickin · Answer

개인적으로 증감 연산자 섞어놓고 연습문제랍시고 내놓는 책들은 퇴출되어야한다고 생각합니다.뭐가 먼저 실행되는지는 표준에 정의되지 않은 동작이다보니 컴파일러마다 혹은 os마다 동작이 다를 수 있습니다. 윈도우 비주얼 스튜디오에서 컴파일한 결과물과 리눅스 gcc 에서 컴파일한 결과물이 다를 수 있으니 책에서 컴파일한 환경과 완벽하게 동일하게 맞추지 않는 이상 동일한 답이 나온다고 보장할 수 없습니더.증감 연산자는 정의만 잘 기억해두시고 섞어쓰면 안된다고 명심하시는 게 좋겠습니다.

배고프고가난한백수 · Answer

저 코드 출력이 주석과 같았다고요? 뭘 잘못 쓰신 것 같은데요그래도 일단 질문에 대해 답을 드리자면증감연산자가 앞에 붙은 경우에는 증감연산을 먼저 해주고 해당 식이 실행된다고 보시면 되고 뒤에 붙은 경우에는 해당 식을 먼저 실행한 다음 증감연산이 된다고 보시면 됩니다.전 잘 몰랐는데 위에 분께서 댓글로 환경마다 동작이 다를 수 있다고 하시네요. 일단은 이 정도로만 알고 있어도 아주 큰 문제는 없을 듯 합니다.

언리얼 · Answer

보통 파라메터 evaluation 뒤부터 하고 스택에 넣는데 연산순서가 전위->산술->후위근데 문제 개더럽네.. 디스어셈블 해서 확인해보세요

JethroHolic · Answer

다른 분도 설명해주셨지만,표준 상으로는 undefined behavior 이여서 명확하게 답을 지을 수 없습니다. (사용하는 컴파일러에 따라 달라집니다)

defult · Answer

솔찍히 이 문제가 정상적인 문제로써 작동하려면 컴파일러종류, 컴파일러버전, 해당 컴파일러를 작동시킬 OS까지 확정지어고 제출하는 문제가 아닌이상출제자가 생각하는 답을 유추해서 적으라에 가까운 문제입니다...

yejin · Answer

댓글 쭉 읽어봤는데 문제가 이상한 문제인 것 같네요 개념만 적당히 공부하고 패스하는 게 좋겠네요 감사합니다ㅜ

bot99 · Answer

이 주제에 대해서는 side effect와 sequence point라는 두 가지 개념에 대해 알고 있어야 합니다. 간단한 주제가 아니므로 검색하여 잘 살펴보시기를 권합니다. 여기에 C/C&#43;&#43;의 차이와 C&#43;&#43; 11부터의 변화까지 얽혀 있어, 쉽게 설명할 문제는 아닙니다. 하지만 결론 자체는 간단합니다.'이런 코드를 쓰지 마세요'side effect는 컴퓨터의 상태를 변화시키는 모든 동작을 뜻하며, 여기에는 메모리에 위치한 변수의 값을 바꾸는 것도 포함됩니다.sequence point는 코드 중에서 위의 side effect가 모두 끝나는게 보장되는 시점을 뜻합니다. 보통 ; &&, || 등이 이에 해당합니다.증감연산자 &#43;&#43;는 전위든 후위든간에 해당 객체의 내용을 수정하는 side effect가 발생합니다. 그런데 그 side effect는 sequence point 이전에 적용된다는 것만 보장되지 언제 적용될지는 아무도 모릅니다. 전위 연산자 &#43;&#43;i조차도, i가 어떤 시점에서 변경이 완료될지는 예측할 수 없습니다.함수 파라메터 f(a, b, c)가 있을 때, 그 평가 순서는 unspecified입니다. 즉 a, b, c 중에 어떤 것부터 평가될지는 아무도 모릅니다(b->a->c 순서라도 상관없습니다). 그러나 일반적인 경향성은 있는데, 보통 c, b, a 순서로 평가하여 집어넣는 경우가 많습니다. 물론, 이는 100% 보장된 것은 아니라서 이에 의존하여 답을 내는 것은 바람직하지 않습니다.일반적으로 메모리에서 변수 값을 CPU의 레지스터로 읽어오는 것은 상대적으로 시간이 오래 걸리기 때문에, 한번 읽어온 변수의 값은 레지스터에서 오래 재활용되는 경향이 있습니다. 사실 이런 최적화를 더 자유롭게 보장하기 위한 규칙이 위의 sequence point 관련 규칙입니다.두 sequence point 사이에서 동일 객체(변수)는 딱 한번만 변경될 수 있고, 수정하기 전에 읽어들인 값은 새로운 값을 저장하기 위해서만 사용해야 합니다. 그렇지 않은 동작에 대해서는 undefined, 즉 보장하지 않습니다. 따라서 C컴파일러는 그런 동작에 대해 고려하지 않고 최적화를 진행합니다. 이에 대한 고려 없이 변수 값이 변경되는 수식을 작성하면, 제대로 된 동작이 되지 않습니다.a &#61; a&#43;&#43; &#43; &#43;&#43;a; 라는 수식을 살펴봅시다. 여기서는 변수 a를 메모리에서 레지스터로 읽어오는 동작, 메모리 안의 변수 a의 값을 변경하는 동작 등 여러 동작들이 존재합니다. 그런데 그 순서가 정해져 있지 않은 상황에서, 컴파일러는 '두 sequence point 사이에서 동일 객체가 두번 이상 변경되는 일은 없을 것이다'라고 가정하여 안심한채로 a에서 값을 읽어오고 a에 새 값을 쓰는 순서를 최적화(각 동작들의 순서를 변경) 시킵니다. 그 결과 예상하기 힘든 결과값이 나올 수 있습니다. 모든 경우를 다 설명하기는 힘드니, 제시하신 1번 예제의 printf(&#34;%d %d %d
, &#43;&#43;a &#43; b--, a, &#43;&#43;b); // 9 3 5에 대해서만 어떤 가능성을 제시해 보겠습니다.어떤 프로그래머가 기대하는 동작: 1. 메모리 a에서 값 2를 레지스터 A로 읽어들임 2. 레지스터 A의 값을 1 증가(2->3) 3. 레지스터 A의 값을 a에 저장(3) 4. 메모리 b에서 값 5를 레지스터 B로 읽어들임 5. 레지스터 A와 B의 값을 더하여 레지스터 P2에 저장(8) 6. 레지스터 B의 값을 1 감소(5->4) 7. 레지스터 B의 값을 메모리 b에 쓰기(4) 8. 레지스터 A의 값을 레지스터 P3에 저장(3) 9. 레지스터 B의 값을 1 증가(4->5) 10. 레지스터 B의 값을 레지스터 P4에 저장(5) 11. 레지스터 B의 값을 변수 b에 저장(5) 출력: 8, 3, 5 변수값: a &#61; 3, b &#61; 5 하지만 어떤 컴퓨터의 C 컴파일러는, 두 sequence point 사이에서 동일 객체가 두번 이상 변경될 거라고 예상하지 못하기 떄문에 다음과 같이 처리할 수도 있습니다.어떤 컴퓨터가 보일 수 있는 동작: 1. 메모리 a의 값을 레지스터 A에 읽어들임 2. 메모리 b의 값을 레지스터 B에 읽어들임 3. 레지스터 B의 값을 1증가(5->6) 4. 레지스터 A의 값을 1증가(2->3) 5. 레지스터 A와 B의 값을 더해 레지스터 P2에 저장(9) 6, 레지스터 B의 값을 1 감소(6->5) 7. 레지스터 A의 값을 레지스터 P3에 저장(3) 8. 레지스터 B의 값을 레지스터 P4에 저장(5) 9. 레지스터 A의 값을 메모리 a에 저장(3) 10. 레지스터 B의 값을 메모리 b에 저장(5) 출력: 9, 3, 5 변수값: a &#61; 3, b &#61; 5 단, 이는 하나의 열린 가능성 중 하나일 뿐, 반드시 이렇게 동작할거라는 뜻은 아닙니다. 컴파일러의 최적화 방식에 따라 다양한 가능성이 항상 존재합니다. 따라서 이런 sequence point 관련 문제(그리고 unspecifed나 undefined 관련 문제)들에 대해서는 어떤 특정 결과가 왜 나왔는지에 대해 따지는 것은 사실상 무의미하고, 이런걸 연습문제로 풀어봐도 '이래서는 안된다'외에 별다른 교훈을 얻을 수 없습니다. 참고로, C&#43;&#43; 11부터는 대입 연산자의 우변을 평가한 후에 대입이 이루어진다고 명시가 되어서, i &#61; &#43;&#43;i; 정도까지는 undefined가 아니게 되었습니다. C&#43;&#43; 17부터는 우변을 처리 후에 대입이 이루어지므로 i &#61; i&#43;&#43;; 까지도 undefined가 아닙니다. C쪽은 아직 옛날과 같은 것으로 알고 있습니다.

c언어 증감연산자 공부 중인 학생인데 모르겠는 부분이 있어 질문 드립니다!

7개의 답변

Q&A 목록