编辑“︁C 语言错误恢复”︁（章节）

= C语言错误恢复 =

== 介绍 ==
'''C语言错误恢复'''是指在程序运行过程中检测到错误后，采取适当措施使程序能够继续执行或安全退出的技术。由于C语言本身不提供内置的异常处理机制（如C++的try-catch），开发者需要手动实现错误检测和恢复逻辑。错误恢复是构建健壮软件的关键环节，尤其在系统编程、嵌入式开发等领域至关重要。

== 错误处理基础 ==
C语言中常见的错误处理方式包括：
* 返回值检查（最常见）
* 全局变量（如<code>errno</code>）
* 信号处理
* 长跳转（<code>setjmp/longjmp</code>）

=== 返回值检查 ===
大多数C标准库函数通过返回值指示错误状态：
<syntaxhighlight lang="c">
#include <stdio.h>
#include <stdlib.h>

int main() {
    FILE *file = fopen("nonexistent.txt", "r");
    if (file == NULL) {
        perror("文件打开失败");
        return EXIT_FAILURE;  // 错误恢复：安全退出
    }
    
    // 正常处理流程
    fclose(file);
    return EXIT_SUCCESS;
}
</syntaxhighlight>
'''输出示例：'''
<pre>
文件打开失败: No such file or directory
</pre>

=== errno 全局变量 ===
许多库函数在出错时会设置<code>errno</code>变量：
<syntaxhighlight lang="c">
#include <errno.h>
#include <string.h>
#include <stdio.h>

int main() {
    errno = 0; // 重置错误状态
    double x = sqrt(-1.0);
    
    if (errno != 0) {
        fprintf(stderr, "数学错误: %s\n", strerror(errno));
        // 错误恢复：使用默认值继续执行
        x = 0.0;
    }
    
    printf("结果: %f\n", x);
    return 0;
}
</syntaxhighlight>
'''输出示例：'''
<pre>
数学错误: Numerical argument out of domain
结果: 0.000000
</pre>

== 高级错误恢复技术 ==

=== setjmp/longjmp ===
这对函数可以实现非局部跳转，类似"异常抛出"：
<syntaxhighlight lang="c">
#include <setjmp.h>
#include <stdio.h>

jmp_buf env;

void risky_operation() {
    printf("执行危险操作...\n");
    longjmp(env, 42);  // 模拟错误发生
}

int main() {
    int ret = setjmp(env);
    
    if (ret == 0) {
        risky_operation();
    } else {
        printf("捕获到错误代码: %d\n", ret);
        // 错误恢复逻辑
    }
    
    return 0;
}
</syntaxhighlight>
'''输出示例：'''
<pre>
执行危险操作...
捕获到错误代码: 42
</pre>

=== 信号处理 ===
处理程序运行时信号：
<syntaxhighlight lang="c">
#include <signal.h>
#include <stdio.h>
#include <stdlib.h>

void sigint_handler(int sig) {
    printf("\n捕获到中断信号(%d)，执行清理...\n", sig);
    exit(1);
}

int main() {
    signal(SIGINT, sigint_handler);
    
    while(1) {
        printf("运行中...按Ctrl+C测试\n");
        sleep(1);
    }
    
    return 0;
}
</syntaxhighlight>
'''输出示例（用户按下Ctrl+C后）：'''
<pre>
运行中...按Ctrl+C测试
运行中...按Ctrl+C测试
^C
捕获到中断信号(2)，执行清理...
</pre>

== 实际应用案例 ==

=== 文件处理系统 ===
<mermaid>
graph TD
    A[打开文件] --> B{成功?}
    B -->|是| C[读取内容]
    B -->|否| D[创建新文件]
    C --> E{读取成功?}
    E -->|是| F[处理数据]
    E -->|否| G[使用默认数据]
    F --> H[保存结果]
    D --> H
    G --> H
</mermaid>

对应代码实现：
<syntaxhighlight lang="c">
#include <stdio.h>
#include <stdlib.h>

#define DEFAULT_DATA "默认内容"

void process_file(const char* filename) {
    FILE *file = fopen(filename, "r");
    char buffer[256];
    
    if (file == NULL) {
        printf("文件不存在，创建新文件\n");
        file = fopen(filename, "w");
        fputs(DEFAULT_DATA, file);
    } else {
        if (fgets(buffer, sizeof(buffer), file) == NULL) {
            printf("文件读取错误，使用默认数据\n");
            strcpy(buffer, DEFAULT_DATA);
        }
        printf("处理数据: %s\n", buffer);
    }
    
    fclose(file);
}

int main() {
    process_file("data.txt");
    return 0;
}
</syntaxhighlight>

== 错误恢复策略 ==

{| class="wikitable"
|+ 常见错误恢复策略比较
! 策略 !! 优点 !! 缺点 !! 适用场景

| 返回值检查 || 简单直接 || 代码嵌套深 || 简单函数调用

| errno || 携带详细信息 || 非线程安全 || 系统调用

| setjmp/longjmp || 跨函数跳转 || 难以维护 || 深度嵌套错误

| 信号处理 || 处理外部事件 || 不可移植 || 系统中断
|}

== 数学表达 ==
在错误率分析中，可能使用以下公式计算成功概率：
<math>
P_{success} = 1 - \prod_{i=1}^{n}(1 - p_i)
</math>
其中<math>p_i</math>是第i个恢复机制的成功概率。

== 最佳实践 ==
1. '''防御性编程'''：始终检查函数返回值
2. '''资源清理'''：使用<code>goto</code>集中处理错误（Linux内核风格）
   <syntaxhighlight lang="c">
   int function() {
       int retval = 0;
       FILE *f1 = NULL, *f2 = NULL;
       
       f1 = fopen("file1", "r");
       if (!f1) { retval = -1; goto cleanup; }
       
       f2 = fopen("file2", "w");
       if (!f2) { retval = -2; goto cleanup; }
       
       // 正常处理...
       
   cleanup:
       if (f1) fclose(f1);
       if (f2) fclose(f2);
       return retval;
   }
   </syntaxhighlight>

3. '''错误传播'''：在多层调用中保持错误代码一致性
4. '''日志记录'''：记录错误上下文帮助调试

== 总结 ==
C语言错误恢复需要开发者显式地处理各种可能的错误情况。虽然缺乏现代语言的异常机制，但通过返回值、全局变量和跳转等技术，仍然可以构建健壮的应用程序。关键是根据具体场景选择合适的策略，并始终保持资源管理的严谨性。

[[Category:编程语言]]
[[Category:C]]
[[Category:C 语言错误处理]]