我来自 C# 背景，但我目前正在学习 C。在 C# 中，当人们想要发出错误已发生的信号时，您会抛出异常。但是你用 C 做什么呢？
例如，假设您有一个包含 push 和 pop 函数的堆栈。在 pop 期间表明堆栈为空的最佳方式是什么？你从那个函数返回什么？
double pop(void)
{
if(sp > 0)
return val[--sp];
else {
printf("error: stack empty\n");
return 0.0;
}
}
K&R 的第 77 页示例（上面的代码）返回 0.0。但是如果用户之前在栈中推送了一个0.0，你怎么知道栈是空的还是返回了正确的值呢？
【问题讨论】：
标签： c exception-handling stack
一种方法是在堆栈为空时指定 pop() 具有未定义的行为。然后你必须提供一个 is_empty() 函数，可以调用它来检查堆栈。
另一种方法是使用 C++，它确实有例外 :-)
【讨论】：
top() 和 pop()，返回一份副本，给出的最终结果与获取 OP 所拥有的内容并应用您所说的需要 empty() 函数的内容相同。 IYSWIM。
C 中的类异常行为是通过setjmp/longjmp 完成的。但是，您真正想要的是错误代码。如果所有值都可能返回，那么您可能希望接收一个 out 参数作为指针，并使用它来返回值，如下所示：
int pop(double* outval)
{
if(outval == 0) return -1;
if(sp > 0)
*outval = val[--sp];
else {
printf("error: stack empty\n");
return -1;
}
return 0;
}
显然不理想，但这就是 C 语言的局限性。
另外，如果你走这条路，你可能想为你的错误代码定义符号常量（或使用一些the standard ones），以便用户可以区分“堆栈空”和“你给了我一个空值”指针，笨蛋”。
【讨论】：
你可以返回一个指向 double 的指针：
【讨论】：
static double，那么调用者必须在下一次调用 pop 之前取消引用。两者都会给调用代码带来很多麻烦。
你有几个选择：
1) 魔术错误值。由于您描述的原因，并不总是足够好。我想在这种情况下理论上你可以返回一个 NaN，但我不推荐它。
2) 定义栈为空时弹出无效。然后你的代码要么只是假设它是非空的（如果它是未定义的），或者断言。
3) 更改函数的签名，以便您可以指示成功或失败：
int pop(double *dptr)
{
if(sp > 0) {
*dptr = val[--sp];
return 0;
} else {
return 1;
}
}
将其记录为“如果成功，则返回0并将值写入dptr指向的位置。失败时，返回非零值。”
您可以选择使用返回值或errno 来指示失败的原因，尽管对于这个特定示例只有一个原因。
4) 通过指针将“异常”对象传递给每个函数，并在失败时向其写入值。调用者然后根据他们如何使用返回值来检查它。这很像使用“errno”，但它不是线程范围的值。
5) 正如其他人所说，使用 setjmp/longjmp 实现异常。这是可行的，但需要在任何地方传递一个额外的参数（longjmp 的目标在失败时执行），或者将其隐藏在全局变量中。它还使典型的 C 风格资源处理成为一场噩梦，因为如果你持有一个你负责释放的资源，你就不能调用任何可能跳出堆栈级别的东西。
【讨论】：
您可以在 longjmp/setjmp 之上构建一个异常系统：Exceptions in C with Longjmp and Setjmp。它实际上工作得很好，这篇文章也很好读。如果您使用链接文章中的异常系统，您的代码如下所示：
TRY {
...
THROW(MY_EXCEPTION);
/* Unreachable */
} CATCH(MY_EXCEPTION) {
...
} CATCH(OTHER_EXCEPTION) {
...
} FINALLY {
...
}
使用一些宏可以做的事情真是太棒了，对吧？如果您还不知道宏的作用，那么要弄清楚到底发生了什么是多么困难，这同样令人惊讶。
longjmp/setjmp 是可移植的：C89、C99 和 POSIX.1-2001 指定 setjmp()。
但是请注意，与 C# 或 C++ 中的“真实”异常相比，以这种方式实现的异常仍有一些限制。一个主要问题是只有你的代码才能与这个异常系统兼容。由于 C 语言中的异常没有既定标准，因此系统和第三方库无法与您自己开发的异常系统进行最佳互操作。不过，这有时会成为一个有用的技巧。
我不建议在严肃的代码中使用它，除了你自己之外的程序员应该使用这些代码。如果你不知道到底发生了什么，这太容易把自己打死了。线程、资源管理和信号处理是非玩具程序在尝试使用 longjmp“异常”时会遇到的问题。
【讨论】：
没有等同于直接 C 中的异常。您必须设计函数签名以返回错误信息，如果这是您想要的。
C 中可用的机制是：
但是，这些都没有与 C#（或 C++）异常相似的语义。
【讨论】：
在这种情况下，您通常会执行以下操作之一
例如你要么做
double pop(int *error)
{
if(sp > 0) {
return val[--sp];
*error = 0;
} else {
*error = 1;
printf("error: stack empty\n");
return 0.0;
}
}
或
int pop(double *d)
{
if(sp > 0) {
*d = val[--sp];
return 0;
} else {
return 1;
}
}
【讨论】：
这里已经有一些很好的答案，只是想提一下接近“异常”的东西，可以通过使用宏来完成，就像在很棒的 MinUnit 中所做的那样（这只返回“异常”到调用者函数）。
【讨论】：
1) 您返回一个标志值以表明它失败，或者您使用 TryGet 语法，其中返回是成功的布尔值，而值通过输出参数传递。
2) 如果这是在 Windows 下，则存在操作系统级别的纯 C 异常形式，称为结构化异常处理，使用类似“_try”的语法。我提到了它，但我不建议在这种情况下使用它。
【讨论】：
这实际上是一个完美的例子，试图用魔法值重载返回类型和简单的有问题的界面设计。
我可以用来消除示例中的歧义（因此需要“类似异常的行为”）的一个解决方案是定义一个适当的返回类型：
struct stack{
double* pData;
uint32 size;
};
struct popRC{
double value;
uint32 size_before_pop;
};
popRC pop(struct stack* pS){
popRC rc;
rc.size=pS->size;
if(rc.size){
--pS->size;
rc.value=pS->pData[pS->size];
}
return rc;
}
用法当然是：
popRC rc = pop(&stack);
if(rc.size_before_pop!=0){
....use rc.value
这种情况经常发生，但在 C++ 中，为了避免这种歧义，通常只返回一个
std::pair<something,bool>
bool 是成功指标的地方 - 看看一些：
std::set<...>::insert
std::map<...>::insert
或者在接口中添加一个double*并返回一个(n UNOVERLOADED!)返回码，比如一个表示成功的枚举。
当然不必返回结构popRC 中的大小。本来可以
enum{FAIL,SUCCESS};
但由于尺寸可能会作为对 pop'er 的有用提示，您不妨使用它。
顺便说一句，我非常同意结构堆栈接口应该有
int empty(struct stack* pS){
return (pS->size == 0) ? 1 : 0;
}
【讨论】：
setjmp、longjmp 和宏。它已经完成了很多次——我所知道的最古老的实现是由 Eric Roberts 和 Mark vanderVoorde 实现的——但我目前使用的是 Dave Hanson 的C Interfaces and Implementations 的一部分，并且从普林斯顿免费获得。
【讨论】：
一些还没有人提到的东西，虽然它很丑：
int ok=0;
do
{
/* Do stuff here */
/* If there is an error */
break;
/* If we got to the end without an error */
ok=1;
} while(0);
if (ok == 0)
{
printf("Fail.\n");
}
else
{
printf("Ok.\n");
}
【讨论】：