C++ 嵌套模板类型_C++_Templates_Types

C++ 嵌套模板类型

c++ templates types

C++ 嵌套模板类型,c++,templates,types,C++,Templates,Types,我希望模板类型必须是模板类型： template < template < int beta, typename gamma> class alpha > gamma foo() { // do stuff with beta, gamma gamma c[beta]; alpha a(); alpha b(); } template 伽玛·福（） { //用beta和gamma做些事情 γc[beta]； αa（）； αb（）； }

我希望模板类型必须是模板类型：

template < template < int beta, typename gamma> class alpha >
gamma foo()
{
    // do stuff with beta, gamma
    gamma c[beta]; 
    alpha a();
    alpha b();
}

templateclass alpha>
伽玛·福（）
{
//用beta和gamma做些事情
γc[beta]；
αa（）；
αb（）；
}

我想让gamma和beta由我给出的值决定，所以：

foo< hello<2,double> >()

foo（）

将创建一个

hello

对象而不是

alpha

，并且

将是一个包含两个元素的

double

数组

因此，我想从传递给foo的模板类中提取模板参数

如何执行此操作？

您提供的模板声明采用所谓的模板参数（模板类型的模板参数）。然而，您提供的用法示例尝试将“普通”类作为参数传递（一旦所有模板参数都固定，模板类将变成“普通”类，它不再是模板）

这立即意味着模板参数不是您所需要的。模板参数的用途完全不同。（这里我不详细介绍）

问题的一个可能解决方案是要求参数类通过嵌套类型和常量公开其模板参数。也就是说，您的

hello

模板必须包含嵌套常量

beta_值

和嵌套类型名

gamma_类型

template <int BETA, typename GAMMA> class hello 
{
public:
  static const int beta_value = BETA;
  typedef GAMMA gamma_type;
  ...
};

模板类你好
{
公众：
静态常数intβ值=β；
typedef伽马型；
...
};

在这种情况下，将使用普通类型模板参数声明函数

template <typename ALPHA> typename ALPHA::gamma_type foo()
{
   // do stuff with beta, gamma
   typename ALPHA::gamma_type c[ALPHA::beta_value]; 
   ALPHA a();
   ALPHA b();
}

template typename ALPHA:：gamma_type foo（）
{
//用beta和gamma做些事情
类型名称ALPHA:：gamma_类型c[ALPHA:：beta_值]；
αa（）；
αb（）；
}

如果某些用户忘记遵守约定，编译器将拒绝编译

foo

，并强制该用户更新其参数类的定义。