자바스크립트 : 타입 변환과 단축 평가

타입 변환이란?

자바스크립트의 모든 값은 타입이 있습니다. 값의 타입은 개발자의 의도에 따라 다른 타입으로 변환 할 수 있습니다. 개발자가 의도적으로 값의 타입을 변환하는 것을 명시적 타입 변환(explicit coercion) 또는 타입 캐스팅 (type casting)이라고 합니다.

 

개발자의 의도와는 상관없이 표현식을 평가하는 도중에 자바스크립트 엔진에 의해 암묵적으로 타입이 자동 변환되기도 합니다. 이를 암묵적 타입 변환 (implicit coercion) 또는 타입 강제 변환(type coercion) 

 

명시적 타입 변환이나 암묵적 타입 변환이 기존 원시 값을 직접 변경하는 것은 아닙니다. 원시 값은 변경 불가능한 값(immutable value)이므로 변경할 수 없습니다. 타입 변환이란 기존 원시 값을 사용해 다른 타입의 새로운 원시 값을 생성하는 것입니다.

 

암묵적 타입 변환은 기존 변수 값을 재할당하여 변경하는 것이 아닙니다. 자바스크립트 엔진은 표현식을 에러 없이 평가하기 위해 피연산자의 값을 암묵적 타입 변환해 새로운 타입의 값을 만들어 단 한 번 사용하고 버립니다.

 

명시적 타입 변환은 타입을 변경하겠다는 개발자의 의지가 코드에 명백히 드러납니다. 하지만 명시적 타입 변환만 사용하고 암묵적 타입 변환은 발생하지 않도록 코드를 작성하는 논리는 옳지 않습니다. 때로는 명시적 타입 변환보다 암묵적 타입 변환이 가독성 측면에서 더 좋을 수도 있습니다.

 

중요한 것은 코드를 예측할 수 있어야 한다는 것입니다. 동료가 작성한 코드를 정확히 이해할 수 있어야 하고 자신이 작성한 코드도 동료가 쉽게 이해할 수 있어야 합니다.

 

 

암묵적 타입 변환

자바스크립트 엔진은 표현식을 평가할 때 개발자의 의도와는 상관없이 코드의 문맥을 고려해 암묵적으로 데이터 타입을 강제 변환(암묵적 타입 변환)할 때가 있습니다. 암묵적 타입 변환이 발생하면 문자열, 숫자, 불리언과 같은 원시 타입 중 하나로 타입을 자동 변환합니다.

 

문자열 타입으로 변환

위 예제의 + 연산자는 피연산자 중 하나 이상이 문자열이므로 문자열 연결 연산자로 동작합니다. 문자열 연결 연산자의 역할은 문자열 값을 만드는 것입니다. 따라서 문자열 연결 연산자의 모든 피연산자는 코드의 문맥상 모두 문자열 타입이어야 합니다.

 

자바스크립트 엔진은 문자열 연결 연산자 표현식을 평가하기 위해 문자열 연결 연산자의 피연산자 중에서 문자열 타입이 아닌 피연산자를 문자열 타입으로 암묵적 타입 변환합니다.

 

연산자 표현식의 피연산자만이 암묵적 타입 변환의 대상이 되는 것은 아닙니다. 앞서 언급했듯이 자바스크립트 엔진은 표현식을 평가할 때 코드 문맥에 부합하도록 암묵적 타입 변환을 실행합니다.

 

예를 들어 ES6에 도입된 템플릿 리터럴의 표현식 삽입은 표현식의 평가 결과를 문자열 타입으로 암묵적 타입 변환합니다.

 

자바스크립트 엔진은 문자열 타입이 아닌 값을 문자열 타입으로 암묵적으로 타입 변환을 수행할 때 다음과 같이 동작합니다.

 

 

숫자 타입으로 변환

산술 연산자의 역할은 숫자 값을 만드는 것입니다. 따라서 산술 연산자의 모든 피연산자는 코드 문맥상 모두 숫자 타입이어야 합니다.

자바스크립트 엔진은 산술 연산자 표현식을 평가하기 위해 산술 연산자의 피연산자 중에서 숫자 타입이 아닌 피연산자를 숫자 타입으로 암묵적 타입 변환합니다. 이때 피연산자를 숫자 타입으로 변환할 수 없는 경우는 산술 연산을 수행할 수 없으므로 표현식의 평가 결과는 NaN이 됩니다.

피연산자를 숫자 타입으로 변환해야 할 문맥은 산술 연산자뿐만이 아닙니다.

 

비교 연산자의 역할은 불리언 값을 만드는 것입니다. > 비교 연산자는 피연산자의 크기를 비교하므로 모든 피연산자는 코드의 문맥상 모두 숫자 타입이어야 합니다. 자바스크립트 엔진은 비교 연산자 표현식을 평가하기 위해 비교 연산자의 피연산자 중에서 숫자 타입이 아닌 피연산자를 숫자 타입으로 암묵적 타입 변환합니다.

 

+ 단항 연산자는 피연산자가 숫자 타입의 값이 아니면 숫자 타입의 값으로 암묵적 타입 변환을 수행합니다.

