此 C++ 中的迭代器类型应该是什么？模板？

Question

前一段时间在处理一些图形代码时，我使用整数作为底层坐标持有者编写了 Rect 和 Region 类，并且效果很好。 Region 被实现为 STL 列表的简单类扩展，并且仅包含 矩形列表。

现在我还需要使用双精度数作为底层坐标持有者的相同类型的类，并决定尝试将其模板化。所以我基本上以智能的方式用“typename T”替换了“int”并修复了问题。

但还有一个问题困扰着我。我想通过对组成区域的所有矩形进行并集来计算区域的边界框。当没有模板化时，它工作得很好，但是当它被模板化时，g++ 在列表迭代器上被阻塞。

这是相关的代码：

// Rect class that always remains normalized
template <typename T>
class KRect
{
public:

    // Ctors
    KRect(void)
        : _l(0), _t(0), _r(0), _b(0)
    {
    }
    void unionRect(const KRect& r)
    {
        ...
    }

private:
    T _l, _t, _r, _b;
};

// Region class - this is very brain-dead
template <typename T>
class KRegion : public std::list< KRect<T> >
{
public:
    ...

    // Accessors
    KRect<T> boundingBox(void)
    {
        KRect<T> r;
        iterator i;
        for (i = this->begin(); i != this->end(); i++)
        {
            r.unionRect(*i);
        }
        return r;
    }
    ...
};

当该代码不是模板的一部分，因此 T 是确定的（例如 int）时，“iterator i”行可以正常工作。但是在上面看到的，Ubuntu 上的 g++ 发出了一些错误，我觉得这些错误并没有提供太多信息：

include/KGraphicsUtils.h: In member function ‘KRect<T> KRegion<T>::boundingBox()’:
include/KGraphicsUtils.h:196: error: expected ‘;’ before ‘i’
include/KGraphicsUtils.h:197: error: ‘i’ was not declared in this scope
include/KGraphicsUtils.h: In member function ‘KRect<T> KRegion<T>::boundingBox() [with T = int]’:
--- redacted ---:111:   instantiated from here
include/KGraphicsUtils.h:196: error: dependent-name ‘std::foo::iterator’ is parsed as a non-type, but instantiation yields a type
include/KGraphicsUtils.h:196: note: say ‘typename std::foo::iterator’ if a type is meant

我的猜测是，这是一个类型限定问题，其中包含一些我不熟悉的 template-y spin。我尝试过各种方法，例如：

std::list< KRect<T> >::iterator i;
this->iterator i;

但似乎没有任何效果。

有什么建议吗？

Answer 1

iterator 是一个依赖类型（它依赖于模板参数），需要以 typename 为前缀：

typename std::list< KRect<T> >::iterator i;

更好的风格是提供类范围的 typedef：

template <typename T>
class KRegion : public std::list< KRect<T> >
{
    typedef std::list< KRect<T> > base;
    typedef typename base::iterator iterator;
    // ...
};

Answer 2

我认为gf有你的答案，但我想建议让区域作为成员而不是基类来管理列表：

template <typename T>
class KRegion
{
protected:
     typedef std::list< KRect<T> > ListType;
     ListType list;
public:
    ...
    // Accessors
    void addRect(KRect<T> & rect) { list->push_back(rect); }
    ...
    KRect<T> boundingBox(void)
    {
        KRect<T> r;
        ListType::iterator i;
        for (i = list->begin(); i != list->end(); i++)
        {
            r.unionRect(*i);
        }
        return r;
    }
    ...
};

我提出此建议的动机是，有一天，您可能想要使用不同的容器来存储您的 KRect，并且将该列表作为内部成员可以让您在不破坏所有客户端代码的情况下执行此操作。