在 Node.js 中,提供了 error 模块,并且内置了标准的 JavaScript 错误,常见的有:

  • EvalError:在调用 eval() 函数时出现问题时抛出该错误。
  • SyntaxError:调用不符合 JavaScript 的语法时抛出该错误。
  • RangeError:超出可接受值的集合或范围,例如数组越界。
  • ReferenceError:访问未定义的变量时抛出该错误。
  • TypeError:参数或变量的类型有问题时抛出该错误。
  • URIError:使用全局的 URI 处理函数发生问题时抛出该错误。

  本系列所有的示例源码都已上传至Github,点击此处获取。

一、Error 类

  Node.js 生成的上述错误,都是 Error 类的实例或继承自 Error 类。注意,运行时抛出的所有异常都将是 Error 的实例。

  Error 实例能捕获堆栈跟踪,并提供错误的文本描述。

  下面是一个简单的示例,其中 message 属性提供了错误的字符串描述,toString() 会生成文本消息。

  stack 属性提供了完整的错误信息,包括错误描述和一系列堆栈帧(每行以 "at " 开头),每一帧都描述了代码中生成错误的调用点。

const e = new Error('test error');
// test error
console.log(e.message);
// Error: test error
console.log(e.toString());
// Error: test error
// at Object.<anonymous> (/Users/code/web/node/08/error.js:1:11)
// at Module._compile (node:internal/modules/cjs/loader:1108:14)
// at Object.Module._extensions..js (node:internal/modules/cjs/loader:1137:10)
// at Module.load (node:internal/modules/cjs/loader:988:32)
// at Function.Module._load (node:internal/modules/cjs/loader:828:14)
// at Function.executeUserEntryPoint [as runMain] (node:internal/modules/run_main:76:12)
// at node:internal/main/run_main_module:17:47
console.log(e.stack);

二、捕获错误

  一些异常在 JavaScript 层是不可恢复的,会导致 Node.js 进程崩溃。

  所以有些异常需要被捕获,在 Node.js 中有 3 种常用的捕获方法:

  • 错误优先的回调。
  • throw 语句或 try-catch 语句。
  • error 事件机制。

1)错误优先的回调

  Node.js 核心模块暴露的大多数异步方法都遵循错误优先回调的惯用模式。

  使用这种模式,回调函数作为参数传给方法,当操作完成或出现错误时,回调函数将使用 Error 实例作为第一个参数传入。

  如果没有出现错误,则第一个参数将作为 null 传入。在下面的示例中,当读取一个不存在的文件时,将抛出错误。

const fs = require('fs');
function errorCallback(err, data) {
// [Error: ENOENT: no such file or directory, open './data.txt'] {
// errno: -2,
// code: 'ENOENT',
// syscall: 'open',
// path: './data.txt'
// }
console.log(err);
}
fs.readFile('./data.txt', errorCallback);

2)throw

  throw 关键字后面可以跟任何类型的 JavaScript 值(字符串、数字或对象等)。

  不过在 Node.js 中,throw 不会抛出字符串,而仅抛出 Error 实例。

  直接抛出 Error 实例,和抛出其他类型的值,前者会显示堆栈帧,而后者不会,如下所示。

// /Users/code/web/node/08/throw.js:2
// throw new Error('test error');
// ^
// Error: test error
// at test (/Users/code/web/node/08/throw.js:2:9)
// at Object.<anonymous> (/Users/code/web/node/08/throw.js:7:1)
// at Module._compile (node:internal/modules/cjs/loader:1108:14)
// at Object.Module._extensions..js (node:internal/modules/cjs/loader:1137:10)
// at Module.load (node:internal/modules/cjs/loader:988:32)
// at Function.Module._load (node:internal/modules/cjs/loader:828:14)
// at Function.executeUserEntryPoint [as runMain] (node:internal/modules/run_main:76:12)
// at node:internal/main/run_main_module:17:47
throw new Error('test error'); // /Users/code/web/node/08/throw.js:2
// throw 'test error';
// ^
// test error
// (Use `node --trace-uncaught ...` to show where the exception was thrown)
throw 'test error';

3)try-catch

  try-catch 语句不仅能捕获同步代码,还能捕获异步的 async/await 发生的错误,如下所示,调用一个不存在的 func() 函数。

// 同步代码
function try1() {
try{
func();
}catch(e) {
console.log(e);
console.log('try-catch end');
}
}
// async/await
async function test() {
func();
}
async function try2() {
try{
await test();
}catch(e) {
console.log(e);
console.log('async try-catch end');
}
}

  有一点需要注意,try-catch 无法捕获异步的回调函数,例如定时器、process.nextTick() 中的回调。

try {
process.nextTick(function () {
func();
});
} catch (e) {
console.log('nextTick end');
}

  catch 分支中的打印并不会执行,因为当回调被调用时,周围的代码(包括 try-catch)都已经运行好退出了。

