关于C++ Vector赋值运算符(=)是否存在未定义行为的问询

• 不同大小Vector赋值无未定义行为：当使用operator=将一个vector赋值给另一个不同大小的vector时，这是C++标准明确规定的合法操作，不存在未定义行为。赋值过程中，左侧vector会自动调整自身大小以匹配右侧，销毁原有元素并拷贝右侧的所有元素到自身内存中（内存不足时会自动重新分配）。
• 与operator[]越界的本质区别：operator[]访问越界属于未定义行为，是因为标准未强制要求该运算符做边界检查；而operator=的行为是标准严格约束的，只要赋值的左右两侧都是合法初始化的vector对象，就不会触发未定义行为。
• 异常安全说明解析：vector的operator=提供强异常安全保证——如果赋值过程中（比如元素拷贝/移动构造时）抛出异常，左侧vector会完全恢复到赋值前的状态，不会处于半修改的无效状态。例如，左侧原本有3个元素，赋值一个含5个元素的vector时，若在拷贝第4个元素时抛出异常，左侧会保留原来的3个元素，不会出现新旧元素混杂的情况。

总结：不同大小vector间的赋值操作是安全合规的，无需担忧未定义行为，只要确保参与赋值的vector都是合法实例即可。

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