C 中多层实现的错误处理

Question

我正在用 C 语言为设备编写固件。该软件允许 PC 通过串行接口 (UART) 与该设备进行通信。固件包含以下多层：

1. 通过 UART 发送和接收数据的通信层。
2. 块层：此层通过 UART 向设备写入数据来启用/禁用设备上的某些块。
3. API 层：这包含对块层中例程的一系列调用。它用于启用或禁用设备上的一组块。

我的问题是错误处理，因为在 C 中没有异常。以下是我实现固件的方式，我正在尝试看看是否有更有效和更紧凑的方式来构建它，同时仍然有效地处理错误。我想避免在每一层检查下层调用的状态。 下面的代码非常紧凑，实际上，我在块层中有很长的 send_uart_commands 序列。

// Communication layer

operation_status_t send_uart_command(command_id_t id, command_value_t value)
{
    // Send data over UART
    // Return success if the operation is successful; otherwise failure
}

// Block layer

operation_status_t enable_block1(void)
{
    if (send_uart_command(BLOCK1_COMMAND_1, 10) != operation_success)
           return operation_failure;

    if (send_uart_command(BLOCK1_COMMAND_2, 20) != operation_success)
           return operation_failure;

    // A list of sequences

    if (send_uart_command(BLOCK1_COMMAND_N, 15) != operation_success)
           return operation_failure;

    return operation_success;
}

operation_status_t enable_block2(void)
{
    if (send_uart_command(BLOCK2_COMMAND_1, 1) != operation_success)
           return operation_failure;

    if (send_uart_command(BLOCK2_COMMAND_2, 8) != operation_success)
           return operation_failure;

    return operation_success;
}

// API layer

operation_status_t initialize(void)
{
    if (enable_block1() != operation_success)
           return operation_failure;

    if (enable_block2() != operation_success)
           return operation_failure;

   // A list of calls to the functions in the block layer

    return operation_success;
}

Answer 1

在 C++ 中处理异常的许多大问题之一是异常可能会像炮弹一样在所有层中崩溃。因此，当您编写一些完全不相关的代码时，您会突然面对炮弹：“UART 帧错误！”当你甚至没有接触到 UART 代码时......

因此“我想避免在每一层检查下层调用的状态”是错误的。相反，您应该这样做：

• 检查每一层的错误。
• 尽可能靠近错误源处理错误。
• 仅将错误转发给调用者，以防它们对调用者真正有意义。
• 您可以重命名/更改错误类型以适应调用者的需要。

例如：“UART 帧错误”可能对调用 UART 驱动程序的代码有用，但对更高层的应用程序无用。 “可能不正确的波特率设置”可能是您应该传递的更相关的错误描述。尽管在某些情况下，您希望即使在较高层也能提供详细的错误信息。

您可能想要这样做的一个原因是，在顶层有一个集中式错误处理程序是一种常见且通常很好的设计，它可以从代码中的一个位置做出状态更改、打印/记录错误等决策.而不是到处这样做。您经常会发现微控制器应用程序的顶层如下所示：

void main (void)
{
  /* init & setup code called */

  for(;;)
  {
    kick_watchdog(); // the only place in the program where you do this
      
    result = state_machine[state]();
    
    if(result != OK)
    {
      state = error_handler(result);
    }
  }
}

---

至于您的具体代码，它看起来还不错，而且与我上面写的内容几乎没有任何矛盾。出错时返回错误代码总是好的 - 比 goto 更容易混淆，甚至更糟：大量嵌套的语句和/或带有错误条件标志的循环。

Answer 2

您的代码很好。实际上，避免在 C 中进行显式错误检查是一种不好的做法。但如果你真的想要它，你可以使用longjmp。但是你应该非常小心地使用它。

此功能允许跳过堆栈跳过任意数量的嵌套调用。

您可以在下面找到模拟 send_uart_command() 的示例。

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

jmp_buf env;

void send_uart_command_impl(const char *cmd, int val) {
    static int left = 3;
    if (left-- == 0) {
        printf("%s(%d): failed\n", cmd, val);
        longjmp(env, 1);
    }
    printf("%s(%d): success\n", cmd, val);
}

#define send_uart_command(name, val) send_uart_command_impl(#name, val)

void enable_block1(void) {
    send_uart_command(BLOCK1_COMMAND_1, 10);
    send_uart_command(BLOCK1_COMMAND_2, 20);
    send_uart_command(BLOCK1_COMMAND_N, 15);
}

void enable_block2(void) {
    send_uart_command(BLOCK2_COMMAND_1, 1);
    send_uart_command(BLOCK2_COMMAND_2, 8);
}

int initialize(void) {
    if (setjmp(env)) return -1;
    enable_block1();
    enable_block2();
    return 0;
}

int main() {
    if (initialize() != 0)
        puts("initialize failed");
    else
        puts("initialize success");
}

程序构造为在第四次调用send_uart_command() 时失败。调整变量left 以选择其他调用。

程序逻辑非常精简，打印出预期的输出：

BLOCK1_COMMAND_1(10): success
BLOCK1_COMMAND_2(20): success
BLOCK1_COMMAND_N(15): success
BLOCK2_COMMAND_1(1): failed
initialize failed