模板參數

Question

我有以下代碼：

template<typename T, typename Allocator = std::allocator<T> > 
class Carray { 
    // ... 
    typedef T* pointer; 
    typedef pointer iterator; 
    // ... 
}; 

現在我想爲iterator_traits做局部的專業化。這似乎確定了我，但G ++ 4.4.5抱怨：

#include <iterator> 

namespace std { 
    template<typename T, typename Allocator> 
    struct iterator_traits<typename Carray<T, Allocator>::iterator> { // line 128 
     typedef T value_type; 
     typedef typename Allocator::difference_type difference_type; 
     typedef typename Allocator::reference reference; 
     typedef typename Allocator::pointer pointer; 
     typedef typename std::random_access_iterator_tag iterator_category; 
    }; 
} 

這是完全錯誤消息：

carray.h:128: error: template parameters not used in partial specialization: 
carray.h:128: error:   ‘T’ 
carray.h:130: error: ‘Allocator’ has not been declared 
carray.h:131: error: ‘Allocator’ has not been declared 
carray.h:132: error: ‘Allocator’ has not been declared 

Answer 1

你不應該需要一個專業化的一切都在這裏：iterator_traits已經專門用於指針類型，如果你最終得到的是一個類類型的迭代器，你可以在迭代器類中定義那些所需的typedef。

問題是，爲了匹配主特殊化，編譯器需要使用模板使用的參數，將它們插入特化中，並查看它們是否匹配。

考慮以下簡化的場景會發生什麼：

template <typename T> struct S { typedef int type; }; 

template <typename T> 
struct Traits { }; 

template <typename T> 
struct Traits<typename S<T>::type> { }; 

如何編譯器應該知道什麼T插到S還是有些S<T>::type的真正含義，而不僅僅是int？

問題是，嵌套typedef（::type）取決於模板參數（T）。當在函數參數列表或部分特化中出現這種情況時，不能推導出類型T（它是「非推導的上下文」）。