时间:2021-07-01 10:21:17 帮助过:97人阅读
var result = get(a, 'b.c.d'); 但如同我们期望大家在取值前,都先做判断一样,并不能保证所有人都这么用了,用不用全靠自觉。 if (a && a.b && a.b.c) { var result = a.b.c.d; }
所以,有了以下的一些方案:
异步数据校验
对异步数据校验的想法是,在数据获取后、使用前,先做一遍schema校验,检测重要数据缺失、类型不对等异常情况。
与此方案对应的,我们在 fetch 的基础上封装了 fetch-checker 注1 组件。
fetch-checker 强制要求用户在请求数据的同时,提供数据对应的 schema:
let schema = { "rule": { "type": "string", }, "banner": { "type": "object", "required": true, "default": { "url": "https://item.taobao.com/item.htm?id=527331762117" } } };
这份 schema 需要描述:
每个字段的类型
字段是否 required
当 required 的字段缺失时,是否需要打底数据
fetch-checker 在拿到数据后,先做一层校验,如有需要的话,补上缺失的数据,然后再返回给调用者。这样,使用者拿到的数据就一定是符合预期的。
然而,这个方案面临的挑战是:
如何确保调用者提供了完整的 schema 描述。不想写 schema,完全可以提供一个粗略的 schema 描述,来通过校验。
schema 如何精简。即不会对 bundle 大小造成太大影响,又能满足校验的功能。
代码编译
受 babel 的启发,这个方案是对存在 NPE 隐患的代码,在编译阶段,将其转换成等价的安全代码。如下所示:
var a = {}; // input var result = a.b.c; // output var result = (_object2 = (_object3 = a) == null ? null : _object3.b) == null ? null : _object2.c;
当 a 为空对象时,执行编译后的代码会返回 null ,从而避免因为代码抛错,阻断后续进程。
在 babel-plugin-safe-member-expression 注2 这个 Babel 插件中,我们做了上述的尝试。目前,cake项目中,已经可以通过 enableSafeMemberExpression 这个配置,选择性的启用该功能。
这个方案相比来说接入成本较低,开发者无需对现有的代码做出调整,但同样存在挑战:
开发阶段问题不易暴露,明明应该报错的场景,却没有任何反馈。理想的状态是:开发调试阶段尽可能多的暴露问题,线上则尽可能的减少报错。
隐患的代码如何界定。目前所有的 a.b 的调用方式都会按上述方案进行编译,虽然测试过程中还没有发现问题,但只处理有隐患的代码才更安全。
静态校验
以 flow 为代表的静态校验工具,可以在一定程度上检测出 NPE 隐患。 type res = { data ?: Object } let name = res.data.name; // property `name`. Propery cannot be accessed on possibly undefined value
如上面的代码所描述的,使用者需要首先理清自己的数据是否允许为空值,当 data 被允许为空值时,通过 flow 检测, data.name 类似这样调用便会被检测出错误。
然而,如何来推进所有的业务都接入静态校验,接入后,又如何保证开发者描述了所有的类型,却同样是个难点。
以上就是JavaScript 中的错误隔离的内容,更多相关内容请关注PHP中文网(www.gxlcms.com)!