是否可以访问 c++ 模板模板常量参数

Is it possible to access a c++ template template constant parameter?

本文关键字：参数 常量 c++ 访问 是否      更新时间：2023-10-16

我想做这样的事情：

template<template<int d, class>
         class container,
         int dim = d, typename content_data_type>
class MyClass {
};

我的编译器告诉我这是不可能的，因为"d"不是在以下外部定义的：

template<int d, class> class container

也许有另一种方法可以做到这一点吗？

提前感谢您对此主题的任何帮助。

更新：

@Rook：我想稍后在专业化中访问"dim"和"content_data_type"参数

例如

一般类：

template<template<int d, class>
         class container>
class MyClass {
};

规格.class：

template<>
class MyClass<vec> {
    vec c; // Error: vec needs template parameters
};

这给了我一个错误，因为我使用了我的模板类"vec"，我希望编译器能够推断模板参数，例如当我使用 

MyClass<vec<3, float> >

那么变量"c"应该有这样的类型 

vec<3, float>

因为这不起作用，我想我可以创建两个示例模板参数"dim"和"content_data_type"，我可以在专业化类中访问它们，如下所示：

template<template<int d, class t>
     class container,
     int dim = d, typename content_data_type = t>
class MyClass<vec> {
    vec<dim, content_data_type> c;
};

。再次抱歉，最初的问题不够具体:)

我认为你所做的没有意义，所以答案是"不"。

模板参数container是类模板，而不是类。当MyClass实例化时，它的参数是整个模板，而不仅仅是它的一个实例化。因此，不可能将MyClass的维度默认为"container的维度"，因为container没有自己的模板参数的值。您的类MyClass可以创建和使用一个或多个具有不同 d 值的container实例，但它没有特别给出其中任何一个，而是给定模板。

以此类推，假设您将指向函数的指针f作为参数传递给函数g。然后你不能在g的定义中使用"传递给f的参数"。函数g可以使用不同的参数调用f一次或多次，但它没有被特别赋予任何一个调用，而是被赋予函数。

从您的更新：

例如，当我使用MyClass<vec<3, float> >

你不用MyClass<vec<3, float> >，没有这样的事情。正如我所说，MyClass需要一个模板而不是一个类。 vec是一个模板，vec<3, float>是一个类。听起来您可能根本不需要模板作为模板参数。

通常容器会暴露 dim 成员，因此这将起作用：

template< template< int, class> class container, int dim, class content_data_type >
class MyClass 
{
public:
  typedef typename container< dim, content_data_type > container_type;
  static const int dim = container_type::dim;
};
template< int d, class >
class acontainer
{
public:
  static const int dim = d;
};
MyClass< acontainer, 2, sometype > x;
std::cout << "container size " << x.dim << std::endl;

下面是一个解决方法，您必须将这两个参数定义为容器类公开的类型和静态（请参阅示例boost::array）

#include <iostream>
template <int d, class T>
struct container
{
  typedef T value_type;
  static const int static_size = d;
};
template<typename cont, int d = cont::static_size, class T = typename cont::value_type>
struct A
{
  static const int dimension = d;
};
int main(void)
{
  A<container<10, int> > a;
  std::cout << a.dimension << std::endl;
}
相关文章：