c++ - 为什么迭代器类型与 vector 容器中的 value_type * 不匹配？

Question

根据最新的STL源码，我可以在STL_vector.h中找到如下内容

template <class _Tp, class _Alloc = __STL_DEFAULT_ALLOCATOR(_Tp) >
class vector : protected _Vector_base<_Tp, _Alloc>   
{
private:
  typedef _Vector_base<_Tp, _Alloc> _Base;
public:
  typedef _Tp value_type;
  typedef value_type* pointer;
  typedef const value_type* const_pointer;
  typedef value_type* iterator;
  typedef const value_type* const_iterator;
  typedef value_type& reference;
  typedef const value_type& const_reference;
  typedef size_t size_type;
  typedef ptrdiff_t difference_type;
...

int main() {
vector<string>::iterator it;

cout << "iterator type check 1 " << (typeid(it) == typeid(string *)) << endl;
cout << "iterator type check 2" << (typeid(vector<string>::iterator) == typeid(vector<string>::value_type *)) << endl;
cout << "iterator type check 3" << (typeid(vector<string>::pointer) == typeid(vector<string>::value_type *)) << endl;
cout << "iterator type check 4" << (typeid(string *) == typeid(vector<string>::value_type *)) << endl;

但是，当我使用 clang++ 编译上面的 main 时，我得到了 iterator 和 value_type * 的不匹配结果。 结果是 1/2 不匹配，3/4 匹配。但是，我预计 1/2 也应该匹配。 这是因为我指的是最新的 STL 代码吗？

Answer 1

STL 不是 C++ 标准库。 C++ 标准允许实现将指针用于随机访问迭代器，但不强制执行。 clang 和 gcc 都为这些迭代器使用用户定义的类型，而不是指针。 GCC 也不是。

您需要查看您实际尝试编译的代码的实现。那不是 STL。

例如，在 gcc 4.8 上 std::vector::iterator 是

typedef __gnu_cxx::__normal_iterator<pointer, vector> iterator;

其中 __normal_iterator 是一个类模板。