실행 컨텍스트 , Execution Context

• ECMAScript 스펙에 따르면 실행 컨텍스트는 실행 가능한 코드를 형상화하고 구분하는 추상적인 개념이라고 정의한다.
• 실행 컨텍스트는 실행 가능한 코드가 실행되기 위해 필요한 환경이라는 뜻이다.
  • 이 때 실행 가능한 코드는 전역 코드, 함수 코드, Eval 코드를 말한다.
• 자바스크립트 엔진은 코드를 실행하기 위해 몇 가지 정보를 알고 있어야 한다.
  • 변수 : 전역 변수, 지역 변수, 매개 변수, 객체의 프로퍼티
  • 함수 선언
  • 변수의 유효 범위(Scope)
  • this
• 위의 정보들을 형상화하고 구분하기 위해 자바스크립트 엔진은 실행 컨텍스트를 물리적 객체의 형태로 관리한다.

var x = 'xxx';

function foo() {
	var y = 'yyy';
	
	function bar() {
		var z = 'zzz';
		console.log(x + y + z);
	}
	bar();
}
foo();

• 위 코드를 실행하면 아래와 같이 실행 컨텍스트(stack)이 생성되고 소멸된다.
• 현재 실행 중인 컨텍스트에서 이 컨텍스트와 관련 없는 코드(예를 들어 다른 함수)가 실행되면 새로운 컨텍스트가 생성된다.
• 이 컨텍스트는 스택에 쌓이게 되고 컨트롤(제어권)을 넘겨 받는다.

1. 컨트롤이 실행 가능한 코드로 이동하면 논리적 스택 구조를 가지는 새로운 실행 컨텍스트 스택이 생성된다. 스택은 LIFO(후입 선출)이 구조를 가진다.
2. 전역 코드로 컨트롤이 진입하면 전역 실행 컨텍스트가 생성되고 실행 컨텍스트 스택에 쌓인다. 전역 실행 컨텍스트는 어플리케이션이 종료될 때(웹 페이지에서 나가거나 브라우저를 닫을 때)까지 유지된다.
3. 함수를 호출하면 해당 함수의 실행 컨텍스트가 생성되고 직전에 실행된 코드 블록의 실행 컨텍스트 위에 쌓인다.
4. 함수 실행이 끝나면 해당 함수의 실행 컨텍스트를 파기하고 직전의 실행 컨텍스트에 컨트롤을 반환한다.

실행 컨텍스트의 3가지 객체

• 변수 객체, Variable Object, VO

  • 변수, 파라미터, arguments, 함수 선언
  • 코드에서는 접근할 수 없다.
  • 전역 컨텍스트는 매개변수가 없기 때문에 **전역 객체(Global Object, GO)**를 가리킨다.
    • 유일하고, 최상위에 위치하고 모든 전역 변수, 전역 함수를 포함하는 객체
  • 함수 컨텍스트는 변수 객체를 Activation Object, AO, 활성객체라고 부른다.

• 스코프 체인, Scope Chain, SC

  • 전역 객체와 중첩된 함수의 스코프 참조 값을 차례로 저장하고 있는 리스트
  • 해당 전역 또는 함수가 참조할 수 있는 변수, 함수 선언 등의 정보를 담고 있는 전역 객체 또는 활성 객체의 리스트
  • 현재 실행 컨텍스트의 활성 객체를 선두로 순차적으로 상위 컨텍스트의 활성 객체를 가리키며 마지막 리스트는 전역 객체를 가리킨다.

  

  • 스코프 체인은 변수를 검색하는 메커니즘이다
    • 프로퍼티를 검색하는 메커니즘은 프로토타입 체인이다.
  • 자바스크립트 엔진은 스코프 체인을 통해 렉시컬 스코프를 파악한다.
  • 함수가 중첩 상태일 때 하위 함수 내에서 상위 함수의 스코프와 전역 스코프까지 참조할 수 있는데 이 때 스코프 체인을 통해 검색한다.
  • 함수가 중첩되어 있으면 중첩될 때마다 부모 함수의 Scope가 자식 함수의 스코프 체인에 포함된다.
  • 함수 실행 중 변수를 만나면 현재 Scope의 AO에서 검색해보고 검색에 실패하면 스코프 체인에 담겨진 순서대로 그 검색을 이어가게 되고 마지막에 전역 컨텍스트의 GO에도 변수가 없으면 에러를 Reference 에러를 발생시킨다.
  • 스코프체인은 함수의 감추어진 프로퍼티인 [[Scope]]로 참조할 수 있다.