JavaScript 범위 체인 3부: 범위 체인 특성

스코프 체인 및 함수 [[scope]] 속성과 관련된 몇 가지 중요한 기능을 살펴보겠습니다.

클로저

ECMAScript에서 클로저는 함수의 [[scope]]와 직접적으로 관련되어 있습니다. 앞서 언급했듯이 [[scope]]는 함수가 생성될 때 저장되며 Live와 기능을 가지고 죽는다. 실제로 클로저는 함수 코드와 해당 [[범위]]의 조합입니다. 따라서 [[Scope]]는 함수 내에서 생성된 어휘 범위(부모 변수 객체)를 객체 중 하나로 포함합니다. 함수가 추가로 활성화되면 변수 개체의 어휘 체인(생성 시 정적으로 저장됨) 내에서 더 높은 범위의 변수가 검색됩니다. 예를 들면 다음과 같습니다.

var x = 10;
  
function foo() {
  alert(x);
}
  
(function () {
  var x = 20;
  foo(); // 10, but not 20
})();

식별자 확인 중에 함수가 생성될 때 정의된 어휘 범위를 사용하면 변수가 30이 아닌 10으로 확인됩니다. 또한 이 예에서는 함수(이 경우 "foo" 함수에서 반환된 익명 함수)의 [[scope]]가 함수에 의해 생성된 범위가 완료된 후에도 지속된다는 점을 명확하게 보여줍니다.

ECMAScript의 클로저 이론과 실행 메커니즘에 대한 자세한 내용은 나중에 설명하겠습니다.

생성자를 통해 생성된 함수의 [[scope]]

위의 예에서는 함수가 생성될 때 함수의 [[scope]] 속성을 얻는 것을 볼 수 있습니다. , 속성을 통해 모든 상위 컨텍스트 변수에 액세스합니다. 그러나 이 규칙에는 중요한 예외가 있으며, 이는 함수 생성자를 통해 생성된 함수와 관련됩니다.

var x = 10;
  
function foo() {
  
  var y = 20;
  
  function barFD() { // 函数声明
    alert(x);
    alert(y);
  }
  
  var barFE = function () { // 函数表达式
    alert(x);
    alert(y);
  };
  
  var barFn = Function('alert(x); alert(y);');
  
  barFD(); // 10, 20
  barFE(); // 10, 20
  barFn(); // 10, "y" is not defined
  
}
  
foo();

함수 생성자를 통해 생성된 함수 "bar"는 변수 "y"에 접근할 수 없음을 알 수 있습니다. 하지만 이것이 "barFn" 함수에 [[scope]] 속성이 없다는 의미는 아닙니다(그렇지 않으면 변수 "x"에 액세스할 수 없습니다). 문제는 함수 생성자를 통해 생성된 함수의 [[scope]] 속성이 항상 유일한 전역 개체라는 것입니다. 이를 염두에 두고 이러한 함수를 통해 전역 컨텍스트 클로저 이외의 최상위 컨텍스트 클로저를 생성하는 것은 불가능합니다.

2차원 범위 체인 검색

범위 체인 검색에서 가장 중요한 점은 프로토타입에서 파생된 변수 객체(있는 경우)의 속성을 고려해야 한다는 것입니다. ECMAScript의 기능입니다. 개체에서 속성을 직접 찾을 수 없는 경우 쿼리는 프로토타입 체인에서 계속됩니다. 이를 종종 2차원 연쇄 검색이라고 합니다. (1) 범위 체인 링크, (2) 각 범위 체인 - 프로토타입 체인 링크로 깊숙이 들어갑니다. Object.prototype에 속성이 정의되어 있으면 이 효과를 볼 수 있습니다.

function foo() {
  alert(x);
}
  
Object.prototype.x = 10;
  
foo(); // 10

활성 객체에는 프로토타입이 없으며 다음 예에서 볼 수 있습니다.

function foo() {
  
  var x = 20;
  
  function bar() {
    alert(x);
  }
  
  bar();
}
  
Object.prototype.x = 10;
  
foo(); // 20

