看智能指針的時候遇到一組函數蠻有意思的，即 checked_delete(T* x) 和 checked_array_delete(T* x)，這兩個函數的作用是安全刪除參數所指向的變量或數組。

template<class T> inline void checked_delete(T* x) { typedef char type_must_be_complete[ sizeof(T)? 1: -1 ]; (void) sizeof(type_must_be_complete); delete x; } template<class T> inline void checked_array_delete(T* x) { typedef char type_must_be_complete[ sizeof(T)? 1: -1 ]; (void) sizeof(type_must_be_complete); delete[] x; }

函數只有最后一行不同，分別調用了 delete 和 delete[] 操作符，順便說一句，在 C/C++ 中指針既可以指向一個變量，也可以指向一個數組，因此這兩個函數僅僅從參數無法區別出來待刪除的是單個變量還是數組，只能由調用者自行保證調用了正確的函數。

函數總共三行語句，第三行是根本目的，很容易理解，前兩行的目的就是為了所謂的安全性了。怎么個安全法呢？這兩個函數是函數模版，在編譯時無法確定參數的類型，而動態運行時的錯誤是比較棘手的，所以用這行代碼：

typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];

來將運行時錯誤轉變為編譯期錯誤。這句話其實就是定義了一個固定大小的 char 型數組，數組名為 type_must_be_complete，數組大小是多少呢？是 sizeof(T)?1:-1， ？：這個三元操作符大家都很熟悉了，若 sizeof(T) 非 0，這個表達式的值為 1，即 typedef 了一個大小為 1 的 char 型數組，否則定義一個大小為 -1 的數組。數組大小還能為負數？當然不能，于是就會報錯，而且是編譯期錯誤，于是就將一個動態運行時錯誤在編譯時就發現了。

接下來解釋 sizeof 什么時候返回 0。 C/C++ 語言本身似乎沒有這種情況，但有些編譯器會作一些擴展，比如 GCC 對于 incomplete type 使用sizeof時，會返回 0。那什么又叫做 incomplete type 呢，就是那些聲明了，但沒有定義的類型，例如：

class A; extern A a;

C++ 標準允許通過一個 delete 表達式刪除指向不完全類的指針。如果該類有一個非平凡的析構函數，或者有一個類相關的 delete 操作符，那么其行為就是無定義的。因此編譯器作了這種擴展，以將這種未定義的行為轉為編譯期錯誤，幫助程序員們及早發現。

函數的第二行語句的作用據說是為了防止編譯器優化，因為編譯器檢測到typedef的類型未被使用到的話可能就會將其優化掉，因而第二行語句使用了這個類型，告訴編譯器這個 typedef 是有用的，不能優化掉。至于 (void) 強制類型轉換，問了同學，說是為了消除編譯器對未使用 sizeof 返回值的警告。

僅僅幾行代碼都有這么多講究，要學的東西還很多啊。錯誤和疏漏的地方歡迎批評指正！

轉載于：https://blog.csdn.net/encoder1234/article/details/79012336

（SAW：Game Over！）

總結

以上是生活随笔為你收集整理的Cpp / checked_delete 原理的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。