探测器阵列类型不工作

Question

template<typename T> 
class CompoundT {   // primary template 
    public: 
    enum { IsPtrT = 0, IsRefT = 0, IsArrayT = 0, 
      IsFuncT = 0, IsPtrMemT = 0 }; 
    typedef T BaseT; 
    typedef T BottomT; 
    typedef CompoundT<void> ClassT; 
}; 

template<typename T, size_t N> 
class CompoundT <T[N]> { // partial specialization for arrays 
    public: 
    enum { IsPtrT = 0, IsRefT = 0, IsArrayT = 1, 
      IsFuncT = 0, IsPtrMemT = 0 }; 
    typedef T BaseT; 
    typedef typename CompoundT<T>::BottomT BottomT; 
    typedef CompoundT<void> ClassT; 
}; 

，并在主：

template<class T> 
bool isArray(T a) 
{ 
    return CompoundT<T>::IsArrayT; 
} 

int _tmain(int argc, _TCHAR* argv[]) 
    { 
     int a[10]; 
     cout << isArray(a); 
     return 0; 
} 

为什么这不起作用？这个例子来自“模板完整指南”ch.19.2。

Answer 1

由于IsArray的必须采取参考，否则，如果您按值取一个数组是一样的，如果你把一个指针:)

template <class T> 
bool isArray(const T&) {...} 

因为

void f(int a[10]); 

和

void f(int* a); 

是等效的声明。