printf("%d %d %d %d %d\n", j++, j++,j++, j , j++);

글쓴이: MOKUJIN / 작성시간: 목, 2015/11/19 - 3:15오후

프로그래밍 배우는 학생입니다.

호기심에 이런 코드를 써보았는데요.

결과값이 왜 이렇게 나오는지 궁금해서 질문합니다.

j=0;
printf("%d %d %d %d %d\n", j++, j++,j++, j , j++);
VS2013 : 3 2 1 4 0
맥10.11 : 0 1 2 3 3
gcc4.6.3 : 0 1 2 4 3

j = 0;
printf("%d %d %d\n", ++j, j++, j);
VS2013 : 2 0 2
맥10.11 : 1 1 2
gcc4.6.3 : 2 1 2

결과가 다 다른데 왜 이런지 궁금합니다.
각 컴파일러마다 규칙을 대강 알 것 같기는 합니다.
근데 이렇게 달라도 되는건가요?

Forums:

프로그래밍 QnA

댓글 달기

제가 읽은 Effective C++에 의하면 C++

글쓴이: twinwings / 작성시간: 목, 2015/11/19 - 3:36오후

제가 읽은 Effective C++에 의하면 C++ 언어 명세서상

함수의 패러미터를 순서대로 호출(혹은 평가)하라는 규칙은 없습니다.

호출순서의 자유도를 줘서 컴파일러가 최적화를 하는데 최대한 자유를 주는 것이죠.

그래서 이런 예제 코드도 있습니다.

simple_class obj1;
smart_pointer sm(obj1);
 
function_call(sm);

simple_class obj1;
function_call(smart_pointer(obj1));

첫번째가 안전한 코드이고 두번째가 리소스 유출이 일어날 수 있는

안좋은 코드라고 설명을 하죠.

그리고 심지어 MS Windows같은 경우 함수의 인자를 스택에 쌓고 호출(평가)하는 방식도

__stdcall, __cdecl로 두가지가 있습니다.

답글

http://imssosso.tistory.com/1

글쓴이: twinwings / 작성시간: 목, 2015/11/19 - 3:37오후

http://imssosso.tistory.com/15

여기에 책의 내용이 인용되어 있네요.

답글

...

글쓴이: jick / 작성시간: 목, 2015/11/19 - 3:48오후

표준에 따르면 함수를 부를 때 어느 인자를 먼저 계산하는지는 unspecified라고 합니다. (무시무시한 undefined behavior와는 좀 다릅니다.)

쉽게 말하자면 "컴파일러 마음대로 결정할 것이므로 절대 가정하지 말 것"입니다. 똑같은 컴파일러가 첫째줄에서는 첫번째 인자를 먼저 계산하고 다음 줄에서는 두번째 인자부터 계산할 수도 있습니다. 똑같은 컴파일러에서 최적화 옵션만 바꿔도 결과가 달라질 수 있습니다.

답글

이렇게 나오네요.

글쓴이: shint / 작성시간: 목, 2015/11/19 - 3:55오후

codepad
3 2 1 4 0
2 0 2

DevC++ (윈도우XP 홈. 서비스팩 없슴. 32비트)
3 2 1 4 0
2 0 2

----------------------------------------------------------------------------
젊음'은 모든것을 가능하게 만든다.

매일 1억명이 사용하는 프로그램을 함께 만들어보고 싶습니다.
정규 근로 시간을 지키는. 야근 없는 회사와 거래합니다.

각 분야별. 좋은 책'이나 사이트' 블로그' 링크 소개 받습니다. shintx@naver.com

답글

감사합니다.

글쓴이: MOKUJIN / 작성시간: 목, 2015/11/19 - 5:58오후

프로그램 중 원하지 않는 결과가 나와서 보았더니 컴파일러 특성 때문이었군요. 저 코드에서 맥의 경우는 이해가 가지만 다른 컴파일러는 왜 저렇게 해놨을지 궁금하네요 ㅋㅋ

답글

함수 파라메터 전체에 대해 함수 호출전에 시퀸스

글쓴이: 익명 사용자 / 작성시간: 금, 2015/11/20 - 11:15오후

함수 파라메터 전체에 대해 함수 호출전에 시퀸스 포인트가 있지
각각의 매개변수마다 있는게 아니므로,
undefined behavior가 맞을 겁니다.
두 시퀸스 포인트 사이에 동일객체가 두번 수정되면... 이하생략

물론 각 매개변수의 평가순서는 unspecified가 맞습니다.

답글

댓글 달기

이름

제목

댓글 *

텍스트 포맷에 대한 자세한 정보

텍스트 양식

Filtered HTML

텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

BBCode

텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param>
web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.

Textile

다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
You can use Textile markup to format text.
사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Markdown

다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
Quick Tips:
- Two or more spaces at a line's end = Line break
- Double returns = Paragraph
- *Single asterisks* or _single underscores_ = Emphasis
- **Double** or __double__ = Strong
- This is [a link](http://the.link.example.com "The optional title text")
For complete details on the Markdown syntax, see the Markdown documentation and Markdown Extra documentation for tables, footnotes, and more.
web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>

Plain text

HTML 태그를 사용할 수 없습니다.
web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
줄과 단락은 자동으로 분리됩니다.

CAPTCHA

이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.

부 메뉴