动态字符串数组删除操作正确性验证及内存占用优化方法咨询

咱们一步步拆解你的问题，先解决删除操作的正确性问题，再聊如何优化内存占用。

一、当前删除操作的核心错误 #

你的删除代码存在几个明显的问题，会导致内存错误、逻辑异常甚至内存泄漏：

1. 错误的数组大小修改时机
   你在内层左移循环里每次执行array_size = array_size -1;，这会让k的循环范围快速缩小，还会导致received_messages[k+1]访问超出数组原本范围的内存，触发未定义行为。正确的做法是：先完成所有元素的左移，再将array_size减1，且左移循环应到array_size-2（因为k+1最大只能到原数组的最后一个索引array_size-1）。

2. 内存泄漏
   找到要删除的元素时，你直接用后面的元素覆盖了received_messages[j]，但原received_messages[j]指向的字符串内存没有被释放，长期运行会持续消耗内存。

3. 循环跳过元素
   删除元素后，后续元素左移一位，但外层循环的j会继续递增，导致跳过左移后的下一个元素（比如删除索引2的元素后，索引3的元素移到了2，但j会变成3，直接跳过这个新元素）。

4. 匹配逻辑可能不符合需求
   你用strstr判断匹配，这会匹配包含id_to_delete的子串，但如果你的需求是删除完全一致的特定字符串，应该用strcmp更准确。

二、优化内存占用的关键方法 #

动态数组的核心是根据实际元素数量动态调整内存，不管插入还是删除，都需要配合realloc来调整数组本身的内存：

1. 删除后缩小数组内存
   删除元素并更新array_size后，用realloc将received_messages的内存缩小到array_size * sizeof(char*)。如果array_size变为0，记得free(received_messages)并将其置为NULL，避免悬空指针。
2. 插入时正确扩容
   你当前的插入代码在array_size > 0时直接访问received_messages[array_size]，但之前的malloc只分配了array_size个char*的空间，属于越界访问，是未定义行为。正确做法是先通过realloc扩容数组，再添加新元素。

三、修正后的代码示例 #

修正后的插入代码 #

char **received_messages = NULL;
int array_size = 0;
int id_found = 0;
// 假设id是传入的待插入字符串

if (array_size == 0) {
    debug_level == 2 && printf("First message received..\n");
    received_messages = malloc(sizeof(char*));
    received_messages[0] = malloc((1024 + 1) * sizeof(char));
    strcpy(received_messages[0], id);
    array_size = 1;
} else {
    id_found = 0;
    for (int i = 0; i < array_size; i++) {
        debug_level == 2 && printf("Compare between %s and %s\n", received_messages[i], id);
        if (strcmp(received_messages[i], id) == 0) {
            id_found = 1;
            break; // 找到匹配后直接跳出循环，无需继续比较
        }
    }
    if (id_found) {
        debug_level == 2 && printf("ID found.\n");
    } else {
        debug_level == 2 && printf("ID not found.\n");
        // 先扩容数组：重新分配array_size+1个char*的空间
        char **temp = realloc(received_messages, (array_size + 1) * sizeof(char*));
        if (temp == NULL) {
            perror("realloc failed");
            return; // 根据实际逻辑处理内存分配失败的情况
        }
        received_messages = temp;
        // 分配新字符串的内存
        received_messages[array_size] = malloc((1024 + 1) * sizeof(char));
        strcpy(received_messages[array_size], id);
        array_size++;
    }
}

修正后的删除代码 #

// 假设id_to_delete是待删除的字符串
int j = 0;
while (j < array_size) {
    printf("I'm searching the SN to delete. Compare %s to %s\n", received_messages[j], id_to_delete);
    // 完全匹配用strcmp，子串匹配用strstr，根据需求选择
    if (strcmp(received_messages[j], id_to_delete) == 0) {
        printf("Sequence number found. It is %s\n", id_to_delete);
        // 先释放待删除字符串的内存
        free(received_messages[j]);
        // 将后续元素左移一位
        for (int k = j; k < array_size - 1; k++) {
            received_messages[k] = received_messages[k + 1];
        }
        array_size--;
        // 左移后j不递增，避免跳过新移到当前位置的元素
        continue;
    }
    j++;
}

// 删除后调整数组内存
if (array_size == 0) {
    free(received_messages);
    received_messages = NULL;
} else {
    char **temp = realloc(received_messages, array_size * sizeof(char*));
    if (temp != NULL) {
        received_messages = temp;
    }
    // 若realloc失败，可选择保留原内存或根据逻辑处理错误
}

printf("Now, the array has %d elements. Actually valid sequence number are: \n", array_size);
if (array_size > 0) {
    for (int j = 0; j < array_size; j++) {
        printf("%d) %s\n", j + 1, received_messages[j]);
    }
} else {
    printf("Actually no valid sequence number.\n");
}

额外提示 #

• 始终检查malloc和realloc的返回值，避免内存分配失败导致程序崩溃。
• 当不再使用整个数组时，要遍历所有元素释放每个字符串的内存，再释放数组本身的内存，彻底避免内存泄漏。

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