python - 在 Dart 中，Python 的 try...catch...else 最惯用的替代方法是什么？

Question

来自 Python，我真的很想念 Dart 中 try-except 链中的 else 子句。

模拟 Dart 中的 else 子句最惯用的是什么？

---

这是一个受益于 else block 的示例。

这个:

var didFail = false;
try {
    startDownload()
} catch (e) {
    didFail = true;
    downloadFailed()
}   
if (!didFail) {
    downloadSuccess()
}    
afterDownload()

对比:

try {
    startDownload()
} catch (e) {
    downloadFailed()
} else {
    downloadSuccess()    
}
afterDownload()

Answer 1

完全披露:我对 Dart 的全部体验就是我花了 2 分钟来复习其 try 的语法陈述。这完全基于对 Python 语义的观察。

---

什么是else用 Python 做什么？

跳到建议的 Dart 代码答案的末尾。

下面两段代码在Python中非常相似:

try:
    ...
    <last code>
except SomeError:
    ...
finally:
    ...

和

try:
    ...
except SomeError:
    ...
else:
    <last code>
finally:
    ...

<last code>将在两者相同的情况下执行。不同之处在于 <last statement> 引发的任何异常第一个会被捕获，第二个不会。

模拟 else在 Python 中

模拟else在 Python 中的语义，你会使用额外的 try语句和一个标志以指示是否应重新抛出异常。

else_exception = False
try:
    ...
    try:
        <last code>
    except Exception as e:
        else_exception = True
except SomeError:
    ...
finally:
    if else_exception:
        raise e
    ...

我们检查嵌套的 try在 finally 中捕获异常子句，因为 else子句将在 finally 中的任何其他内容之前执行.如果有异常，现在重新引发它，它不会立即被捕获，就像在 else 中一样。 .然后您可以继续 finally 的其余部分.

---

模拟 else在 Dart 中

据我所知，Dart 中也需要相同的逻辑。

bool else_exception = false;
try {
  ...
  try {
     <last code>
  } catch (e) {
    else_exception = true;
  }
} on SomeError catch (e) {
  ...
} finally {
  if (else_exception) {
    throw e;
  }
  ...
}

请注意，如果 <last code>抛出异常，上面的代码不会正确地保存堆栈跟踪。为此，需要多加注意:

bool else_exception = false;
try {
  ...
  try {
     <last code>
  } catch (e) {
    else_exception = true;
    rethrow;
  }
} on SomeError catch (e) {
  if (else_exception) {
     rethrow;
  }
  ...
}