T[]類型模版特化？

Frahm

1. template<typename T>
   
2. struct remove_all_extents {
   
3.   typedef T type;
   
4. };
   
5. 
   
6. template<typename T>
   
7. struct remove_all_extents<T[]> { //關(guān)鍵這里
   
8.   typedef typename remove_all_extents<T>::type type;
   
9. };
   
10. 
    
11. template<typename T, size_t N>
    
12. struct remove_all_extents<T[N]> {
    
13.   typedef typename remove_all_extents<T>::type type;
    
14. };

復(fù)制代碼

這里remove_all_extents的作用就是獲取任意維數(shù)組的基本類型。
我不明白的是第一個(gè)特化那里，T[]有什么用？我試過了，去掉那個(gè)特化效果也一樣。
還有T[]這里不指明維數(shù)的話可以嗎？而且貌似沒有退化為指針類型，并且根本沒有進(jìn)入遞歸。
那么這么實(shí)現(xiàn)是什么用意呢？還是我哪里搞錯(cuò)了呢？

剛試了下:
std::cout << typeid(int[]).name() << '\n';
輸出:
int [0]

然而 int a[0]是編譯通不過的，那么int [0]是什么類型呢？

Frahm

問到答案了，摸板中T[]的類型不是T[0],而是incomplete type, 沒有維數(shù)聲明的不完整類型。
具體見:
http://stackoverflow.com/questio ... late-specialization