모던 자바스크립트 Deep Dive - 타입 변환과 단축 평가
자바스크립트의 모든 값은 타입이 있다. 값의 타입은 개발자의 의도에 따라 다른 타입으로 변환할 수 있다. 이때 개발자가 의도적으로 값의 타입을 변환하는 것을 명시적 타입 변환(explicit coercion) 또는 타입 캐스팅(type casting) 이라 한다.
var x = 10;
// 명시적 타입 변환 숫자 -> 문자열
var str = x.toString();
console.log(typeof str, str); // string 10
개발자의 의도와는 상관없이 표현식을 평가하는 도중에 자바스크립트 엔진에 의해 암묵적으로 타입이 자동 변환되기도 한다. 이를 암묵적 타입 변환(implict coercion) 또는 타입 강제 변환(type coercion)이라 한다.
var x = 10;
// 암묵적 타입 변환 숫자 -> 문자열
var str = x + '';
console.log(typeof str, str); // string 10
명시적 타입 변환이나 암묵적 타입 변환이 기존 원시 값(위에서 x)을 직접 변경하는 것은 아니다. 원시 값은 변경 불가능한 값이므로 변경할 수 없다. 타입 변환이란 기존 원시 값을 사용해 다른 타입의 새로운 원시 값을 생성하는 것이다.
암묵적 타입 변환
// 피연산자가 모두 문자열 타입이어야 하는 문맥
'10' + 2 // '102'
// 피연산자가 모두 숫자 타입이어야 하는 문맥
5 * '10' // 50
// 피연산자 또는 표현식이 불리언 타입이어야 하는 문맥
!0 // true
if(1) {}
위처럼 표현식을 평가할 때 코드의 문맥에 부합하지 않는 다양한 상황이 발생할 수 있다. 이때 자바스크립트 엔진은 가급적 에러를 발생시키지 않기 위해 암묵적 타입 변환을 통해 표현식을 평가한다.
암묵적 타입 변환이 발생하면 문자열, 숫자, 불리언과 같은 원시 타입 중 하나로 타입을 자동 변환한다.
문자열 타입으로 변환
// 숫자 타입
0 + '' // '0'
-0 + '' // '0'
1 + '' // '1'
NaN + '' // 'NaN'
// 불리언 타입
true + '' // 'true'
false + '' // 'false'
// null 타입
null + '' // 'null'
// undefined 타입
undefined + '' // 'undefined'
// 객체 타입
({}) + '' // '[object Object]'
Math + '' // '[object Math]'
[] + '' // ''
[10, 20] + '' // '10,20'
(function(){}) + '' // 'function(){}'
Array + '' // 'function Array() { [native code] }'
숫자 타입으로 변환
1 - '1' // 0
1 * '10' // 10
/ 'one' // NaN
'1' > 0 // true
// 문자열 타입
+'' // 0
+'0' // 0
+'string' // NaN
// 불리언 타입
+true // 1
+false // 0
// null 타입
+null // 0
// undefined 타입
+undefined // NaN
// 객체 타입
+{} // NaN
+[] // 0
+[10,20] // NaN
+(function(){}) // NaN
불리언 타입으로 변환
if('') console.log('1');
if(true) console.log('2');
if(0) console.log('3');
if('str') console.log('4');
if(null) console.log('5');
// 2 4
자바스크크립트 엔진은 불리언 타입이 아닌 값을 Truthy 값(참으로 평가되는 값) 또는 Falsy 값(거짓으로 평가되는 값)으로 구분한다.
제어문의 조건식과 같이 불리언 값으로 평가되어야 할 문맥에서 암묵적 타입 변환된다.
false 로 평가되는 Falsy 값
- false
- undefined
- null
- 0, -0
- NaN
- '' (빈 문자열)
Falsy 값 외의 모든 값은 모두 true로 평가되는 Truthy 값이다.
명시적 타입 변환
개발자의 의도에 따라 명시적으로 타입을 변경하는 방법은 다양하다.
문자열 타입으로 변환
문자열 타입이 아닌 값을 문자열 타입으로 변환하는 방법은 다음과 같다.
- String 생성자 함수를 new 연산자 없이 호출하는 방법
- Object.prototype.toString 메서드를 사용하는 방법
- 문자열 연결 연산자를 사용하는 방법
// 1. String 생성자 함수를 new 연산자 없이 호출하는 방법
// 숫자 타입 -> 문자열 타입
String(1); // '1'
String(NaN); //'NaN'
// 불리언 타입 -> 문자열 타입
String(true); // 'true'
String(false)' // 'false'
// 2.Object.prototype.toString 메서드를 사용하는 방법
// 숫자 타입 -> 문자열 타입
(1).toString(); // '1'
(NaN).toString(); // 'NaN'
// 불리언 타입 -> 문자열 타입
(true).toString(); // 'true'
(false).toString(); // 'false'
// 3. 문자열 연결 연산자를 이용하는 방법
// 숫자 타입 -> 문자열 타입
1 + '' // '1'
NaN + '' // 'NaN'
// 불리언 타입 -> 문자열 타입
true + '' // 'true'
false + '' // 'false'
숫자 타입으로 변환
숫자 타입이 아닌 값을 숫자 타입으로 변환하는 방법은 다음과 같다.
- Number 생성자 함수를 new 연산자 없이 호출하는 방법
- parseInt, parseFloat 함수를 사용하는 방법 (문자열만 숫자 타입으로 변환 가능)
- + 단항 산술 연산자를 이용하는 방법
- * 산술 연산자를 사용하는 방법
// 1. Number 생성자 함수를 new 연산자 없이 호출하는 방법
// 문자열 타입 -> 숫자 타입
Number('0'); // 0
Number('-1'); // -1
// 불리언 타입 -> 숫자 타입
Number(true); // 1
Number(false); // 0
// 2. parseInt, parseFloat 함수를 사용하는 방법 (문자열만 변환 가능)
// 문자열 타입 -> 숫자 타입
parseInt('0'); // 0
parseInt('-1'); // -1
parseFloat('10.53'); // 10.53
// 3.+ 단항 산술 연산자를 이용하는 방법
+'0'; // 0
+'-1'; // -1
// 불리언 타입 -> 숫자 타입
+true; // 1
+false; // 0
// 4.* 산술 연산자를 사용하는 방법
'0' * 1; // 0
'-1' * 1; // -1
// 불리언 타입 -> 숫자 타입
true * 1; // 1
false * 0; // 0
불리언 타입으로 변환
불리언 타입이 아닌 값을 불리언 타입으로 변환하는 방법은 다음과 같다.
- Boolean 생성자 함수를 new 연산자 없이 호출하는 방법
- ! 부정 논리 연산자를 두 번 사용하는 방법
// 1. Boolean 생성자 함수를 new 연산자 없이 호출하는 방법
// 문자열 타입 -> 불리언 타입
Boolean('x'); // true
Boolean(''); // false
Boolean('false'); // true
// 숫자 타입 -> 불리언 타입
Boolean(0); // false
Boolean(1); // true
Boolean(NaN); // false
Boolean(Infinity); // true
// null 타입 -> 불리언 타입
Boolean(null); // false
// undefined 타입 -> 불리언 타입
Boolean(undefined); // false
// 객체 타입 -> 불리언 타입
Boolean({}); // true
Boolean([]); // true
// 2. ! 부정 논리 연산자를 두 번 사용하는 방법
// 문자열 타입 -> 불리언 타입
!!'x'; // true
!!''; // false
!!'false'; // true
// 숫자 타입 -> 불리언 타입
!!0; // false
!!1; // true
!!NaN; // false
!!Infinity; // true
// null 타입 -> 불리언 타입
!!null; // false
// undefined 타입 -> 불리언 타입
!!undefined; // false
// 객체 타입 -> 불리언 타입
!!{}; // true
!![]; // true
논리 연산자를 사용한 단축 평가
단축 평가(short-circuit evaluation)는 표현식을 평가하는 도중에 평가 결과가 확정된 경우 나머지 평가 과정을 생략하는 것을 말한다.
'Cat' && 'Dog' // -> 'Dog'
논리곱(&&) 연산자는 두 개의 피연산자가 모두 true로 평가될 때 true를 반환한다. 논리곱 연산자는 좌항에서 우항으로 평가가 진행된다.
첫 번째 피연산자 'Cat' 은 Truthy 값이므로 true로 평가된다. 여기서 두 번째 피연산자가 위 논리곱 연산자 표현식의 평가 결과를 결정한다. 논리곱 연산자는 논리 연산의 결과를 결정하는 두 번째 피연산자, 즉 문자열 'Dog'를 그대로 반환한다.
논리합(||) 연산자도 동일하게 동작한다.
단축 평가는 다음 규칙을 따른다.
단축 평가 표현식 | 평가 결과 |
true || anything | true |
false || anything | anything |
true && anything | anything |
false && anything | false |
// 논리합(||) 연산자
'Cat' || 'Dog' // 'Cat'
false || 'Dog' // 'Dog'
'Cat' || false // 'Cat'
// 논리곱(&&) 연산자
'Cat' && 'Dog' // 'Dog'
false && 'Dog' // false
'Cat' && false // false
단축 평가를 통해 에러를 발생시키지 않는 겨웅가 있다.
1. 객체를 가리키기를 기대하는 변수가 null 또는 undefined가 아닌지 확인하고 프로퍼티를 참조할 때
객체는 키와 값으로 구성된 프로퍼티의 집합이다. 만약 객체를 가리키기를 기대하는 변수의 값이 객체가 아니라 null 또는 undefined인 경우 객체의 프로퍼티를 참조하면 타입 에러가 발생한다.
var elem = null;
var value = elem.value; // TypeError : Cannot read Property 'value' of null
// 단축 평가 사용
var elem = null;
var value = elem && elem.value; // null
2. 함수 매개변수에 기본값을 설정할 때
함수를 호출할 때 인수를 전달하지 않으면 매개변수에는 undefined가 할당된다. 이때 단축 평가를 사용하면 에러를 방지할 수 있다.
function getStringLength(str) {
str = str || '';
return str.length;
}
getStringLength(); // 0
getStringLength('Hi'); // 2
옵셔널 체이닝 연산자
ES11(ECMAScript2020)에서 도입된 옵셔널 체이닐(optional chaining) 연산자 ?. 는 좌항의 피연산자가 null 또는 undefined인 경우 undefined를 반환하고, 그렇지 않으면 우항의 프로퍼티 참조를 이어간다.
var elem = null;
// elem이 null 또는 undefined 이면 undefined 를 반환, 그렇지 않으면 우항의 프로퍼티 참조를 이어간다.
var value = elem?.value;
console.log(value); // undefined
null 병합 연산자
ES11(ECMAScript2020)에서 도입된 null 병합 (nullish coalescing) 연산자 ?? 는 좌항의 피연산자가 null 또는 undefined인 경우 우항의 피연산자를 반환하고, 그렇지 않으면 좌항의 피연산자를 반환한다. 변수의 기본값을 설정할때 유용하다.
var config = {min:10};
if(config.min === undefined || config.min === null) {
config.min = 20;
}
if(config.max === undefined || config.max === null) {
config.max = 100;
}
config;
// Null 병합 할당 연산자
var config2 = {min:10};
config2.min ??= 20;
config2.max ??= 100;
config2;