c – 使用可变参数模板进行显式模板实例化

我有几个模板类Impl(带有一些抽象方法),它们部分在CPP文件中实现,因此我需要显式实例化我的模板以供链接器找到它,如下所示：

template class Impl<T0>;
template class Impl<T1>;
template class Impl<T2>;
...
template class Impl<Tx>;

随着Tx类型数量的增长,我想找到一种比在所有必需文件中手动扩展这些显式实例化列表更好的方法.我以为我可以使用可变参数模板,所以我尝试了以下方法：

template <template <class> class,class...>
struct type_map;

template <template <class> class BaseT,class... Ts>
struct type_map<BaseT,std::tuple<Ts...>> {
    using type = std::tuple<BaseT<Ts>...>;
};

typedef std::tuple<T0,T1,T2> myTypes;

并在CPP文件中：

template class type_map<Impl,myTypes>;

但是,这并没有按照我的意图实例化模板(链接器抱怨丢失的符号).

有没有办法使这种方法工作(即实例化模板而不实例化它的对象)或一种完全不同的方法,可以在这种情况下解决我的问题？

// DeFinitions:
#define ARGUMENTS (T0)(T1)(T2)(T3)(TX)

#define INSTANTIATE(maUnused,maTemplate,maTypE) \
  template class maTemplate<maType>;


// Usage:
BOOST_PP_SEQ_FOR_EACH(INSTANTIATE,Impl,ARGUMENTS)

BOOST_PP_SEQ_FOR_EACH(INSTANTIATE,Impl2,ARGUMENTS)

X(T0)
X(T1)
X(T2)
X(T3)
X(TX)

#undef X

#define X(maTypE) template class Impl<maType>;
#include "x.hpp"

#define X(maTypE) template class Impl2<maType>;
#include "x.hpp"