C 中透過空指標呼叫方法的意外行為

在提供的程式碼片段中，透過空指標呼叫方法，但令人驚訝的是，該方法呼叫似乎執行時沒有崩潰。這種不尋常的行為提出了一個問題：這是 C 標準允許的還是只是實現最佳化？

解釋在於 C 中方法呼叫的本質。當呼叫物件的方法時，編譯器知道該物件的類型，因此知道要執行的方法的位址。在這種情況下，指標的類型是已知的（即使它的值為空），因此編譯器仍然可以確定方法的位址。

關鍵的是，被呼叫的方法（show）不會存取物件的位址狀態（由 this 指標表示）。因此，即使該方法所操作的物件未初始化，該方法的執行也會如預期進行。

雖然此行為看起來出乎意料，但它不符合標準。 C 標準明確指出，透過空指標存取成員會導致未定義的行為。但是，某些編譯器可能會透過跳過空指標檢查並直接呼叫方法來最佳化此類呼叫。

這種最佳化以安全換取效率，因為它允許方法呼叫執行，即使它們不打算執行。雖然它可能在執行過程中節省一些時間，但它引入了潛在的微妙錯誤和未定義行為。

因此，建議在存取物件成員之前始終檢查空指針，以確保正確且可預測的程式行為。