关于std::vector越界赋值是否为未定义行为的技术问询

首先明确：这段代码绝对属于未定义行为。

为什么是未定义行为？ #

std::vector的operator[]运算符不会做边界检查——它只会根据下标直接计算内存地址（相当于v.data() + 下标），然后直接操作该地址的内存。而你的vector初始size是5，下标1000000远超出了vector实际管理的元素范围，属于越界访问进程内存。

为什么OSX上能输出预期的"10"？ #

这只是未定义行为的一种偶然表现而已。未定义行为意味着C++标准不对程序的运行结果做任何保证，程序可能崩溃、输出乱码、或者像这样“看似正常”运行。在这个场景下，你赋值的那个内存地址刚好属于当前进程的可用地址空间（没有被操作系统标记为不可访问），所以写入和读取操作都没触发崩溃，但这完全是巧合——换个操作系统、编译器版本，甚至只是调整代码里的其他变量（比如那个std::string name的存在会影响栈内存布局），结果都可能完全不同。

为什么capacity没有变化？ #

vector的capacity()只和它主动分配的内存块大小有关。越界赋值完全绕过了vector的内部管理逻辑，根本不会触发它的内存分配机制，所以capacity()自然保持初始值不变。

正确的做法 #

• 如果要安全访问vector元素，应该使用v.at(下标)方法——它会做边界检查，越界时抛出std::out_of_range异常
• 任何时候访问vector元素，都要确保下标严格小于v.size()

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