闭包本身不会引发原型链污染,但可能成为攻击跳板——当意外暴露或持有可被污染对象引用时,黑客可借其篡改关键原型;防范重点是切断“闭包→可写原型”路径,避免缓存原型对象、警惕可写代理、限制接口粒度、运行时检测降级。

闭包本身不会引发原型链污染,但它可能成为攻击的“跳板”——当闭包意外暴露或持有对可被污染对象的引用时,黑客就能借助它定位并篡改关键原型。防范重点不是消灭闭包,而是切断“闭包 → 可写原型”的传导路径。
不把原型对象放进闭包里
常见错误是把整个配置对象、工具类实例甚至 Element.prototype 本身作为参数传入闭包,并在内部缓存引用。一旦该对象后续被污染(比如第三方脚本覆盖了 Element.prototype.closest),闭包内保存的引用就会持续指向已被劫持的版本。
- 避免:
const patcher = (proto) => { return () => proto.closest = hijack }; patcher(Element.prototype); - 推荐:只捕获不可变值(如方法名字符串
'closest')或冻结后的副本:Object.freeze({...Element.prototype}) - 若必须缓存方法,用原生绑定方式提取:
const originalClosest = Element.prototype.closest.bind(null);—— 这样即使原型被重写,originalClosest 仍调用原始实现
警惕闭包返回的“可写代理”
有些封装会通过闭包返回一个带 setter 的对象,用于动态更新内部状态。如果这个 setter 允许用户传入任意对象并执行 Object.assign() 或深合并,就等于为原型污染开了后门。
- 示例风险代码:
const config = createConfig(); config.set({ __proto__: { admin: true } }); - 修复方式:在闭包内部对输入做递归键名过滤,强制剔除
__proto__、constructor、prototype及其嵌套路径(如a.__proto__.b) - 更稳妥做法:使用
Object.create(null)创建纯数据容器,从源头杜绝原型继承
限制闭包对外暴露的接口粒度
闭包常被用来封装权限校验、DOM 操作等敏感逻辑。如果返回的是一个功能完整的对象(比如 { check, patch, reset }),攻击者可能通过控制台调用 reset() 清空防护、或调用 patch() 注入恶意原型修改逻辑。
- 最小化暴露:只返回必要函数,不返回控制权集中的管理对象
- 禁用调试钩子:生产环境移除闭包内预留的
window.debugHook = ...类接口 - 校验调用上下文:对关键操作加简单守卫,例如
if (!isTrustedCaller()) throw 'Access denied';(配合 source map 哈希或调用栈特征识别)
运行时检测+自动降级
即使做了上述防护,也不能假设环境绝对干净。可在闭包初始化阶段快照关键原型方法,后续每次调用前轻量校验:
- 保存原始引用:
const origClosest = Element.prototype.closest; - 调用前检查:
if (Element.prototype.closest !== origClosest) { useFallback(); } - 对高频使用的 DOM 方法(如
closest、matches、stopPropagation),预置 CSS 或事件捕获等不依赖原型的备用方案











