提取参数包

Question

我想编写一个函数，采用T 类型的N 参数。用例是使用初始化列表初始化类中的数组。

Vector<uint8_t, 3> vector {5, 4, 3} 
Vector<uint16_t, 2> vector2 {90, 7}

我不使用std::initalizer 列表的原因是对于我开发的平台，没有可用的标准库。因此我尝试了一些自制的integer_list（类似于std的方法）。

template <uint8_t ... Ints >
class IndexSequence {};

这很好用（Array 也类似于std::array）：

template <typename T, uint8_t I>
using ParamPack = T;

template <typename T, uint8_t N, typename I = makeIndexSequence<N>>
class Test;

template <typename T, uint8_t N, uint8_t... I>
class Test<T, N, IndexSequence<I...>> {

public:
 Test(ParamPack<T, I>... v)
 : data {v...} {}
private:
 Array<T,N> data;
};

但我不太喜欢这种从 integerSequece 中提取整数参数包的“技巧”，因为整数参数包现在是类模板的一部分。我实际上更喜欢它只是在构造函数的模板中，甚至没有任何模板。

例如这样的：

Test(ParamPack<T, makeIndexSequence<N>.getParamPack()>... v)

或类似的东西。在我看来，这会更干净。 有什么方法可以从integerSequence 中提取参数包，而类模板中没有参数包？

我尝试对函数模板使用相同的技巧。不幸的是，它不起作用，因为函数不能部分特化。

也许你甚至有一个完全不同的方法来拥有类似std::initializer_list 或特定类型的参数包（我知道只使用可变参数模板并将其转换为 T 的可能性，但我想避免如果有更好的解决方案，请这样做）。

Answer 1

为什么要避免使用可变参数模板？它们是解决这类问题的正确方法。

没有简单的方法可以从静态值N 生成动态数量的参数。所有解决方案都涉及对某种可变参数输入的专门化（std::index_sequence 的作用完全相同，它会生成可变参数模板参数）。

我认为最优雅的方法是使用可变参数模板并使用static_assert 保护输入。

template <typename T, size_t N>
class Test {
 public:
  template <typename... Ts>
  Test(Ts&&... v) : data{std::forward<Ts>(v)...} {
    static_assert(sizeof...(Ts) == N, "invalid number of arguments");
    static_assert((std::is_same_v<T, Ts> && ...), "wrong type");
  }

 private:
  std::array<T, N> data;
};

请注意，我在此示例中使用 std::array。当您传递无效类型或无效数量的参数时，它无法编译。

Test<int, 2> a{1, 2}; // compiles
Test<int, 2> b{1}; // invalid number of arguments
Test<int, 2> c{1, 2, 3}; // invalid number of arguments
Test<int, 2> d{1, 2.f}; // wrong type