模板参数和模板参数

Question

我对 C++(14) 比较陌生。我正在努力通过阅读来自cpprefernce 的官方文档来增强我目前的知识。我对模板声明有一些疑问：This page 在类模板的声明中提供了以下可能的参数（非类型模板参数）。

type name(optional) // (1)

我的问题是：
1.)type name 是什么意思？我确定它与typename 提到的here 不同。

在同一个page 上，我看到了这个例子：

// simple non-type template parameter
template<int N>
struct S { int a[N]; };

但是从//1 来看，我看到类型名称是可选的，所以我假设下面的内容应该可以工作，但它没有：（事实上，我看到下面的声明template<N> 可以被视为具有类型参数的模板参数。） \

// simple non-type template parameter
template<N>
struct S { int a[N]; };

那么我对官方文档的理解/阅读哪里出了问题？

编辑：

我尝试了以下方法：

template< int>
struct S { int a[N]; };

编译时出现错误'N' was not declared in the scope。

Answer 1

为此，N 需要是一个类型。

模板只接受一个类型，后跟该类型的可选名称。所以例如这个可能工作（虽然我还没有尝试过）：

template <int> // ...

但请注意，N 未声明。如果你想在你的模板中使用N，你需要像这样声明N：

template <int N> // ...

这里，N 被声明为 int，因此您可以像使用 int 一样使用它。

---

注意：您还可以选择以下内容：

template <class N> // ...

这里N 成为类型的模板替换。它不是上面的 int。

当然，这可能不是你想要的。