可变参数模板 模板

Question

我正在尝试创建一个基类，它是 std::array 的包装器，它重载了一堆常见的算术运算符。最终结果有点像 std::valarray，但具有静态大小。我这样做是因为我正在为我的库创建一整套子类，最终复制此功能。例如，我需要创建一个 MyPixel 类和一个 MyPoint 类，这两个类本质上都是我可以对其执行算术的静态大小的数组。

我的解决方案是创建一个 StaticValArray 基类，MyPoint 和 MyPixel 可以从中派生。然而，为了禁止用户将 MyPoint 添加到 MyPixel，我使用了 CRTP 模式：

template<class T1, class T2>
struct promote
{
  typedef T1 type; // Assume there is a useful type promotion mechanism here
};

template<class T, size_t S, template<typename... A> class ChildClass>
class StaticValArray : public std::array<T,S>
{
  public:
    // Assume there are some conversion, etc. constructors here...

    template<class U>
    StaticValArray<typename promote<T,U>::type,S,ChildClass> operator+ 
        (StaticValArray<U,S,ChildClass> const & rhs)
    {
      StaticValArray<typename promote<T,U>::type,S,ChildClass> ret = *this;
      std::transform(this->begin(), this->end(),
          rhs.begin(), ret.begin(), std::plus<typename promote<T,U>::type>());
      return ret;
    }


    // More operators....
};

这非常酷，因为 ChildClass 可以具有任意的类模板参数，并且这个东西可以工作。例如：

template<class T, class U>
class MyClassTwoTypes : public StaticValArray<T,3,MyClassTwoTypes>
{ };

template<class T, class U>
class MyClassTwoTypes2 : public StaticValArray<T,3,MyClassTwoTypes2>
{ };

int main()
{
  MyClassTwoTypes<int, float> p;
  MyClassTwoTypes<double, char> q;
  auto z = p + q;

  MyClassTwoTypes2<double, char> r;
  //  r += q;  // <-- Great! This correctly won't compile

  return 0;
}

我的问题是这样的：我想将一些 ChildClass 填充到 StaticValArray 的 CRTP 位中，该位不一定只有类作为其模板参数。例如，考虑这个 N 维点类：

template<class T, size_t S>
class MyPointND : public StaticValArray<T,S,MyPointND>
{ };

不幸的是，这不会编译，因为 size_t 不是类型名 - 我收到编译器错误：

type/value mismatch at argument 3 in template parameter list for ‘template<class T, long unsigned int S, template<class ... A> class ChildClass> class StaticValArray’
test.C:36:54: error:   expected a template of type ‘template<class ... A> class ChildClass’, got ‘template<class T, long unsigned int S> class MyPointND’

有没有办法创建一个可变参数模板模板参数包，它可以是绝对任何东西（类型名，整数，size_t's，双精度数，等等？）因为最后我真的不在乎里面的类型是什么。请注意，我不能完全指定 ChildClass（例如 class MyPointND: public StaticValArray>），因为这会破坏我的类型提升机制。

Answer 1

如果您使用 std::integral_constant 代替 size_t 会怎么样？您可以将数组大小的数值嵌入其中，并且可以将其用作类型。

编辑

为了减少冗长，您可以定义自己的积分常量类，例如：

template <std::size_t N>
struct size_ : std::integral_constant<std::size_t,N> {};

然后您可以像这样使用它：

MyPointND<int,size_<3>> x;

Answer 2

您需要做的是拥有一个 traits 类，专门针对每种类型，其中包含类型升级所需的任何内容，然后将完整类型传递给 StaticValArray。

此外，使用 decltype，您不需要这样的东西 - decltype 会告诉您通过添加 float 和 int 会得到什么。

template<class U>
StaticValArray<decltype(*(T*)nullptr + *(U*)nullptr),S,ChildClass> operator+ 
    (StaticValArray<U,S,ChildClass> const & rhs)
{
  StaticValArray<decltype(*(T*)nullptr + *(U*)nullptr),S,ChildClass> ret = *this;
  std::transform(this->begin(), this->end(),
      rhs.begin(), ret.begin(), std::plus<decltype(*(T*)nullptr + *(U*)nullptr)>());
  return ret;
}