함수 "bar" 컨텍스트의 활성 객체에 프로토타입이 있으면 " x"는 AO에서 직접 구문 분석되지 않으므로 Object.prototype에서 구문 분석됩니다. 그러나 위의 첫 번째 예에서는 식별자 확인 중에 Object.prototype에서 상속되는 전역 개체(일부 구현에서는 항상 그런 것은 아님)에 도달하므로 "x"는 10으로 확인됩니다.

SpiderMokey의 명명된 함수 표현식(NFE로 약칭)의 일부 버전에서도 동일한 상황이 발생합니다. 여기서 특정 객체는 Object.prototype에서 상속된 함수 표현식의 선택적 이름을 저장합니다. Blackberry의 일부 버전에서는 실행 시간 활성화 개체는 Object.prototype에서 상속됩니다.

전역 및 평가 컨텍스트의 범위 체인

여기서 반드시 흥미롭지는 않지만 알림을 드립니다. 전역 컨텍스트의 범위 체인에는 전역 개체만 포함됩니다. 코드 eval의 컨텍스트는 현재 호출 컨텍스트와 동일한 범위 체인을 갖습니다.

globalContext.Scope = [
  Global
];
  
evalContext.Scope === callingContext.Scope;

코드 실행 중 스코프 체인에 미치는 영향

ECMAScript에는 코드 실행 단계에서 스코프 체인을 수정할 수 있는 문이 두 개 있습니다. 이것은 with 문과 catch 문입니다. 이는 범위 체인 앞에 추가되며 이러한 선언에 나타나는 식별자 중에서 개체를 조회해야 합니다. 이 중 하나가 발생하면 범위 체인은 다음과 같이 간략하게 수정됩니다.

Scope = withObject|catchObject + AO|VO + [[Scope]]

이 예에서는 객체가 매개 변수로 추가됩니다(접두사가 없으면 객체의 속성에 액세스할 수 있게 됩니다).

var foo = {x: 10, y: 20};
  
with (foo) {
  alert(x); // 10
  alert(y); // 20
}

스코프 체인은 다음과 같이 수정됩니다.

Scope = foo + AO|VO + [[Scope]]

with 문을 통해 개체의 식별자 확인이 개체의 앞에 추가되는 것을 다시 볼 수 있습니다. 스코프 체인:

var x = 10, y = 10;
  
with ({x: 20}) {
  
  var x = 30, y = 30;
  
  alert(x); // 30
  alert(y); // 30
}
  
alert(x); // 10
alert(y); // 30

在进入上下文时发生了什么？标识符“x”和“y”已被添加到变量对象中。此外，在代码运行阶段作如下修改：

x = 10, y = 10;

对象{x:20}添加到作用域的前端;

在with内部，遇到了var声明，当然什么也没创建，因为在进入上下文时，所有变量已被解析添加;

在第二步中，仅修改变量“x”，实际上对象中的“x”现在被解析，并添加到作用域链的最前端，“x”为20，变为30;

同样也有变量对象“y”的修改，被解析后其值也相应的由10变为30;

此外，在with声明完成后，它的特定对象从作用域链中移除（已改变的变量“x”－－30也从那个对象中移除），即作用域链的结构恢复到with得到加强以前的状态。

在最后两个alert中，当前变量对象的“x”保持同一，“y”的值现在等于30，在with声明运行中已发生改变。

同样，catch语句的异常参数变得可以访问，它创建了只有一个属性的新对象－－异常参数名。图示看起来像这样：

try {
  ...
} catch (ex) {
  alert(ex);
}

作用域链修改为：

var catchObject = {
  ex: <exception object>
};
  
Scope = catchObject + AO|VO + [[Scope]]

在catch语句完成运行之后，作用域链恢复到以前的状态。

结论

在这个阶段，我们几乎考虑了与执行上下文相关的所有常用概念，以及与它们相关的细节。按照计划－－函数对象的详细分析：函数类型（函数声明，函数表达式）和闭包。顺便说一下，在这篇文章中，闭包直接与[[scope]]属性相关，但是，关于它将在合适的篇章中讨论。

 以上就是JavaScript作用域链其三：作用域链特征的内容，更多相关内容请关注PHP中文网（www.php.cn）！