自身递归需要的静态 constexpr 模板数组成员

Question

我想要一个类似于以下代码的模板类中的 static constexpr 类元素数组：

struct Element {
    unsigned i;
    constexpr Element (unsigned i) : i(i) { }
};

template <bool Reverse>
struct Template {
     static constexpr Element element[] = {
         Element (Reverse ? 1 : 0),
         Element (Reverse ? 0 : 1),
     };
};

int main (int argc, char **argv) {
    return Template<true>::element[0].i;
}

当然，实际的Element 结构比这个例子中的复杂，但它已经说明了问题。如果我编译这个机智gcc 我得到一个关于递归依赖的错误：

test.cc: In instantiation of ‘constexpr Element Template<true>::element [2]’:
test.cc:11:27:   recursively required from ‘constexpr Element Template<true>::element [2]’
test.cc:11:27:   required from ‘constexpr Element Template<true>::element [2]’
test.cc:20:2:   required from here
test.cc:11:27: fatal error: template instantiation depth exceeds maximum of 900 (use -ftemplate-depth= to increase the maximum)
  static constexpr Element element[] = {
                       ^
compilation terminated.

首先我很好奇如何规避这个错误，但如果我能得到这个原因的提示或者为什么这样的构造不应该是有效的......

Answer 1

您需要指定 Element 数组的大小。 Element element[] 不是有效的 C++。

template <bool Reverse>
struct Template {
     static constexpr Element element[2] = {
         Element (Reverse ? 1 : 0),
         Element (Reverse ? 0 : 1),
     };
};