引用透明性要求函数对相同输入恒返回相同输出且无副作用，异步函数不破坏它，问题在于隐式依赖或修改外部可变状态；JS参数虽按值传递，但对象值为引用地址，故修改入参对象属性即产生副作用。
JavaScript 中异步函数本身并不破坏引用透明性，真正影响它的，是异步操作中对**外部可变状态的依赖或修改**，而非参数传递机制本身。
什么是引用透明性？
一个函数是引用透明的，当且仅当：对同一组输入，它总是返回相同输出，且不产生任何可观察的副作用（比如修改全局变量、DOM、外部对象属性等）。这和“传值”还是“传引用”没有直接关系——JS 中所有参数都是按值传递的，但这个“值”可能是对象的引用地址。
例如：
let obj = { x: 1 };
function f(o) { o.x = 2; return o; }
f(obj); // obj.x 变成了 2 → 这不是引用透明：输入 obj，输出虽是 obj，但外部状态被改了
异步函数为何容易“看起来”不透明？
因为常见写法会隐式依赖或改变外部状态：
立即学习“Java免费学习笔记（深入）”；
- 读取外部变量并在回调中使用：若该变量在异步等待期间被修改，结果就不可预测
- 在 Promise.then 或 async/await 中修改共享对象：多个异步调用可能竞态修改同一对象
- 依赖时间敏感的全局状态：如 Date.now()、Math.random()、localStorage 等每次调用都可能不同
例子：
let config = { timeout: 1000 };
async function fetchData() {
await delay(config.timeout); // 若 config.timeout 在 delay 执行前被改了，行为就变了
return fetch('/api');
}
如何写出引用透明的异步函数？
核心原则：让所有影响行为的数据都显式作为参数传入，避免闭包捕获可变外部状态。
- 把依赖的状态固化为参数：用 config.timeout 替代直接读 config.timeout
- 避免在异步链中修改入参对象：需要时 shallow/deep clone，或返回新对象
- 把非纯操作（如随机、当前时间）也当作输入抽象出来：测试时可注入确定值
改进示例：
// ✅ 引用透明版本
async function fetchData(timeout, url = '/api') {
await delay(timeout);
return fetch(url);
}
// 调用时明确传入当前值
fetchData(config.timeout); // 即使 config.timeout 后续被改，也不影响本次调用
箭头函数与闭包不是问题根源，滥用才是
箭头函数捕获外层 this 或变量本身没问题，问题在于捕获的是不是**稳定值**。你可以主动“快照”外部值：
const timeout = config.timeout; // 快照此刻的值 setTimeout(() => console.log(timeout), 100); // 不再依赖 config.timeout 的后续变化
或者用 IIFE 封装：
for (var i = 0; i < 3; i++) {
((i) => setTimeout(() => console.log(i), 100))(i); // 避免经典循环闭包问题
}
