clang++编译执行未调用的不可达函数，g++无此现象的原因探究

核心根源：空死循环的未定义行为（UB） + 编译器优化策略不同 #

1. C++标准的关键规定 #

C++标准里明确：没有任何可观测行为的无限循环属于未定义行为（UB）。这里的可观测行为指的是IO操作、修改volatile变量、调用有实际作用的函数这类能被外部感知的操作。你写的while(1);就是个完全空的循环，啥也不干，所以编译器想怎么处理它都行——包括直接删掉这个循环。

2. 两款编译器的具体表现 #

• Clang的操作：Clang哪怕在默认编译模式下，也会把这个空死循环判定为未定义行为直接优化掉。这下main函数执行到循环的位置就直接跳过，然后main函数返回。而程序的指令在内存里是按顺序放的，unreachable函数的机器码刚好紧跟在main后面，CPU执行完main后就会顺着指令流跑到unreachable的代码里，自然就输出了"Hello World!"。
• G++的操作：G++在默认编译级别下没对这个空死循环做优化，程序就一直卡在while(1);里死循环，永远碰不到unreachable的代码，所以啥输出也没有。

3. 可以验证的细节 #

• 给Clang加-O0参数关闭优化，它就会保留这个死循环，程序不会有任何输出；
• 给G++加-O2参数开启优化，它也会删掉空死循环，unreachable函数同样会被执行；
• 要是给循环加个可观测行为，比如while(1) { volatile int x; x++; }，这时候循环就不属于未定义行为了，编译器会保留它，不管Clang还是G++都不会执行unreachable。

内容的提问来源于stack exchange，提问作者MrKleeblatt