具有可访问构造函数的std :: vector <T> :: iterator

Question

STL的 g ++实现允许我在客户端代码中构造具有任意地址值的std::vector<T>::iterator类型的std::vector<T>::iterator ：

int* i_ptr;
std::vector< int >::iterator it(i_ptr);

是标准能力还是仅仅是实施的雏形？

它在哪里设计使用？

Answer 1

这只是一个实现细节，甚至不能保证按标准进行编译。 它也未在gcc的实现定义的行为或GNU C ++扩展中列出，因此您的代码段可能会在任何版本更改时中断。

不要在您的代码中以任何方式依赖此“工作”。

Answer 2

在Visual Studio 2017 RC中无法编译：

main.cpp(8): error C2664: 'std::_Vector_iterator<std::_Vector_val<std::_Simple_types<int>>>::
_Vector_iterator(std::_Vector_iterator<std::_Vector_val<std::_Simple_types<int>>> &&)':
cannot convert argument 1 from 'int *' to
'const std::_Vector_iterator<std::_Vector_val<std::_Simple_types<int>>> &'

Answer 3

我认为这不是标准能力。 只是实现定义的功能。

在许多实现中， 矢量迭代器只是简单的指针。 因此，如果您有一个vector <T>，则迭代器只是一个指向T的指针。 出于某些优化目的而完成。

在此类实现中，可以创建从指针初始化为类型T的迭代器，因为您可以通过此类的另一个指针将指针初始化为类型T。

但这当然是实现定义的，无论是否将迭代器定义为指向T类型的指针。