function foo() {
x = 10;
}
foo();
console.log(x); //10
foo 함수 내에서 선언되지 않은 x 변수에 값 10을 할당했다. 직관적으로 생각하면 이는 분명히 ReferenceError를 일으켜야 하지만 실제로 10이 잘 출력된다. 어떠한 과정을 통해 이렇게 진행되는지 알아보자.
JS 엔진은 일단 x 변수를 찾기 시작한다. 가장 먼저 foo 함수의 스코프에서 x 변수의 선언을 검색하고 foo 함수의 스코프에는 x 변수의 선언이 없기 떄문에 검색이 실패할 것이고 JS 엔진은 스코프 체인을 통해 추가 검색을 진행한다. foo 함수의 스코프 다음으로 바로 상위의 스코프(현재 상기의 예제에서는 전역 스코프)에서 x 변수의 선언을 검색한다. 전역 스코프에도 x 변수의 선언이 존재하지 않기에 Reference Error을 일으켜야 하지만 JS 엔진은 위를 정상 실행시키기 위해 암묵적으로 전역 스코프에 x 프로퍼티를 동적 생성한다. 이때 전역 객체에 x 프로퍼티는 전역 변수처럼 사용이 가능하다. 이러한 현상을 암묵적 전역이라고 한다.
개발자의 의도와 상관없이 발생한 암묵적 전역은 오류를 발생시키는 원인이 될 가능성이 크다. 따라서 반드시 let, const로 변수를 선언한 다음 변수를 사용해야 한다.
하지만 오타나 문법 지식의 미비로 인한 실수는 언제나 발생한다.따라서 오류를 줄여 안정적인 코드를 생산하기 위해서는 좀 더 근본적인 접근이 필요하고 다시 말해 잠재적인 오류를 발생시키기 어려운 개발 환경을 만들고 그 환경에서 개발하는 것이 좀 더 근본적인 해결책이라고 할 수 있습니다. 이를 지원하기 위해 ES5부터 strict mode가 추가되었고 이는 JS의 문법을 좀 더 엄격히 적용하여 오류 발생의 가능성이 높거나 JS엔진의 최적화 작업에 문제를 일으킬 수 있는 코드에 대한 명시적인 에러를 발생시킨다.
ESLint와 같은 린트 도구를 사용하여도 유사한 효과를 얻을 수 있다. 린트 도구는 정적 분석 기능을 통해 소스코드를 실행하기 전에 소스코드를 스캔하여 소스코드를 스캔하여 문법적 오류만이 아니라 잠재적 오류까지 찾아내고 오류의 원인을 리포팅해주기에 사용을 권장하며 유용한 도구임을 밝힌다.
추가적으로 린트 도구는 strict mode가 제안하는 오류는 물론 코딩 컨벤션을 config파일로 정의하여 강제할 수 있기에 더욱 강력한 결과를 얻을 수 있다. 따라서 린트를 적극 사용하길 권장한다.
strict mode의 적용 방법과 strict mode가 발생시키는 에러에 대해 간략히 살펴보자. ES6에서 도입된 클래스와 모듈은 기본적으로 strict mode가 적용된다.
strict mode를 적용하려면 전역의 선두 또는 함수 몸체의 선두에 use strict를 추가한다. 전역에 선두에 추가하면 스크립트 전체에 strict mode가 적용된다.
"use strict";
function foo() {
x = 10; // ReferenceError : x is not defined
}
foo();
함수 몸체의 선두에 추가하면 해당 함수와 중첩 함수에 strict mode가 적용된다.
function foo() {
"use strict";
x = 10; //RefereceError : x is not defined
}
foo();
간단하게 'use strict'가 선언된 스코프와 그 하위 스코프들에 대해서 strict mode가 적용된다.
전역에 적용한 strict mode는 스크립트 단위로 적용된다.
<!DOCTYPE html>
<html>
<body>
<script>
"use strict";
</script>
<script>
x = 1; // 에러 발생 x
</script>
<script>
"use script";
y = 1; //ReferenceError : y is not defined
</script>
... 중략
</body>
</html>
위 예제와 같이 스크립트 단위로 적용된 strict mode는 다른 스크립트에 영향을 주지 않고 해당 스크립트에 한정되어 적용된다.
하지만 strict mode 스크립트와 non-strict mode 스크립트를 혼용하는 것은 오류를 발생시킬 수 있다. 특히 외부 서드파티 라이브러리를 사용하는 경우 라이브러리가 non-strict mode인 경우도 있기에 전역에 strict mode를 적용하는 것은 바람직하지 않다. 이러한 경우에 즉시 실행 함수로 스크립트 전체를 감싸서 스코프를 구분하고 즉시 실행 함수의 선두에 strict mode를 적용한다.
//즉시 실행 함수의 선두에 strict mode 적용
(function () {
"use strict";
//Do something ...
});
앞서 말한 바와 같이 함수 단위로 strict mode를 적용할 수도 있다. 그러나 어떤 함수는 strict mode를 적용하고 어떤 함수는 strict mode를 적용하지 않는 것은 바람직하지 않으며 모든 함수에 일일히 strict mode를 적용하는 것은 번거로운 일이다. 그리고 strict mode가 적용된 함수가 참조할 함수 외부의 컨텍스트에 strict mode를 적용하지 않는다면 이 또한 문제를 발생시킬 수 있다.
문제를 일으키지 않는다고 하더라도 통일적인 환경을 구성하지 못하는 문제가 있기에 상기 20.3에서 언급한대로 strict mode는 즉시 실행 함수로 감싼 스크립트 단위로 적용하는 것이 바람직하다.
다음은 strict mode를 적용했을 때, 에러가 발생하는 대표적인 사례이다.
선언하지 않은 변수를 참조할 시에 ReferenceError가 발생한다.
(function () {
"use strict";
x = 1;
console.log(x); // ReferenceError : x is not defined
});
delete 연산자로 변수, 함수, 매개변수를 삭제하면 SyntaxError가 발생한다.
(function () {
"use strict";
var x = 1;
delete x; // SyntaxError: Delete of an unqualified identifier in strict mode.
function foo(a) {
delete a; // SyntaxError: Delete of an unqualified identifier in strict mode.
}
delete foo; // SyntaxError: Delete of an unqualified identifier in strict mode.
});
중복된 매개변수 이름을 사용하면 SyntaxError가 발생한다.
(function () {
"use strict";
//SyntaxError : Duplicate parameter name not allowed in this context
function foo(x, x) {
return x + x;
}
console.log(foo(1, 2));
});
with문을 사용하면 SyntaxError가 발생한다. with문은 전달된 객체를 스코프 체인에 추가한다. with문은 동일한 객체의 프로퍼티를 반복해서 사용할 때 객체 이름을 생략할 수 있어서 코드가 간단해지는 효과가 있지만 성능과 가독성이 나빠지는 문제가 있으므로 with문은 사용하지 않는 것이 좋다.
(funtion ( ){
'use strict';
// SyntaxError : Strict mode code may not include a with statement
with({ x : 1 }){
console.log(x);
}
})
strict mode에서 함수를 일반 함수로 호출하면 this에 undefined가 바인딩된다. 생성자 함수가 아닌 일반 함수 내부에서는 this를 사용할 필요가 없기 때문이다. 이때 에러는 발생하지 않는다.
(function () {
"use strict";
function foo() {
console.log(this); // undefined
}
foo();
function Foo() {
console.log(this); // Foo 생성자로써 new 연산자와 함께 사용될 경우 자동으로 this는 본인 객체와 바인딩된다.
}
new Foo();
});
strict mode에서는 매개변수에 전달된 인수를 재할당하여 변경해도 arguments 객체에 반영되지 않는다.
(function (a) {
"use strict";
// 매개변수에 전달된 인수를 재할당하여 변경
a = 2;
//변경된 인수가 arguments 객체에 반영되지 않는다.
console.log(arguments); //{0: 1, length: 1}
})(1);
Arguments is an Array-ike object accessible inside functions that contains the values of the arguments passed to that function.
arguments란 어떤 함수로 전달되는 인자들의 값을 가지고 있는 배열과 유사한 형태의 객체로 그 함수의 내부에서 접근할 수 있다.
그러니까 즉 함수로 넘어오는 파라미터들을 유사 배열의 형태로 가져오는 것으로 for문 등을 통해서 순회를 하는 것도 가능하다.