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

[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裡面明確有包含定義阿?

然而
//a.
// template class Foo<int>;
打開後

3. 我認為我已經明確讓他產生程式碼了.... warning還是存在
回歸1. 的問題  我到底少做了什麼讓clang這樣出warning

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

5. 這似乎沒辦法用static是internal linkage 來解釋...讓我整個無法通透理解

請教各位有什麼方法處理這問題

謝謝

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 27.242.196.52
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1529658222.A.8D0.html
→ sarafciel: 你對bar做模板特化 並不會幫你生整個class
→ sarafciel: 所以test.cpp要補Test()的特化; 你的extern才抓的到
→ sarafciel: 3跟4我不確定 感覺是undefined behavior 要查一下XD
※ 編輯: lovejomi (27.242.196.52), 06/22/2018 18:27:10
推 AstralBrain: https://wandbox.org/permlink/nm36DZNCyeYwbZLQ
→ AstralBrain: 你是要這樣嗎
→ lovejomi: https://wandbox.org/permlink/GxVSjiLa8QEcM0t2
→ lovejomi: 是不是這樣寫最正確？這樣感覺這static變數變成external
→ lovejomi:  linkage了？
推 AstralBrain: static member本來就是external linkage吧
→ AstralBrain: static variable和static member是不一樣的
→ AstralBrain: (雖然他們都叫static..)
→ lovejomi: 謝謝，只是這個warning 我在編譯出binary後如果沒改程
→ lovejomi: 式碼再編一次就沒有warning了，為什麼呢
推 AstralBrain: 因為沒有真的compile到? (亂猜的XD)
→ Killercat: incremental building 你re-compile或cleanup就有了
→ lovejomi: 但這warning到底會不會對程式本身有可能有錯誤的風險呀
→ lovejomi: ？不理他感覺也沒怎樣
→ Killercat: 他無法判斷會不會 比方說有個warning是
→ Killercat: not all control paths return a value 這個就是會讓你
→ Killercat: 過 但是你是有可能有runtime issuey
→ Killercat: 但是有些則是完全是murmur 這要自己判斷一下