---

※ 引述《STAV72 (刁民黨黨務主委)》之銘言：
: https://i.imgur.com/NLPJc6B.jpg
: 科學家：讚啦！有用了！
: 教授：很好，讓我們看看是如何作用跟怎麼作用！
: 碼農：讚啦！跑起來了！
: 主管：別再碰它，沒人知道會不會無預警當掉。
: 寫程式真的這麼邪門嗎？
:

初五開工
這邊用C++給大家玩一個小遊戲
一個hello world等級的小程式

#include<iostream>

using namespace std;

int main() {
  int i = 1;
  cout << i++ <<" "<< i-- << " " << i--;
  return 0;
}


A得到結果:  1 2 1
B得到結果: -1 0 1

A的結果對於有C/C++基礎的人
蠻直覺的正確(?)
但是B怎麼感覺先做了兩次i--在輸出
https://i.imgur.com/ooLD9nN.png
思考一下
























當你想要說標題上面說的"邪門"
現在我要告訴你


A用的可能是比較新的編譯器
B用的可能是比較舊的編譯器 並且運氣不好

如果B用的是比較舊的編譯器
並且運氣很好
他會得到跟A一樣的結果

因為
同行出現 i++ 與 i 與 << 的operator
此行為在C++17以前為:

Undefined Behavior

簡稱UB 中文翻譯是"未定義"行為
但我們常稱UB
也就是語言規格書
沒有規範輸出結果會怎樣

所以會有怎樣的結果
全部由編譯器設計者團隊決定(或者無法決定)
今天這個例子 用白話文說就是:
同一行中 i++與i--與<< 的順序都沒有定義 由編譯器開發者決定

所以B今天從GCC改成Clang
且都是指定C++14或C++11或C++98的情況下
可能會得到一樣的結果
或者說B預期跟A結果一樣
比較符合直覺的 1 2 1



參考資料 有興趣可以去看看
[C++17規格書]
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2017/n4713.pdf
[Jserv說UB，大推，也有YT影片]
https://hackmd.io/@sysprog/c-undefined-behavior


以下實作收尾


GCC 6.3沒有完整的支援C++17
所以可能得到-1 0 1
這邊是B運氣不好的狀況
https://i.imgur.com/Y9KzLyY.png

GCC 7.0以後完整的支援C++17
所以是符合預期的1 2 1
這邊可能是A的狀況
https://i.imgur.com/CoyEEU1.png

然後clang 5.3沒有完整的支援C++17
卻得到符合預期的1 2 1
並且有丟出警告
這邊可能是A的狀況
也可能是B運氣好的狀況
https://i.imgur.com/z0z125n.png


結論:

0. 其實不能說是邪門，是C++語言規格書沒有看完(?)
1. 歡迎加入clang/llvm的陣營 編譯器提示比較好
2. 請放棄C++這種過時的語言 加入rust/llvm
   (其實rust也有一些少數的UB 其他程式也有)
   有句話這麼說:
   Rewriting everything with rust!
3. 其他程式語言 多少也有這種UB
   然後C/C++這種底層的東西
   有些python程式也會摳它
   自然繼承了UB
   所以在說程式邪門之前
   是否這個邪門
   是這個所謂的UB所造成的呢?



--
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.24.212.214 (臺灣)
※ 作者: dzwei 2023-01-26 17:07:50
※ 文章代碼(AID): #1ZqaBhs4 (C_Chat)
※ 文章網址: https://www.ptt.cc/bbs/C_Chat/M.1674724075.A.D84.html