关于C++ Primer中seq.assign(b,e)迭代器使用限制的疑问

为什么测试代码能运行？ #

你写的代码能正常输出只是巧合，这种用自身容器迭代器给assign传参的行为属于C++标准定义的未定义行为——标准不保证它能工作，具体表现完全依赖编译器和标准库的实现。

assign的典型实现流程 #

不同标准库的实现细节可能有区别，但主流实现会遵循以下步骤：

• 先计算迭代器范围[first, last)包含的元素数量
• 检查当前容器容量是否能容纳这些元素，不够的话会重新分配一块新内存
• 将迭代器范围内的元素复制/移动到新内存（或原内存，如果容量足够）
• 销毁原容器中所有旧元素，更新容器的大小、首指针等内部状态

你的代码能运行，是因为：

• 你取的是begin()+1到end()，原容器的旧元素在复制完成前没有被销毁
• 容器不需要重新分配内存（原容量足够），迭代器指向的内存地址始终有效

但如果换成begin()到end()，或者原容器需要扩容，就极可能出现崩溃、数据错乱等问题——因为扩容会让原迭代器失效，后续的复制操作访问的是已经被释放的内存。

对《C++ Primer》说明的理解 #

书中明确禁止迭代器指向自身容器，是因为这种操作的行为完全不可控，属于标准不保障的危险操作，而非语法错误。实际开发中必须严格遵守这个规则，不能依赖偶然的运行成功。

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