简单介绍一下。在C++中，迭代器是"东西"，你可以在其上写入至少解引用运算符 *it，自增运算符 ++it，对于更高级的双向迭代器，则需要自减运算符 --it，最后但并非最不重要的是，对于随机访问迭代器，我们需要索引运算符 it[]，以及可能的加法和减法。
在C++中，这样的"东西"是具有相应运算符重载的类型对象，或者是普通的简单指针。
std::vector<> 是一个容器类，它包装了一个连续的数组，因此使用指针作为迭代器是有意义的。在网络上以及某些文献中，您可以找到将 vector.begin() 用作指针的写法。
使用指针的理由是开销小，性能更高，特别是如果优化编译器检测到迭代并执行相关操作（如矢量指令等）。而使用迭代器可能会更难于编译器进行优化。
了解了这些，我的问题是为什么现代STL实现（比如MSVC++ 2013或Mingw 4.7中的libstdc++）会为 vector 迭代器使用特殊的类？
你说的没错，vector::iterator可以通过简单的指针实现（参见这里）-- 实际上，迭代器的概念基于指向数组元素的指针。但对于其他容器，比如map、list或者deque，指针根本行不通。那么为什么不采用指针呢？以下是三个使用类实现而不是原始指针的原因。
Implementing an iterator as separate type allows additional functionality (beyond what is required by the standard), for example (added in edit following Quentins comment) the possibility to add assertions when dereferencing an iterator, for example, in debug mode.
overload resolution If the iterator were a pointer T*, it could be passed as valid argument to a function taking T*, while this would not be possible with an iterator type. Thus making std::vector<>::iterator a pointer in fact changes the behaviour of existing code. Consider, for example,
template<typename It>
void foo(It begin, It end);
void foo(const double*a, const double*b, size_t n=0);
std::vector<double> vec;
foo(vec.begin(), vec.end()); // which foo is called?
argument-dependent lookup (ADL; pointed out by juanchopanza) If you make an unqualified call, ADL ensures that functions in namespace std will be searched only if the arguments are types defined in namespace std. So,
std::vector<double> vec;
sort(vec.begin(), vec.end()); // calls std::sort
sort(vec.data(), vec.data()+vec.size()); // fails to compile
std::sort is not found if vector<>::iterator were a mere pointer.
std 命名空间内定义自定义指针类型。 - juanchopanzastd函数显式使用vector::iterator作为参数时才会相关。你有这样一个函数的例子吗？ - Walterstd::vector<int> v; sort(v.begin(), v.end());除非迭代器在std命名空间中，否则无法正常工作。 - juanchopanzavector，这将起作用。不使用指针有以下几个原因：
map上进行++it操作将无法将其增加到下一个元素，因为内存不需要是非连续的。超出std::vector的连续内存，大多数标准容器需要“更智能”的指针 - 因此需要使用迭代器。std::vector的迭代器 - 一致性。早期实现的std::vector确实使用了简单的指针，你可以使用它们来进行vector操作。一旦你必须为其他迭代器使用类，考虑到它们带来的好处，将这种方法应用于vector是一个好主意。vector::iterator，而非 map::iterator。 - Walterstd::vector实现确实使用了普通指针，您可以将它们用于vector。一旦您必须为其他迭代器使用类，考虑到它们带来的优点，将其应用于vector是一个好主意。 - Niallvector::iterator 的实现与指针不同，当指针可以满足所有 RandomAccessIterator 的要求时？” - Walterstd::vector中的指针。std::vector进行迭代的概念时，添加一个抽象层class iterator比使用普通指针更有益。std::vector 中，这实际上是可能的。 - Walterstd 命名空间内定义指针类型。但据我所知，并没有任何东西说指针不能被使用。 - juanchopanzastd::vector::iterator不是指针。正如已经提到的，它并没有回答这个问题。 - juanchopanzastd::vector。因此，接口不能只提供指针。std::vector在连续内存中实现，但可能为时已晚，无法将std::vector<T> :: iterator 设置为指针。也许有些代码已经依赖于iterator是一个class/struct。
有趣的是，我发现了一些实现std::vector<T> :: iterator的方法，其中这是有效的并且生成了“null”迭代器（就像空指针一样）it = {}; 。
std::vector<double>::iterator it = {};
assert( &*it == nullptr );
此外，我看到的实现中std::array<T>::iterator和std::initializer_list<T>::iterator 是指针T*。
理论上，一个普通指针像std::vector<T>::iterator是完全可以的。但在实践中，作为内置类型对元编程有可观察的影响（例如std::vector<T>::iterator::difference_type将无效，应该使用iterator_traits）。
不作为原始指针具有(非常)微小的优势，可以禁止null性(it == nullptr)或默认行为(如果您喜欢的话)。(这个论点从泛型编程的角度来看并不重要。)
同时，专用类迭代器在其他元编程方面的成本很高，因为如果::iterator是一个指针，就不需要有特定的方法来检测连续内存（请参见https://en.cppreference.com/w/cpp/iterator/iterator_tags中的contiguous_iterator_tag），并且可以直接将通用代码传递到遗留C函数。
仅出于这个原因，我认为迭代器不是指针是一个昂贵的错误。这使得与C代码交互变得困难（因为您需要另一层函数和类型检测来安全地将内容转发到C）。
话虽如此，我认为我们仍然可以通过允许从迭代器自动转换为指针以及可能的显式（？）从指针转换为vector :: iterators来改进事情。
我通过对迭代器进行解引用并立即重新引用来绕过这个讨厌的障碍。看起来很荒谬，但它满足了MSVC...
class Thing {
. . .
};
void handleThing(Thing* thing) {
// do stuff
}
vector<Thing> vec;
// put some elements into vec now
for (auto it = vec.begin(); it != vec.end(); ++it)
// handleThing(it); // this doesn't work, would have been elegant ..
handleThing(&*it); // this DOES work
Thing＆并传递*it。还要注意，在元素类型可能重载operator＆（不建议）的通用情况下，您的代码将无法工作。 - underscore_d