为何std::vector中&vec[0]是未定义行为，而vec.data()安全？

我来帮你把这里面的关键点拆解清楚，你提到的疑惑其实是很多C++开发者刚接触vector时都会踩的坑，咱们一步步说：

核心规则回顾 #

• 当std::vector（或std::array）为空时，使用&v[0]属于未定义行为，但调用v.data()始终是安全的。
• 官网示例里的注释说v.begin()不保证和&v[0]等价，本质还是和空容器的情况挂钩。

为什么&v[0]是未定义行为？ #

你可能觉得&v[0]只是取地址，没有解引用，但实际上，vector::operator[]的行为在C++标准里有明确规定：它要求下标对应的元素必须存在。也就是说，当容器为空时，v[0]本身就是未定义行为——哪怕你只是取它的地址，也已经触发了这个未定义行为的前提。

标准并没有保证operator[]在越界（包括空容器访问0下标）时会“安全返回地址”，编译器完全可以对这种情况做任何处理：比如VS Debug模式下触发断言（这是编译器给你的友好提示），Release模式下可能返回空指针或者某个随机地址，甚至直接崩溃。

而vector::data()的设计就是专门用来获取指向底层数组的指针，标准明确规定：即使容器为空，data()也会返回一个合法的空指针（或者说，一个可以和空指针比较的有效指针值），不会触发任何未定义行为。

为什么v.begin()不保证和&v[0]等价？ #

正常情况下，当容器非空时，v.begin()的底层指针、v.data()和&v[0]的值确实是完全相同的——这是大多数编译器的常规实现，但标准并没有强制要求这一点（虽然实际几乎所有编译器都这么做）。

但关键还是空容器的情况：当容器为空时，v.begin()等于v.end()，这是标准明确规定的；但&v[0]此时是未定义行为，根本不存在“等价”的说法。官网示例里的错误写法f(v.begin(), v.size())，如果v是空的，v.begin()是合法的，但如果函数f内部试图把这个迭代器转换成指针并当作&v[0]来用，就会出问题——而改用v.data()的话，不管容器空不空，都能得到合法的指针。

关于你在VS里看到的现象 #

• Debug模式下触发断言：这是VS的调试机制，专门检测operator[]的越界访问（包括空容器访问0下标），帮你提前发现潜在问题。
• Release模式下无提示：因为Release模式会做优化，不会保留断言检查，此时&v[0]可能返回空指针，但这只是VS的一种实现，不是标准保证的，换个编译器可能结果完全不同。
• 默认构造的vector两者地址都是0：这同样是VS的实现方式，不能依赖这个行为写可移植的代码。

内容的提问来源于stack exchange，提问作者Zebrafish