兄弟，先给你揪出代码里的致命小坑：你写的free(hello)完全是错误操作！hello指向的是字符串常量（存放在程序的只读数据段里），根本不是用malloc这类函数分配的堆内存，调用free去碰它会触发未定义行为——程序可能直接崩溃，也可能悄咪咪埋下隐患，这可不行！先把这个坑填上，再聊怎么实现类似Java的try-catch-finally逻辑~

C语言本身没有原生的异常处理机制（try/catch/finally那套是Java、C++的专属特性），但我们可以用C自己的方式模拟这套逻辑，核心思路是用goto实现“无论如何都执行清理”的finally效果，用错误检测模拟catch的错误捕获。

一、常规场景：用goto模拟try-catch-finally #

在C里，处理资源释放时用goto是业界推荐的写法（别觉得goto是洪水猛兽，嵌套一堆if反而更乱），我们先修正你的内存分配错误，再写模拟代码：

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

int main() {
    // 修正：如果要free(hello)，必须让它指向堆内存
    char *hello = malloc(strlen("Hello World") + 1);
    if (hello == NULL) {
        perror("给hello分配内存失败");
        return 1;
    }
    strcpy(hello, "Hello World");

    char *world = malloc(strlen(hello) + 1);
    if (world == NULL) {
        free(hello); // 分配world失败，先提前释放hello的内存
        perror("给world分配内存失败");
        return 1;
    }
    strcpy(world, hello);

    // 开始模拟Java的try-catch-finally逻辑
    int has_error = 0;

    // ===== 模拟try块：执行可能出问题的操作 =====
    printf("执行try块：尝试释放hello...\n");
    // 这里hello是合法堆指针，free操作安全；如果是非法指针，free会触发崩溃，常规流程会被打断
    free(hello);

    // 如果try块里检测到错误（比如某个操作返回错误码），可以跳转到catch块
    // 示例：if (some_operation_failed) goto catch_block;

    // 不管前面有没有错误，强制跳转到finally执行清理
    goto finally_block;

    // ===== 模拟catch块：处理错误 =====
catch_block:
    has_error = 1;
    printf("捕获到错误！执行自定义错误处理...\n");
    // 这里可以加你需要的逻辑，比如打印错误日志、清理其他小资源等

    // ===== 模拟finally块：无论如何都会执行的核心清理 =====
finally_block:
    printf("执行finally块：释放world的内存...\n");
    if (world != NULL) {
        free(world);
    }

    return has_error ? 1 : 0;
}

二、极端场景：哪怕free崩溃也要执行清理 #

如果你的需求是：哪怕free(hello)因为非法指针导致程序要崩溃了，也必须让free(world)执行——这时候就得用到信号处理了，不过这玩意儿比较复杂，而且不同操作系统（比如Linux和Windows）的实现有差异，举个Linux下的简单示例：

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

// 全局变量存需要紧急释放的指针（信号处理函数拿不到局部变量）
char *global_world = NULL;

// 信号处理函数：捕获段错误（比如非法内存访问导致的崩溃）
void sigsegv_handler(int signum) {
    printf("程序触发段错误！执行紧急清理...\n");
    if (global_world != NULL) {
        free(global_world);
        global_world = NULL;
    }
    // 清理完后直接退出，避免程序继续混乱执行
    exit(EXIT_FAILURE);
}

int main() {
    // 注册信号处理函数，拦截段错误
    signal(SIGSEGV, sigsegv_handler);

    // 模拟你的原始场景：hello是字符串常量指针（不能free）
    const char *hello = "Hello World";
    char *world = malloc(strlen(hello) + 1);
    if (world == NULL) {
        perror("malloc world失败");
        return 1;
    }
    strcpy(world, hello);
    global_world = world; // 把world指针存到全局变量，让信号处理函数能拿到

    printf("尝试释放非法指针hello...\n");
    free((void*)hello); // 这里会触发段错误，进入信号处理函数

    // 如果程序没崩溃，正常释放world（这里在当前场景下不会执行到）
    printf("正常释放world...\n");
    free(world);

    return 0;
}

不过要注意：信号处理函数的限制很多，不能随便调用所有C标准库函数（比如printf在某些场景下可能不安全），这种方式只是权宜之计，最根本的解决办法还是严格管理内存，从根源上避免非法free的情况。

三、核心总结 #

1. 模拟finally的最优解是goto：把必须执行的清理代码集中到一个标签下，不管前面操作成功还是失败，都跳转过去执行，这是C里最清晰的资源清理方式。
2. 模拟catch靠主动错误检测：C没有自动异常捕获，你需要在“try块”里手动检测操作是否成功（比如malloc的返回值、自定义的错误码），然后跳转到错误处理块。
3. 永远别犯的低级错误：只释放用malloc/calloc/realloc分配的堆内存，字符串常量、栈上的变量绝对不能用free！
4. 信号处理是进阶操作：如果不是必须处理崩溃场景，别轻易用，优先保证内存管理的正确性才是王道。