3

我目前正在尝试使用可变参数模板，因为我正在尝试将可变参数类模板用于我正在从事的项目。我希望该类接受一个整数列表，该列表将用于创建该类的其他元素。最初，我使用模板构造函数来获取整数数组。但是，我在链接代码时遇到了问题。我想出了另一种方法来解决我的问题，使用可变参数类模板来获取整数列表，但我很好奇这段代码是否被认为是糟糕的 c++（我有一段时间没有编写 C++，这感觉很 hacky）。无论如何，这是我编写的测试代码，它可以按预期编译和工作：

template<int...structure>
class testClass{

public:
testClass(){
      std::size_t size = sizeof...(structure);
      std::cout << size << '\n';
      int arr[]{ structure... };
      for (int i = 0; i < size; i++) 
          std::cout << arr[i] << '\n';
   }


};

int main() {
   testClass<1, 2, 3> c;
}

正如预期的那样，代码输出：

3
1
2
3

这个解决方案有什么问题吗？我一直在网上搜索，似乎没有人以这种方式使用可变参数模板。

提前感谢您的输入。

4

3 回答 3

5

您的解决方案没有任何问题或不合时宜，这只是一种权衡。使用您的解决方案，您可以立即初始化阵列，使其具有最佳性能。使用std::initializer_list解决方案，他们必须默认数组的成员，然后复制这是更多的工作。

另一方面，这意味着您只能在编译时构造对象，而std::initializer_list 版本可以在运行时初始化。

另一个问题是将它们存储在容器中。您不能testClass在 a 中存储不同的 '，std::vector因为不同的模板参数意味着它们是不同的类型，而 vector 仅存储单个元素类型。如果你拿了一个std::initializer_listthentestClass就不是模板，你可以将不同的模板存储在同一个vector.

于 2019-12-12T21:12:17.600 回答
3

唯一的问题是一个包可以是空的，但不是数组。所以在你的例子中，testClass<> c;不会编译。

要么专门化你的类，所以只定义具有非零参数的实例化，或者在数组中提供一个占位符元素：

int arr[]{ 0, structure... };
于 2019-12-12T21:09:09.243 回答
3

取决于你想要什么。

我希望该类接受一个整数列表，该列表将用于创建该类的其他元素

您没有一个类可以接受整数列表。你所拥有的是一个可以用整数列表实例化的模板。这是一个很大的区别。如果你用不同的整数实例化模板，你会得到不同的类型。例如testClass<1,2>andtestClass<1,2,3>是两种几乎没有共同点的不同类型（实际上只是同一个模板的实例化）。如果这是您想要的，那么您的方法就可以了。

于 2019-12-12T21:12:39.853 回答