背景
我们的小程序项目的构建是与web项目保持一致的,完全使用webpack的生态来构建,没有使用小程序自带的构建功能,那么就需要我们配置代码转换的babel插件如Promise
、Proxy
等;另外,项目中涉及到异步的功能我们统一使用async/await
来处理。我们知道,小程序的onError
生命周期只能捕获同步错误,而完全不采用小程序自带构建工具的情况下,开发模式下遇到的问题:
小程序异步代码中的异常onError无法捕获,开发者工具控制台也没有抛出异常信息
这样在开发过程中页面展示异常,但是无任何异常信息输出,只有代码单步调试时走到异常之处才能发现异常发生的地方,这对开发者很不友好。下面就来说说项目在完全用webpack构建情况下如何在小程序项目中捕获异步代码方面的实践。
几个需要知道的知识点
首先,在切入正文之前介绍几个知识点:
小程序
onError
只能捕获同步代码错误,不能捕获异步代码错误。具体原因是因为小程序在内部实现时会对逻辑层的js方法进行
try-catch
封装,对于其中的异步代码异常则不能捕获。try-catch
不能捕获异步异常,但是可以捕获async/await
函数异常。如下面代码的异常try-catch可以捕获:
function asyncFn() { try { await exectionFn() } catch(err) { // exectionFn函数发生的异常可以及时被catch住 console.error(err) }}
小程序项目代码中无法访问
window
对象,并不意味着其脱离web渲染。这一点对自定义的babel转换配置来说尤其需要注意,小程序无法访问window对象,即使通过
那么,就不能通过window访问该对象上的api,例如Function('return this')()
来访问全局作用域也不起作用,因为小程序重写了Function
,如下图源码;具体可以查看这篇文章。window.Promise
。这对根据window是否定义过指定api来判断是否对其转换的babel插件来说意味着,不管怎样都会对 用到的es6新的api进行转换,即使浏览器已经内置了该api的实现。例如
babel-runtime
在转换Promise时就采用polyfill的实现机制,而不是内置实现机制,带来的问题是:Promise的polyfill实现,代码产生的异常在不用Promise.catch或者
unhandledrejection
事件进行捕获的情况下也不会向上抛异常(小程序开发者工具控制台无法得到错误信息),而内置的原生实现则会向上抛这也是为什么采用自定义babel代码转换配置时,控制台无法捕获到异步代码异常信息的原因。
顺便说一下,有小程序经验的同学可能会问,用小程序自带的es6转es5代码转换构建时,异步代码中的异常是可以在小程序开发者工具控制台捕获到的啊;这是因为小程序自带的源码转换只对es6的语法进行转换,而没有对像Promise这样的api进行转换,所以其使用的是原生的Promise实现。
babel在转换async/await异步时会有两层
try-catch
封装babel是如何转换async/await的可以看看 。下面简单看一下async/await的代码转换的两层try-catch封装。
例如如下代码:
function test() { console.log('hello async')}
转换后的代码如下图:
其中,
mark
方法返回的函数,调用该函数原型上的方法会被加上try-catch,如下图:另外,
wrap
方法的参数函数callee$也会被try-catch包裹,如下function tryCatch(fn, obj, arg) { // fn为wrap方法的函数参数_callee$ try { return { type: "normal", arg: fn.call(obj, arg) }; } catch (err) { return { type: "throw", arg: err }; } }
这样,async/await异步方法发生异常时首先会被转换代码中的tryCatch捕获,最终转换代码会通过
throw
将异常抛出,而其会被上层的try-catch捕获到,其最终会通过调用Promise的reject
方法来处理,代码如上图所示。
小程序捕获async/await异步代码异常实现
上面提到,try-catch可以捕获到async/await代码中的异常,利用这一点我们可以对async函数添加try-catch封装来捕获其中异常错误信息。但是手动的为每个async函数添加try-catch过于机械,并且对已有项目均需要添加。为此我们可以利用webpack loader来对代码进行转换,自动为async函数添加try-catch封装。例如:
async function test() { console.log('hello async')}
转换为:
async function test(){ try{ console.log('hello async') }catch(err) { console.error('async test函数异常:', err) }}
具体的转换规则如下:
只对async函数进行转换,其他的函数不转换,若满足则看第二点
async函数整个函数体若有try-catch则不进行转换,否则进行转换。
我们写的源码其实就是字符串,对源码进行转换其实就是对字符串内容进行转换,可以想到两种方式来实现:
字符串配合正则
这种方式需要利用字符串的相关API(如replace、substring等)并配合正则表达式来实现,是一种粗粒度的转换,并且对正则的要求比较高。
抽象语法树(AST)
这种方式将源码转换为JSON对象,可以更精细地对源码进行转换。例如下面代码
function test() { console.log('hello async');}
经ast转换后生成的如下JSON内容以tree结构如下图:
可以自己尝试在网站在线查看代码转换结果。具体的ast可以参考对其的介绍。
因为我们使用webpack来构建项目,所以利用webpack loader对字符串代码进行AST转换是自然而然的事。webpack loader的原理本文就不做过多介绍,类似文章有很多,不熟悉的可以自行google。
因为小程序项目都是使用Page(object)
或者Component(object)
,因此我们将代码变换范围缩小为Page或者Component方法的对象参数中的async函数。
loader开发
webpack loader接收源码字符串,要经过三个步骤来完成代码转换,babel6/7分别有对应的npm包来负责处理,例如babel7中:
代码解析,将代码解析为AST,由
@babel/parser
负责完成AST转换,遍历并操作AST来改变源码,由
@babel/traverse
负责遍历AST,辅助@babel/types
负责操作变换代码生成,根据变换后的AST生成代码,由
@babel/generator
负责完成
根据上面提到的,我们只对Page和Component方法中传入的对象参数中的async函数进行转换,所以我们对AST的ObjectMethod
进行转换。
const parser = require('@babel/parser');const traverse = require('@babel/traverse').default;const generate = require('@babel/generator').default;const t = require('@babel/types');module.exports = function(source) { let ast = parser.parse(source, {sourceType: 'module'}); // 支持es6 module traverse(ast, { ObjectMethod(path) { ... } }); return generate(ast).code}
根据上面代码转换规则,只对整个函数体没有被try-catch包裹的aysnc函数进行转换,若有则不进行转换。
const vistor = { ObjectMethod(path) { const isAsyncFun = t.isObjectMethod(path.node, {async: true}); if (isAsyncFun) { const currentBodyNode = path.get('body'); if (t.isBlockStatement(currentBodyNode)) { const asyncFunFirstNode = currentBodyNode.node.body; if (asyncFunFirstNode.length === 0) { return; } if (asyncFunFirstNode.length !== 1 || !t.isTryStatement(asyncFunFirstNode[0])) { let catchCode = `console.error("async ${path.get('key').node.name}函数异常: ", err)`; let tryCatchAst = t.tryStatement( currentBodyNode.node, t.catchClause( t.identifier('err'), t.blockStatement(parser.parse(catchCode).program.body) ) ); currentBodyNode.replaceWithMultiple([tryCatchAst]); } } } } };
loader使用
一般loader使用是通过webpack来配置loader适用的匹配规则的,如js文件使用loader配置一样:
{ test: /\.js$/, use: "babel-loader"}
但是对于使用滴滴开源的来搭建的小程序项目,其跟vue类似:模板、js、样式以及页面配置JSON内容写在一个后缀为.mpx文件中;其配套提供的@mpxjs/webpack-plugin
包自带loader来处理该后缀文件,其作用与vue-loader类似,将模板、js、css和json内容转换以loader内联的方式来进行分别处理。
例如对index.mpx文件经过该loader输出内容如下图:
这样就对不同的内容处理成选择对应的loader以内联方式来处理。而我们处理async函数的loader是要对mpx文件中的js内容进行转换,所以就不能直接像上面配置js文件使用babel-loader来处理一样;我们需要在babel-loader处理转换js内容之前添加自定义loader,即在处理js内容的内联loader字符串中加入自已的loader。
如何加呢?我们可以利用webpack的插件机制,在webpack解析模块时修改内联loader内容,正好webpack提供了normalModuleFactory
钩子函数:
const path = require('path');const asyncCatchLoader = path.resolve(__dirname, './mpx-async-catch-loader.js');class AsyncTryCatchPlugin { constructor(options) { this.options = options; } apply(compiler) { compiler.hooks.normalModuleFactory.tap('AsyncTryCatchPlugin', normalModuleFactory => { normalModuleFactory.hooks.beforeResolve.tapAsync('AsyncTryCatchPlugin', (data, callback) => { let request = data.request; if (/!+babel-loader!/.test(request)) { let elements = request.replace(/^-?!+/, '').replace(/!!+/g, '!').split('!'); let resourcePath = elements.pop(); let resourceQuery = '?'; const queryIdx = resourcePath.indexOf(resourceQuery); if (queryIdx >= 0) { resourcePath = resourcePath.substr(0, queryIdx); } if (!/node_modules/.test(data.context) && /\.mpx$/.test(resourcePath)) { data.request = data.request.replace(/(babel-loader!)/, `$1${asyncCatchLoader}!`); } } callback(null, data); }); }); }}module.exports = AsyncTryCatchPlugin;
这样添加该插件后,该loader就会对mpx文件的js内容添加对async函数的转换;目前该loader插件只用在开发环境,通过console.error方法在控制台打印出错异步方法的堆栈信息,及时发现开发过程遇到的问题,增强开发者的开发体验。