c++ - 为什么在此代码中S必须是const？

Question

以下代码为什么不编译？它说S必须是const作为主要错误之一。

template <int S>
class Array 
{
    int size;
    int items [S];

public:
Array(void) :size(S){}
};

void main()
{
    int  S= 30;
    Array <5+S> array;
}

Answer 1

非类型模板参数必须为constexpr，即必须在编译时知道它们。因此，必须将S声明为constexpr int。