如何处理C语言中频繁的错误检查？

C语言没有内置异常处理机制，手动错误检查确实无法完全避免，但我们可以通过一些C语言惯用技巧减少代码冗余、提升可读性，不用被动接受代码膨胀的现状。

1. 用符合C习惯的检查宏封装重复逻辑 #

你之前尝试的宏写法存在语法问题，正确的做法是用do-while(0)包裹宏内容，确保宏能像普通语句一样使用，不会出现语法冲突。针对不同场景可以编写专用宏：

针对指针类型返回值（如malloc、dynStr_create） #

// 若指针为NULL，执行指定动作（return、goto等）
#define CHECK_NULL(ptr, action) do { \
    if (!(ptr)) { \
        action; \
    } \
} while(0)

用法示例：

char *myStr = malloc(sizeof(char));
CHECK_NULL(myStr, return NULL);

struct dynStr *asmCode = dynStr_create();
CHECK_NULL(asmCode, goto cleanup);

针对返回码类型的函数（如dynStr_append） #

// 若返回码不等于预期成功值，执行指定动作
#define CHECK_RC(rc, success_val, action) do { \
    if ((rc) != (success_val)) { \
        action; \
    } \
} while(0)

用法示例：

int rc = dynStr_append(asmCode, ".data\n");
CHECK_RC(rc, 1, goto cleanup);

2. 统一错误出口（优化goto用法） #

你已经在用goto做错误跳转，但可以把所有资源清理逻辑集中到一个出口，避免维护多个exit_fail、free_and_exit标签，让代码更整洁：

struct dynStr *asmCode = NULL;
int result = 0; // 0表示失败，1表示成功

if (!varNames)
    goto cleanup;

asmCode = dynStr_create();
CHECK_NULL(asmCode, goto cleanup);

result = dynStr_append(asmCode, ".data\n");
CHECK_RC(result, 1, goto cleanup);

char *varName;
for (size_t i = 0; (varName = daStr_getString(varNames, i)); i++) {
    result = dynStr_append(asmCode, "DD ");
    CHECK_RC(result, 1, goto cleanup);

    result = dynStr_append(asmCode, varName);
    CHECK_RC(result, 1, goto cleanup);

    result = dynStr_append(asmCode, "\n");
    CHECK_RC(result, 1, goto cleanup);
}

// 正常执行完成，标记成功
result = 1;

cleanup:
// 集中清理所有资源
if (asmCode) dynStr_destroy(asmCode);
// 其他需要释放的资源也放在这里
return result ? NULL : 错误码; // 根据实际需求调整返回值

3. 封装高频操作成函数 #

对于像循环里多次调用dynStr_append这种重复操作，可以封装成批量追加函数，把错误检查逻辑隐藏在内部：

#include <stdarg.h>

int dynStr_append_multi(struct dynStr *ds, ...) {
    va_list args;
    va_start(args, ds);
    const char *str;
    int rc;

    while ((str = va_arg(args, const char *)) != NULL) {
        rc = dynStr_append(ds, str);
        if (!rc) {
            va_end(args);
            return 0;
        }
    }

    va_end(args);
    return 1;
}

用法示例，循环里的三次append可简化为一次调用：

for (size_t i = 0; (varName = daStr_getString(varNames, i)); i++) {
    result = dynStr_append_multi(asmCode, "DD ", varName, "\n", NULL);
    CHECK_RC(result, 1, goto cleanup);
}

4. 可选：C11通用宏（注意兼容性） #

如果编译器支持C11，可以用_Generic实现通用检查宏，自动适配指针和返回码类型：

#define CHECK(expr, success_val, action) do { \
    _Generic((expr), \
        void*: if (!(expr)) { action; }, \
        int: if ((expr) != (success_val)) { action; } \
        /* 可扩展其他类型 */ \
    ) \
} while(0)

用法示例：

struct dynStr *asmCode = dynStr_create();
CHECK(asmCode, NULL, goto cleanup); // 指针类型，检查是否为NULL

int rc = dynStr_append(asmCode, ".data\n");
CHECK(rc, 1, goto cleanup); // int类型，检查是否等于1

需要注意的是，这些技巧都是在C语言规则内减少冗余，错误检查本身是必要的——毕竟C语言的核心哲学是「程序员对所有操作负责」，但通过合理封装，完全可以避免代码膨胀3倍的情况。

内容的提问来源于stack exchange，提问作者Gabriel Silva Schilive