c++ - 如何识别部分模板特化

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函数模板不允许；它仅适用于类模板。