不同的結果

Question

變化簡單的C代碼：

#include <stdio.h> 

int main() { 
    int arr[] = {1, 2, 3, 4, 5}; 
    int *ptr = arr; 
    printf("%d, %d\n", *ptr, *(++ptr)); 

    return 0; 
} 

編譯用gcc 4.8.2，結果是：

2, 2 

編譯鐺3.4，結果是：

1, 2 

爲什麼會發生這種情況？

Answer 1

調用函數時使用的逗號不包含sequence point。

因此，該代碼*ptr, *(++ptr)調用未定義行爲，因爲它試圖訪問兩次PTR序列點之間，用於其他目的，而不是確定要分配什麼值PTR。

這是通過C11 6.5/2中定義，在下面的亂碼文本：

如果一個標量對象上的副作用是相對於任一 同一標物體上的不同的副作用或一個未測序值 使用相同標量對象的值計算，行爲是未定義的 。如果子表達式的子表達式有多個允許的排序順序，那麼如果在任何排序中出現這種不確定的副作用，則行爲是不確定的。

在我們的情況下，副作用（在*(++ptr)改變PTR與++）相對於相同的對象（*ptr）的值計算是未測序。

由於它是未定義的行爲，任何事情都可能發生。既然你的程序做了「某事」，它的行爲就像預期的一樣（或者說，就像「意外的」）。

此外，函數參數的評估順序未指定，因此無法知道函數調用中的第一個或第二個參數是先評估的。順序不僅可以在編譯器之間不同，而且可以在同一程序中的源代碼行之間有所不同。編譯器可以按照它喜歡的任何順序對它們進行評估，並且它不需要記錄如何。

Answer 2

試試這個：

#include <stdio.h> 

int main() { 
    int arr[] = {1, 2, 3, 4, 5}; 
    int *ptr = arr; 
    printf("%d, %d\n", ptr[0], ptr[1]); 
    /* Or this 
    printf("%d, %d\n", ptr[1], ptr[0]); 
    whichever you meant 
    */ 
    return 0; 
} 

沒有爲函數參數的計算順序，編譯器可以選擇任何他們喜歡的定義的順序。我可以先執行*(++ptr)，然後執行*ptr，這會導致將參數2, 2傳遞給printf，或者反過來導致1, 2傳遞給printf。

Answer 3

printf行中的評估順序未指定，單獨足以允許兩種解釋。

另外，兩個指針訪問之間沒有順序點。這會導致未定義的行爲（請參閱：您的程序可能會崩潰，按預期工作，或將硬盤內容上傳到互聯網，具體取決於當前的星期幾以及您使用的編譯器）。

如果有警告編譯，你會發現以下幾點：

mic@mic-nb $ gcc test.c -std=c11 -Wall -Wextra -pedantic 
test.c: In function ‘main’: 
test.c:6:29: warning: operation on ‘ptr’ may be undefined [-Wsequence-point] 
    printf("%d, %d\n", *ptr, *(++ptr)); 
          ^
mic@mic-nb $ clang test.c -std=c11 -Wall -Wextra -pedantic 
test.c:6:29: warning: unsequenced modification and access to 'ptr' [-Wunsequenced] 
     printf("%d, %d\n", *ptr, *(++ptr)); 
          ~~~ ^
1 warning generated. 

生活提示：請使用-Wall -Wextra -pedantic始終編譯，總是解決所有警告，常常覺得既clang和gcc測試，你就會有很少有錯誤。我甚至將-Werror添加到我的發佈版本配置中。