如何识别部分模板特化

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;它只适用于类模板。