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[]> { //关键这里
   
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. };

复制代码

这里remove_all_extents的作用就是获取任意维数组的基本类型。
我不明白的是第一个特化那里，T[]有什么用？我试过了，去掉那个特化效果也一样。
还有T[]这里不指明维数的话可以吗？而且貌似没有退化为指针类型，并且根本没有进入递归。
那么这么实现是什么用意呢？还是我哪里搞错了呢？

刚试了下:
std::cout << typeid(int[]).name() << '\n';
输出:
int [0]

然而 int a[0]是编译通不过的，那么int [0]是什么类型呢？

Frahm

问到答案了，摸板中T[]的类型不是T[0],而是incomplete type, 没有维数声明的不完整类型。
具体见:
http://stackoverflow.com/questio ... late-specialization