std :: map :: const_iterator模板编译错误

Question

我有一个模板类，其中包含一个std::map ，它存储指向T的指针，而T拒绝编译：

template <class T>
class Foo
{
public:
  // The following line won't compile
  std::map<int, T*>::const_iterator begin() const { return items.begin(); }

private:
  std::map<int, T*> items;
};

gcc给我以下错误：

error: type 'std::map<int, T*, std::less<int>, std::allocator<std::pair<const int, T*> > >' is not derived from type 'Foo<T>'

同样，以下内容也拒绝编译：

typedef std::map<int, T*>::const_iterator ItemIterator;

但是，使用不包含模板类型的地图也可以，例如：

template <class T>
class Foo
{
public:
  // This is OK
  std::map<int, std::string>::const_iterator begin() const { return items.begin(); }

private:
  std::map<int, std::string> items;
};

我认为这与模板有关，并提出了一个问题-如何将const_iterator返回到地图？

Answer 1

使用typename ：

typename std::map<int, T*>::const_iterator begin() const ...

当编译器第一次传递它时，它不知道T是什么。 因此，它也不知道const_iterator是否实际上是一种类型。

此类依赖名称 （取决于模板参数）假定为

• 没有类型，除非前缀typename
• 除非是template的直接前缀，否则不要成为template 。

Answer 2

您需要输入typename ：

typename std::map<int, T*>::const_iterator begin() const { return items.begin(); }

Answer 3

你需要：

typename std::map<int, T*>::const_iterator begin() const { return items.begin(); }

或更简单

typedef typename std::map<int, T*>::const_iterator const_iterator;
const_iterator begin() const { return items.begin(); }

这是因为const_iterator是T依赖名称，因此您需要告诉编译器它实际上是类型。