最近看到一段代码,如下:
static size_type _S_empty_rep_storage[];
static _Rep& _S_empty_rep() _GLIBCXX_NOEXCEPT
{
// NB: Mild hack to avoid strict-aliasing warnings. Note that
// _S_empty_rep_storage is never modified and the punning should
// be reasonably safe in this case.
void* __p = reinterpret_cast<void*>(&_S_empty_rep_storage);
return *reinterpret_cast<_Rep*>(__p);
}
这里为何要先转换为void*, 为什么不直接转换为_Rep* ?
上面註解不是寫了麼,避免strict-aliasing警告。
至於為什麼要避免警告呢,Werror會把所有警告視為錯誤
關於這個警告可以看一下這兩篇文章
http://cellperformance.beyond3d.com/articles/2006/06/ understanding-strict-aliasing.html
http://blog.csdn.net/dbzhang800/article/details/6720141
如果直接轉成_Rep*,編譯器在啟用某些限制級別後會給出警告(strict-aliasing Warning),而作者想讓編譯器閉嘴,就用了一個"hack",先轉成void*再轉成_Rep*,而這分別的兩步編譯器不會給予警告。
實際上中這麼做是為了避開一些程式碼檢查限制,並不會帶來實際上的好處,反而可能因為忽略編譯器的警告而引入潛在的bug。