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

[sarafciel (Cattuz)]

※ 引述《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 來解釋...讓我整個無法通透理解
: 請教各位有什麼方法處理這問題
: 謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 123.193.54.11
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1529684256.A.902.html
※ 編輯: sarafciel (123.193.54.11), 06/23/2018 00:23:56
推 lovejomi: 最後的說法 把Foo<int>::bar=123寫在header,兩個cpp inc
→ lovejomi: lude就redefine了耶
→ sarafciel: 汗 我寫一寫忘記把test.cpp補回去編譯orz
→ sarafciel: 不過這個可以拿弱符號解掉的樣子
→ sarafciel: int __attribute__((weak)) Foo<int>::bar =123;
→ sarafciel: 把那行特化換成這個