【C语言高级指导】错误处理

错误处理

错误处理是一个关键的编程概念，因为适当的错误处理可以避免程序崩溃并确保数据的一致性。

<assert.h>：诊断

<assert.h> 是 C 语言标准库中的一个头文件，它定义了断言（assertion）机制，这是一种用于程序调试的运行时检查工具。断言主要用于验证程序在开发过程中的状态是否符合预期。如果状态不符合预期，程序将终止执行，并通常会产生一个错误消息来帮助开发者诊断问题。

以下是 <assert.h> 中定义的主要宏和概念：

1. assert 宏:

   • assert 是 <assert.h> 中的主要宏，其语法为 assert(expression);。
   • 如果 expression 为假（即为 0），则 assert 宏将打印一个错误消息到标准错误输出，并终止程序执行。

2. assert 的行为:

   • 错误消息通常包括失败的断言的文件名和行号。

3. 禁用 assert:

   • 在发布版本中，可以通过定义 NDEBUG 宏来禁用 assert 宏，从而避免运行时检查，提高程序性能。

4. assert 的使用场景:

   • 断言通常用于检查函数的前提条件、后置条件和循环不变式。

5. <assert.h> 的包含:

   • 要使用 assert 宏，需要在程序中包含 <assert.h> 头文件。

示例代码：

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

int main() {
    int a = 10;
    int b = 0;

    // 检查 b 是否不为零，因为不能除以零
    assert(b != 0);

    // 这个断言将失败，因为 b 的值是 0
    assert(a / b > 0);

    // 其他代码...

    return 0;
}

在上面的示例中，第二个 assert 将失败，因为 b 的值为 0，这将触发断言失败，程序将打印错误消息并终止。

使用断言时应注意以下几点：

• 断言不是一种错误处理机制，它们主要用于开发和调试阶段。
• 在性能敏感的应用程序中，应通过定义 NDEBUG 来禁用断言。
• 断言检查的条件应该是在正常运行条件下始终为真的，不应依赖于外部输入或可变状态。
• 断言失败时提供的信息应足以帮助开发者定位问题，通常包括失败的断言表达式、文件名和行号。

<assert.h> 提供的 assert 宏是一种简单而强大的调试工具，可以帮助开发者及早发现和修复代码中的错误。

<errno.h>：错误

<errno.h> 是 C 语言标准库中的一个头文件，它定义了 errno 变量以及一组错误代码常量。errno 是一个全局变量，用于报告许多标准库函数在执行过程中遇到的错误。当这些函数因某些原因无法完成其功能时，它们会设置 errno 的值，以指示发生的具体错误。

以下是 <errno.h> 头文件中的一些关键概念：

1. errno 变量:

   • errno 是一个全局的整数变量，用于存储错误代码。它被定义为 int 类型。

2. 错误代码常量:

   • <errno.h> 定义了一组宏，每个宏都对应一种特定的错误。例如，EDOM 表示数学域错误，ERANGE 表示结果超出范围。

3. 使用 errno:

   • 函数在失败时设置 errno，然后你的程序可以检查 errno 的值来确定错误类型。

4. 重置 errno:

   • 在调用可能设置 errno 的函数之前，通常使用 errno = 0; 来重置它，以确保不会误读之前的错误状态。

5. 线程安全:

   • 在多线程环境中，errno 是线程局部的，每个线程有自己的 errno 值。

6. 错误消息:

   • 可以使用 strerror 或 strerror_r 函数将 errno 值转换为描述错误的字符串。

示例代码：

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

int main() {
    char *buffer;
    size_t size = 1024;

    // 尝试分配内存
    buffer = (char *)malloc(size);
    if (buffer == NULL) {
        // 检查 errno 以确定错误类型
        if (errno == ENOMEM) {
            fprintf(stderr, "Memory allocation failed: %s\n", strerror(errno));
        } else {
            fprintf(stderr, "Unknown error occurred.\n");
        }
        return EXIT_FAILURE;
    }

    // 正常使用 buffer...

    // 释放内存
    free(buffer);

    // 尝试一个可能失败的操作，例如除以零
    int result = 10 / 0; // 这将导致除以零错误

    // 检查 errno 来确定错误类型
    if (errno == EDOM) {
        fprintf(stderr, "Domain error: %s\n", strerror(errno));
    }

    return 0;
}

在使用 <errno.h> 时，需要注意以下几点：

• 并非所有函数都会设置 errno。有些函数可能有自己的错误返回机制。
• errno 是全局变量，因此它可能被程序中的任何部分改变。
• 在编写可移植代码时，应使用 <errno.h> 中定义的宏而不是直接使用整数值。
• 在多线程程序中，每个线程都有自己的 errno 值，因此不需要担心线程间的 errno 值冲突。

<errno.h> 提供的错误代码和 errno 变量是 C 语言中处理错误的重要工具，它们帮助开发者理解函数失败的原因，并据此进行适当的错误处理。

