如何識別部分模板特化

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;它只適用於類模板。