我创建了一个共享库，并使用默认的符号可见性“隐藏”，即，我必须明确修改任何应导出的可见性。此外，我在头文件中定义了模板，并在库的源文件中显式地示例化它们，以强制编译（并对库用户隐藏实现）。对于此头文件foo.hpp

#include <gmpxx.h>
  
template <typename Number>
__attribute__((visibility("default")))
Number add(const Number& a, const Number& b);

字符串
这个源文件foo.cpp

#include "foo.hpp"

template <typename Number>
Number add(const Number& a, const Number& b)
{
  return a + b;
}

template double add(const double& a, const double& b);
template int add(const int& a, const int& b);
template mpq_class add(const mpq_class& a, const mpq_class& b);

型
编译与

g++ -fPIC -fvisibility=hidden -c foo.cpp
g++ -fPIC -shared -o libfoo.so foo.o

型
给出以下（相关）符号（通过nm -CD libfoo.so获得）：

__gmpq_add
__gmpq_init
double add<double>(double const&, double const&)
int add<int>(int const&, int const&)

型
但是，我也希望mpq_class实现有一个符号。当然，如果我现在链接到这个库并尝试调用add<mpq_class>，那么我会得到一个未定义的符号错误。我可以通过在foo.cpp中为mpq_class添加一个显式的示例化来强制导出，该示例化被显式地标记为导出：

template <>
__attribute__((visibility("default")))
mpq_class add(const mpq_class& a, const mpq_class& b)
{
  return a + b;
}

型
当然，这没有多大意义，因为我重复了代码，或者我必须为每个这样的函数提供一个联合实现。对于模板类，这似乎只会发生在构造函数和析构函数上，而不会发生在成员上。
我想知道为什么会这样。我猜这是因为mpq_class本身就是一个模板类，但我觉得很奇怪。