4)error 事件机制

  如果在程序执行过程中出现了未捕获的异常,那么程序就会崩溃,Node.js 提供了几个事件来兜底这类未捕获的异常。

  首先是 process 上的 uncaughtException 事件,当未捕获的 JavaScript 异常冒泡到事件循环时,就会自动触发该事件。

  就比如上面那个无法捕获的 try-catch 问题,注册了 uncaughtException 事件就能成功捕获,如下所示。

// ReferenceError: func is not defined
// at /Users/code/web/node/08/uncaughtException.js:7:5
// at processTicksAndRejections (node:internal/process/task_queues:78:11)
process.on('uncaughtException', (err) => {
console.log(err);
});

  在捕获后,就不会让程序奔溃,后续代码也能被顺利运行。

  注意,uncaughtException 事件是用于异常处理的粗略机制,仅用作最后的兜底手段,归根结底,那些异常不能无视还是需要修复的。

  使用 Promise 进行编程时,异常被封装为“被拒绝的 promise”,有两种捕获方式。第一种是使用 promise.catch() 捕获和处理,并通过 Promise 链传播。

  第二种是注册 process 的 unhandledRejection 事件,当 Promise 被拒绝并且在事件循环的一个轮询内没有错误捕获时,就会触发此事件。

  unhandledRejection 事件回调程序包含两个参数,第一个是任意类型的 Promise 被拒绝的理由,第二个是被拒绝的 Promise 对象。

process.on('unhandledRejection', (reason, promise) => {
console.log(reason);
console.log(promise);
});

  下面是两种触发方式,第一种是在 then() 回调中书写错误代码,第二种是绑定 reject() 方法。

// 第一种触发方式
Promise.resolve().then((res) => {
return JSON.pasre(res); // 注意错别字 pasre
});
// 第二种触发方式
Promise.reject(new Error('资源尚未加载'));

  unhandledRejection 事件对于检测和跟踪尚未处理的被拒绝的 Promise 很有用。

5)verror

  在下面的示例中,会在异步回调中通过 throw 抛出一个错误。

function test() {
throw new Error('test error');
}
function main() {
setImmediate(() => test());
}
main();

  注意观察下面的堆栈信息,仅仅标注了 test() 函数中出错的那条语句的位置,但是再往上的 main() 并没有被标注。

/Users/code/web/node/08/verror.js:2
throw new Error('test error');
^
Error: test error
at test (/Users/code/web/node/08/verror.js:2:9)
at Immediate.<anonymous> (/Users/code/web/node/08/verror.js:5:22)
at processImmediate (node:internal/timers:464:21)

  当函数的调用深度比较深时,一旦出错,那么追溯程序完整的执行过程就比较困难。

  目前市面上有一款 verror 库,可以将 Error 实例层层封装,在每一层附加错误信息,最后通过 VError 实例就能获取调试所需的信息,便于问题的定位。

const VError = require('verror');
function test(err) {
const err3 = new VError(err, 'test()');
console.log(err3.message); // test(): main(): test error
console.log(err3);
}
function main() {
setImmediate(() => {
const err1 = new Error('test error');
const err2 = new VError(err1, 'main()');
test(err2);
});
}
main();

  在上面的示例中,先实例化一个 Error 类,然后实例化一个 VError 类,构造函数的第二个参数就是提供给调试用的关键信息。

  将 VError 实例作为参数传递给 test() 函数,再实例化一个 VError 类,这其实就是层层包装的过程。

  最后读取 message 属性,得到的值是 test(): main(): test error,这些就是附加的数据,以及错误描述。

  如果直接打印 VError 实例,那么能得到更多关键信息,包括行数,文件路径等。

VError: test(): main(): test error
at test (/Users/code/web/node/08/verror.js:3:16)
at Immediate._onImmediate (/Users/code/web/node/08/verror.js:11:5)
at processImmediate (node:internal/timers:464:21) {
jse_shortmsg: 'test()',
jse_cause: VError: main(): test error
at Immediate._onImmediate (/Users/code/web/node/08/verror.js:10:18)
at processImmediate (node:internal/timers:464:21) {
jse_shortmsg: 'main()',
jse_cause: Error: test error
at Immediate._onImmediate (/Users/code/web/node/08/verror.js:9:18)
at processImmediate (node:internal/timers:464:21),
jse_info: {}
},
jse_info: {}
}

参考资料:

捕获异常 诊断报告

饿了么调试面试题

[译] NodeJS 错误处理最佳实践

异常处理与domain

