为何用[]初始化std::vector会触发未定义行为，而std::map却可行？

首先明确：直接用std::vector的[]运算符初始化元素会触发未定义行为，这和std::map的[]行为完全不同，核心原因是两者的[]运算符设计逻辑存在本质区别：

一、std::vector的[]运算符 #

std::vector的[]运算符（包括普通版本和at()）的作用仅为访问已存在的元素，不具备创建新元素的能力。

当执行以下代码时：

std::vector<int> vectorVar;
vectorVar[0] = 0;

此时vectorVar是空容器，内部没有任何元素，[0]试图访问下标为0的位置，但该位置根本不存在，属于越界访问，因此触发未定义行为（可能导致程序崩溃、内存篡改或其他不可预测的结果）。

要给vector添加元素，必须先通过push_back()、emplace_back()，或初始化时指定容器大小（比如std::vector<int> vectorVar(1);）来创建元素，之后才能用[]访问并修改：

vectorVar.push_back(0); // 先创建元素
vectorVar[0] = 5;       // 此时访问的是已存在的元素，行为合法

二、std::map的[]运算符 #

std::map的[]运算符设计逻辑完全不同：它兼具查找与插入的功能——当指定的键不存在时，会自动创建一个键值对，其中值为对应类型的默认构造对象，再返回该值的引用。

当执行以下代码时：

std::map<int, std::vector<int>> mapVar;
mapVar[0] = vectorVar;

因为mapVar中原本没有键为0的条目，mapVar[0]会先自动创建一个键为0、值为默认构造std::vector<int>的条目，随后将vectorVar赋值给这个新创建的元素，整个过程合法且行为明确。

核心差异总结 #

• std::vector的[]：仅用于访问已存在的元素，越界访问触发未定义行为，不会自动创建元素。
• std::map的[]：兼具查找和插入功能，键不存在时自动创建默认构造的元素，行为完全合法。

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