给定类型列表的 C++ 专用模板类

Question

我正在编写一种稀疏矩阵实现，实际上有两种不同的实现：一种用于轻类型（即sizeof(T) <= sizeof(int64)，另一种用于重类型。

根据sizeof(T)，我想实例化对应的类。我首先使用实例化 HeavyType 或 LightType 实现的超类进行了测试，但这需要从通用虚拟 BaseClass继承轻型和重型>，而通用调用类以这种方式使用一种或另一种（不是很干净）：

template <class T> class Generic{
public:
 Generic(){
   if (sizeof(T) > TRESHOLDVALUE)
    matrix_ = new HeavyType<T>();
   else
    matrix_ = new LightType<T>();
  }
private:
 matrix_ * BaseClass<T>;
};

这可行，但不干净，BaseClass 中的虚拟化会减慢执行速度...

我想只写一个模板类，并将它专门用于几种类型，但我想知道：是否可以专门针对sizeof(T) 的特定值（即相当于@987654325 @)?或可能的类型数组 (template <> class Matrix<arrayOfPossibleTypes> )？

我想避免为int、bool、uint_32、int32、etc 类型重写类。

有人有想法吗？

PS： 或者，我想用一个预编译器宏来选择 LightType 或 HeavyType 类，但我认为在 #if 预编译器语句中使用 sizeof() 是不可能的.

Answer 1

此问题的一个解决方案是std::enable_if（如果您使用的是 C++11）或boost::enable_if（如果您使用的是旧标准）。您可以在模板中添加一个额外的虚拟模板参数：

template <class T, typename Enable = void> class Generic;

template <class T>
class Generic<T, typename boost::enable_if_c<sizeof(T) > TRESHOLDVALUE>::type>
{
    // implementation for "heavy" class
    HeavyType<T> matrix_;
};

template <class T>
class Generic<T, typename boost::disable_if_c<sizeof(T) > TRESHOLDVALUE>::type>
{
    // implementation for "light" class
    LightType<T> matrix_;
};

如果您确实需要对“轻量级”和“重度”进行不同的实现，这将是最好的。如果您要做的只是更改matrix_ 成员的类型，而您的所有其余实现保持不变，那么您可以使用std::conditional（或其等效的Boost，boost::mpl::if_c）。

Answer 2

使用std::conditional，您可以执行以下操作：

template <class T> class Generic{
public:
    using MatrixType = typename std::conditional<(sizeof(T) > TRESHOLDVALUE), HeavyType<T>, LightType<T>>::type;
 Generic() {}
private:
 MatrixType  matrix_;
};

Answer 3

你说得对，在预处理器指令中不能使用sizeof。而且这不是必需的，您可以专注于sizeof(T) 就好了。事实上，你可以专攻sizeof(T) <= sizeof(int64)：

template <class T>
class Generic{
private:
 MatrixType<T> matrix_;
};

template <class T, bool Light = sizeof(T) <= sizeof(int64)>
struct MatrixType;

template <class T>
struct MatrixType<T, true>
{
  //light matrix
};

template <class T>
struct MatrixType<T, false>
{
  //heavy matrix
};