测试变量是否在包含范围内声明

Question

我有一个内部函数，它引用了一个由其包含的外部函数初始化的变量：

function outer() {
    function inner() {
      if (foo) { ... }
    }
    let foo = 'bar';
    inner();  // no error
};

但是，在某些情况下，可能会在执行定义foo 的语句之前调用内部函数。在这种情况下，任何对 foo 的引用都会在内部函数中导致 ReferenceError：

function outer() {
    function inner() {
      if (foo) { ... } // ReferenceError: foo is not defined
    }
    inner();
    let foo = 'bar';
};

这让我感到惊讶，因为foo 具有块作用域，并且在执行内部函数时我位于封闭块内。

更令人惊讶的是，即使尝试使用 typeof 运算符检测这种情况（我一直认为这是测试未定义变量的安全方法）也会导致相同的 ReferenceError：

function outer() {
    function inner() {
      if (typeof foo !== 'undefined') { ... } // ReferenceError: foo is not defined
    }
    inner();
    let foo = 'bar';
};

编辑：我现在明白这种行为是涉及let 和const 变量discussedelsewhere 的“时间死区”的结果。但是，我仍在寻找一种干净、安全的方法来处理这种情况。

是否有任何安全的方法来测试块范围的变量（例如，使用 'let' 或 'const' 创建的变量）是否已达到其声明？

Answer 1

一种蛮力方法是在foo 初始化之前，在“临时死区”中简单地捕获typeof 引发的异常：

function outer() {
    function inner() {
      let fooExists = false;
      try { fooExists = typeof foo !== 'undefined' } catch(e) {}
      if (fooExists) { /* ... */ }
    }

    inner();   // no error
    let foo = 'bar';
}

也可以使用var 代替let 来解决此问题。因为var 是函数范围的，所以声明将被提升到outer 的顶部，使变量在外部执行时始终可用（尽管未定义）：

function outer() {
    // due to hoisting, there is a logical `var foo;` here
    function inner() {
      if (typeof foo !== 'undefined') { /* ... */ }
    }

    inner();   // no error; `foo` has been hoisted
    var foo = 'bar';
}

可以采取类似的方法，将foo 的声明（但不是初始化）放在外部函数的顶部，同时仍然使用let：

function outer() {
    let foo;
    function inner() {
      if (typeof foo !== 'undefined') { /* ... */ }
    }

    inner();   // no error
    foo = 'bar';
}

对于问题中给出的示例，最后一个解决方案似乎是最干净的解决方案。很遗憾，在使用const 变量时无法使用。

Answer 2

function outer() {
    function inner() {
      if (foo) { ... } // ReferenceError: foo is not defined
    }
    inner();
    let foo = 'bar';
};

这让我感到惊讶，因为 foo 具有块作用域，而我是 执行内部函数时在封闭块内。

由于提升，foo 的 声明 被提升到块的顶部，而不是 初始化 的变量。它就像你写的一样执行：

function outer() {
    let foo; // declaration only, so still undefined value
    function inner() {
      if (foo) { ... } // ReferenceError: foo is not defined
    }
    inner();
    foo = 'bar'; // Not initialized until after you call inner!
};

只需将初始化在块中向上移动即可：

function outer() {
    let foo = 'bar'; // declared and initialized
    function inner() {
      if (foo) { ... } // works as expected
    }
    inner();
};