모던 자바스크립트 Deep Dive / 9장 타입 변환과 단축 평가

타입 변환이란?

자바스크립트의 모든 값에는 타입이 있고 이 타입은 개발자의 의도에 따라 변환이 가능하다.

의도적으로 값의 타입을 변환하는 것을 명시적 타입 변환 / 타입 캐스팅이라 하며

의도와 상관없이 표현식을 평가하는 도중 자바스크립트 엔진에 의해

암묵적으로 타입이 자동 변환 되는 것을 암묵적 타입 변환 / 타입 강제 변환 이라 한다.

 

타입 변환이란 기존 원시 값을 사용해 다른 타입의 새로운 원시 값을 생성하는 것이므로

기존 원시값을 직접 변경하지는 않는다. (다른 변수에 할당 시)

 

코드는 예측 가능해야 하는데 암묵적 타입 변환이 자주 발생한다면 코드의 예측 가능성을 해치고, 

명시적 타입 변환이 자주 발생한다면 코드가 복잡해져 가독성을 해칠 수 있다.

그러니 타입 변환이 어떻게 동작하는지 정확히 이해해보도록 하자.

 

암묵적 타입 변환

 - 문자열 타입으로 변환

"1" + 2; // -> '12'

 

위 예제의 + 연산자는 피연산자 중 하나 이상이 문자열이므로 문자열 연결 연산자로 동작한다.

문자열 연결 연산자는 문자열 값을 만드는 역할을 하므로 모든 피연산자는 코드의 문맥상

모두 문자열 타입이어야 한다.

자바스크립트 엔진은 문자열 연결 연산자가 동작할 수 있도록 피연산자 중에 문자열이 아닌

피연산자들을 문자열로 암묵적 타입 변환한다.

 

- 숫자 타입으로 변환

"10" - '1';// -> 9
1 * "10";  // -> 10
1 / "1";   // -> 1

 

+ 연산자와 달리 나머지 산술 연산자들은 숫자 타입이 아닌 피연산자들을

숫자 타입으로 암묵적 타입 변환한다.

산술 연산자의 역할은 숫자 값을 만드는 것이기에 모든 피연산자들은 문맥상 숫자 타입이여야 하기 때문이다.

10 / "two" // -> NaN

 

숫자 타입으로 변환이 불가능할 시 산술 연산을 수행할 수 없으므로 평가 결과는 NaN이 된다.

 

"10" > 1;  -> true
"1" == 1;  -> true

 

비교 연산자 역시 피연산자의 크기를 비교하므로 피연산자들을 모두 숫자 타입이어야 하기에

숫자 타입으로 암묵적 타입 변환이 일어난다.

 

+ 단항 연산자는 피연산자 또한 피연산자가 숫자타입의 값이 아닐 시

숫자 타입의 값으로 암묵적 타입 변환을 수행한다.

+'' // -> 0
+'1' // -> 1
+'string' // -> NaN

+true // -> 1
+false // -> 0

+null // -> 0

+undefined // -> NaN

+Symbol() // -> TypeError

+{} // -> NaN
+[] // -> 0

 

빈 문자열, 빈 배열, null, false 는 0으로 / true 는 1로 변환된다.

객체와 빈 배열이 아닌 배열, undefined는 변환되지 않아 NaN이 된다는 것에 주의하자.

 

- 불리언 타입으로 변환

if 문이나 for 문과 같은 제어문 또는 삼항 연산자의 조건식은 불리언 값(논리적 참/거짓)으로

평가되어야 하는 표현식이기에 자바스크립트 엔진은 조건식의 평가 결과를 불리언 타입으로

암묵적 타입 변환한다.

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 값 (거짓으로 평가되는 값) 으로 구분한다.

 

Falsy 값을 갖는 값들은 아래와 같다.

• false
• undefined
• null
• 0, -0
• NaN
• '' (빈 문자열)

이 목록 외의 모든 값은 모두 true로 평가되는 Truthy 값이다.

 

명시적 타입 변환

명시적 타입 변환은 개발자의 의도에 따라 타입을 변경한다.

표준 빌트인 생성자 함수(String, Number, Boolean)를 new 연산자 없이 호출하는 방법,

빌트인 메서드를 사용하는 방법, 앞에서 살펴본 암묵적 타입변환을 살펴보는 방법이 있다.

 

문자열 타입으로 변환

1. String 생성자 함수를 new 연산자 없이 호출하는 방법
2. Object.prototype.toString 메서드를 사용하는 방법
3. 문자열 연결 연산자를 이용하는 방법

String(1);
String(true);

(1).toString();
true.toString();

1 + "";
true + "";

 

숫자 타입으로 변환

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

Number(0);
Number(true);

parseInt("0");
parseFloat("1");

+"0";
+"true";

"0" * 1;
true * 1;

 

