c++ - 变量模板编译时数组

Question

我目前正在学习 C++ 中的模板元编程，无意中发现了变量模板。作为一个有趣的练习，我决定使用以下用法来实现编译时静态数组 -

my_array<1,2,3,4> arr;  // gives an array with 4 members = 1,2,3,4

我已经尝试了几次迭代，一路上消除了语法错误，但现在我被卡住了，因为没有编译器给出有用的警告。这是我当前的代码 -

#include <iostream>

template<size_t... Enteries>
constexpr size_t my_array[sizeof...(Enteries)] = {Enteries...};

int main() {
    my_array<1,2,3,4,5,6> arr;
}

但目前它给出了 clang 的以下错误 -

static_array.cpp:7:10: error: expected ';' after expression
        my_array<1,2,3,4,5,6> arr;
                ^
                ;
static_array.cpp:7:24: error: use of undeclared identifier 'arr'
        my_array<1,2,3,4,5,6> arr;
                              ^
static_array.cpp:7:2: warning: expression result unused [-Wunused-value]
        my_array<1,2,3,4,5,6> arr;
        ^~~~~~~~~~~~~~~~~~~~~
1 warning and 2 errors generated.

和 gcc -

static_array.cpp: In function ‘int main()’:
static_array.cpp:7:24: error: expected ‘;’ before ‘arr’
  my_array<1,2,3,4,5,6> arr;
                        ^~~
static_array.cpp:7:27: warning: statement has no effect [-Wunused-value]
  my_array<1,2,3,4,5,6> arr;

我应该如何继续实现这个东西(最好使用变量模板，因为我知道这可以用旧的结构技术实现)。

Answer 1

如问题评论中所述，my_array<1,2,3,4,5,6>不是一种类型。 my_array是一个变量模板，它有一个你可以在专门化后使用的类型，但它不是一个类型，你不能按你现在的方式使用它。
您不能声明类型为 my_array<1,2,3,4> 的变量, 但您可以使用变量 my_array<1,2,3,4> . 举个例子，你想得到第N个元素吗？ my_array<1,2,3,4,5,6>[N]; .

示例程序:

#include <iostream>

template<size_t... Enteries>
constexpr size_t my_array[sizeof...(Enteries)] = {Enteries...};

int main() {
   std::cout << my_array<1,2,3,4,5,6>[0] << std::endl;
}

输出:

1