为什么shrink_to_fit没有约束力？

Question

C++0x FCD以23.3.6.2矢量容量表示：

void shrink_to_fit()；

备注: shrink_to_fit是一个非绑定请求，用于将容量()减少到size()。注意:请求是不具有约束力的，允许为特定于实现的优化提供空间。-end注记

打算允许什么样的优化？

Answer 1

这是一个相当紧张的问题，但是：

考虑向量的分配器，它只能用4KB的粒度分配内存。如果向量的容量为4096，大小为4095，那么重新分配内存就没有意义了，因为这样既不会节省内存，又会浪费一些CPU时间来复制元素。

Answer 2

四舍五入的想法确实是相关的，但相当间接的。问题是“允许什么优化”。这是对标准化过程wrt的一些假设。优化。一般来说，目的是允许所有不可观测的优化，然后是一些--例如复制省略--复制ctor的不调用是可观察的。在这种情况下，capacity() != size()可能是优化的一个可观察的效果，并且标准允许它。

至于增加这一自由度的原因，我也可以想象，当capacity()只占size()的101%时，我会忽略收缩请求--收益太少了。永远不会有一个确切的原因，因为LWG由许多持多种观点的人组成。有足够的共识认为，给予这种自由创造了足够多的优化机会。

Answer 3

虽然矢量已经很特殊，但它必须以大小为8的块分配，我也知道有些人正在努力使malloc返回任何已分配块的“真实大小”，因此，如果分配的块会带来不可避免的浪费，则向量可以有效地使用空间。

当我们移动到64位OSes时，内存空间突然变得比任何人都接近填充时(著名的遗言)大，因此分配大量的虚拟内存并在任何时候填满它们都变得更加合理。移动物体是昂贵的，在实践中是浪费时间，因为我们没有移动东西，因为物理内存是有限的，只是从一个虚拟的地方到另一个地方！