第二讲：内存管理与指针进阶

各位同学，今天我们来聊聊嵌入式C语言里最让人又爱又恨的话题——内存管理。说实话，我在自动驾驶领域摸爬滚打这么多年，见过太多因为内存问题导致的惨案。有一次，我们的一辆测试车在高速上突然死机，查了三天，最后发现就是一个malloc没释放。嗯，从那以后，我对内存管理就格外上心。

一、动态内存分配：malloc/calloc/realloc/free

在嵌入式系统里，内存是稀缺资源。尤其是自动驾驶的传感器数据处理，动不动就是几兆的数据流。静态分配显然不够灵活，这时候就需要动态内存分配上场了。

1. malloc——最基础的内存分配

malloc 函数原型很简单：

void *malloc(size_t size);

它从堆区申请一块连续的内存空间。我个人习惯在分配后立即检查返回值：

float *lidar_buffer = (float *)malloc(1024 * sizeof(float));
if (NULL == lidar_buffer) {
    // 处理分配失败
    return ERROR_MEM_ALLOC_FAILED;
}

为什么一定要检查？我在项目中遇到过，某次激光雷达数据量突然暴增，malloc返回了NULL，但代码没检查，直接往空地址写数据……结果就是系统崩溃。你想想看，在高速行驶的车上，这种崩溃有多危险。

2. calloc——带初始化的分配

calloc 和 malloc 的区别在于：它会自动把分配的内存清零。

void *calloc(size_t nmemb, size_t size);

说白了，如果你需要初始化数据，用 calloc 更省事。比如初始化一个传感器数据缓冲区：

uint8_t *camera_frame = (uint8_t *)calloc(FRAME_WIDTH * FRAME_HEIGHT, sizeof(uint8_t));

但要注意，calloc 比 malloc 多了一个清零操作，性能上会慢一些。在实时性要求高的场景，我建议用 malloc 后手动初始化需要的部分。

3. realloc——动态调整大小

这个函数我用的最多。自动驾驶中，传感器数据量经常变化。比如雷达点云数据，有时候几千个点，有时候几万个点。

void *realloc(void *ptr, size_t new_size);

我曾经犯过一个错误：直接用 realloc 的返回值覆盖原指针。如果 realloc 失败，原指针就丢了，造成内存泄漏。正确的做法是：

void *new_ptr = realloc(old_ptr, new_size);
if (NULL != new_ptr) {
    old_ptr = new_ptr;  // 只有成功才更新
} else {
    // 保留原指针，处理错误
}

4. free——释放的艺术

free 看似简单，但坑最多。记住三个原则：

• 谁分配，谁释放
• 释放后立即置空
• 不要重复释放

free(lidar_buffer);
lidar_buffer = NULL;  // 防止野指针

二、内存泄漏检测与预防

内存泄漏是嵌入式开发的头号杀手。在自动驾驶系统中，哪怕泄漏1KB/s，运行8小时后也会吃掉近30MB内存。系统迟早会崩溃。

1. 常见的内存泄漏场景

场景	说明	预防方法
分配后忘记释放	最常见，占80%以上	使用RAII思想，封装分配/释放
异常路径未释放	函数提前返回，忘了free	使用goto cleanup模式
指针覆盖	重新赋值导致原指针丢失	使用临时变量保存
容器元素未释放	链表、数组中的指针	遍历释放所有元素

2. 手动检测技巧

我常用的方法是在代码里加计数：

static int malloc_count = 0;
static int free_count = 0;

void *my_malloc(size_t size) {
    malloc_count++;
    return malloc(size);
}

void my_free(void *ptr) {
    if (ptr) {
        free_count++;
        free(ptr);
    }
}

// 程序退出时检查
assert(malloc_count == free_count);

这个方法虽然土，但很有效。我在多个项目里都用过，能快速定位泄漏点。

3. 静态分析工具

说实话，人工检查太累了。我推荐几个工具：

• Coverity：商业工具，检测很准
• Valgrind：开源神器，但嵌入式环境跑起来有点慢
• PC-lint：轻量级，适合日常开发

三、函数指针与回调函数在传感器驱动中的应用

函数指针，说白了就是把函数当作变量来用。在传感器驱动里，这个技术太重要了。

1. 函数指针基础

// 定义一个函数指针类型
typedef int (*sensor_init_t)(void);

// 使用
sensor_init_t init_func = &lidar_init;
int ret = init_func();

为什么用函数指针？因为不同的传感器，初始化流程可能完全不同。用函数指针可以统一接口：

typedef struct {
    sensor_init_t   init;
    sensor_read_t   read;
    sensor_deinit_t deinit;
} sensor_ops_t;

sensor_ops_t lidar_ops = {
    .init   = lidar_init,
    .read   = lidar_read,
    .deinit = lidar_deinit
};

sensor_ops_t camera_ops = {
    .init   = camera_init,
    .read   = camera_read,
    .deinit = camera_deinit
};

你看，这样上层代码就不用关心具体是哪种传感器了。这就是面向对象思想在C语言里的体现。

2. 回调函数的实战应用

回调函数在传感器驱动里最常见的场景是数据通知。比如，当激光雷达采集完一帧数据，主动通知上层处理：

// 定义回调函数类型
typedef void (*data_callback_t)(uint8_t *data, uint32_t len);

// 注册回调
void sensor_register_callback(data_callback_t cb) {
    g_callback = cb;
}

// 在中断或任务中调用
void sensor_isr_handler(void) {
    if (g_callback) {
        g_callback(buffer, data_len);
    }
}

我在项目中遇到过一个问题：回调函数里做了太多处理，导致中断响应时间过长。后来我改成在回调里只放一个标志位，真正的处理放到任务里：

void my_callback(uint8_t *data, uint32_t len) {
    // 只做最轻量的事
    data_ready_flag = 1;
    // 或者用消息队列
    xQueueSend(data_queue, &data, 0);
}

3. 函数指针表——驱动调度的利器

当系统里有多个传感器时，函数指针表就派上用场了：

typedef struct {
    char name[16];
    sensor_ops_t ops;
    void *private_data;
} sensor_device_t;

sensor_device_t devices[MAX_SENSORS];

// 统一调度
for (int i = 0; i < sensor_count; i++) {
    devices[i].ops.init();
}

这样写，增加新传感器只需要添加一个设备结构体，代码几乎不用改。我在一个项目里用这个模式管理了8种不同的传感器，维护起来特别轻松。

好了，这一讲的内容就到这里。内存管理和指针进阶是嵌入式C语言的精髓，也是从初级到高级的分水岭。下一讲我们会聊聊多任务环境下的内存管理，那又是另一番天地了。

记住我的一句话：在嵌入式世界里，内存不是无限的，指针不是玩具。 好好练习，有问题随时交流。