容器的赋值函数可能溢出吗?

这是我发现的。结果证明我不必担心默默地做错事。标准再一次得到了答案。根据第23.2.6.1节:

void assign(Iter first, Iter last);

影响:

erase(begin(), end());

insert(begin(), first, last);

所以这真的只是 clear() 其次是 insert 全范围的。