推 drkkimo:那請問就是合參數推入堆疊的順序無關摟？ THX:) 07/24 04:16
推 cole945:沒直接關係@.@" 07/24 04:20
→ cole945:因為由右而左丟..所以compiler順手由右而左計算吧 orz 07/24 04:22
→ drkkimo:mm.. thx~ 07/24 04:24
※ 編輯: cole945 來自: 220.139.137.172 (07/24 16:28)
呃..我推文推的怪怪的
所以我還是用回的重講一次 :X
首先先回答你的問題..
印出的值為何是依編譯器而異..
C99 6.5.2.2 Function calls 第10點
與 C++03標準 5.2.2 Function call 第8點
都說呼叫時參數的演算順序(order of evaluation)
是沒有明定的(unspecified)但是在正真的呼叫發生前..
這些變數演算會先計算完成...
printf( "%d %d %d %d", ++i, ++i, ++i, i-- );
也就是說..只能確定在呼叫printf前..這些 ++i, i-- 會計算完畢..
可是他是由左而右還是由右而左沒有固定的計算順序..
然後我說的由右而左(right-to-left)丟參數講的不夠精確 :X
一般且言 C/C++ compiler 都是使用 cdecl 這個calling convention..
原因之一是因為 C/C++ 支援不定長度的參數..
而被呼叫的function不知道參數有多少個..
若right-to-left將參數push進stack..
那麼stack的最上方就是第一個參數..
這是因為 C/C++ 的特性使然..
若使用錯誤的calling convention呼叫程式會爛掉..
不過spec中似乎也沒明言是不是一定要這樣丟(??)這要請其他前輩解釋...
然後關於calling convention 有篇文章
Intel x86 Function-call Conventions - Assembly View
http://www.unixwiz.net/techtips/win32-callconv-asm.html
蠻有意思的..可以看看...
關於其他calling convention可以參考wikipedia
http://en.wikipedia.org/wiki/Calling_convention
--
補充..我後半段講的東西可能會讓人混淆..
push的順序和計算的順序沒有直接關係..
只是用相同的順序比較容易處理..
所以大部份的C/C++compiler也採用相同的順序..
但spec並沒有要求演算順序為何..
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.138.145.145