c函數參數評估和傳遞

Question

我有一個很小的代碼，但我無法得到爲什麼輸出是這樣的。
這

#include <stdio.h> 

int f(int i, int j, int k); 

int main(int argc, char const *argv[]) 
{ 
    int a; 
    printf("enter a\n"); 
    scanf("%d",&a); 
    f(a,a++,a++); 
    printf("%d \n",a); 
    return 0; 
} 

int f(int i, int j, int k) 
{ 
    printf("function arguments \n"); 
    printf("%d %d %d\n",i,j,k); 
} 

輸入：4
輸出：6 5 4

Answer 1

中所標示的重複接受的答案不正確。

---

f(a,a++,a++); 

原因未定義行爲。它試圖修改參數a而沒有中間的順序點。此外，重要的是要注意函數參數的評估順序是未指定。它可以是：

• 從左向右或
• 右至左或
• 任何神奇的順序編譯器選擇。

---

如果你正在使用gcc，你可以使用警示標誌-wsequence-point向您發出警告序列點相關的不確定的行爲。

---

在GCC如果你在嚴格的警告級別編譯程序，編譯器會給你這個診斷：

prog.c:10:18: error: operation on ‘a’ may be undefined [-Werror=sequence-point]
prog.c:10:18: error: operation on ‘a’ may be undefined [-Werror=sequence-point]

---

參考：

C99標準§6.5 .2.2：
第10段：

The order of evaluation of the function designator, the actual arguments, and subexpressions within the actual arguments is unspecified, but there is a sequence point before the actual call.

注意，報價僅說有實際的函數調用前序列來看，它並不意味着存在的子表達式參數評價之間的序列點。

Answer 2

f(a,a++,a++);似乎是未定義的行爲，因爲：

If a side effect on a scalar object is unsequenced relative to either a different side effect on the same scalar object or a value computation using the value of the same scalar object, the behavior is undefined. If there are multiple allowable orderings of the subexpressions of an expression, the behavior is undefined if such an unsequenced side effect occurs in any of the orderings.

當您使用未定義的行爲，沒有從C標準要求。