部分特化中不使用模板参数

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::type 的真正含义不仅仅是 int 吗？

问题在于嵌套的 typedef (::type) 取决于模板参数 (T)。当函数参数列表或部分特化中出现这种情况时，无法推导类型 T （它是“非推导上下文”）。