非类型参数的模板参数必须是表达式

为什么下面的代码是错误的？

template <typename T, int N>
struct Vector {
    T data[N];
};

struct Dynamic {
};

template <typename T>
struct Vector<T, Dynamic> {
    T* data;
};

我尝试用实例化代码Vector<int, Dynamic> obj;但没用

错误：非类型模板参数的模板参数必须是表达式

为什么？我正在传递一个类型，我认为这是一个有效的模板专业化。

如何使用两个模板，其中一个请求 N，另一个不请求 N（如果标记为）Dynamic ?

template <typename T, int N>
struct Vector {
    T data[N];
};

在您的主要模板类中，T必须是一个type http://en.cppreference.com/w/cpp/language/template_parameters#Type_template_parameter, (int, short, class-type, etc)... N is a non-type http://en.cppreference.com/w/cpp/language/template_parameters#Non-type_template_parameter，并且必须是一个计算结果为int键入（一个数字）。

struct Dynamic {
};

template <typename T>
struct Vector<T, Dynamic> {
    T* data;
};

Dynamic是一种类型。不是一个int按照您的主模板中的指定

根据您的主模板类，您只能专门化第二个模板参数Vector与int. Eg.

template <typename T>
struct Vector<T, 1> {
    T* data;
};

template <typename T>
struct Vector<T, 35> {
    T* data;
};

template <typename T>
struct Vector<T, constExpressionThatReturnsAnInt> {
    T* data;
};

...etc