容器的分配函数可能会溢出吗？

Question

我今天遇到了这个问题，我认为我应该将其发布以供社区参考和/或意见。

标准 C++ 容器向量、双端队列、列表和字符串提供 assign 成员函数。有两个版本；我主要对接受迭代器范围的那个感兴趣。 Josuttis 书的描述有点含糊。从页。 237...

对 [beg,end) 范围内的所有元素进行赋值；也就是说，用 [beg,end) 元素的副本替换所有现有元素。

它没有说明如果受让人容器的大小与分配的范围不同会发生什么。它会被截断吗？会自动扩展吗？这是未定义的行为吗？

Answer 1

这是我发现的。事实证明我不必担心默默地做错事。标准再次给出了答案。来自第 23.2.6.1 节：

void allocate(首先迭代，最后迭代);

效果：

擦除(开始(),结束());

插入(begin(),第一个,最后一个);

所以它实际上只是一个 clear() 的快捷方式，后跟一个完整范围的 insert 。