释放query后queryStringProcessor返回的键值对数组失效问题排查

问题分析与解决 #

你遇到的核心问题是键值对的key/value指针直接指向了query指向的内存区域，具体逻辑如下：

• 你用strdup生成了原查询字符串的副本query，后续用strsep分割时，得到的token指针都是query内存块的内部地址。
• 当调用free(query)释放这块内存后，键值对数组里的key和value就变成了野指针，此时访问这些指针会触发非法内存访问，表现为数组损坏。

解决步骤 #

1. 对分割得到的每个key和value，单独调用strdup复制一份独立内存，存储到键值对结构体中。这样键值对的内存与query的内存完全分离，释放query不会影响键值对。
2. 后续不再使用键值对时，需要逐个释放每个键值对的key和value，最后再释放键值对数组本身，避免内存泄漏。

修正后的代码示例 #

假设你的键值对结构体定义如下：

typedef struct {
    char *key;
    char *value;
} KeyValuePair;

修改queryStringProcessor中的分割逻辑：

// 假设pairs是已分配好内存的KeyValuePair数组
int i = 0;
char *query = strdup(array); // 原字符串副本
char *token = strsep(&query, "&");

while (token != NULL) {
    char *eq = strchr(token, '=');
    if (eq != NULL) {
        *eq = '\0';
        // 单独复制key和value到独立内存
        pairs[i].key = strdup(token);
        pairs[i].value = strdup(eq + 1);
        
        // 检查内存分配是否成功
        if (pairs[i].key == NULL || pairs[i].value == NULL) {
            // 处理分配失败，比如释放已分配的资源后退出
            // ...
        }
        i++;
    }
    token = strsep(&query, "&");
}

free(query); // 此时释放query不会影响键值对数组

额外注意事项 #

• VS2022中使用strsep需要确保项目已开启POSIX兼容（可在项目属性中定义_POSIX_C_SOURCE宏，或包含<string.h>前手动定义）。
• 务必记得在程序结束前释放键值对的key、value以及数组本身，避免内存泄漏。

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