<signal.h>：信号处理

在C语言中，<signal.h> 头文件提供了信号处理所需的定义和函数。信号是操作系统用来通知进程发生了某些事件的机制。以下是 <signal.h> 中一些关键组件的概述：

信号宏：

• 信号宏定义了各种信号的常量，例如 SIGINT（通常由用户中断键 Ctrl+C 产生）、SIGTERM（终止信号）、SIGSEGV（段错误）、SIGFPE（浮点异常）等。

signal 函数：

• signal 函数用于设置进程的信号处理器。其原型如下：

  void (*signal(int sig, void (*func)(int)))(int);
  

  • sig：指定要处理的信号。
  • func：指定当信号 sig 发生时，将被调用的函数。可以返回一个指向信号处理函数的指针。

预定义的信号处理函数：

• SIG_DFL：表示信号的默认处理行为。
• SIG_IGN：表示忽略该信号。

raise 函数：

• raise 函数用于在当前进程中生成一个信号。其原型如下：

  int raise(int sig);
  

  • sig：指定要生成的信号。
  • 函数返回0表示成功，如果失败，则返回-1，并设置 errno。

示例代码：

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

// 信号处理函数
void signal_handler(int sig) {
    printf("Signal %d caught\n", sig);
    // 清理资源...
    // 退出程序
    _exit(EXIT_FAILURE);
}

int main() {
    // 设置 SIGINT 信号的处理函数
    if (signal(SIGINT, signal_handler) == SIG_ERR) {
        perror("Failed to set signal handler");
        return EXIT_FAILURE;
    }

    printf("Program is running. Press Ctrl+C to exit.\n");

    // 主循环
    while (1) {
        // ...
    }

    return 0;
}

在使用 <signal.h> 进行信号处理时，需要注意以下几点：

• 信号处理函数应该尽可能简单，避免调用不是异步信号安全（async-signal-safe）的函数。
• 信号处理函数不应该尝试重新进入被信号打断的代码。
• 使用 signal 函数设置的信号处理器可能不会立即生效，直到下一次该信号被发送。
• raise 函数可以用来在程序中显式地触发信号，这在测试信号处理逻辑时非常有用。

信号处理是 UNIX 和类 UNIX 系统编程中的一个重要概念，正确地使用信号可以提高程序的健壮性和响应能力。

<setjmp.h>：非局部跳转

<setjmp.h> 是 C 语言标准库中的一个头文件，它提供了一种机制来进行非局部跳转（non-local jump），即跳转到程序中函数调用栈之外的某个点。这通常用于异常处理或当需要从多层嵌套函数调用中退出时。<setjmp.h> 中定义的两个主要函数是 setjmp 和 longjmp。

关键概念和函数：

1. setjmp 函数:

   • int setjmp(jmp_buf env);
   • 此函数保存当前的上下文（包括程序计数器、栈指针等）到 jmp_buf 结构中，并返回 0。如果 setjmp 是由 longjmp 触发的跳转的目标，则返回非 0 值。

2. longjmp 函数:

   • void longjmp(jmp_buf env, int val);
   • 此函数使用 setjmp 保存的上下文来恢复程序的执行。val 参数的值将作为 setjmp 的返回值（如果 val 为 0，则 setjmp 返回 1）。

3. jmp_buf 类型:

   • 这是一个结构，用于存储程序执行的上下文。

示例代码：

#include <stdio.h>
#include <setjmp.h>

jmp_buf env;

void risky_function() {
    if (/* some error condition */) {
        longjmp(env, 1); // 触发非局部跳转
    }
    // 正常逻辑...
}

int main() {
    if (setjmp(env) == 0) {
        risky_function();
        printf("This will not be printed if an error occurs.\n");
    } else {
        printf("An error was detected in risky_function().\n");
    }
    return 0;
}

在上面的示例中，setjmp 在 main 函数中被调用，并保存了程序执行的上下文到 env。然后 main 调用了 risky_function。如果在 risky_function 中发生错误，longjmp 被调用，它将控制权返回给 main 中的 setjmp，跳过了可能的错误处理代码。

使用 <setjmp.h> 时，需要注意以下几点：

• setjmp 和 longjmp 通常用于异常处理，但它们并不是真正的异常处理机制，因为它们不遵守异常的调用栈展开规则。
• longjmp 可以跳过已经释放资源的代码，这可能导致资源泄漏或其他副作用。
• 信号处理函数不应使用 longjmp，因为信号处理函数可能在任何时间点被调用，这可能导致不可预测的行为。
• setjmp 保存的上下文包括所有可变的数据和寄存器状态，但不包括已经分配的内存或打开的文件等资源状态。

<setjmp.h> 提供的非局部跳转机制在某些特定情况下非常有用，但应谨慎使用，以避免复杂的程序逻辑和潜在的错误。