为什么迭代器类型与矢量容器中的 value_type * 不匹配

Why iterator type is mismatched with value_type * in vector container?

本文关键字：value type 不匹配 类型 迭代器 为什么      更新时间：2023-10-16

根据最新的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 时，我得到了迭代器和 value_type * 的不匹配结果。结果是 1/2 不匹配，3/4 匹配。但是，我预计 1/2 也应该匹配。这是因为我指的是最新的 stl 代码吗？

STL 不是C++标准库。C++ 标准允许实现将指针用于随机访问迭代器，但不强制要求它。clang 和 gcc 都为这些迭代器使用用户定义的类型，而不是指针。海湾合作委员会也不是。

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

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

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

其中__normal_iterator是类模板。

相关文章：