为什么静态库中的显式模板专业化缺少符号？

Question

如果我编译以下代码：

//
// g++ static.cpp -o static.o
// ar rcs libstatic.a static.o
//
#include <iostream>

template < typename T >
struct TemplatedClass
{
  void Test( T value )
  {
    std::cout << "Foobar was: " << value << std::endl;
  }
};

template struct TemplatedClass < long >;

我得到一个静态库，如果我在该库上运行 nm，我得到以下结果：

testcase% nm libstatic.a | c++filt | grep TemplatedClass
0000000000000207 s global constructors keyed to _ZN14TemplatedClassIlE4TestEl
0000000000000300 s global constructors keyed to _ZN14TemplatedClassIlE4TestEl.eh
0000000000000118 T TemplatedClass<long>::Test(long)
00000000000002a0 S __ZN14TemplatedClassIlE4TestEl.eh

但是如果我编译以下代码，除了我添加了模板类的显式专业化之外，它是相同的...

//
// g++ static.cpp -o static.o
// ar rcs libstatic.a static.o
//
#include <iostream>

template < typename T >
struct TemplatedClass
{
  void Test( T value )
  {
    std::cout << "Foobar was: " << value << std::endl;
  }
};

template <>
struct TemplatedClass < long >
{
  void Test( long value )
  {
     std::cout << "Value was: " << value << std::endl;
  }
}; 

template struct TemplatedClass < long >;

...并重新运行相同的命令：

testcase% nm libstatic.a | c++filt| grep TemplatedClass
testcase% 

我没有得到匹配的符号。由于某种原因，即使我明确要求，编译器也不会实例化模板。

有人可以向我解释一下这是怎么回事吗？

Answer 1

您在类（模板）定义中有成员函数定义。这会导致成员函数（模板）内联。这对于模板类的成员函数来说并不重要，因为它的链接要求更多地由其实例化的性质决定。

但在第二个示例中，成员函数 void TemplatedClass::Test(long) 不是函数模板，并且仍然是内联。因此，除非使用它，否则编译器不需要对它执行任何操作，并且必须在使用它的所有文件中定义它。由于您声称这是在 static.cpp 文件中，因此内联函数可能不是您想要的。

您会得到更像您所期望的结果。

template <>
struct TemplatedClass < long >
{
  void Test( long value );
};

void TemplatedClass<long>::Test( long value )
{
  std::cout << "Value was: " << value << std::endl;
}

我认为如果将事情更改为：并且当您定义显式专业化时，您可能不需要显式实例化（如果这甚至是合法的），