如何识别部分模板规范

Question

我正在学习模板，我找到了这个例子：

template <typename T, int size>
void print(StaticArray<T, size> &array)
{
    for (int count = 0; count < size; ++count)
        std::cout << array[count] << ' ';
}


template <int size>
void print(StaticArray<char, size> &array)
{
    for (int count = 0; count < size; ++count)
        std::cout << array[count];
}

为什么第二个print函数有效，即使它具有non-type参数size以及为什么它是完整的模板专业化。

Answer 1

不，这不是专业化，而是function template overloads，它采用不同的模板参数。

正如你所说，第二个重载仍然有一个模板参数，所以它不是一个完整的专业化。并且partial specialization不允许使用功能模板;它只适用于类模板。