這是一個專業化？

Question

我正在看this講座，其中下面的例子（@ 29.43）被呈現爲專業化：

template<class T> 
struct rank 
{ 
    static const size_t value = 0u; 
} 

// partial specialization 
template<class U, size_t N> 
struct rank<U[N]> 
{ 
    static const size_t value = 1 + rank<U>::value; 
} 

我期望編譯錯誤，抱怨結構是incombatible和具有第二一個的聲明太多的模板參數。 以上是不是一個錯誤？

Answer 1

專業化程序本身可以有模板參數。具有模板參數的專業化稱爲部分專業化。

template<class T> 
struct rank { ...1 }; 

rank<T>裝置是一個類，並且除非另有規定，...1是類的定義。

template<class U, size_t N> 
struct rank<U[N]> { ...2 }; 

是「另有規定」：這意味着，如果在rank<T>的T可以爲某種類型的U和一些恆定N被寫爲U[N]，然後...2是類的定義。

你可以使用它，如rank<int[2]>，它將使用第二類定義U = int和N = 2。

Answer 2

這不是錯誤，因爲它是有效的。

[C++11: 14.5.5/1]:主類模板聲明是其中類模板名稱是標識符的聲明。類模板名稱爲simple-template-id的模板聲明是在simple-template-id中命名的類模板的部分特化。當特化中的參數與部分特化（14.5.5.1）中給出的參數相匹配時，類模板的部分特化提供了替代主模板的替代定義。 [..]

有根本沒有規則，禁止它，事實上，該標準包含正是這種情況的一個例子：

[C++11: 14.5.5/3]:[示例：

template<class T1, class T2, int I> class A { };    // #1 
template<class T, int I>   class A<T, T*, I> { }; // #2 
template<class T1, class T2, int I> class A<T1*, T2, I> { }; // #3 
template<class T>     class A<int, T*, 5> { }; // #4 
template<class T1, class T2, int I> class A<T1, T2*, I> { }; // #5 

第一個聲明聲明瞭主（非特殊化）類模板。第二個和隨後的聲明聲明主模板的部分特化。末端示例]

是即使勉強相關的唯一限制是，諷刺的是，接近（雖然不是精確的），你所聲稱的相反：

[C++11: 14.5.5/8]:中的參數進行類模板部分專業化清單，適用以下限制：

• [..]
• 專業化的參數列表不應與主模板的隱式參數列表相同。
• [..]

你會使用主模板和部分特化，像這樣：

int main() 
{ 
    rank<char> a; // uses the primary 
    rank<int[5]> b; // uses the partial spec. 
}