Node.js精进(8)——错误处理的更多相关文章

  1. Node.js权威指南 (10) - Node.js中的错误处理与断言处理

    10.1 使用domain模块处理错误 / 272 10.1.1 domain模块概述 / 272 10.1.2 创建并使用Domain对象 / 274 10.1.3 隐式绑定与显式绑定 / 276 ...

  2. Node.js精进(1)——模块化

    模块化是一种将软件功能抽离成独立.可交互的软件设计技术,能促进大型应用程序和系统的构建. Node.js内置了两种模块系统,分别是默认的CommonJS模块和浏览器所支持的ECMAScript模块. ...

  3. Node.js精进(3)——流

    在 JavaScript 中,一般只处理字符串层面的数据,但是在 Node.js 中,需要处理网络.文件等二进制数据. 由此,引入了Buffer和Stream的概念,两者都是字节层面的操作. Buff ...

  4. Node.js精进(4)——事件触发器

    Events 是 Node.js 中最重要的核心模块之一,很多模块都是依赖其创建的,例如上一节分析的流,文件.网络等模块. 比较知名的 Express.KOA 等框架在其内部也使用了 Events 模 ...

  5. Node.js精进(7)——日志

    在 Node.js 中,提供了console模块,这是一个简单的调试控制台,其功能类似于浏览器提供的 JavaScript 控制台. 本系列所有的示例源码都已上传至Github,点击此处获取. 一.原 ...

  6. Node.js精进(10)——性能监控(下)

    本节会重点分析内存和进程奔溃,并且会给出相应的监控方法. 本系列所有的示例源码都已上传至Github,点击此处获取. 一.内存 虽然在 Node.js 中并不需要手动的对内存进行分配和销毁,但是在开发 ...

  7. Node.js精进(2)——异步编程

    虽然 Node.js 是单线程的,但是在融合了libuv后,使其有能力非常简单地就构建出高性能和可扩展的网络应用程序. 下图是 Node.js 的简单架构图,基于 V8 和 libuv,其中 Node ...

  8. Node.js精进(5)——HTTP

    HTTP(HyperText Transfer Protocol)即超文本传输协议,是一种获取网络资源(例如图像.HTML文档)的应用层协议,它是互联网数据通信的基础,由请求和响应构成. 在 Node ...

  9. Node.js精进(6)——文件

    文件系统是一种用于向用户提供底层数据访问的机制,同时也是一套实现了数据的存储.分级组织.访问和获取等操作的抽象数据类型. Node.js 中的fs模块就是对文件系统的封装,整合了一套标准 POSIX ...

随机推荐

  1. springmvc05-json交互处理

    什么是json: JSON(JavaScript Object Notation, JS 对象标记) 是一种轻量级的数据交换格式,目前使用特别广泛. *采用完全独立于编程语言的文本格式来存储和表示数据 ...

  2. 【图解】面试题:ConcurrentHashMap是如何保证线程安全的

    注意:JDK1.7与JDK1.8中的ConcurrentHashMap主要延续HashMap的设计与思想,是在其基础上进行的相应优化 1.JDK1.7中的底层实现原理 (1)JDK1.7Concurr ...

  3. vue 代码调试神器

    一.序 工欲善其事,必先利其器.作为一名资深程序员,相信必有一款调试神器相伴左右,帮助你快速发现问题,解决问题.作为前端开发,我还很年轻,也喜欢去捣鼓一些东西,借着文章的标题,先提一个问题:大家目前是 ...

  4. Ubuntu 系统安装,VMware

    系统版本   ubuntu-18.04.5-server-amd64.iso 1.自定义安装 2.默认下一步 3. 稍后安装操作系统 4.选择ubuntu 64位 5.选额安装的目录 6.设置虚拟机c ...

  5. C++基础-4-封装(构造函数与析构函数,深拷贝与浅拷贝,静态成员,this,友元,const修饰成员函数)

    4. 封装 4.1.1 封装的意义 1 #include<iostream> 2 #include<string> 3 using namespace std; 4 5 con ...

  6. Golang(go语言)开发环境配置

    VSCode开发环境配置 目录 VSCode开发环境配置 先到VSCode官网去下载适合自己系统的VSCode安装软件 演示在WIndows下 安装使用 演示在Linux(Ubuntu/centos) ...

  7. 海量数据存储ClickHouse

    ClickHouse介绍 ClickHouse的由来和应用场景 俄罗斯Yandex在2016年开源,使用C++编写的列式存储数据库,近几年在OLAP领域大范围应用 官网:https://clickho ...

  8. windows获取高精度时间戳 精度100ns

    #include <stdio.h> #include <Windows.h> int main(void){ LARGE_INTEGER ticks,Frequency; Q ...

  9. Spring Boot 3.0.0 M3、2.7.0发布,2.5.x将停止维护

    昨晚(5月19日),Spring Boot官方发布了一系列Spring Boot的版本更新,其中包括: Spring Boot 3.0.0-M3 Spring Boot 2.7.0 Spring Bo ...

  10. 2020级cpp上机考试题解#B卷

    A卷的第七题我只会一个个排除的方法 意思就是暂时没有好办法所以A卷不搞了 1:递归函数求数列 题意: 有一个递归函数int f(int m),计算结果代表了数列的第m项.当m等于1时,函数结果返回1: ...