c언어) 대입연산에서 postfix와 prefix의 계산 방식 차이를 잘 모르겠어요

Question

안녕하세요 c언어 공부하고 있는 학생입니다!다름이 아니라 여러 내용들을 공부하면서 postfix와 prefix의 계산 방식을 이해했다고 생각했는데책에 나와있는 코드를 살짝 변형해서 작성하던 중 예상했던 값과는 결과가 달라서 구체적으로 알아보고자 예제를 작성해서 비교해보니 값이 의아해서 질문드려요!#include int main() { int a=10; for (int i=0; i<5; ++i) a=1 ? ++a : a; printf("%d ", a); // 15 출력 }위와 같이 prefix를 이용한 연산에서는 예측대로 a의 값은 15가 출력이 되는데#include int main() { int a=10; for (int i=0; i<5; ++i) a=1 ? a++ : a; printf("%d ", a); // 10 출력 }postfix를 이용한 연산에서는 a가 10이 출력되네요...문제의 a=1 ? a++ : a; 식은 a=a++; 연산과 같고, 이는 식 자체는 어색하지만 "a의 값을 a에 대입한 다음 a의 값을 증가시켜라"라는 의미 아닌가용? lifetime도 문제가 없어보이고어쨌든 a의 값이 증가되기는 해야한다고 생각하는데 변함없이 10이 출력되는 이유가 궁금합니다.

bot99 · Accepted Answer

해당 동작을 이해하기 위해서는 undefined behavior와 side effect, sequence point에 대해 알아야 합니다.이에 대해 간단히 설명하자면, side effect는 컴퓨터 상태를 변화시키는 어떤 동작을 뜻하며, 그 중 하나는 메모리상의 객체가 실질적으로 값이 변경되는 동작입니다. 그리고 이 side effect가 모두 종료되는 것이 보장되는 시점을 sequence point라고 합니다. 어떤 수식이 있을 때, 그 이전 sequence point와 그 이후 sequence point 사이에서 각각의 side effect의 적용 시점은 정해져 있지 않은 경우가 대부분이고, 따라서 두 sequence point 사이에서 같은 객체를 두번 변경하거나, 한번 쓰면서 읽은 값을 그 쓰기에 사용하지 않는 것은 undefined behavior를 가집니다. a&#61;1 ? &#43;&#43;a : a;일단 삼항연산자는 ?와 ;에 sequence point가 있습니다. 하지만 위 코드에서는 조건식 안에 객체의 값을 변경하는 side effect가 없으므로, 여기서는 중요하지 않고, 결과적으로는 a&#61;&#43;&#43;a; 와 같아집니다.위 코드에서 이루어지는 주요한 동작들은 다음과 같은데, 이 동작들이 이루어지는 순서가 문제가 됩니다.변수 a의 값을 레지스터 t로 읽어들임t의 값을 1 증가시킴대입연산자의 우변의 값을 계산함메모리상의 객체 a의 값을 1 증가시키거나, 레지스터 t의 값을 a로 복사(side effect)대입연산자의 좌변이 가리키는 객체에 우변의 결과값을 대입(side effect)우리가 가지는 일반적인 기대는, 대입연산자 우변에서의 작업이 모두 종료된 다음에 대입이 이루어지거나, 혹은 적어도 이 사이에 어떤 순서가 있는 것입니다. 하지만 C99와 C&#43;&#43;11 이전의 C&#43;&#43;에서는 세미콜론 ; 부분에 sequence point가 존재하므로, 변수 a의 값이 변경되는 동작이 꼭 대입 이전 또는 이후에 일어난다고 보장할 필요가 없습니다. 따라서 메모리상의 실제 객체 a에 쓰기라는 side effect가 일어나는 순서에 따라, 여러가지 결과가 가능해집니다. 이것이 해당 수식이 undefined behavior인 이유입니다.C&#43;&#43;11에서는 다소 미묘합니다. 대입연산자 우변의 결과값을 평가한 이후에 대입이 이루어지므로, a &#61; &#43;&#43;a; 는 적법하나 a &#61; a&#43;&#43;; 는 undefined behavior를 가집니다.C&#43;&#43;17에서는 대입 연산자의 우변이 좌변보다 먼저 처리된다는 순서가 보장이 되므로, 둘 다 적법한 수식이 됩니다.이에 대한 좀 더 자세한 설명은 다음 링크를 참조하십시오.https://stackoverflow.com/questions/47702220/what-made-i-i-1-legal-in-c17

honolulu · Answer

미묘한 경우인데,a의 임시값인 10이 잠깐 레지스터 저장되고 a++ 이 계산된 후 11이 되어 a에 저장 됩니다. 그 후에 임시값인 10이 다시 a 에 저장되어 계속 10이 되는 현상이 생깁니다.

엡실론 · Answer

c언어에서 a=a++은 어떤 결과가 나타날지 알 수 없습니다. 증가가 대입 연산 전에 일어나는지 후에 일어나는지 표준에 명확히 정의된 바가 없습니다. 따라서 10이 나올 수도 있고 11이 나올 수도 있습니다.마찬가지로 a + a++, a + ++a 와 같은 식도 어떤 결과가 나타날지 알 수 없습니다.

c언어) 대입연산에서 postfix와 prefix의 계산 방식 차이를 잘 모르겠어요

3개의 답변

Q&A 목록