怎么利用 async/await 语法糖在纯原生 JS 中优雅编写具备高度安全隔离性的微沙箱底座

酷丽大大_5807

酷丽大大_5807

2026-06-24

301人浏览

原创

关键在于隔离 promise 构造与 microtask 执行环境,重写沙箱 promise 并劫持 async 函数调用链,统一调度所有异步回调至沙箱上下文,同时拦截并重写 fetch 等全局异步 api 返回的 promise。

怎么利用 async/await 语法糖在纯原生 js 中优雅编写具备高度安全隔离性的微沙箱底座

直接用 async/await 写微沙箱底座,本身不难;真正关键的是:**不能让 await 后的 Promise 逃逸出沙箱作用域,更不能让外部代码污染沙箱内的全局状态或原型链**。async/await 是语法糖,背后仍是 Promise 和 microtask 调度,而 Promise 的 resolve/reject 回调默认在全局上下文中执行——这正是隔离失效的常见入口。

隔离 Promise 构造与 microtask 执行环境

原生 Promise 构造函数无法被完全代理(new Promise() 会绕过 Proxy),因此必须重写并封装一个沙箱内专用的 Promise 实现(可轻量封装 native Promise,但所有 resolve/reject 回调必须显式绑定沙箱执行上下文):

  • 在沙箱初始化时,用 Object.freeze + Object.defineProperty 创建只读的 sandbox.Promise,并指向自定义构造器
  • 自定义 Promise 构造器中,对传入的 executor 函数做包裹:用沙箱的 globalThis 作为 this,并确保其内部调用的 resolve/reject 也运行在沙箱上下文中
  • 关键点:所有 then/catch 回调,需通过 sandbox.runInContext(fn) 统一调度,而非直接透传给原生 Promise.then

async 函数体必须运行在受控执行上下文内

async 函数声明本身不触发执行,但一旦调用,其内部 await 表达式会将后续逻辑推入 microtask 队列——这个队列默认属于全局事件循环。要隔离,就必须劫持整个 async 函数的调用链:

Feishu calendar sync, local ics to json data for AI agent
Feishu calendar sync, local ics to json data for AI agent

将ICS日历文件转为JSON格式,用于飞书日历导入导出及数据集成。

下载
  • 不直接执行用户传入的 async 函数,而是用 Function 构造器+with(已废弃)或更安全的 eval(配合严格作用域)重编译为闭包形式
  • 推荐做法:用 sandbox.evaluate(code) 动态执行含 async/await 的代码字符串,且该 evaluate 内部使用自定义 Promise + 沙箱 globalThis + 重写的 async 函数包装器
  • 示例:sandbox.evaluate(`async () => { await fetch('/api'); return 'done'; }`) 返回的函数,其内部所有 await 均走沙箱 Promise 链路

拦截并重写全局异步钩子(fetch、setTimeout、WebSocket 等)

即使 Promise 隔离了,若 fetch 返回的原生 Promise 被 await,回调仍会跳出沙箱。因此所有异步 API 必须返回沙箱 Promise:

  • 在沙箱 globalThis 上挂载沙箱版 fetch:它调用原生 fetch 后,将 response 包裹进 sandbox.Promise,并重写其 json()、text() 等方法返回沙箱 Promise
  • setTimeout/setInterval 返回的 timer ID 无需隔离,但回调函数必须经 sandbox.runInContext 包裹后执行
  • 对 WebSocket、EventSource 等,需代理其 onmessage/onopen 等属性访问器,确保事件处理器运行在沙箱上下文中

禁止跨沙箱引用与原型污染防御

async/await 容易隐式暴露 this 或闭包变量,导致原型链穿透:

  • 沙箱 globalThis 的原型链必须设为 null(Object.setPrototypeOf(globalThis, null)),禁用继承自 window/Object.prototype 的方法
  • 所有从沙箱内传出的对象(包括 Promise resolve 的值),需经 deepClone 或 Proxy 拦截(get/set/construct),切断对原生对象的引用
  • 特别注意:await 一个跨沙箱 Promise 时,必须先用 sandbox.importPromise(p) 将其“导入”为沙箱 Promise,否则 then 回调脱离控制

不复杂但容易忽略:async/await 的优雅,建立在对 Promise 生命周期和 microtask 队列的全程掌控之上。语法糖只是表象,真正的隔离力来自对执行上下文、构造器、回调调度三者的联合约束。

