[js] 동적 타입 언어

 

 

자바스크립트의 모든 값은 데이터 타입을 갖는다.

그렇다면 변수는 데이터 타입을 가질까?

 

C나 자바 같은 정적 타입 언어는 변수를 선언할 때 변수에 할당할 수 있는 값의 종류, 즉 데이터 타입을 사전에 선언해야 한다. 정적 타입 언어는 변수의 타입을 변경할 수 없으며 변수에 선언한 타입에 맞는 값만 할당할 수 있다. 컴파일 시점에 타입 체크(선언한 데이터 타입에 맞는 값을 할당했는지 검사하는 처리)를 수행한다. 타입 체크를 통과하지 못했다면 에러를 발생시키고 프로그램의 실행 자체를 막는다. 이를 통해 타입의 일관성을 강제함으로써 더욱 안정적인 코드의 구현을 통해 런타임에 발생하는 에러를 줄인다.

 

자바스크립트는 정적 타입 언어와 다르게 변수를 선언할 때 타입을 선언하지 않는다. 자바스크립트 변수는 정적 타입 언어와 같이 미리 선언한 데이터 타입의 값만 할당할 수 있는 것이 아니다. 어떠한 데이터 타입의 값이라도 자유롭게 할당할 수 있다.

 

var foo;
console.log(typeof foo);	// undefined

foo = 3;
console.log(typeof foo);	// number

foo = 'Hello';
console.log(typeof foo);	// string

foo = true;
console.log(typeof foo);	// boolean

foo = null;
console.log(typeof foo);	// null

foo = Symbol();
console.log(typeof foo);	// symbol

foo = {};
console.log(typeof foo);	// object

foo = [];
console.log(typeof foo);	// array

foo = function () {};
console.log(typeof foo);	// function

 

자바스크립트의 변수는 선언이 아닌 할당에 의해 타입이 결정(타입 추론)된다. 그리고 재할당에 의해 변수의 타입은 언제든지 동적으로 변할 수 있다. 이러한 특징을 동적 타이핑이라 하며 자바스크립트를 정적 타입 언어와 구별하기 위해 동적 타입 언어라 한다.

 

 

▶ 변수는 타입을 가질까?

현재 변수에 할당되어 있는 값에 의해 변수의 타입이 동적으로 결정된다.

 

 

* 동적 타입 언어와 변수

 

동적 타입 언어의 변수는 값이 언제든지 변경될 수 있기 때문에 복잡한 프로그램에서는 변화하는 변수 값을 추적하기 어려울 수 있다. 그뿐만 아니라 변수는 값의 변경에 의해 타입도 언제든지 변경될 수 있다. 더욱이 자바스크립트는 개발자의 의도와는 상관없이 자바스크립트 엔진에 의해 암묵적으로 타입이 자동으로 변환되기도 한다. 따라서 동적 타입 언어의 변수는 값을 확인하기 전에는 타입을 확신할 수 없다. 결국 동적 타입 언어는 유연성은 높지만 신뢰성은 떨어진다.

안정적인 프로그램을 만들기 위해 변수를 사용하기 이전에 데이터 타입을 체크해야 하는 경우가 있는데 이는 매우 번거로울 뿐더러 코드의 양도 증가한다.

 

∴ 변수를 사용할 때 주의사항

- 변수는 꼭 필요한 경우에 한해 제한적으로 사용한다. 변수 값은 재할당에 의해 언제든지 변경될 수 있다. 이로 인해 타입을 잘못 예측해 오류가 발생할 가능성이 크다. 변수의 개수가 많으면 많을수혹 오류가 발생할 확률도 높아진다.

- 변수의 유효 범위(스코프)는 최대한 좁게 만들어 변수의 부작용을 억제해야 한다. 변수의 유효 범위가 넓으면 넓으수록 변수로 인해 오류가 발생할 확률이 높아진다.

- 전역 변수는 최대한 사용하지 않도록 한다. 어디서든지 참조/변경 가능한 전역 변수는 의도치 않게 값이 변경될 가능성이 높고 다른 코드에 영향을 줄 가능성도 높다.

- 변수보다는 상수를 사용해 값의 변경을 억제한다.

- 변수 이름은 변수의 목적이나 의미를 파악할 수 있도록 네이밍한다. 특히 식별자의 유효 범위가 넓을수록 명확한 이름을 명명하도록 노력해야 한다.