指定容器类型的迭代器类型的部分专门化

Question

template<typename Iterator>
struct AC {

};

template<typename T, typename Alloc>
struct AC<typename std::vector<T, Alloc>::iterator> { //this doesn't work

};

有人能告诉我为什么这行不通吗？以及如何让它发挥作用？

Answer 1

不能推断嵌套::的剩余类型。的确，你的问题没有道理。考虑这个更简单的反例：

template <typename> struct Foo;
template <> struct Foo<bool> { typedef float type; };
template <> struct Foo<char> { typedef float type; };

template <typename> struct DoesntWork;

template <typename T> struct DoesntWork<typename Foo<T>::type> { };

现在，如果我说doesntwork ，那么t应该是什么？

关键在于，没有理由认为t应该存在，而foo ::type 是您想要匹配的对象，即使有，也没有理由认为它是唯一的。