根据模板参数更改成员类型定义？

Question

我这里有这个问题，我不知道如何解决。我想要一个模板类，它接受一个整数作为模板参数并相应地为另一个类设置模板参数：

template <int T>
class Solver
{

  public:

    #if T <= 24
      typedef MyMatrix<float> Matrix;
    #else if T <= 53
      typedef MyMatrix<double> Matrix;
    #else
      typedef MyMatrix<mpreal> Matrix;
    #endif

    Matrix create();

};

然后这样称呼它：

Solver<53>::Matrix m = Solver<53>::create();

我该如何做这样的事情？目前使用上面的代码，编译器抱怨它不知道“矩阵”，所以我不确定你是否可以在模板参数上使用预处理器。

Answer 1

简介

由于您希望S<N>::Matrix 根据传递的N 产生不同的类型，因此您需要使用某种元模板编程。该问题当前使用 preprocessor 标记，并且 sn-p 明确尝试使用它；但这在这种情况下几乎没有用。

当代码被预处理时N只是一个名字，它没有一个值；还没有。

---

解决方案

描述中提到了if、if ... else和else；我们正在处理类型..通过<type_traits> 看起来std::conditional 将是一个完美的匹配！

std::conditional<condition, type-if-true, type-if-false>::type;

^{注意：取决于在condition 中找到的表达式是产生true 还是false，::type 将是typedef 表示 type-if-true 或 type-if-false。}

---

让我们编写一个示例实现：

#include <type_traits>

template <int N>
class Solver
{
  public:
    typedef typename std::conditional<
      /*    */ (N <= 24),
      /* y? */ MyMatrix<float>,
      /* n? */ typename std::conditional<(N <= 53), MyMatrix<double>, MyMatrix<mpreal>>::type
    >::type matrix_type;

  ...
};

int main () {
  Solver<53>::matrix_type a; // Matrix<double>
  Solver<10>::matrix_type b; // Matrix<float>
  Solver<99>::matrix_type c; // Matrix<mpreal>
}

Answer 2

您可以为此使用std::conditional，尽管您是否应该首先这样做是另一回事：

template<int T>
class Solver
{
  std::conditional_t<
    T <= 24,
    MyMatrix<float>,
    std::conditional_t<
      T <= 53,
      MyMatrix<double>,
      MyMatrix<mpreal>
    >
  > Matrix;
};

如果您的编译器不支持，您需要使用std::conditional 和::type 而不是conditional_t。

Answer 3

不，您不能对模板参数使用预处理器。

预处理器只是对您的输入源进行非常简单的字符串处理。它没有关于类型的胶水，我认为它是在首先处理文件并收集所有包含时作为第一步运行的。模板是编译器自己负责的。此时预处理器已经完成。

这里有人问过一个类似的问题： Use a template parameter in a preprocessor directive?