4

我想做这样的事情：

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 {
};

规格。班级：

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;
};

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

4

3 回答 3

3

我不认为你在做什么有意义，所以答案是“不”。

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

以此类推，假设您将指向函数的指针f作为参数传递给函数g。然后，您不能f在g. 该函数g可以使用不同的参数调用f一次或多次，但没有特别给出任何一次调用，而是给出了函数。

从您的更新：

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

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

于 2012-06-27T09:02:12.750 回答
2

通常容器会暴露暗淡的成员，所以这会起作用：

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;
于 2012-06-27T09:04:26.390 回答
0

下面是一种解决方法，您必须将两个参数定义为容器类公开的类型和静态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;
}
于 2012-06-27T09:20:35.423 回答