&vector[0] 和 vector.begin() 有什么区别？

Question

这个问题与 Effective stl book 的第 16 条有关，它指出在遗留代码中使用 vector（让我们假设vector<int>vec ）而不是数组时，我们必须使用 &vec[0] 而不是 vec.begin() ：

 void doSomething(const int* pInts, size_t numlnts);  
 dosomething(&vec[0],vec.size()); \\correct!! 
 dosomething(vec.begin(),vec.size()); \\ wrong!! why??? 

这本书指出vec.begin()与&vec[0] 。 为什么 ？ 两者有什么区别？

Answer 1

std::vector是封装动态大小数组的序列容器。 这使您可以方便地存储一堆元素，而无需担心管理作为元素存储的底层数组。 使用这些类的很大一部分便利来自于它们为您提供了一堆方法，让您无需处理原始指针即可处理序列，迭代器就是一个例子。

&vec[0]是指向向量正在使用的底层存储的第一个元素的指针。 vec.begin()是一个从向量开头开始的迭代器。 虽然这两种方法都为您提供了一种访问序列中元素的方法，但它们是两个不同的概念。 搜索迭代器以更好地了解其工作原理。

如果您的代码支持迭代器，通常最容易使用迭代器来迭代数据。 部分原因是迭代器不是指针，它们让您迭代数据结构的元素，而无需了解您正在迭代的数据结构的实现细节。

但是，有时您需要原始的项目数组，例如在某些遗留 API 或对 C 代码的调用中，您可能需要传递指向该数组的指针。 在这种情况下，您别无选择，只能从向量中提取原始数组，您可以使用诸如&vec[0]东西来执行此操作。 请注意，如果您有 c++11 支持，则有一种明确的方法可以使用std::vector::data执行此操作，这将使您可以访问底层存储阵列。 c++11 方式还有一个额外的好处，那就是更清楚地向阅读你代码的人说明你的意图。

Answer 2

形式上，一个产生一个迭代器，另一个产生一个指针，但我认为主要的区别是如果向量为空， vec[0]会做坏事，而vec.begin()不会。

Answer 3

vec.begin()类型为std::vector<int>::iterator 。 &vec[0]具有指向std::vector<int>::value_type类型指针。 这些不一定是相同的类型。

给定的实现可能使用指针作为向量的迭代器实现，但这不能保证，因此您不应依赖该假设。 事实上，大多数实现确实提供了一个包装迭代器类型。

关于您关于指针是迭代器的问题，这在一定程度上是正确的。 指针确实满足随机访问迭代器的标准，但并非所有迭代器都是指针。 还有一些迭代器不支持指针的随机访问行为。