C语言面试题：堆中无连续8字节时能否动态分配？如何实现？

能否完成分配？ #

默认情况下，标准库的malloc/calloc无法完成这个分配——因为这两个函数都要求返回连续的内存块，而当前堆中只有不连续的5字节和3字节空间，满足不了连续8字节的要求。

但如果通过自定义内存管理逻辑，是可以实现等效的8字节内存分配的，只是分配的内存不会是连续的物理/虚拟地址。

如何实现？ #

可以通过自定义一个基于链表的内存分配器来实现：

• 维护一个空闲内存块的链表，每个节点记录块的大小和指针
• 当需要分配8字节时，遍历链表，寻找总大小足够的多个空闲块（比如这里的5字节+3字节）
• 把这些块从空闲链表中移除，然后用一个自定义结构体管理这些分散的块，对外提供统一的访问接口（比如封装成类似数组的访问方式，内部根据偏移计算对应的块和位置）

简单伪代码示例：

// 自定义分散内存块管理结构体
typedef struct {
    void* blocks[2];          // 存储分散的内存块指针
    size_t block_sizes[2];    // 每个块的大小
    size_t total_size;        // 总分配大小
} ScatteredAlloc;

// 自定义分配函数
ScatteredAlloc* scatter_alloc(size_t total_size) {
    // 从空闲链表中获取5字节和3字节的块（示例逻辑）
    void* block1 = get_free_block(5);
    void* block2 = get_free_block(3);
    if (!block1 || !block2) return NULL;
    
    ScatteredAlloc* alloc = malloc(sizeof(ScatteredAlloc));
    alloc->blocks[0] = block1;
    alloc->block_sizes[0] = 5;
    alloc->blocks[1] = block2;
    alloc->block_sizes[1] = 3;
    alloc->total_size = 8;
    return alloc;
}

// 自定义内存访问函数
void* scatter_access(ScatteredAlloc* alloc, size_t offset) {
    if (offset >= alloc->total_size) return NULL;
    if (offset < alloc->block_sizes[0]) {
        return (char*)alloc->blocks[0] + offset;
    } else {
        return (char*)alloc->blocks[1] + (offset - alloc->block_sizes[0]);
    }
}

是否仅能使用malloc，或可结合calloc实现？ #

不管是malloc还是calloc，它们本身都只能分配连续内存，所以单独用或者结合用都解决不了核心问题——因为这两个函数的设计目标就是返回连续内存块，无法直接利用分散的空闲空间。

如果要实现分散内存的分配，还是得基于标准库的内存分配函数（malloc/calloc都可以用来分配自定义管理结构体的内存，或者获取初始空闲块），但必须额外添加自定义的内存管理逻辑，把分散的块整合起来对外提供统一的访问方式。

内容的提问来源于stack exchange，提问作者Durvesh Dinesh Bodkar