불리언 타입으로 변환

1. Boolean 생성자 함수를 new 연산자 없이 호출하는 방법
2. ! 부정 논리 연산자를 두 번 사용하는 방법

Boolean("str");
Boolean("");

!!"true";
!!0;

 

단축 평가

단축 평가는 표현식을 평가하는 도중에 평가 결과가 확정된 경우

나머지 평가 과정을 생략하는 것을 말한다.

 

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

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

평가는 좌항에서 우항으로 진행된다.

'Cat' && 'Dog' // -> "Dog"

 

논리곱 연산자는 두 개의 피 연산자가 true로 평가될 때 true를 반환한다.

첫 번째 피연산자 'Cat'은 Truthy 값이므로 true 로 평가되며, 이는 두 번째 피연산자가 위 논리곱 연산자 표현식의 평가 결과를 결정하게 되는 것이다.

두 번째 피연산자 'Dog' 또한 Truthy 값이므로 논리곱 연산자는 논리 연산의 결과를 결정하는 두 번째 피연산자, 즉 문자열 'Dog'를 그대로 반환한다.

 

'Cat' || 'Dog' // -> "Cat"

 

논리합 연산자는 두 개의 피연산자 중 하나만 true로 평가되어도 true를 반환한다.

첫 번째 피연산자가 Truthy 값이므로 두 번쨰 피연산자까지 평가해 보지 않아도 위 표현식을 평가할 수 있다.

이때 논리합 연산자는 결과를 결정한 첫 번째 피연산자, 즉 문자열 'Cat'을 그대로 반환한다.

 

단축 평가를 사용해 if문 대체하기

// 논리곱 연산자
let done = true;
let msg = "";

if (done) msg = "완료";

msg = done && "완료";

console.log(msg);  // 완료

 

 

논리곱 연산자 사용시 두 피연산자 모두 true 일시 두 번째 피연산자가 반환되므로

위의 코드 실행시 완료 가 출력된다.

 

let done = false;
let msg = "";

if (!done) msg = "미완료";

msg = done || "미완료";

console.log(msg); // 완료

 

논리합 연산자 사용시 첫번째 Truthy 값이 반환되므로 미완료 가 출력된다.

 

let done = true;
let msg = "";

msg = done ? "완료" : "미완료";

console.log(msg);

 

삼항 연산자 응용

 

• 객체를 가리키기를 기대하는 변수가 null 또는 undefined가 아닌지 확인하고 프로퍼티를 참조할 때

let elem = null;
let value = elem.value;

console.log(value);
// TypeError: Cannot read property 'value' of null

 

객체를 가리키기를 기대하는 변수의 값이 객체가 아닌 null 또는 undefined의 경우 

객체의 프로퍼티를 참조하면 타입 에러가 발생한다.

let elem = null;
let value = elem && elem.value;

console.log(value); // null

 

• 함수 매개변수에 기본값을 설정할 때

함수를 호출할 때 인수를 전달하지 않으면 매개변수에는 undefined 가 할당된다.

단축 평가를 사용해 매개변수의 기본값을 설정하면 undefined로 인해 발생할 에러를 방지할 수 있다.

function fn(str) {
  str = str || "";
  return str.length;
}

console.log(fn()); // 0

 

옵셔널 체이닝 연산자

옵셔널 체이닝 연산자 (?.) 는 좌항의 피연산자가 null이나 undefined 인 경우 undefined 를 반환하고

그렇지 않으면 우항의 프로퍼티 참조를 이어간다.

let elem = null;

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

 

말이 조금 어렵긴 한데, 쉽게 풀어서 이야기해보자면

접근하려는 변수(위 예제에서는 elem)가 null이나 undefined 값을 가지고 있는지 확인하고,

만약 맞다면 undefined를 반환, 아니라면 우항의 프로퍼티 참조를 이어간다는 뜻이다.

let str;

let length = str?.length;

console.log(length); 
// str 값이 undefined 이므로 undefined 출력

let str = "";

let length = str?.length;

console.log(length);
// str 값이 null이나 undefined가 아니므로
// 우항의 프로퍼티 참조 -> 0 출력

 

옵셔널 체이닝 연산자는 좌항 피연산자가 Falsy 값이라도

null 또는 undefined 가 아니면 우항의 프로퍼티 참조를 이어간다.

null 병합 연산자

null 병합 연산자 (??) 는 좌항의 피연산자가 null 또는 undefined 인 경우 우항의 피연산자를 반환하고, 그렇지 않으면 좌항의 피연산자를 반환한다.

이는 변수에 기본값을 설정할 때 유용하다.

let foo = null ?? "default string";

console.log(foo); // "default string"

 

null 병합 연산자는 좌항의 피연산자가 Falsy 값이라도

null 또는 undefined 가 아니면 좌항의 피연산자를 그대로 반환한다.