Re: [問題] template class 內 static 初始問題

作者: sarafciel (Cattuz)   2018-06-23 00:17:33
※ 引述《lovejomi (JOMI)》之銘言:
: https://wandbox.org/permlink/skxmougiYnaw1f1a
: 一開始遭遇到這個compile warning
: warning: instantiation of variable 'Foo<int>::bar' required here, but no defin
: ition is available [-Wundefined-var-template]
: 其實我不太知道他為什麼會warning
: 我確實有define在test.cpp這個translation unit
: 不懂的是 他感覺找不到定義 卻讓我pass, run time 也有拿到對的數值.
: 而g++不會有warning
: 1. 到這邊我還是不知道到底哪裡寫的不夠正確?
: 然而我試著解決這warning
: 於是我把 上面的
: //b.
: // extern template class Foo<int>;
: 打開
: https://wandbox.org/permlink/j2ANWRBoeIZZJAHE
: link error
: undefined reference to `Foo<int>::Test()'
: 如果不呼叫 這個warning確實可以這樣解決
: 但我必須呼叫這function
: 2. 為什麼他這樣會說undefined? .h裡面明確有包含定義阿?
先釐清兩件事:
1.你沒給定型態的template它就不是明確定義,自然它也不會被編譯。
2.template在兩份不同的.cpp檔裡給定型態,會在編譯時各自生成兩份實作。
回到你的code上面,當你使用extern template的時候
代表你指定在編譯時這份cpp檔參考其他cpp或.o裡的實作
而你在test.cpp裡的實作只有對bar做模板特化,那麼在編譯時test.cpp只會有bar有定義
其他symbol它不會自動幫你生,所以你的主程式自然找不到test()的實作
如果是使用template class Foo<int>的情況
你這個時候就是讓主程式生自己的實作了,而且因為它不是做特化而是直接給參
所以會整個class都生給你
: 然而
: //a.
: // template class Foo<int>;
: 打開後
: 3. 我認為我已經明確讓他產生程式碼了.... warning還是存在
: 回歸1. 的問題 我到底少做了什麼讓clang這樣出warning
殘念的是我這邊的clang還在3.8.1,好像跑不出這個warning(汗)
所以以下是我猜的,有錯歡迎版上高手指正XD
上面說過template會在不同的cpp生成各自的實作
你在test.cpp做特化時bar是有defination的,所以會替bar在.data留一個位子
到編主程式的時候它又為主程式生一份Foo<int>的實作,
這邊第二份實作的bar沒有給值,所以它是declaration
可是你對bar的defination必須等到做link的時候才會看到
compile階段編譯器是看不到的,所以compiler丟這個警告給你
提醒你bar這個static variable還是undefined的狀態
所以你link時有抓到它的symbol,應該就沒事這樣XD
: 4. 對於template class內 有static function or data
: 最正確的寫法該怎麼寫.
: 網路上有查到
: 在test.h 直接寫
: template<class T>
: int Foo<T>::bar = 初始直;
: test.cpp一樣寫
: template<>
: int Foo<int>::bar = 123;
: 但我實際上在專案遇到一個況狀是
: 我某個cpp 寫Foo<int>::bar 拿到的卻是.h給的初始直(我認為是他初始化順序優先於te
: st.cpp)
: 所以目前毫無辦法處理這warning
template最正確的寫法,就是通通給它塞在header裡
如果你覺得header有夠長,整個給你塞template塞得不要不要的
那就另外寫個.tcc檔,然後叫header把tcc include進來
要在.cpp用的時候就是只做給定型態的事,以你的例子來講
template<class T>
int Foo<T>::bar = 0;
template<>
int Foo<int>::bar = 123;
這兩個就別再外寫cpp編譯了,直接放在test.h裡就好
不然就是再寫個test.tcc,然後在test.h最後面加一行#include "test.tcc"
以我自己的經驗,不管是boost還是標準庫基本上都是按這個模式在寫template
: 5. 這似乎沒辦法用static是internal linkage 來解釋...讓我整個無法通透理解
: 請教各位有什麼方法處理這問題
: 謝謝
作者: lovejomi (JOMI)   2018-06-23 02:00:00
最後的說法 把Foo<int>::bar=123寫在header,兩個cpp include就redefine了耶
作者: sarafciel (Cattuz)   2018-06-23 09:02:00
汗 我寫一寫忘記把test.cpp補回去編譯orz不過這個可以拿弱符號解掉的樣子int __attribute__((weak)) Foo<int>::bar =123;把那行特化換成這個

Links booklink

Contact Us: admin [ a t ] ucptt.com