修改C指针指向后能否用free释放？是否需保留原指针？

先给你一个明确的结论：只有用malloc（或calloc/realloc）返回的原始起始指针调用free，才能正确释放对应的内存块。修改指针指向的内容没问题，但修改指针本身的指向（比如偏移指针）后，再用这个修改后的指针free会触发未定义行为。

下面分两种情况详细说明：

1. 修改指针指向的内容（如*string1 += 2）：完全可以正常free #

这种操作只是改变了内存块里存储的数据，指针本身仍然指向malloc分配的内存块的起始地址。堆管理器只关心你传给free的地址是不是它当初分配的那个起始地址，至于块里的内容是什么，完全不影响释放逻辑。

举个例子：

unsigned char *string1 = malloc(4096);
if (!string1) { /* 处理内存分配失败 */ }

// 修改指针指向的内容
*string1 += 2;
string1[10] = 'a';

// 正常释放，完全没问题
free(string1);

2. 修改指针本身的指向（如递增指针、*string += string_offs）：绝对不能用修改后的指针free #

当你把指针偏移（比如string1++或者你说的*string += string_offs），这个指针就不再指向堆管理器记录的内存块起始地址了。堆内存的管理依赖于每个块起始位置前的元数据（比如块的大小、下一个块的地址等），free需要通过起始地址找到这些元数据来正确回收内存。如果传的是偏移后的地址，free找不到对应的元数据，会导致：

• 程序直接崩溃（最常见情况）
• 看起来运行正常，但实际内存泄漏或者破坏了堆结构，导致后续内存操作出现莫名其妙的错误

针对你提到的VB6 LTrim函数实现场景 #

你用**string作为参数，最后执行*string += string_offs来跳过前导空格，这时候传入的指针已经被修改为指向字符串的非起始位置了。这时候要正确释放内存，有两种可行方案：

方案1：调用者保留原始指针

在调用LTrim函数前，先保存malloc返回的原始地址，释放时用这个原始地址：

// 调用侧代码
unsigned char *str = malloc(4096);
if (!str) { /* 错误处理 */ }
strcpy(str, "   Hello World");
unsigned char *original_str = str; // 保存原始指针

// 调用LTrim，修改str的指向
LTrim(&str);

// 使用处理后的字符串
printf("Trimmed: %s\n", str);

// 必须用原始指针释放，不能用str！
free(original_str);

方案2：修改函数实现，不移动原始指针

如果不想让调用者额外保存原始指针，可以通过内容拷贝来实现修剪，保持指针指向起始地址：

void LTrim(unsigned char *string) {
    if (!string || *string == '\0') return;

    size_t skip = 0;
    // 统计前导空格数量
    while (string[skip] == ' ') {
        skip++;
    }

    // 把后面的内容往前拷贝，覆盖前导空格
    if (skip > 0) {
        memmove(string, string + skip, strlen(string + skip) + 1);
    }
}

// 调用侧代码
unsigned char *str = malloc(4096);
strcpy(str, "   Hello World");
LTrim(str);
printf("Trimmed: %s\n", str);
// 直接free原始指针即可
free(str);

最后再划个重点 #

• 只要指针还是malloc返回的原始起始地址，不管你怎么修改内存里的内容，free都能正常工作。
• 一旦指针被移动（指向内存块的其他位置，或者其他内存），绝对不能用这个修改后的指针调用free，否则就是未定义行为。

内容的提问来源于stack exchange，提问作者alt.126