빈 문자열 (''), 빈배열([]), null, false는 0으로, true는 1로 변환됩니다. 객체와 빈 배열이 아닌 배열, undefined는 변환되지 않아 NaN이 됩니다.

 

불리언 타입으로 변환

if문이나 for문과 같은 제어문 또는 삼항 조건 연산자의 조건식은 논리적 참/거짓으로 평가 되어야 하는 표현식입니다. 자바스크립트 엔진은 조건식의 평가 결과를 불리언 타입으로 암묵적 타입 변환합니다. 이때 자바스크립트 엔진은 불리언 타입이 아닌 값을 Truthy 값(참으로 평가되는 값) 또는 Falsy값(거짓으로 평가되는 값)으로 구분합니다. 즉, 제어문의 조건식과 같이 불리언 값으로 평가되어야 할 문맥에서 Truthy 값은 true로, Falsy 값은 false로 암묵적으로 타입 변환됩니다.

 

Falsy한 값 외의 모든 값은 모두 true로 평가되는 Truthy 값입니다.

 

명시적 타입 변환

개발자의 의도에 따라 명시적으로 타입을 변경하는 방법은 다양합니다. 표준 빌트인 생성자 함수 (String, Number, Boolean)를 new 연산자 없이 호출하는 방법과 빌트인 메서드를 사용하는 방법, 그리고 앞에서 살펴본 암묵적 타입 변환을 이용하는 방법이 있습니다.

 

문자열 타입으로 변환

문자열 타입이 아닌 값을 문자열 타입으로 변환하는 방법은 다음과 같습니다.

 

1. String 생성자 함수를 new 연산자 없이 호출하는 방법

2. Object, Prototype, toString 메서드를 사용하는 방법

3. 문자열 연결 연산자를 이용하는 방법

 

숫자 타입으로 변환

숫자 타입이 아닌 값을 숫자 타입으로 변환하는 방법은 다음과 같습니다.

 

1. Number 생성자 함수를 new 연산자 없이 호출하는 방법

2. parseInt, parseFloat 함수를 사용하는 방법 (문자열만 숫자 타입으로 변환 가능)

3. + 단항 산술 연산자를 이용하는 방법

4. * 산술 연산자를 이용하는 방법

불리언 타입으로 변환

불리언 타입이 아닌 값을 불리언 타입으로 변환하는 방법은 다음과 같습니다.

1. Boolean 생성자 함수를 new 연산자 없이 호출하는 방법

2. ! 부정 논리 연산자를 두 번 사용하는 방법

 

단축 평가

논리 연산자를 사용한 단축 평가

논리합(||) 또는 논리곱(&&) 연산자의 표현식은 언제나 2개의 피연산자 중 어느 한쪽으로 평가됩니다.

논리곱 연산자는 두 개의 피연산자가 모두 true 평가 될 때 true를 반환합니다. 논리곱 연산자는 좌항에서 우항으로 평가가 진행됩니다.

첫 번쨰 피연산자 'Cat'은 Trutyh 값이므로 true로 평가됩니다. 하지만 이 시점 까지는 위 표현식을 평가 할 수 없습니다. 두 번째 피연산자가 위 논리곱 연산자 표현식의 평가 결과를 결정합니다. 이 때 논리곱 연산자는 논리 연산의 결과를 결정하는 두 번째 피연산자, 즉 문자열 'Dog'를 그대로 반환합니다.

 

논리합 연산자도 논리곱 연산자와 동일하게 동작합니다.

첫 번째 피연산자 'Cat'은 Truthy 값이므로 true로 평가됩니다. 이 시점에서 두 번째 피연산자까지 평가해 보지 않아도 위 표현식을 평가 할 수 있습니다. 이 때 논리합 연산자는 논리 연산의 결과를 결정한 첫 번째 피연산자, 즉 문자열 'Cat'을 그대로 반환합니다.

 

논리곱 연산자와 논리합 연산자는 이처럼 논리 연산의 결과를 결정하는 피연산자를 타입 변환하지 않고 그대로 반환합니다. 이를 단축평가(short-circuit evaluation)이라고 합니다. 단축 평가는 표현식을 평가하는 도중에 평가 결과가 확정된 경우 나머지 평가 과정을 생략하는 것을 말합니다.

 

 

어떤 조건이 Truthy 값일 때 무언가를 해야 한다면 논리곱 연산자 표현식으로 if문을 대체할 수 있습니다.

 

어떤 조건이 Falsy 값일 때 무언가를 해야 한다면 논리합 연산자 표현식으로 if문을 대체할 수 있습니다.

옵셔널 체이닝 연산자

ES11(ECMAScript2020)에서 도입된 옵셔널 체이닝 연산자는 좌항의 피연산자가 null 또는 undefined인 경우 undefined를 반환하고 그렇지 않으면 우항의 프로퍼티 참조를 이어갑니다.

null 병합 연산자

ES11에서 도입된 null 병합(nullish coalescing) 연산자는 좌항의 피연산자가 null 또는 undefined인 경우 우항의 피연산자를 반환하고, 그렇지 않으면 좌항의 피연산자를 반환합니다.