临时参数数组内存泄漏咨询：该C字符串场景是否存在泄漏及修复方法

没错，这个场景确实存在内存泄漏，我给你理清楚来：

一、为什么会出现内存泄漏？ #

首先得明确：只有用malloc/calloc/realloc动态分配的堆内存才会发生泄漏。如果你的字符串"Bii"是存在栈上的（比如写char s[] = "Bii";），那s超出作用域后栈内存会自动回收，完全不用担心泄漏。

但根据你描述的“s指向的初始原始数组未被释放”，显然这个数组是动态分配的——当s（指向这块堆内存的指针）超出作用域被销毁后，我们就彻底失去了对这块内存的引用，再也没法调用free()来释放它。这块内存会一直被占用直到程序结束，这就是典型的内存泄漏。

另外还要提一句：你函数里新分配的t如果用完后没释放，那也会产生新的内存泄漏，这个细节可不能漏！

二、纯C字符串（不用std::string）的修复方案 #

核心原则就是：谁分配的内存，谁负责释放；或者提前约定好内存所有权的传递，确保每一块动态内存都能被正确free。

方案1：在指针失去引用前手动释放原始内存 #

这是最直接也最安全的修复方式，在s超出作用域之前，主动调用free()释放它指向的堆内存。

示例代码：

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

// 处理字符串的函数
void process_str(char *s) {
    // 计算字符串总长度（包含结束符'\0'）
    size_t str_len = strlen(s) + 1;
    // 分配新内存存储复制后的字符串
    char *t = (char*)malloc(str_len);
    if (t == NULL) {
        perror("Failed to allocate memory for t");
        return;
    }
    // 复制字符串内容到t
    strcpy(t, s);
    
    // 这里可以添加你的业务处理逻辑
    printf("Copied string: %s\n", t);
    
    // 用完t后必须释放，避免产生新的内存泄漏
    free(t);
}

int main() {
    // 动态分配内存存储"Bii"（3个字符+1个结束符，共4字节）
    char *s = (char*)malloc(4);
    if (s == NULL) {
        perror("Failed to allocate memory for s");
        return 1;
    }
    strcpy(s, "Bii");
    
    // 调用字符串处理函数
    process_str(s);
    
    // 在s超出作用域前，释放它指向的原始动态内存
    free(s);
    
    return 0;
}

方案2：明确内存所有权传递（适合函数需要复用原始内存的场景） #

如果你的函数需要长期使用s指向的原始内存，可以约定函数接管内存所有权，此时函数需要负责在最后释放原始内存。但这种方式一定要写清楚注释，避免团队协作时出现所有权混乱：

示例代码：

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

/**
 * @brief 处理字符串并接管传入内存的所有权
 * @param s 动态分配的字符串指针，函数内部会负责释放它
 */
void process_str_and_free(char *s) {
    size_t str_len = strlen(s) + 1;
    char *t = (char*)malloc(str_len);
    if (t == NULL) {
        perror("Failed to allocate memory for t");
        // 即使t分配失败，也要释放s，避免内存泄漏
        free(s);
        return;
    }
    strcpy(t, s);
    
    printf("Copied string: %s\n", t);
    
    // 用完后释放t和原始的s
    free(t);
    free(s);
}

int main() {
    char *s = (char*)malloc(4);
    if (s == NULL) {
        perror("Failed to allocate memory for s");
        return 1;
    }
    strcpy(s, "Bii");
    
    // 调用函数后，不需要再手动释放s
    process_str_and_free(s);
    
    return 0;
}

关键注意事项 #

• 永远牢记：每一次malloc/calloc/realloc都要对应一次free，而且free的必须是指向该内存块的有效指针，不能重复释放或释放栈指针（会导致未定义行为）。
• 内存分配失败的情况一定要处理（比如malloc返回NULL），避免后续操作直接崩溃。
• 如果是栈上的字符串数组，绝对不要调用free，栈内存会自动回收。

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