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

Question

我应该如何更改下面的代码，以使Array<Index> array; 足够，并从枚举中自动推导出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

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

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

那么你的模板可能是这样的：

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

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

...如果您作为Enum 传递的类型不包含一些名为SIZE 的正常量，则实例化将无法编译。出于手头的目的，您确实更喜欢 Index 是命名空间，但由于命名空间不是类型，我认为您不能将其用作模板参数。

不过，我应该补充一点，我不确定我是否喜欢这个想法——大多数人会认为 Array<type> 意味着您正在创建一个 Type 对象数组，这显然是什么完全不一样……

Answer 2

您可以编写一个特征类。每次定义新的枚举类型时都需要做一些额外的工作，但对于用户代码中每次出现的 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 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<>。