阻止模板类的所有实例化 - 包括支持的类型

Question

如果我有一个模板类 MyClass<T> 并且如果我显式实例化 int 和 float（在 cpp 文件中），那么我可以使用 extern template class MyClass<int> 和 extern template class MyClass<float> 来防止遇到任何编译单元这个类不必要地为int 和float 实例化它。当然，对于任何其他类型，该类仍然会被实例化。

现在我有一个 MyClass2<T> 类，它仅适用于 int、float、char、double、short 及其未签名的变体（如果适用）。因为我事先知道所有的类型，所以这个类中所有方法的定义都在cpp文件中。这也是我为所有上述类型显式实例化MyClass2<T> 的地方。在标题中，我有 static_assert 阻止用户使用不受支持的类型创建 MyClass2<T>。

有没有办法完全阻止 MyClass2<T> 对所有类型（包括支持的类型）进行实例化（例如 extern template class MyClass2;，尽管我知道这不起作用）？像extern template 的全部？我想避免为所有支持的类型输入extern template class MyClass2<int>。

考虑到我已经为这些类型显式地实例化了类，这似乎不仅是多余的，而且对于大型项目（比如我正在处理的项目）来说，每次添加新类型时我还需要维护另外几行代码。

Answer 1

这听起来确实像是宏的工作：

// explicit_instantiations.h
#ifndef PERFORM_INSTANTIANTION
#define EXTERNALLY_INSTANTIATED extern
#else
#define EXTERNALLY_INSTANTIATED
#endif

EXTERNALLY_INSTANTIATED template class MyClass<int>;
EXTERNALLY_INSTANTIATED template class MyClass<float>;
// etc.

// header
#include "explicit_instantiations.h"

// cpp file
#define PERFORM_INSTANTIATION
#include "explicit_instantiations.h"

Answer 2

你可以像下面这样使用 SFINAE

template<typename T>
using value_type =  typename std::enable_if<
                    std::is_same<float, T>::value ||
                    std::is_same<double, T>::value
                    //...other supported types goes here
                   >::type  ;



template<class T, class Enable = void>
class  MyClass2 ;

template<class T>
class MyClass2<T, value_type<T> > 
{
};

 MyClass2<float> t;
 MyClass2<int> t1; // Error !

^见Here

Answer 3

怎么样：

template <typename T>
struct Base {};

template <typename T> 
struct Supported;

template <> 
struct Supported<int> : public Base<int>
{};