如何重构这个 GOTO（不涉及资源重新分配）？

Question

这是一个简单的控制流 GOTO 问题，与资源分配无关。

检查一条数据是否“良好”有两个级别。如果且仅它通过了第一次检查，我们才会进行第二次检查。如果数据未通过任一测试，我们将使用默认值。

第二次检查涉及中间数据的几个步骤，因此我们不能将其置于短路的 || 条件下。此外，如果第二个测试通过，我们将使用第二个测试的输出而不是原始数据。

这是实时处理情况下的内循环，所以效率非常重要。我们不想多次执行任何计算。

if (firstCheck(data)) {
    result = analyze(data);
    if (secondCheck(result)) {
        use_result(result);
    }
    else {
        goto FAIL;
    }
}
else {
FAIL:
    use_result(DEFAULT_VALUE);
}

这个GOTO似乎以最大的效率满足了我的所有要求。我可以想到其他一些方法来做到这一点，但所有方法都将涉及额外的存储或条件。不过我对 GOTO 持谨慎态度。事实上，如果我使用这个，这将是我第一次使用 GOTO。所以，请帮我找到出路！

Answer 1

使用 continue 进入下一个循环迭代

if (firstCheck(data)) {
    result = analyze(data);
    if (secondCheck(result)) {
        use_result(result);
        continue;
    }
}
use_result(DEFAULT_VALUE);

Answer 2

好吧，我们不需要太多工作就可以解决这个问题，但是以这种方式使用 goto 不一定是坏行为 - 例如，linux 内核也使用此约定仅在一个位置进行错误处理，我认为代码非常清晰。

使用异常来解决这个问题显然是一种解决方案，但这在错误情况下会降低性能，所以我认为这是不可能的。

所以如果你愿意的话，这应该没问题：

if (firstCheck(data) && secondCheck(result = analyze(data)) {
    use_result(result);
}
else {
    // fail
}

Answer 3

你不只是使用 goto。您正在使用进入另一个范围的 goto。更简单：

if (firstCheck(data)) {
    result = analyze(data);
    use_result (secondCheck (result) ? result : DEFAULT_VALUE);
}
else {
    use_result(DEFAULT_VALUE);
}

更干净，没有重复代码，并且可扩展：

int result = DEFAULT_VALUE;
if (firstCheck(data)) {
    int tmpResult = analyze(data);
    if (secondCheck (tmpResult))
        result = tmpResult;
}
use_result (result);