从表达式中间退出而不使用异常

解决了的: 我想出了一个干净利落的办法 setjmp() / longjmp() ,只需要一个最小的包装,如:

int jump(jmp_buf j, int i) { longjmp(j, i); return 0; }

这允许 jump() 用于条件表达式。现在代码是:

if (A == 0) return;
output << "Nonzero.\n";

正确翻译为:

return
((A == 0) && jump(caller, 1)),
(output << "Nonzero.\n"),
0;

在哪里? caller 是一个 jmp_buf 回到调用函数中的调用点。干净、简单和高效的程度远远低于异常定义的实现。谢谢你的帮助!

有没有一种方法可以在表达式的中间模拟流控制结构的使用?是否可以用逗号分隔的表达式 x, y ,为了 y 导致 return ?

编辑: 我正在做一个编译器 类似的 函数语言,目标语言是C++。一切都是源语言中的一个表达式,而对目标语言最理智、最简单的翻译则会留下尽可能多的表达式。基本上,目标语言中的分号变成C++逗号。在语言中,流控制结构到目前为止没有出现任何问题;它只是 返回 . 我只需要一种方法来过早地退出逗号分隔的表达式,并且我不希望使用异常,除非有人能向我证明在这种情况下它们没有过多的开销。

当然,问题是大多数流控制结构不是C++中的法律表达式。到目前为止,我找到的唯一解决方案是这样的:

try {

    return
    x(),                        // x();
    (1 ? throw Return(0) : 0);  // return 0;

} catch (Return& ret) {

    return ref.value;

}

这个 返回 语句始终存在(如果 Return 未达到构造),因此 throw 必须包在里面 ?: 让编译器闭嘴 void 表达式中使用的结果。

我真的希望避免在流控制中使用异常,除非在这种情况下可以证明不会产生任何特定的开销;抛出异常是否会导致展开或这里的任何内容?此代码需要以合理的效率运行。我只需要一个等价于 exit() .