C语言多层固件架构下高效错误处理实现方案咨询

以下方案均和原有代码逻辑完全兼容，运行效率无损失，可大幅减少冗余代码：

方案1：封装错误检查宏（改动最小，适配现有代码） #

把重复的返回值判断逻辑封装为通用宏，替换所有重复的if判断语句：

// 放在公共头文件中
#define CHECK_OP(op) do { \
    if ((op) != operation_success) { \
        return operation_failure; \
    } \
} while(0)

改造后代码示例：

// Block层
operation_status_t enable_block1(void)
{
    CHECK_OP(send_uart_command(BLOCK1_COMMAND_1, 10));
    CHECK_OP(send_uart_command(BLOCK1_COMMAND_2, 20));
    // 其他序列命令
    CHECK_OP(send_uart_command(BLOCK1_COMMAND_N, 15));
    return operation_success;
}

// API层
operation_status_t initialize(void)
{
    CHECK_OP(enable_block1());
    CHECK_OP(enable_block2());
    // 其他Block层调用
    return operation_success;
}

方案2：Block层用表驱动简化UART命令序列调用 #

如果Block层的功能本质是执行固定的UART命令序列，可以用配置表+通用执行函数的方式进一步简化，新增命令只需修改配置表，不需要写重复逻辑：

// 放在公共头文件中
typedef struct {
    command_id_t cmd_id;
    command_value_t cmd_val;
} uart_cmd_entry_t;

// 通用UART命令序列执行函数
operation_status_t exec_uart_cmd_seq(const uart_cmd_entry_t *seq, size_t seq_len)
{
    for (size_t i = 0; i < seq_len; i++) {
        CHECK_OP(send_uart_command(seq[i].cmd_id, seq[i].cmd_val));
    }
    return operation_success;
}

改造后Block层代码示例：

operation_status_t enable_block1(void)
{
    static const uart_cmd_entry_t block1_seq[] = {
        {BLOCK1_COMMAND_1, 10},
        {BLOCK1_COMMAND_2, 20},
        // 其他命令
        {BLOCK1_COMMAND_N, 15},
    };
    return exec_uart_cmd_seq(block1_seq, sizeof(block1_seq) / sizeof(block1_seq[0]));
}

operation_status_t enable_block2(void)
{
    static const uart_cmd_entry_t block2_seq[] = {
        {BLOCK2_COMMAND_1, 1},
        {BLOCK2_COMMAND_2, 8},
    };
    return exec_uart_cmd_seq(block2_seq, sizeof(block2_seq) / sizeof(block2_seq[0]));
}

方案3：API层用函数指针表简化批量Block调用 #

API层的批量操作也可以用同样的表驱动思路，用函数指针表配置执行序列：

// 放在公共头文件中
typedef operation_status_t (*block_op_func_t)(void);

// 通用Block操作序列执行函数
operation_status_t exec_block_op_seq(const block_op_func_t *op_seq, size_t seq_len)
{
    for (size_t i = 0; i < seq_len; i++) {
        CHECK_OP(op_seq[i]());
    }
    return operation_success;
}

改造后API层代码示例：

operation_status_t initialize(void)
{
    static const block_op_func_t init_op_seq[] = {
        enable_block1,
        enable_block2,
        // 其他要执行的Block层函数
    };
    return exec_block_op_seq(init_op_seq, sizeof(init_op_seq) / sizeof(init_op_seq[0]));
}

注意事项 #

1. 宏定义中的do{}while(0)是C语言通用的安全写法，可避免宏在分支语句中展开时出现语法错误。
2. 所有方案均保留了原有“出错立即返回”的逻辑，和原有代码行为完全一致，且所有逻辑均为编译期处理，运行时无额外性能开销，完全符合固件开发的性能要求。
3. 如果是单线程无抢占的固件场景，还可增加全局错误状态标记，出错后后续调用直接跳过，适合不需要精细错误分支的场景，使用前注意清空错误标记避免残留。

内容的提问来源于stack exchange，提问作者IoT