可变参数模板类中定义的数量不同

Question

我最近想到了一个问题.假设有一个像这样的可变参数模板:

template <typename... Types>
class example
{
   //something
};

现在我想要实现的是,当我创建一个对象时example<int, double, float>,这个模板实例将被编译:

class example<int, double, float>
{
    int int_array[5];
    double double_array[5];
    float float_array[5];
}

当我创建一个对象时example<char, long, myClass2, myClass3>,将生成这个类模板的实例:

class example<char, long, myClass2, myClass3>
{
    char char_array[5];
    long long_array[5];
    myClass2 myClass2_array[5];
    myClass3 myClass3_array[5];
}

所以基本上,对于模板参数的每个可变参数列表,为每个传递的类型名称重复一个动作.在我的示例中,我为传递给可变参数模板的每种类型声明了一个5元素数组.名称不必是"type_array",它可以是任何名称,只要我可以为传递的每个类型执行操作(如声明变量).

那可能吗？

Answer 1

嗯......我想你可以使用继承

#include <string>
#include <iostream>

template <typename T>
struct wrp
 { T a[5]; };

template <typename ... Ts>
struct example : public wrp<Ts>...
 { };

int main()
 {
   example <int, float, std::string>  e0;

   e0.wrp<int>::a[0] = 1;
   e0.wrp<float>::a[0] = 1.1f;
   e0.wrp<std::string>::a[0] = "1.11";

   std::cout << e0.wrp<int>::a[0] << std::endl;         // print 1
   std::cout << e0.wrp<float>::a[0] << std::endl;       // print 1.1
   std::cout << e0.wrp<std::string>::a[0] << std::endl; // print 1.11
 }