语义迭代器声明？

Question

我很抱歉这个非常模糊的标题，我真的不知道如何命名这个问题。

假设我有这个：

std::list<std::string> msgs;

for (std::list<std::string>::iterator it = msgs.begin(); it < msgs.end(); it++) {
    // ...
}

对我来说，这很难阅读。 std::list::iterator 几乎看起来像一个神奇的数字，特别是如果 msgs 的声明很远，比如在头文件中。在我看来，如果它是这样的，它会更容易阅读并且更具语义：

std::list<std::string> msgs;

for (msgs.iterator it = msgs.begin(); it < msgs.end(); it++) {
    // ...
}

现在，这显然是非法的 C++。但我的问题是，有没有一种方法可以实现支持像这样编写迭代器声明的东西？

Answer 1

如果您提供 typedef，它将使生活变得更加轻松：

typedef std::list<std::string>::iterator ListIterator;
for( ListIterator it = msgs.begin(); it != msgs.end(); ++it ){}

除此之外，c++0x 通过提供 auto 关键字来为您做到这一点：

for( auto it = msgs.begin(); it != msgs.end(); ++it ){}

edit 就像日期后 5 年一样，但我更新了 < tp != 并使用预增量，因为这实际上是我多年来一直在做的事情，并且对我来说更有意义，以至于它让我想知道我是如何写的这个答案不使用那个

Answer 2

有两种实用的规范方法：

typedef std::list<int> list_t;
list_t l;

// later:
for (list_t::iterator it = l.begin(), end = l.end(); it != end; ++it) {}

以及仅限 C++0x auto：

std::list<int> l;

// later:
for (auto it = l.begin(), end = l.end(); it != end; ++it) {}

此外，C++0x 允许：

std::list<int> l;

// later:
for (decltype(l)::iterator it = l.begin(), end = l.end(); it != end; ++it)
   std::cout << *it << ", ";

我认为这是与您具体情况最接近的匹配询问（即使这不一定是最好的解决方案）。

缺点是能够将作用域运算符 (::) 应用于 decltype ^link 最近才被投票纳入工作文件，我不知道任何支持它的编译器（GCC 4.5.1 不）。

Answer 3

您可以使用 typedef 来清理它：

typedef std::list<std::string>::iterator string_iterator;

std::list<std::string> msgs;

for (string_iterator it = msgs.begin(); it != msgs.end(); it++) {
    // ...
}

Answer 4

所有容器都具有这些 typedef 来支持编写非常通用的代码。考虑以下函数模板：

template<class T>
void foo(const T& container) {
    for(T::const_iterator it = T.begin(); it != T.end(); it++) {
        // do stuff
    }
}

这使您能够编写可与定义类型 const_iterator 和方法 begin() 和 end 的任何对象一起使用的代码()。

在 C++0x 中，通过引入 auto 关键字解决了该问题：

for(auto it = container.begin(); it != container.end(); it++) {
    // do stuff
}

Answer 5

规范的解决方案是

std::for_each(msgs.begin(), msgs.end(), ... );

在 C++0x 之前，编写 ... 位曾经有点困难（如果它很复杂的话），但我们现在有了 lambda。