如何从枚举模板参数推断数组大小？

Question

我应该如何更改下面的代码，以便 Arrayarray; 就足够了，SIZE 是从枚举中自动推导出来的？
即使枚举发生变化，也能保证它包含引用正确大小的SIZE。

template <typename Enum, int N>
class Array {

public:
    int& operator[](Enum index) { return array[index]; }

private:
    int array[N];
};

enum Index { X, Y, SIZE };

int main() {

    Array<Index, SIZE> array;

    array[X] = 1;

    return 0;
}

更新：至于“Array意味着您正在创建 Type 对象的数组”（Jerry）和“类模板的名称有点误导”（Nawaz）：实际上我正在创建 CustomSqlQueryModel。上面只是一个简化的代码，仅此而已。 Jerry 和 Nawaz 是对的：这个简化的代码是不幸的。

Answer 1

您可以编写一个特征类。每次定义新的枚举类型时，这都需要一些额外的工作，但每次出现 Array时不需要额外的工作。在用户代码中：

template<class Enum>
struct ArrayTraits;

template<class Enum>
struct Array {
  int& operator[](Enum index) { return array[index]; }

private:
  int array[ArrayTraits<Enum>::size];
};

enum Index { X, Y, SIZE };

template<>
struct ArrayTraits<Index> {
  enum { size = SIZE };
};


int main() {
  Array<Index> array;
  array[X] = 1;
  return 0;
}

这样做的优点之一是，只要您知道如何获取最大大小，您就可以专门化您无法控制的外部枚举的特征。

Answer 2

如前所述，我认为你不能。但是，如果您将其更改为：

struct Index { 
    enum { X, Y, SIZE};
};

那么您的模板可能类似于：

template <class Enum>
class Array { 
// ...

private:
    int array[Enum::SIZE];
};

...并且如果您作为 Enum 传递的类型不包含一些名为 SIZE< 的正常量/code>，实例化将无法编译。出于当前的目的，您确实更喜欢 Index 是一个命名空间，但由于命名空间不是一种类型，我认为您不能将它用作模板参数。

不过，我应该补充一点，我不确定我是否喜欢这个想法——大多数人会认为 Array 意味着您正在创建一个 Type< 的数组/code> 对象，这显然与那个完全不同......

Answer 3

如果您只想将 size 作为模板参数，而不是 type ，从您的示例来看，数组的 type 似乎是总是 int，那你为什么不实现这个：

template <int size>
class Array {

public:
    int& operator[](int index) { return array[index]; }

    //Note this addition!
    int operator[](int index) const { return array[index]; }
private:
    int array[size];
};

int main() {

    Array<10> array;

    array[0] = 1;
    array[1] = 2;

    return 0;
}

注意这个补充：如果你也实现 operator[] 的 const 版本会更好，这样 const Array< ;> 可以使用它来访问数组元素，否则您的类将无法用于 const Array。