使用 std：：vector，为什么 &vec[0] 未定义的行为，而 vec.data（） 是安全的？

问：

我一直在阅读 isocpp.org“链接此处”的常见问题解答，并遇到了以下警告：std::vector

std::vector<int> v;
auto a = &v[0]; // Is undefined behaviour but
auto a = v.data(); // Is safe

从实际网站：

void g()
{
  std::vector<Foo> v;
  // ...
  f(v.begin(), v.size());  // Error, not guaranteed to be the same as &v[0]
    ↑↑↑↑↑↑↑↑↑ // Cough, choke, gag; use v.data() instead
}

此外，如果 or 为空，则使用是未定义的行为，而使用该函数始终是安全的。&v[0]std::vectorstd::array.data()

我不确定我是否完全理解了这一点。 返回指向数组开头的指针，并返回开头的地址。我在这里没有看到区别，我不认为这是取消引用任何东西（即，没有读取元素 0 的内存）。在调试版本的 Visual Studio 上，访问下标会导致断言失败，但在发布模式下，它不会显示任何内容。此外，对于默认构造向量，这两种情况下的地址都是 0。::data()&[0]&[0][0]

另外，我不明白关于不保证与.我假设对于向量，迭代器中的原始指针 和 都是相同的值。::begin()::operator[0]begin()::data()&[0]