JavaScript 中 Error 和 Exception 的区别

错误和异常是从实践中诞生的概念,旨在处理“可编程错误”。

错误

从代码角度来看,错误往往需要手动精确处理。

例如fnA调用fnB和fnC,两个方法都可能遇到错误,处理代码大致如下:

function fnA() {
  const { err: bErr, res: bRes } = fnB()
  if (bErr) {
    // ...
    // error handling
  }

  const { err: cErr, res: cRes } = fnC()
  if (cErr) {
    // ...
    // error handling
  }
  // normal logic
}

“error”的关键在于函数返回一个对象或者数组,其中有一个字段代表“发生了错误”,只要这个字段不为空,程序员就知道正常流程被打断了。

JavaScript 有一个内部的 Error 对象和构造函数,但是表示错误的字段不一定是 Error 对象。相反,Error 对象更多地用于异常处理。

例外

我们已经有了错误处理,为什么还需要异常?

想象一下这样一个场景:你有一个按钮。当点击按钮时,会触发函数 A。经过多层调用(可能 10 层)后,函数 X 出现错误。你不想告诉用户“未知错误”,而是想提供有关出错的具体信息。

你可以通过错误来实现这个效果,但是你需要写十倍这样的代码:

function fnA() {
  const { err, res } = fnB()
  if (err) {
    // display error to user
    showErr(err)
  }
}

function fnB() {
  const { err, res } = fnC()
  if (err)
    // propagate error
    return { err, null }
}

// ... 10 similar passes

function fnY() {
  const { err, res } = fnX()
  if (err)
    // propagate error
    return { err, null }
}

这种样板代码效率很低。更好的方法是使用异常。

只需在 fnY 发生错误时抛出异常即可。在顶层,您可以捕获它。

function fnA() {
  try {
    fnB()
  } catch (e) {
    showErr(e)
  }
}

// ...

function fnY() {
  const { err, res } = fnX()
  if (err)
    // 抛出
    throw err
}

这样,无论哪里出现错误,都可以在最顶层捕获到,并且不会影响其他层的代码。

避免在一个地方的错误污染整个代码结构。

为什么要区分这两者呢?

我们已经解释了为什么需要异常,但是为什么需要区分错误和异常呢?

最佳实践是严格区分这两者,如果一个错误不需要层层向上传递,那么就应该直接在本层处理,比如 fnC 的错误在 fnA 中不需要用到,那么就应该直接在 B 中当做错误来处理。

假设所有错误都在顶层处理,那么所有逻辑都会堆积在顶层的 catch 块中,这很难维护。

function main() {
  try {
    task1()
    task2()
    task3()
  } catch(e) {
    switch(e) {
      case "type A":
        //...
        break;
      case "type B":
        //...
        break;
      case "type C":
        //...
        break;
    }
  }
}