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元素数组。名字不一定是＆＃34; type_array＆＃34;，它可以是任何东西，只要我能为每个传递的类型做一个动作（比如声明一个变量）。

这可能吗？

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
 }

变量模板类

1 个答案: