[모던 자바스크립트] 09장. 타입 변환과 단축 평가

🛠9.1 타입 변환이란?

자바스크립트의 값에는 타입이 존재하고 이 타입은 변경이 가능하다. 개발자가 의도적으로 값의 타입을 변환하는 것을 명시적 타입 변환 또는 타입 캐스팅이라고 한다. 개발자의 의도와는 상관없이 자바스크립트에 의해 변하는 것을 암묵적 타입 변환 또는 타입 강제 변환이라고 한다.

명시적 타입 변환은 타입을 변경하겠다는 개발자의 의지가 코드에 명백히 드러난다.
암묵적 타입 변환은 표현식을 에러 없이 평가하기 위해 피연산자의 값을 암묵적으로 타입 변환해 새로운 타입의 값을 만들어 단 한 번 사용하고 버린다.
따라서 자신이 작성한 코드에서 암묵적 타입 변환이 발생하는지, 발생한다면 어떤 타입의 어떤 값으로 변환되는지, 그리고 타입 변환된 값으로 표현식이 어떻게 평가될 것인지 예측 가능해야한다.
중요한 것은 코드를 예측할 수 있어야 한다는 것이다. 동료가 작성한 코드를 정확히 이해할 수 있어야하고 자신이 작성한 코드도 동료가 쉽게 이해할 수 있어야 한다.

🤐9.2 암묵적 타입 변환

표현식을 평가할 때 개발자의 의도와는 상관없이 코드의 문맥을 고려해 암묵적으로 데이터 타입을 강제 변환할 때가 있다. 문자열, 숫자, 불리언과 같은 원시 타입 중 하나로 타입을 자동 변환한다.

9.2.1 문자열 타입으로 변환

피연산자 중 하나 이상이 문자열이면 '+'연산자는 문자열 연결 연산자로 동작한다. 모든 피연산자를 문자열 타입으로 암묵적 변환시켜 하나의 문자열로 만든다.

1 + '2' // 12
`1 + 1 = ${1 + 1}` // 1 + 1 = 2

// 숫자 타입
0 + '' // "0"
-0 + '' // "0"
1 + '' // "1"
-1 + '' // "-1"
NaN + '' // "NaN"
Infinity + '' // "Infinity"
-Infinity + '' // "-Infinity"

// 불리언 타입
true + '' // "true"
false + '' // "false"

//null 타입
null + '' // "null"

//undefined 타입
undefined + '' // "undefined"

//심벌 타입
(Symbol()) + '' // TypeError: Cannot convert a Symbol value to a string

//객체 타입
({}) + '' // "[Object Object]"
Math + '' // "[object Math]"
[] + '' // ""
[10, 20] + '' // "10,20"
(function(){}) + '' // "function(){}"
Array + '' // "function Array() { [native code] }"

9.2.2 숫자 타입으로 변환

산술 연산자의 역할은 숫자값을 만드는 것이다. 피연산자를 숫자타입으로 변환할 수 없는 경우에는 표현식의 결과는 NaN이 된다. 빈 문자열, 빈 배열, null, false는 0으로, true는 1로 반환된다. 객체와 빈 배열이 아닌 배열, undefined는 NaN이 반환된다.

//문자열 타입
+'' // 0
+'0' // 0
+'1' // 1
+'string' // NaN

//불리언 타입
+true // 1
+false // 0

//null 타입
+null // 0

//undefined 타입
+undefined // NaN

//심벌 타입
+Symbol() // TypeError: Cannot convert a Symbol value to a number

//객체 타입
+{} //NaN
+[] //0
+[10, 20] // NaN
+(function(){}) //NaN

9.2.3 불리언 타입으로 변환

자바스크립트 엔진은 불리언 타입이 아닌 값을 Truthy값(참으로 평가되는 값) 또는 Falsy값(거짓으로 평가되는 값)으로 구분한다. 즉, 제어문의 조건식과 같이 불리언 값으로 평가되어야 할 문맥에서 Truthy값은 true로, Falsy값은 false로 변환된다. 다음 값들은 false로 평가되는 Falsy값이다.

• false
• undefined
• null
• 0, -0
• NaN
• ''(빈 문자열)
  위의 값들은 isFalsy()로 실행시키면 모두 true를 반환한다.

👌9.3 명시적 타입 변환

표준 빌트인 생성자 함수(String, Number, Boolean)를 사용하는 방법과 암묵적 타입 변환을 이용하는 방법 등이 있다.

9.3.1 문자열 타입으로 변환

1. String 생성자 함수를 new 연산자 없이 호출하는 방법
   String(NaN) -> "NaN"
2. Object.prototype.toString 메서드를 사용하는 방법
   (Infinity).toString() -> "Infinity"
3. 문자열 연결 연산자를 사용하는 방법
   true + ''; -> "true"

9.3.2 숫자 타입으로 변환

1. Number 생성자 함수를 new연산자 없이 호출하는 방법
   Number('0'); -> 0
2. parseInt, parseFloat함수를 사용하는 방법(문자열만 숫자타입으로 변환가능)
   parseInt('0'); -> 0
   parseFloat('12.34'); -> 12.34
3. +단항 산술 연산자를 이용하는 방법
   +'-1' -> -1
   +true -> 1
4. *산술 연산자를 이용하는 방법
   '0' 1 -> 0
   false 1 -> 0

9.3.3 불리언 타입으로 변환

1. Boolean 생성자 함수를 new 연산자 없이 호출하는 방법
   Bollean('') -> false
   Boolean('x') -> true
   Boolean('false') -> true
   Boolean('null') -> false
   Boolean('Infinity') -> true
2. !부정 논리 연산자를 두번 사용하는 방법
   !!0 -> false
   !!'' -> false
   !!{} -> true
   !!NaN ->false
   !!undefined ->flase

✅9.4 단축 평가

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

논리곱(&&) 연산자는 두 개의 피연산자가 모두 true로 평가될 때 true를 반환한다. 논리곱 연산자는 좌하에서 우항으로 평가가 진행된다.

'Cat' && 'Dog' // "Dog"

첫번째 피연산자 'Cat'은 true로 평가된다. 하지만 두번째 피연산자를 평가하지 않으면 위의 식을 평가할 수 없다. 따라서 논리곱 연산자는 연산의 결과를 결정하는 두번째 피연산자, 즉 문자열 'Dog'를 그대로 반환한다.

'Cat' || 'Dog' // "Cat"

논리합(||)연산자는 두개의 피 연산자 중 하나만 true로 평가되어도 true를 반환한다. 첫번째 피연산자 'Cat'은 true로 평가되는데, 이 시점에서 표현식을 평가할 수 있어서 첫번째 피연산자 'Cat'을 그대로 반환한다.

논리곱(&&) 논리합(||) 연산자는 논리 연산의 결과를 결정하는 피연산자를 타입 변환하지 않고 그대로 반환한다. 이를 단축 평가(short-circuit evalutaion)라고 한다. 단축 평가는 표현식을 평가하는 도중에 평가 결과가 확정된 경우 나머지 평가 과정을 생략하는 것을 말한다.
단축평가를 사용하면 if문을 대체할 수 있다. 조건이 Truthy값일 때는 논리곱(&&) 연산자로, 조건이 Falsy값일때는 논리합(||) 연산자로 if문을 대체할 수 있다.

let done = true;
let message = '';

if (done) message = '완료';
// 논리합 연산자 사용하여 if문 대체
message = done && '완료';

----------------------------

let done = false;
let message = '';

if (!done) message = '미완료';
// 논리곱 연산자 사용하여 if문 대체
message = done || '미완료';

단축평가는 객체를 가리키기를 기대하는 변수가 null 또는 undefined가 아닌지 확인하고 프로퍼티를 참조하는 경우와 함수 매개변수에 기본값을 설정할 때 에러를 발생시키지 않게 하기 위해 유용하게 사용할 수 있다.

let str = null;
let value = str && str.value; //null

-----------------------------

function getLength(s){
  s = s || '';
  return s.length;
}

9.4.2 옵셔널 체이닝 연산자

ES11에서 도입된 옵셔널 체이닝 연산자 '?.'는 좌항의 피연산자가 null또는 undefined인 경우 undefined를 반환하고, 그렇지 않으면 우항의 프로퍼티 참조를 이어간다. 이전에는 논리곱(&&) 연산자를 사용했지만 이를 쉽게 처리할 수 있게 되었다.

let str = null;
let value =  str?.value;
console.log(value); //undefined;

-------------------
  
let str = '';
let len = str?.length;
console.log(len);//0

9.4.3 null 병합 연산자

ES11에서 도입된 null 병합 연산자 ??는 좌항의 피연산자가 null 또는 undefined인 경우 우항의 피연산자를 반환하고, 그렇지 않으면 좌항의 피연산자를 반환한다. null 병합 연산자는 ??는 변수에 기본값을 설정할 때 유용하다. 이전에는 논리합(||)연산자를 사용하여 평가했지만 이를 쉽게 할 수 있게 되어싿.

let str = null ?? 'default str'; 
console.log(str); // "default str"

-----------------------------
  
let str = '' ?? 'default str';
console.log(str); // ""