template类中函数的模板参数

Question

我有这样的情况

template<class T> class Vector {
  T *data;
  uint _size, _counter;
public:
  class Iterator;
  template<template<class> class C> Vector(typename C<T>::Iterator it1,
                                           typename C<T>::Iterator it2) {
    data = NULL;
    _size = _counter = 0;
    for(typename C<T>::Iterator it = it1; it != it2 && it != end(); it++)
      push(*it);
  }
};

这是我自己的Vector类，构造函数模拟了Vector的行为（u可以通过使用interator提供的数据范围来构造它），但增加了一个要求，即容器是与正在构造的容器相同类型的模板。我有错误

5.cpp:16:36:错误：调用“Vector：：Vector（Vector：：Iterator,Vector：：Iterator）”没有匹配函数5.cpp:16:36:注意：候选项是：包含在5.cpp:2:0:

5.HPP:17:37:注意：模板类typedef C C>Vector::Vector（typename C：：Iterator,typename C：：Iterator）

5.HPP:17:37:注意：模板参数推演/替换失败：

5.cpp:16:36:注意：无法导出包含在5.cpp:2:0中的文件中的模板参数“template class typedef C C”：

5.HPP:11:3:注：vector：：vector（）[其中T=int]

5.HPP:11:3:注意：候选人需要0个参数，提供2个

5.HPP:7:25:注：vector：：vector（常量vector&）

5.HPP:7:25:注：候选人需要1个参数，提供2个

这里需要帮助。

Answer 1

在：

 template<template<class> class C> Vector(typename C<T>::Iterator it1,
                                           typename C<T>::Iterator it2) 

编译器不会从typenameC ::iterator 导出类型C，因为它是所谓的非导出上下文。

参见§14.8.2.4从类型[temp.defint.type]推导模板参数：

4未推导的上下文是：

-使用限定ID指定的类型的nested-name-specifier。

-是模板ID的类型，其中一个或多个模板参数是引用模板参数的表达式。