如何让未声明变量返回undefined而非抛出ReferenceError？

有几种可行的方案可以实现这个需求，以下是具体实现思路和代码示例：

方案一：Proxy + With 作用域兜底 #

核心思路是将所有注入变量打包到一个上下文对象中，通过Proxy拦截该对象的属性访问，对未定义的属性返回undefined；再用with语句让用户代码直接访问上下文对象的属性，从而避免未注入变量触发ReferenceError。

实现步骤 #

1. 编译用户脚本时，生成接收单个上下文对象参数的函数，而非多个独立变量参数。
2. 用Proxy包装上下文对象，实现未定义属性的兜底逻辑。
3. 用with语句包裹用户代码块，让代码可直接访问上下文对象的属性。

代码示例 #

// 用户提供的脚本内容
const userScript = `print(someothervariable); print(somevariable);`;

// 创建安全执行函数的工厂函数
const createSafeFunction = (script) => {
  return new Function('context', `
    const safeContext = new Proxy(context, {
      get(target, prop) {
        return prop in target ? target[prop] : undefined;
      }
    });
    with(safeContext) {
      ${script}
    }
  `);
};

// 准备注入的变量与内置函数
const injectionContext = {
  print: console.log,
  somevariable: "1"
};

// 生成并执行安全函数
const safeFn = createSafeFunction(userScript);
safeFn(injectionContext);
// 输出结果：undefined 1

注意事项 #

• with语句在严格模式下会被禁用，因此生成的函数内部不能开启严格模式；
• Proxy的性能开销在脚本执行场景下通常可接受，若对性能要求极高，可考虑其他方案。

方案二：静态分析 + 参数兜底（局限性较大） #

如果能对用户脚本进行静态AST分析，提取出所有使用的变量名，就可以在生成函数时，为未注入的变量添加默认值为undefined的参数。但这种方法仅能处理静态声明的变量，无法应对动态变量访问（如eval('unknownVar')、动态属性访问等场景）。

实现思路 #

1. 使用AST解析工具（如acorn）分析用户脚本，提取所有标识符变量；
2. 对比注入变量列表，筛选出未注入的变量；
3. 生成函数时，将这些未注入变量作为参数并设置默认值为undefined。

简化代码示例 #

// 假设通过AST分析得到用户使用的变量列表
const userUsedVars = ['print', 'somevariable', 'someothervariable'];
// 已注入的变量列表
const injectedVars = ['print', 'somevariable'];
// 筛选未注入的变量
const missingVars = userUsedVars.filter(v => !injectedVars.includes(v));

// 生成函数参数：注入变量 + 未注入变量（带默认值）
const functionParams = [
  ...injectedVars,
  ...missingVars.map(varName => `${varName}=undefined`)
].join(',');

// 生成安全执行函数
const safeFn = new Function(functionParams, userScript);

// 执行函数，仅传入已注入变量
safeFn(console.log, "1");
// 输出结果：undefined 1

内容的提问来源于stack exchange，提问作者Marino Šimić