c++ - vector::shrink_to_fit 是否允许重新分配？

Question

该成员函数在标准中没有定义作用(仅备注)，如果不允许重新分配，则使用将受到限制。但我在标准中发现的唯一似乎适用的段落是 23.2.1/11:

"Unless otherwise specified (either explicitly or by defining a function in terms of other functions), invoking a container member function or passing a container as an argument to a library function shall not invalidate iterators to, or change the values of, objects within that container."

由于重新分配会使迭代器无效，这是否意味着 shrink_to_fit 不能正式重新分配？如果是这样，该函数只能对减少容量不重新分配的实现产生影响，如果有的话......

Answer 1

我同意，其意图显然是 shr​​ink_to_fit() 可以重新分配，因此应该允许它使迭代器无效。

如果实现为分配器提供类似 realloc() 的功能，保证在收缩 block 时不会移动内存，这不会使迭代器无效，则只有满足请求才有可能。但我不认为这是预期的，正如 recently-added requirement 所暗示的那样。 T 是 MoveInsertable 到 vector 中，因为该要求仅在元素移动到新位置时才相关，这会使迭代器无效。

我认为你应该submit an issue澄清 shr​​ink_to_fit() 可以使迭代器无效。该问题适用于 basic_string、deque 和 vector。