std::vector<float> 会在无主动操作时自动缩小自身尺寸吗？

std::vector 绝不会在没有触发明确缩容操作的前提下，无故自动修改自身的size值。你观测到的size异常缩小，全部来自未定义行为，而非vector的自动缩容逻辑。

首先明确：只有这些操作才会让vector的size变小 #

只有你显式调用以下接口时，vector的size才会发生缩小：

• 传入更小目标值的resize()调用
• pop_back()移除尾部元素
• erase()删除指定区间的元素
• clear()将size置为0
  shrink_to_fit()只会请求调整capacity匹配当前size，本身不会主动修改size值。

你遇到的size异常的大概率原因 #

结合你提到的“仅通过data()拿裸指针做memcpy写入、没有调用修改size的接口”的场景，问题基本来自两类常见的未定义行为：

1. memcpy越界踩坏了vector的内部元数据 #

几乎所有标准库实现的std::vector对象本身，都会存储三个核心指针来管理内存：

• 指向元素存储块起始位置的指针
• 指向元素存储块“逻辑结束位置”的指针——size()返回的实际就是从起始位置到这个结束位置的元素个数
• 指向元素存储块“物理可用位置”的指针——用来计算capacity
  如果你memcpy时计算的写入长度有误，越界覆盖到了上面这几个指针的存储位置，那么size()读出来的结果就会完全是被篡改后的值。
  你看到的从17280000变成3840000的固定差值，非常符合越界覆盖“逻辑结束位置”指针的特征：本该指向偏移17280000的位置，被你memcpy写入的数据改成了指向偏移3840000的位置，读出来的size自然就是后者。

别觉得自己做了边界校验就万无一失：很多人校验时用的最大允许值是对的，实际写memcpy的时候手滑把长度参数写错，比如把源缓冲区长度、目标地址偏移量搞混，写出去的长度比校验的最大值多了一截，刚好踩中vector的内部指针。要知道data()返回的是元素存储块的首地址，这个块和vector对象本身的成员内存是相邻的，只要写入长度超过已分配的元素块范围，就非常容易覆盖到vector自身的管理指针。

2. 共享缓冲区的多线程竞态 #

从类名SharedConsumableRotatingBuffer可以判断，这个缓冲区是跨多线程访问的。如果没有对buffer的所有访问（包括拿data()做memcpy、读size()、构造时的resize）做互斥锁同步，就可能出现：

• 读size()时刚好读到其他线程写入过程中的半更新内存值
• 其他线程意外触发了vector的析构、resize操作，但因为没有内存屏障，当前线程读到的是未同步的陈旧值

排查建议 #

• 逐一核对所有memcpy的长度参数：确保写入长度严格不超过buffer.resize时设置的总长度，没有因为类型大小算错、单位换算出错（比如把字节数当元素数）导致越界
• 在观测size异常的位置，同时打印buffer.data()的地址、vector对象的内存地址，计算两个地址的差值，判断是否存在越界写入刚好覆盖vector成员的情况
• 给所有跨线程访问buffer的操作加上统一的互斥锁，排除多线程竞态的影响
• 尽量减少直接对vector裸内存做memcpy的操作，可通过std::span做强制边界校验，从代码层面降低越界风险

内容的提问来源于stack exchange，提问作者Gatonito