在内存缓冲区写入链表指针触发非法指令的解决方法问询

这个问题我之前也踩过坑！核心原因是内存对齐要求触发了CPU的非法指令——你试图在不对齐的内存地址上写入指针类型的数据，而很多架构（比如ARM、MIPS，甚至部分严格模式的x86）不允许这种操作。

为什么你的代码会报错？ #

先看你的代码逻辑：每个maxMessageSize（123字节）的块开头存下一个块的指针，但intptr_t*（指针类型）在64位系统上需要8字节对齐，32位系统需要4字节对齐。而123不是8的倍数，所以nextOffset的地址（123、246、369...）都不满足指针的对齐要求。强制把这些不对齐的uint8_t*转成intptr_t**并写入值，属于未定义行为，直接触发非法指令是很常见的结果。

两种靠谱的解决方案 #

方案一：调整块大小，满足指针对齐要求

把每个块的大小向上取整到指针类型的对齐倍数，这样每个块的起始地址都天然符合对齐要求，就能安全地存指针了。

#include <stdalign.h> // 用于获取类型的对齐要求
#include <stdlib.h>
#include <string.h>
#include <stdint.h>

int main() {
    uint32_t maxMessageSize = 123;
    uint32_t maxMessages = 5000;
    uint8_t* messageBuffer;

    // 获取指针类型的对齐字节数（64位是8，32位是4）
    uint32_t ptr_alignment = alignof(intptr_t);
    // 计算对齐后的块大小：向上取整到ptr_alignment的倍数
    uint32_t aligned_block_size = ((maxMessageSize + ptr_alignment - 1) / ptr_alignment) * ptr_alignment;
    uint32_t messageBufferSize = aligned_block_size * maxMessages;

    messageBuffer = (uint8_t*)malloc(messageBufferSize);
    memset(messageBuffer, 0, messageBufferSize);

    uint32_t bufferOffset = 0;
    while (bufferOffset < messageBufferSize - aligned_block_size) {
        uint32_t nextOffset = bufferOffset + aligned_block_size;
        // 现在bufferOffset是对齐的，强制转换安全
        intptr_t** messagePointerToNext = (intptr_t**)&messageBuffer[bufferOffset];
        *messagePointerToNext = (intptr_t*)&messageBuffer[nextOffset];
        bufferOffset = nextOffset;
    }

    free(messageBuffer);
    return 0;
}

方案二：存偏移量而非指针，避开对齐限制

如果不想改变块大小，可以在每个块开头存相对于缓冲区起始地址的偏移量（用整数类型，比如uint32_t或uint64_t），整数的对齐要求低很多（甚至部分架构允许不对齐访问整数），完全不会触发非法指令。

#include <stdlib.h>
#include <string.h>
#include <stdint.h>

int main() {
    uint32_t maxMessageSize = 123;
    uint32_t maxMessages = 5000;
    uint8_t* messageBuffer;
    uint32_t messageBufferSize = maxMessageSize * maxMessages;

    messageBuffer = (uint8_t*)malloc(messageBufferSize);
    memset(messageBuffer, 0, messageBufferSize);

    uint32_t bufferOffset = 0;
    while (bufferOffset < messageBufferSize - maxMessageSize) {
        uint32_t nextOffset = bufferOffset + maxMessageSize;
        // 在当前块开头存下一个块的偏移量
        uint32_t* next_offset_ptr = (uint32_t*)&messageBuffer[bufferOffset];
        *next_offset_ptr = nextOffset;
        bufferOffset = nextOffset;
    }

    // 使用时，通过偏移量计算下一个块地址
    uint8_t* current_block = messageBuffer;
    uint32_t next_offset = *(uint32_t*)current_block;
    uint8_t* next_block = messageBuffer + next_offset;

    free(messageBuffer);
    return 0;
}

额外提醒 #

• 如果你用的是C11及以上标准，alignof是标准关键字，不需要额外头文件；如果是旧标准，可以用_Alignof（GCC/Clang/MSVC都支持）。
• 方案二里，如果缓冲区大小超过uint32_t的范围（比如大于4GB），记得换成uint64_t来存偏移量。

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