關於 Undefined Behavior 這件事...

本篇文章我在以前的 Blogspot 有寫過，不過沒什麼點閱率 QAQ
現在好不容易這裡有一些觀看
再加上前陣子也有看到 Undefined Behavior 寫法被討論
我就把舊文章移植過來，順便把語病、說法做個修正

前幾天在看FB的文章時，看到了一篇貼文

第八題不會有太大的問題 6*6*6=216 第九題，答案是多少？

那篇貼文討論蠻熱烈的～（可是這讓我有點擔心……）一般人第一個直覺是把++n算完後代入x，就會變成6*6*6=216，可是沒有在選項內……？那就來執行一次看看吧

統一以這份 Code 執行

#include<cstdio>
using namespace std;
#define CUBE(x) x*x*x
int main()
{
    int n = 5;
    printf("%d\n", CUBE(++n));
    return 0;
}

用兩個較主流的編譯器，GNU G++ 跟 Clang（MSVC++ 表示：…）

GNU G++
#

編譯參數：g++ -Wall -O2 -std=c++14 a.cpp

輸出結果 392

那第九題答案就是 (D)，真相大白 . . . . . . 答案真的那麼簡單？來看看 Clang 結果吧！

Clang
#

編譯參數：clang -Wall -O2 -std=c++14 a.cpp

等一下！竟然是 336？

這個就是所謂的 UB（Undefined Behavior）未定義行為照理說，同個語言，不同編譯器，執行結果一定要一樣

這個跟運算的優先順序有點關係，每個運算子在 C/C++ 的優先順序這有點像是遊戲規則，大規則方向有訂好

但是有些規則並沒有規定誰先誰後自己編譯器就自己規定，反正只要照著大方向就好

像是 GNU G++ 的結果：

第一個數字 ++N 確實變成 $6$ 乘法優先運算子低 把 $N$ 排入等待運算 第二個數字又把 $N$ 加上 $1$ 第一個數字被連帶影響第一個跟第二個數字相乘就變成 $7 \times 7 = 49$ 把 $49$ 排入等待運算第三個數字又把 $N$ 加上 $1$ $N$ 變成 $8$ $49 \times 8 = 392$

以上為對 GNU G++ 的個人見解

Clang 結果：

第一個數字 ++N 確實變成 $6$ 乘法優先運算子低 把 $6$ 排入等待運算 第二個數字又把 $N$ 加上 $1$ 第一個跟第二個數字相乘就變成 $6 \times 7 = 42$ 把 $42$ 排入等待運算第三個數字又把 $N$ 加上 $1$ $N$ 變成 $8$ $42 \times 8 = 336$