编辑“︁C 语言错误处理最佳实践”︁（章节）

= C语言错误处理最佳实践 =

'''错误处理'''是C语言编程中至关重要的环节，它帮助开发者识别、捕获和处理程序运行时可能出现的异常情况。由于C语言本身不提供内置的异常处理机制（如C++或Java中的try-catch），开发者需要依赖返回值、全局变量和特定函数来实现健壮的错误处理逻辑。

== 错误处理的基本方法 ==

C语言中常见的错误处理方式包括：

=== 1. 返回值检查 ===
大多数C标准库函数通过返回值（通常是整数或指针）表示操作是否成功。例如：
 * 返回`0`表示成功，非零值表示错误（如`fopen`返回`NULL`表示文件打开失败）
 * 某些函数使用`errno`全局变量存储错误代码（需包含`<errno.h>`）

<syntaxhighlight lang="c">
#include <stdio.h>
#include <errno.h>

int main() {
    FILE *file = fopen("nonexistent.txt", "r");
    if (file == NULL) {
        perror("Error opening file"); // 输出：Error opening file: No such file or directory
        printf("Error code: %d\n", errno); // 输出：2 (ENOENT)
        return 1;
    }
    fclose(file);
    return 0;
}
</syntaxhighlight>

=== 2. 全局变量errno ===
`errno`是一个线程局部的整型变量，标准库函数执行失败时会设置其值。常用宏：
 * `EPERM` (1): 操作不允许
 * `ENOENT` (2): 文件/目录不存在
 * `EINTR` (4): 系统调用中断

=== 3. 信号处理 ===
通过`signal.h`处理硬件异常（如除零错误、段错误）：
<syntaxhighlight lang="c">
#include <signal.h>
#include <stdio.h>

void handler(int sig) {
    printf("Caught signal %d\n", sig);
    exit(1);
}

int main() {
    signal(SIGFPE, handler); // 捕获浮点异常
    int x = 10 / 0;         // 触发SIGFPE
    return 0;
}
</syntaxhighlight>

== 高级错误处理技术 ==

=== 1. 错误码封装 ===
定义统一的错误码枚举，提高代码可读性：
<syntaxhighlight lang="c">
typedef enum {
    ERR_SUCCESS = 0,
    ERR_NULL_PTR,
    ERR_OUT_OF_MEMORY,
    ERR_INVALID_INPUT
} ErrorCode;

ErrorCode process_data(int *data) {
    if (data == NULL) return ERR_NULL_PTR;
    // 处理逻辑...
    return ERR_SUCCESS;
}
</syntaxhighlight>

=== 2. 跳转处理（setjmp/longjmp） ===
实现非局部跳转，类似"异常抛出"：
<syntaxhighlight lang="c">
#include <setjmp.h>
jmp_buf env;

void risky_operation() {
    if (/* 错误条件 */) longjmp(env, 1);
}

int main() {
    if (setjmp(env) == 0) {
        risky_operation();
    } else {
        printf("Error occurred!\n");
    }
    return 0;
}
</syntaxhighlight>

=== 3. 资源清理模式 ===
使用`goto`实现集中式错误处理（Linux内核风格）：
<syntaxhighlight lang="c">
int complex_operation() {
    FILE *f1 = NULL, *f2 = NULL;
    int *buffer = NULL;
    
    f1 = fopen("file1.txt", "r");
    if (!f1) goto error;
    
    buffer = malloc(1024);
    if (!buffer) goto error;
    
    f2 = fopen("file2.txt", "w");
    if (!f2) goto error;
    
    // 正常流程...
    free(buffer);
    fclose(f1);
    fclose(f2);
    return 0;
    
error:
    if (buffer) free(buffer);
    if (f1) fclose(f1);
    if (f2) fclose(f2);
    return -1;
}
</syntaxhighlight>

== 实际应用案例 ==

'''案例：安全文件复制程序'''
<syntaxhighlight lang="c">
#include <stdio.h>
#include <stdlib.h>

#define CHUNK_SIZE 1024

int copy_file(const char *src, const char *dst) {
    FILE *src_file = NULL, *dst_file = NULL;
    char *buffer = NULL;
    size_t bytes_read;
    
    src_file = fopen(src, "rb");
    if (!src_file) goto error;
    
    dst_file = fopen(dst, "wb");
    if (!dst_file) goto error;
    
    buffer = malloc(CHUNK_SIZE);
    if (!buffer) goto error;
    
    while ((bytes_read = fread(buffer, 1, CHUNK_SIZE, src_file)) > 0) {
        if (fwrite(buffer, 1, bytes_read, dst_file) != bytes_read) {
            goto error;
        }
    }
    
    free(buffer);
    fclose(src_file);
    fclose(dst_file);
    return 0;
    
error:
    if (buffer) free(buffer);
    if (src_file) fclose(src_file);
    if (dst_file) fclose(dst_file);
    perror("File copy failed");
    return -1;
}
</syntaxhighlight>

== 错误处理流程图 ==
<mermaid>
graph TD
    A[开始操作] --> B{成功?}
    B -->|是| C[继续正常流程]
    B -->|否| D[记录错误信息]
    D --> E[释放已分配资源]
    E --> F[返回错误码]
    C --> G[操作完成]
</mermaid>

== 数学表达 ==
在性能关键系统中，错误概率可以建模为：
<math>
P_{error} = 1 - \prod_{i=1}^{n}(1 - p_i)
</math>
其中<math>p_i</math>是第i个子操作的失败概率。

== 最佳实践总结 ==
1. '''始终检查返回值'''：特别是I/O、内存分配和系统调用
2. '''使用明确的错误码'''：避免魔法数字
3. '''及时释放资源'''：错误路径也要清理内存/文件句柄
4. '''提供有意义的错误信息'''：帮助调试和维护
5. '''文档化错误条件'''：说明函数可能返回的错误码
6. '''考虑线程安全'''：在多线程环境中谨慎使用全局变量如`errno`

通过系统化的错误处理，可以显著提高C程序的可靠性和可维护性。初学者应从简单的返回值检查开始，逐步掌握更高级的技术。

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