外部模板和不完整的类型

Question

最近，当我尝试优化自己的包含层次结构时，偶然发现了该文件a.hpp：

template<class T>
class A
{
  using t = typename T::a_t;
};

class B;

extern template class A<B>;

这似乎是错误的形式。实际上，似乎extern模板语句的末尾似乎导致实例化A<B>，导致编译器抱怨类型不完整。

我的目标将是确定A<B>的a.cpp：

#include <b.hpp>
template class A<B>;

这样，我避免必须包括b.hpp来自a.hpp这似乎是一个好主意，以减少编译时间。但是，它不起作用（a.hpp本身无法编译！）是否有更好的方法呢？

注意：当然，我不能只使用显式模板实例化，但这不是我想要的！我想“预编译” A<B>以节省编译时间（如果已使用），但如果A<B>未使用，我不想b.hpp在每个使用a.hpp！的文件中都包括在内！

Answer 1

用于声明类模板的显式实例化的 extern 说明符仅抑制先前未在包含声明的翻译单元中专门化的成员函数和静态数据成员的定义的显式实例化。

因此，如果 A 中需要 B 的定义，则您不能在extern template不了解 B 的情况下使用 an 。您当然可以尝试摆脱该要求。在给定的情况下，您可以删除using t声明并使用元函数来生成该类型：

template<typename T>
struct get_a_t;

template<typename T>
struct get_a_t<A<T>>
{
   using type = typename T::a_t;
};

不确定这对你的情况是否可行。一旦 A 需要存储 aB或 a B::a_t，您就需要B. 不过，引用和指针就可以了。