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的行为（你可以用使用交互器提供的数据范围来构造它），但是要求容器是与正在构造的类型相同类型的模板。我收到错误

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：注意：无法推断模板参数'template class typedef C C'包含在5.cpp中的文件：2：0：

5.hpp：11：3：注意：Vector :: Vector（）[with T = int]

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

5.hpp：7：25：注意：Vector :: Vector（const Vector＆amp;）

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

在这里需要一些帮助。

Answer 1

在：

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

编译器不会从C中推断出类型typename C<T>::Iterator，因为它是所谓的 nondeduced context 。

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

4非受限的上下文是：

- 使用qualified-id。
指定的类型的嵌套名称说明符
- 作为template-id的类型，其中一个或多个模板参数是引用模板参数的表达式。

模板类中函数的模板参数

1 个答案: