近日在研究webkit的時(shí)候發(fā)現(xiàn)了一個(gè)函數(shù)

template<typename T> inline void deleteOwnedPtr(T* ptr) {typedef char known[sizeof(T) ? 1 : -1];if(sizeof(known))delete ptr; }

一開(kāi)始對(duì)這個(gè)函數(shù)非常費(fèi)解，為什么作者不直接

delete ptr;

?

通過(guò)上stackoverflow提問(wèn)然后查閱了一些資料后終于得到結(jié)果：這是用來(lái)防范錯(cuò)誤釋放incomplete type指針而導(dǎo)致的未知的行為。這樣做之后，釋放incomplete type指針將引發(fā)一個(gè)編譯錯(cuò)誤，使可能的錯(cuò)誤能夠及早發(fā)現(xiàn)。

原文是：If we delete a pointer and the object has incomplete type, we get undefined behavior. Instead this code causes compilation to fail if the object has incomplete type. The use of a negative number for the size of an array is a way to guarantee we get a compilation error.

?

那么什么是incomplete type呢？顧名思義，就是一個(gè)只有聲明沒(méi)有定義完成的類(lèi)型，比如前向聲明。

舉個(gè)例子

class SomeType;void SomeFunction(SomeType* ptr) {deleteOwnedPtr(ptr); }

SomeType就是一個(gè)incomplete type，我們并不知道他的定義，如果我們企圖釋放該類(lèi)型的指針，可能產(chǎn)生錯(cuò)誤。

為了盡早避免出現(xiàn)這樣的錯(cuò)誤，我們先判斷該指針指向的類(lèi)型是否是incomplete type，然后人為引發(fā)一個(gè)編譯期錯(cuò)誤。

所以當(dāng)ptr指向imcomplete type時(shí)，sizeof(T)結(jié)果為零，這時(shí)語(yǔ)句變?yōu)?/p> typedef char[-1] known; if (sizeof(known)) {... }

由于數(shù)組的大小不能為負(fù)，所以引發(fā)了編譯錯(cuò)誤，我們就能及早的發(fā)現(xiàn)可能出現(xiàn)的問(wèn)題。

?

參考鏈接

http://stackoverflow.com/questions/10897998/i-cant-understand-the-deleteownedptr-function-in-webkit

轉(zhuǎn)載于:https://www.cnblogs.com/Jiajun/archive/2012/11/15/2772072.html

總結(jié)

以上是生活随笔為你收集整理的webkit中对incomplete type指针的处理技巧的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。