如何从mmap映射内存构建对象？自定义分配器块拆分问题

我正在构建一个自定义分配器，首次调用mmap()后构建显式空闲链表，整体运行正常，但拆分现有块时，无法从原始内存初始化Node对象（C语言基础较为生疏）。

相关代码：

空闲节点结构体 #

// 用于跟踪空闲节点的结构体
struct Node {
   size_t header;
   void* payload;
};

拆分块的代码片段 #

void* split_block(Node* good_node, size_t reqsize) {
    DECREASE_SIZE(good_node)
    Node* prev_node = (Node*)(good_node -> payload);
    Node* next_node = (Node*)((good_node -> payload) + 8);
}

我的设计是将前后节点指针存储在payload指向的内存中，具体为prev = payload、next=payload+8。现在的问题是：如何从原始内存（payload对应的区域）构建Node对象？以下是我尝试但无法正常工作的代码：

// 省略split_part所在地址的计算过程

Node* split_part = GET_HEADER_POSITION(good_node, reqsize);
split_part->header = some_value;
split_part->payload = prev_node;
split_part->payload[1] = next_node;

我没有正确构建对象，但应该怎么做呢？这难道不该和使用malloc内存时的操作一样吗？

Node* node = malloc(sizeof(Node));

问题分析与解决方法 #

核心错误点 #

1. void*不能直接做数组索引：你试图用split_part->payload[1]访问第二个指针，但void*没有明确的元素大小，编译器无法计算正确的内存偏移，这会导致未定义行为。
2. 结构体设计与实际内存布局不匹配：你的Node结构体中payload是单个void*，但实际要存储的是两个指针（prev/next），两者的结构不对应，导致初始化逻辑错误。

修正方案 #

方案一：重新设计空闲块结构体（推荐）

直接把双向链表指针整合到结构体中，让布局更清晰，避免指针偏移的错误：

// 空闲块结构体：header为块的总大小（包含结构体自身）
struct FreeBlock {
    size_t header;
    struct FreeBlock* prev;
    struct FreeBlock* next;
};

拆分块时的正确逻辑：

void* split_block(struct FreeBlock* good_node, size_t reqsize) {
    // 计算拆分后剩余空闲块的起始地址（确保reqsize已对齐）
    struct FreeBlock* split_part = (struct FreeBlock*)((char*)good_node + reqsize);
    // 设置剩余块的大小
    split_part->header = good_node->header - reqsize;
    
    // 维护双向链表：将split_part替换good_node的位置
    if (split_part->prev) {
        split_part->prev->next = split_part;
    }
    if (split_part->next) {
        split_part->next->prev = split_part;
    }
    
    // 将原块标记为已分配（从空闲链表移除）
    good_node->header = reqsize;
    // 返回分配出去的块的payload地址（跳过结构体头部）
    return (char*)good_node + sizeof(struct FreeBlock);
}

方案二：保留原设计，修正指针操作

如果坚持用payload存储两个指针，需要将payload转为具体类型后再操作，避免void*的索引错误：

首先修改结构体为柔性数组（更适合存储可变长度的内容）：

struct Node {
    size_t header;
    char payload[]; // 柔性数组，用于存储prev和next指针
};

然后初始化split_part的正确代码：

// 假设GET_HEADER_POSITION返回的是正确的内存地址，且已对齐
Node* split_part = GET_HEADER_POSITION(good_node, reqsize);
split_part->header = some_value;

// 将prev_node的地址写入payload的前8字节（64位系统）
*(struct Node**)(split_part->payload) = prev_node;
// 将next_node的地址写入payload+8字节的位置
*(struct Node**)(split_part->payload + 8) = next_node;

关键注意事项 #

• 内存对齐：所有指针类型的地址必须满足对齐要求（64位系统为8字节对齐），拆分时要确保split_part的地址是对齐的，否则会触发未定义行为。
• 内存大小：要保证split_part指向的内存区域足够容纳Node结构体以及后续的内容，避免越界访问。

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