顯式模板實例化的gcc問題？

Question

我的理解是，專業化的聲明或typedef應該使模板類實例化，但這似乎並沒有出現在gcc中。例如。我有一個模板類，模板類Foo {};

我寫

class Foo<double>; 

或

typedef Foo<double> DoubleFoo; 

但編譯後生成的目標文件的符號表不包含富的成員。

如果我創建一個實例：

Foo<double> aFoo; 

那當然符號全部產生。

有沒有其他人經歷過這個和/或有解釋？

Answer 1

爲顯式實例的語法

template class Foo<double>; 

見C++ 03§14.7.2。

希望函數得到生成和鏈接，但在創建但不使用實例（最小的隱式實例化）後不會被剝離，這是相當大的賭博。

Answer 2

您正在談論隱式實例化。但是，只有當類類型的完整性會影響程序的語義時纔會發生這種情況。

在你的情況下，類的類型不需要是完整的，因爲你typedef的類型可以保持不完整（不需要類體，所以不需要實例化它）。爲了說明，你也可以在自己的聲明中說typedef class MyFunnyThing type;，而不必在任何地方定義該類。

如果你創建一個對象，它的類型必須完整，所以類模板被隱式地實例化。請注意，類模板的隱式實例化不會隱式地實例化成員函數或靜態數據塊定義，除非它們在別處明確使用。

此外，聲明一個類模板的專業化，整點是防止的實例發生，告訴編譯器「不要實例，因爲後來我明確專攻它」。聲明如果你的專業化也沒有在它前面的template<>。