能否在不复制数据的情况下调整动态分配数组的大小？

答案是可以的，多数情况下无需复制数据就能完成缩小操作，核心依赖内存分配器的行为：

当你在堆上分配了大小为10的数组，前5个位置存了数据后，要缩小到仅保留前5个元素：

• 在C语言中，使用realloc函数传入更小的新尺寸时，主流内存分配器（比如glibc、Windows堆分配器）会直接调整内存块的末尾边界，把超出新尺寸的部分归还给堆。因为你的有效数据都集中在内存块的起始位置，完全不需要移动或复制已有数据。
• 这是分配器的常规优化行为——毕竟复制数据纯粹是浪费性能，没有任何必要去做。不过要注意，C标准并没有强制要求realloc必须这么做，但实际中几乎所有靠谱的实现都会采用这种无复制的缩小逻辑。

举个实际的C代码示例：

#include <stdlib.h>

int main() {
    // 分配10个int的堆内存
    int* arr = malloc(10 * sizeof(int));
    if (!arr) return 1;

    // 填充前5个元素
    for (int i = 0; i < 5; i++) {
        arr[i] = i + 1;
    }

    // 缩小到5个int的大小
    int* resized = realloc(arr, 5 * sizeof(int));
    if (resized) {
        arr = resized;
        // 此时arr指向的内存块已被截断为5个int，多余内存已释放
    } else {
        // 缩小失败的极端情况（几乎不会发生），记得释放原内存
        free(arr);
        return 1;
    }

    free(arr);
    return 0;
}

关键注意事项 #

• 即便缩小操作不会复制数据，也必须用realloc的返回值更新指针——虽然多数情况下返回的是原指针，但标准允许分配器在极端情况下返回新指针（比如内存块需要调整位置，但这种情况在缩小时极罕见）。
• 不要尝试手动操作内存块的尾部去释放——比如计算偏移后直接调用free，这会破坏分配器的内存管理结构，必然导致内存泄漏或程序崩溃。
• 对于C++的std::vector，调用shrink_to_fit()方法时，主流实现也会直接缩小容量而不复制数据，同样是依赖底层分配器的优化。

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