gcc问题具有显式模板实例化？

Question

我的理解是，无论是声明还是专门化的类型，都应该导致模板类被实例化，但gcc似乎没有这样做。例如，我有一个模板类，模板类Foo {}；

我写

  class Foo<double>;  

或

typedef Foo<double> DoubleFoo;  

但是，编译后，生成的对象文件的符号表不包含Foo的成员。

如果我创建一个实例：

Foo<double> aFoo;  

当然，符号都是生成的。

有没有其他人经历过和/或有过解释？

Answer 1

显式实例化的语法是

template class Foo<double>;

见C++03第14.7.2节。

希望这些函数能够生成和链接，但在创建但不使用实例(最微小的隐式实例化)之后不会被剥离，这是一场赌博。

Answer 2

您正在讨论隐式实例化。但是，只有当类类型的完成将影响程序的语义时，才会发生这种情况。

在您的示例中，类类型不需要是完整的，因为类型类型可以保持不完整(不需要类主体，因此不需要实例化)。为了说明这一点，您也可以在自己的语句中表示typedef class MyFunnyThing type;，而无需在任何地方定义该类。

如果您创建了一个对象，那么它的类型必须是完整的，因此类模板将被隐式实例化。请注意，除非在其他地方显式使用，否则类模板的隐式实例化不会隐式实例化成员函数或静态数据成员定义。

另外，要声明类模板的专门化，重点是防止实例化发生，并告诉编译器“不要实例化，因为稍后我会显式地专门化它”。如果您的专门化也遗漏了前面的template<>，则声明。