错误处理与断言

在程序运行过程中，错误是不可避免的：文件不存在、内存分配失败、输入无效等等。良好的错误处理机制能够使程序在遇到异常时优雅地恢复或给出清晰的提示，而不是崩溃或产生错误结果。 C语言没有像C++或Java那样的异常处理机制，而是通过返回值、全局变量errno、断言（assert）等方式来处理错误。本章将详细介绍C语言中常见的错误处理方法及断言的使用技巧。

⚠️ C语言中的错误处理方式

C语言中的错误处理通常采用以下几种策略：

函数返回值：通过返回特殊值（如-1、NULL）表示错误，调用者检查返回值。
全局错误变量 errno：许多库函数在出错时会设置 errno，可以通过 perror 或 strerror 获取错误信息。
断言（assert）：用于检测程序中不应发生的情况，帮助调试。
自定义错误码：定义自己的错误码枚举，通过函数返回错误码来传递错误信息。

🔢 errno、perror 与 strerror

errno 是 <errno.h> 中定义的全局整数变量，当标准库函数（如文件操作、内存分配等）发生错误时，会设置 errno 为一个正值，表示具体的错误类型。程序可以通过 perror() 打印错误信息，或使用 strerror() 获取错误描述的字符串。

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

int main() {
    FILE *fp = fopen("nonexist.txt", "r");
    if (fp == NULL) {
        // 方法1：使用 perror 直接打印错误信息（自动添加前缀）
        perror("打开文件失败");

        // 方法2：使用 strerror 获取错误描述字符串
        printf("错误码: %d, 错误信息: %s\n", errno, strerror(errno));

        return 1;
    }
    fclose(fp);
    return 0;
}

注意： errno 只在函数出错时被设置，成功时不会清零。因此，在调用可能出错的函数前，最好将 errno 设置为0，然后再检查。

🔸 常见的 errno 错误码

错误码	宏	含义
1	`EPERM`	操作不允许
2	`ENOENT`	文件或目录不存在
13	`EACCES`	权限不足
22	`EINVAL`	无效参数
24	`EMFILE`	打开文件过多
28	`ENOSPC`	设备无剩余空间

🏷️ 自定义错误处理

在实际项目中，可以定义自己的错误码和错误处理函数，使错误处理更统一。

#include <stdio.h>

// 定义错误码枚举
typedef enum {
    ERR_SUCCESS = 0,
    ERR_FILE_OPEN,
    ERR_MEMORY_ALLOC,
    ERR_INVALID_ARG,
    ERR_DIVIDE_BY_ZERO
} ErrorCode;

// 错误信息映射
const char *errorMessages[] = {
    "成功",
    "文件打开失败",
    "内存分配失败",
    "无效参数",
    "除零错误"
};

// 自定义错误处理函数
void handleError(ErrorCode code) {
    fprintf(stderr, "错误: %s\n", errorMessages[code]);
}

// 示例：除法函数，返回错误码
ErrorCode divide(int a, int b, int *result) {
    if (b == 0) return ERR_DIVIDE_BY_ZERO;
    *result = a / b;
    return ERR_SUCCESS;
}

int main() {
    int res;
    ErrorCode err = divide(10, 0, &res);
    if (err != ERR_SUCCESS) {
        handleError(err);
        return 1;
    }
    printf("结果: %d\n", res);
    return 0;
}

✅ 断言 assert

assert 是 <assert.h> 中定义的宏，用于在调试阶段检测程序中不应出现的条件。如果断言的条件为假，程序会输出错误信息并终止（调用 abort()）。在发布版本中，可以通过定义 NDEBUG 宏来禁用所有断言，以提高性能。

#include <stdio.h>
#include <assert.h>

int factorial(int n) {
    assert(n >= 0);   // 确保 n 非负
    int result = 1;
    for (int i = 1; i <= n; i++) {
        result *= i;
    }
    return result;
}

int main() {
    int x = -5;
    int fact = factorial(x);   // 触发断言失败，程序终止
    printf("%d! = %d\n", x, fact);
    return 0;
}

注意： 断言只应用于检测编程逻辑错误（如参数不应为NULL、数组索引不应越界），不应替代运行时的错误处理（如用户输入错误、文件不存在）。在发布版本中，断言通常会被关闭，因此不能依赖断言进行必要的业务逻辑检查。

🔸 禁用断言

#define NDEBUG   // 放在 #include <assert.h> 之前
#include <assert.h>
// 之后的所有 assert 都不会产生任何效果

也可以在编译时定义：gcc -DNDEBUG program.c

📌 静态断言 _Static_assert

C11 标准引入了 _Static_assert（也可通过 static_assert 宏使用，需要包含 <assert.h>），用于在编译时检查常量表达式。如果条件不满足，编译器会产生错误信息，阻止编译。静态断言非常适用于检查结构体大小、类型对齐等编译时可知的条件。

#include <stdio.h>
#include <assert.h>   // 提供 static_assert 宏

// 静态断言：确保 int 类型至少 4 字节
static_assert(sizeof(int) >= 4, "int 类型太小，至少需要4字节");

struct Student {
    int id;
    char name[50];
    float score;
};

// 确保结构体没有意外填充（不推荐这样严格要求，仅演示）
static_assert(sizeof(struct Student) == (sizeof(int) + 50 + sizeof(float)),
              "结构体存在额外填充");

int main() {
    printf("程序编译成功\n");
    return 0;
}

注意： 静态断言的条件必须是编译时常量表达式，不能使用变量。它在编译时检查，因此非常适合库开发者确保某些假设成立。