C语言作为一门偏向底层的编程语言，本身没有内置的异常处理机制，因此错误处理需要开发者通过其他方式手动实现，不同的错误处理方法适用于不同的开发场景，合理选择可以让程序更稳定。
C语言常见错误处理方法
1. 函数返回值判断
这是C语言中最基础也最常用的错误处理方式，函数执行后通过返回特定的值来表示执行状态，调用方通过判断返回值来确定是否出现错误。
通常约定返回0表示执行成功，非0值表示不同的错误类型，或者返回-1表示失败，通过指针参数传出具体的错误信息。
下面是一个文件打开的例子：
#include <stdio.h>
// 打开文件的函数，成功返回文件指针，失败返回NULL
FILE* open_file(const char* filename) {
FILE* fp = fopen(filename, "r");
if (fp == NULL) {
// 打开失败，返回NULL
return NULL;
}
return fp;
}
int main() {
FILE* fp = open_file("test.txt");
if (fp == NULL) {
// 处理打开失败的错误
printf("文件打开失败n");
return 1;
}
// 文件操作逻辑
fclose(fp);
return 0;
}
2. 使用errno全局变量
errno是C语言标准库中定义的全局变量，位于<errno.h>头文件中，很多标准库函数在执行失败时会设置errno的值，不同的errno值对应不同的错误原因。
使用errno时需要注意，只有在函数明确说明会设置errno的情况下，errno的值才是有意义的，而且每次检查errno前最好先清空errno的值，避免受到之前错误的影响。
示例代码如下：
#include <stdio.h>
#include <errno.h>
#include <string.h>
int main() {
FILE* fp = fopen("not_exist.txt", "r");
if (fp == NULL) {
// 打印errno对应的错误信息
printf("打开文件失败，错误原因：%sn", strerror(errno));
return 1;
}
fclose(fp);
return 0;
}
3. 断言机制assert
assert是<assert.h>头文件中提供的宏，用于在调试阶段检查程序中的假设条件是否成立，如果条件不成立，程序会直接终止并打印错误信息。
断言通常用于检查不应该出现的逻辑错误，比如传入函数的参数不符合预期，它不适合处理运行时的可恢复错误，而且默认在发布版本中assert会被禁用。
代码示例：
#include <stdio.h>
#include <assert.h>
// 计算除法，要求除数不能为0
int divide(int a, int b) {
// 断言b不等于0，否则程序终止
assert(b != 0);
return a / b;
}
int main() {
int result = divide(10, 2);
printf("计算结果：%dn", result);
// 下面这行会触发断言失败
// divide(10, 0);
return 0;
}
4. setjmp和longjmp实现非局部跳转
setjmp和longjmp是<setjmp.h>中提供的函数，可以实现跨函数的跳转，类似于其他语言中的异常处理机制，可以在深层嵌套的函数调用中直接跳转到上层的错误处理位置。
setjmp用于保存当前的上下文环境到一个jmp_buf变量中，第一次调用返回0；longjmp用于跳回之前setjmp保存的位置，跳转后setjmp会返回longjmp传入的值。
示例代码：
#include <stdio.h>
#include <setjmp.h>
jmp_buf jump_buffer;
void error_func() {
printf("发生错误，准备跳转回错误处理位置n");
// 跳回setjmp的位置，返回值为1
longjmp(jump_buffer, 1);
}
void normal_func() {
printf("执行正常逻辑n");
error_func();
}
int main() {
// 保存上下文，首次调用返回0
int ret = setjmp(jump_buffer);
if (ret == 0) {
// 正常执行流程
printf("开始执行程序n");
normal_func();
} else {
// 错误处理流程，ret是longjmp传入的值
printf("捕获到错误，错误码：%dn", ret);
}
return 0;
}
不同错误处理方法的适用场景
可以根据实际需求选择合适的方法：
- 函数返回值判断适合大多数可恢复的错误场景，比如文件操作、内存分配失败等，逻辑简单清晰。
- errno适合配合标准库函数使用，获取标准库函数执行失败的具体原因。
- assert适合调试阶段检查逻辑错误，不适合处理运行时的用户输入错误等场景。
- setjmp和longjmp适合深层嵌套调用中的错误处理，但是会让程序流程变得复杂，不建议过度使用。
错误处理注意事项
在进行C语言错误处理时，需要注意以下几点：
- 错误处理的逻辑要尽量简洁，不要引入新的错误。
- 对于动态分配的内存、打开的文件等资源，在错误处理分支中要及时释放，避免资源泄漏。
- 不要依赖errno的值判断所有函数的执行状态，只有明确说明会设置errno的函数才适用。
- 使用setjmp和longjmp时，不要在跳转的过程中跳过局部变量的初始化，否则可能导致未定义行为。