🐸 [JavaScript] scope

1-12장 내용을 스터디를 진행하며, var, let, const의 선언과 값 할당에 대해 이야기를 나눴다.

그 과정에서 왜 ES6에서 let과 const를 추가했는지, 이를 추가해 어떤 문제를 해결하려고 했는지 완벽하게 이해가 되어서 기분이 너무 좋았다.

사실 이야기를 나누면서, '이렇게 중요한 내용을 왜 책에선 다루지 않았을까?' 하는 생각이 들었는데,,,,

오늘 책을 한 장 더 넘겨보니 바로 scope에 대한 내용, 이어서 let과 const 변수에 대한 내용이 연달아 나왔다.

그래서 약간 신나는 마음으로 공부를 해보았다!

내용 자체가 재밌다기 보다는, 공부하고 궁금했던 점을 서로 이야기하고, 또 이를 해결해냈는데, 책에서도 바로 이어서 그 내용이 나오는 걸 보니,, 뭔가 우리가 가진 호기심이 공부를 제대로 하고 있다는 증명같아서,,,,,,,,


아무튼 이제 scope에 대해 정리해보겠다.

---

scope 스코프

모든 식별자는, 선언된 위치에 의해 유효 범위가 결정되고, 이를 scope라고 한다.

JavaScript 엔진은 code 실행시 code의 문맥을 고려한다.

이름이 같은 두 개의 변수가 있을때는, 두 변수의 scope를 고려해서, 어떤 변수를 참조할 것인지를 결정한다.

만약 이때 scope라는 개념이 없다면?

유연한 JavaScript 엔진이라고 할지라도 충돌을 피할수는 없을 것이다.

하나의 scope에는 같은 이름의 식별자가 둘 이상 존재할 수 없다.

파일 시스템을 생각해보면 이해가 쉽다.

하나의 파일 안에, 동일한 이름의 문서를 두 개 이상 만들 수는 없다.

이때의 파일이 scope이고, 문서가 변수라고 생각해도 좋다.

lexical environment

JavaScript가 code의 문맥을 고려한다고 했다.

이때 문맥이라는 게 어떤 의미일까?

code가 어디에서 실행되며, 실행되는 지점의 주변에는 어떤 code가 있는지를 lexical environment 라고 한다.

이를 실행하기 위해 구현한 것이 execution context, 즉 실행 컨텍스트이다.

[참고 정리 개념]

• global code
  어디에서든 참조가 가능하다.
• local code
  함수 몸체 내부에서만 참조가 가능하다.

---

scope chain

앞서 살펴본 함수에서, 여러 함수가 중첩될 수 있다고 했다.

그렇기에 함수 몸체 내부에서만 참조가 가능한 local code도 중첩이 가능하다.

이들의 scope도 중첩이 되는데, 이렇게 서로 중첩 연결되에 계층적인 형태를 띄는 scope들을 scope chain 이라고 한다.

변수를 참조할 때, JavaScript 엔진이 scope chain을 가지고 어떤 일을 할 지 상상이 가는가?

JavaScript 엔진은, scope chain을 따라 변수를 참조하는 scope에서부터, 상위 scope로 이동하면서 선언된 변수를 검색한다.

정리하자면 scope라는 것은 변수를 검색하는 규칙이다.

좀 더 엄밀히 말하자면, 식별자를 검색하는 규칙이다.

scope를 가지는 것은 변수 뿐 아니라, 함수도 있다..!

함수 레벨 scope

대부분의 언어에서는, 함수뿐 아니라 모든 code block이 local scope를 만든다.

이를 block level scope라고 하며, ES6에서 도입된 let과 const가 block level scope를 지원한다.

반면 var 키워드로 선언된 변수는,
함수의 code block만을 local scope로 인정한다.

이를 함수 레벨 scope라고 한다.

그러니까 함수 밖의 code block 안에서 var 키워드로 선언된 변수는?

전역변수가 된다는 것이다.

---

lexical scope

dynamic scope

함수를 어디에서 호출했는가?에 따라 scope가 결정되는 방식이다.

함수를 호출 시점에 동적으로 상위 scope를 결정해야한다.

.. 이런 방식을 사용하는 언어를 공부해본 적이 있는가..?

대부분의 언어에서는 lexical scope 방식을 사용한다고 한다.

lexical scope

함수를 어디에서 정의했는가?에 따라 scope가 결정되는 방식이다.

함수 정의가 실행되면 함수객체가 생성되고, 객체가 상위 scope를 기억하는 방식이다.

함수가 호출될때마다 상위 scope를 참조하게된다.

---

var 특징적인 scope를 정리해 볼 수 있는 파트였던 것 같다.