c++ - 指定容器类型的迭代器类型的部分特化

Question

我有一个模板结构，它接受 Iterator 类型作为模板参数。现在我需要为不同容器的迭代器专门化该类。我试过 std::vector

template<typename Iterator>
struct AC {

};

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

};

但是我得到了这个编译器错误(VS11):'T' : 在部分特化中未使用或可推导的模板参数

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

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<float> ，应该做什么T是吗？

关键是没有理由 any T应该存在 Foo<T>::type是您想要匹配的东西，即使有，也没有理由说它是唯一的。