为什么迭代器在容器调用分配时无法引用它们所属的容器？

Question

string s="zhangzhizhong"; 
s.assign(s.begin()+2, s.end()-2); 
string is correct! 
vector<int> ivec{0,1,2,3,4,5}; 
ivec.assign(ivec.begin()+1, ivec.end()-1); 
vector is also correct!!! 

上面的代码是正确的，但是书中写的是当容器调用assign()时迭代器无法引用它们所属的容器。

Answer 1

这对顺序容器是非法的，如vector或deque。

[sequence.reqmts/4表100

a.assign(i,j)前：i，j没有迭代器a

，但我相信这是对明确提出std::string有效：

[字符串::分配]/20

template<class InputIterator> 
basic_string& assign(InputIterator first, InputIterator last); 

影响：等价于assign(basic_string(first, last))。

该标准要求实施在执行分配之前制作序列的副本（或者至少，其行为如同它的行为一样）。没有要求我可以看到迭代器不指向被分配的字符串。

我不确定为什么它不能以这种方式为容器工作，但是如果我不得不猜测，我会说这正是为了避免强制执行额外的副本。