如何用goto模拟C语言中的异常？

Question

我正在用 C 编写并发事务库并发现以下问题。 让我们考虑一个示例事务成员伪代码，其中“事务”代表与事务主控的通信通道：

transaction = trans_join();

do_some_ops();

/* receive the data from the master */
trans_rcv(transaction, data);

do_some_ops();

trans_send(transaction, answer);

/* wait for the possibility for voting */
trans_ready(transaction);

/* vote for commiting and wait for the voting results. */
if(trans_commit(answer))
{
   printf("Final commiting the changes.\n");
}
else
{
   printf("Rolling back the changes.\n");
}

在并发事务中，只有当主控要求我们投票时，我们才能投票。 然而，master可以随时调用trans_abort(member)，强制指定的成员取消事务。 成员可以在执行的任何阶段接收 ABORT 消息，在这种情况下，它通常不应等到执行到达 trans_ready() 调用。 例如，如果后面的代码中存在 trans_rcv() 调用，则进程将挂起等待主设备发送的数据，而该数据永远不会发送。

现在，重点来了。 我已经有了注册回滚更改的中止函数的代码，但我还希望有一个额外的机制，允许跳过其余的剩余操作并立即跳转到投票代码。 我有一个想法，在这里使用 goto 来模拟异常：

if(!trans_rcv()) /* fail, we received the abort message */
{
   goto abort_code;
}

...

abort_code:
trans_ready(transaction);
/* etc. */

但是，为每次调用 trans_rcv 或 trans_send 编写 ifs 并不是很舒服，尤其是如果交易代码很复杂。 您有更好的解决方案吗？还是这是唯一的方法？ 顺便说一句，它不必使用 goto :)。

Answer 1

goto 只能在一个函数内部工作，这对于异常机制来说可能是一个太大的限制。

我建议使用 setjmp/longjmp 函数 - 请参阅 维基百科了解详细信息。

Answer 2

如果输入 IF 是问题，您可以使用宏，例如：

#define trans_rcv_CHK do { \
     if (!trans_rcv()) \
     { \
          goto abort_code; \
     } \
} while(0)

如果 trans_rcv 有参数，这应该可以工作（至少在 gcc 中）：

#define trans_rcv_CHK(...) do { \
     if (!trans_rcv(__VA_ARGS__)) \
     { \
          goto abort_code; \
     } \
} while (0)

Answer 3

就我个人而言，我会使用 while 循环来编写此代码，其中包含基于开关的状态机。

Answer 4

C 中的异常处理的最佳来源之一。 基本上 RTOS 的人们如何为其 RTFile 模块实现异常。 当心文章后半部分可怕的汇编语言。

Answer 5

请参阅 Hanson 的“C 接口和实现：创建可重用软件的技术”。 它提供了基于setjmp()和longjmp()的异常机制。 该代码可通过 MIT 许可证获得。