相关文章

PHP速学视频免费教程(入门到精通)
PHP速学视频免费教程(入门到精通)

PHP怎么学习?PHP怎么入门?PHP在哪学?PHP怎么学才快?不用担心,这里为大家提供了PHP速学教程(入门到精通),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

javascript js

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

相关专题

更多
js获取数组长度的方法
js获取数组长度的方法

在js中,可以利用array对象的length属性来获取数组长度,该属性可设置或返回数组中元素的数目,只需要使用“array.length”语句即可返回表示数组对象的元素个数的数值,也就是长度值。php中文网还提供JavaScript数组的相关下载、相关课程等内容,供大家免费下载使用。

2023.06.20

4546

5

js刷新当前页面
js刷新当前页面

js刷新当前页面的方法:1、reload方法,该方法强迫浏览器刷新当前页面,语法为“location.reload([bForceGet]) ”;2、replace方法,该方法通过指定URL替换当前缓存在历史里(客户端)的项目,因此当使用replace方法之后,不能通过“前进”和“后退”来访问已经被替换的URL,语法为“location.replace(URL) ”。php中文网为大家带来了js刷新当前页面的相关知识、以及相关文章等内容

2023.07.04

1129

3

js四舍五入
js四舍五入

js四舍五入的方法:1、tofixed方法,可把 Number 四舍五入为指定小数位数的数字;2、round() 方法,可把一个数字舍入为最接近的整数。php中文网为大家带来了js四舍五入的相关知识、以及相关文章等内容

2023.07.04

4464

6

js删除节点的方法
js删除节点的方法

js删除节点的方法有:1、removeChild()方法,用于从父节点中移除指定的子节点,它需要两个参数,第一个参数是要删除的子节点,第二个参数是父节点;2、parentNode.removeChild()方法,可以直接通过父节点调用来删除子节点;3、remove()方法,可以直接删除节点,而无需指定父节点;4、innerHTML属性,用于删除节点的内容。

2023.09.01

900

4

JavaScript转义字符
JavaScript转义字符

JavaScript中的转义字符是反斜杠和引号,可以在字符串中表示特殊字符或改变字符的含义。本专题为大家提供转义字符相关的文章、下载、课程内容,供大家免费下载体验。

2023.09.04

1796

5

js生成随机数的方法
js生成随机数的方法

js生成随机数的方法有:1、使用random函数生成0-1之间的随机数;2、使用random函数和特定范围来生成随机整数;3、使用random函数和round函数生成0-99之间的随机整数;4、使用random函数和其他函数生成更复杂的随机数;5、使用random函数和其他函数生成范围内的随机小数;6、使用random函数和其他函数生成范围内的随机整数或小数。

2023.09.04

3265

4

如何启用JavaScript
如何启用JavaScript

JavaScript启用方法有内联脚本、内部脚本、外部脚本和异步加载。详细介绍:1、内联脚本是将JavaScript代码直接嵌入到HTML标签中;2、内部脚本是将JavaScript代码放置在HTML文件的`<script>`标签中;3、外部脚本是将JavaScript代码放置在一个独立的文件;4、外部脚本是将JavaScript代码放置在一个独立的文件。

2023.09.12

4233

6

Js中Symbol类详解
Js中Symbol类详解

javascript中的Symbol数据类型是一种基本数据类型,用于表示独一无二的值。Symbol的特点:1、独一无二,每个Symbol值都是唯一的,不会与其他任何值相等;2、不可变性,Symbol值一旦创建,就不能修改或者重新赋值;3、隐藏性,Symbol值不会被隐式转换为其他类型;4、无法枚举,Symbol值作为对象的属性名时,默认是不可枚举的。

2023.09.20

2760

5

java访问控制修饰符介绍
java访问控制修饰符介绍

java访问控制修饰符有四种,分别是public、protected、private、默认访问修饰符。详细介绍:1、public,public是最宽松的访问控制修饰符,被修饰的类、方法和变量可以被任何其他类访问,当一个类、方法或变量被声明为public时,它们可以在任何地方被访问,无论是同一个包中的类还是不同包中的类;2、protected修饰符等等。

2023.09.20

888

7

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
WebStorm 官方调试文档
WebStorm 官方调试文档

共0课时 | 0人学习

React 教程
React 教程

共58课时 | 12.1万人学习

TypeScript 教程
TypeScript 教程

共19课时 | 6.6万人学习