面试题：C语言复杂结构体动态内存分配的错误检测与性能调优

1. 动态分配

使用 malloc 或 calloc 进行内存分配：在C语言中，malloc 用于分配指定字节数的内存块，calloc 则分配一块指定数量和指定大小元素的内存块并初始化为0。

struct StructA {
    struct StructB *b;
    int data;
};

struct StructB {
    struct StructA *a;
    char *str;
};

struct StructA *createStructA() {
    struct StructA *a = (struct StructA *)malloc(sizeof(struct StructA));
    if (a == NULL) {
        // 内存分配失败处理
        return NULL;
    }
    a->data = 0;
    return a;
}

struct StructB *createStructB() {
    struct StructB *b = (struct StructB *)malloc(sizeof(struct StructB));
    if (b == NULL) {
        // 内存分配失败处理
        return NULL;
    }
    b->str = NULL;
    return b;
}

处理循环引用：在创建结构体实例并建立循环引用时，要确保引用关系正确建立。

void establishRelationships() {
    struct StructA *a = createStructA();
    struct StructB *b = createStructB();
    if (a != NULL && b != NULL) {
        a->b = b;
        b->a = a;
    }
}

2. 错误检测

检查 malloc 返回值：每次调用 malloc 或 calloc 后，立即检查返回值是否为 NULL。如果是 NULL，说明内存分配失败，需要进行相应处理，比如记录错误日志、返回错误码等。

struct StructA *a = (struct StructA *)malloc(sizeof(struct StructA));
if (a == NULL) {
    // 记录错误日志
    perror("malloc for StructA failed");
    // 返回错误码或进行其他处理
    return -1;
}

检测悬空指针：在释放内存后，将指针设置为 NULL，防止悬空指针。在访问指针前，先检查指针是否为 NULL。

struct StructA *a = createStructA();
// 使用 a
free(a);
a = NULL;

if (a != NULL) {
    // 访问 a
}

3. 释放内存

按照正确顺序释放内存：由于存在循环引用，需要注意释放顺序以避免内存泄漏。可以先打破循环引用，然后依次释放每个结构体占用的内存。

void freeStructs(struct StructA *a) {
    if (a != NULL) {
        struct StructB *b = a->b;
        if (b != NULL) {
            if (b->str != NULL) {
                free(b->str);
            }
            free(b);
        }
        free(a);
    }
}

4. 性能调优

内存池技术：在高并发场景下，可以使用内存池技术。预先分配一大块内存，然后从这块内存中分配小块内存供结构体使用。当结构体不再使用时，将内存块返回内存池而不是直接调用 free。这样可以减少系统调用次数，提高性能。

// 简单的内存池示例
#define MEMORY_POOL_SIZE 1024 * 1024
char memoryPool[MEMORY_POOL_SIZE];
int poolIndex = 0;

void *allocateFromPool(size_t size) {
    if (poolIndex + size <= MEMORY_POOL_SIZE) {
        void *ptr = &memoryPool[poolIndex];
        poolIndex += size;
        return ptr;
    }
    return NULL;
}

线程安全：在高并发场景下，需要确保内存管理操作是线程安全的。可以使用互斥锁（pthread_mutex_t）来保护共享资源，如内存池。

#include <pthread.h>

pthread_mutex_t memoryPoolMutex;

void *allocateFromPool(size_t size) {
    pthread_mutex_lock(&memoryPoolMutex);
    void *ptr = NULL;
    if (poolIndex + size <= MEMORY_POOL_SIZE) {
        ptr = &memoryPool[poolIndex];
        poolIndex += size;
    }
    pthread_mutex_unlock(&memoryPoolMutex);
    return ptr;
}

总结

通过以上步骤，我们设计了一个针对复杂C语言结构体体系（存在循环引用且涉及动态内存分配）的内存管理方案。从动态分配内存开始，通过错误检测确保内存分配成功，按正确顺序释放内存以避免泄漏，并通过性能调优技术在高并发场景下提升稳定性和效率。关键代码段涵盖了结构体创建、内存分配检查、内存释放以及线程安全的内存池实现等方面。

星途面试题库

面试题：C语言复杂结构体动态内存分配的错误检测与性能调优

知识考点

面试题答案

1. 动态分配

2. 错误检测

3. 释放内存

4. 性能调优

总结