[딥다이브] 5. 타입 변환과 단축 평가

yricog·4일 전

모던 자바스크립트 딥다이브 책 톺아보기

목록 보기

5/5

모던 자바스크립트 딥다이브 책의 내용을 기반으로 작성하였습니다.🌿

1. 타입 변환이란?

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

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

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

let x = 10;

// 명시적 타입 변환
let str = x.toString();
console.log(typeof str, str); // string, 10 
console.log(typeof x, x); // number, 10 --> 원시 값 변경 X

// 암묵적 타입 변환
let str = x + '';
console.log(typeof str, str); // string 10
console.log(typeof x, x); // number, 10 --> 원시 값 변경 X

2. 암묵적 타입 변환

문자열 타입으로 변환

1 + '2' // "12"
위 예제의 + 연산자는 피연산자 중 하나 이상이 문자열이므로 문자열 연결 연산자로 동작한다.
문자열 연결 연산자의 모든 피연산자는 모두 문자열 타입이어야 하기 때문에, 위 예제의 1은 문자열 타입으로 자동 타입 변환된다.

`1 + 1 = ${1 + 1}` // "1 + 1 = 2"
연산자 표현식 뿐만 아니라, 템플릿 리터럴의 표현식도 문자열로 암묵적 타입 변환된다.

아래는 자바스크립트 엔진이 문자열 타입으로 암묵적 타입 변환을 수행할 때의 동작이다.

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

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

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

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

  // 심벌 타입
  (Symbol()) + '' // TypeError

  // 객체 타입
  ({}) + '' // "[object object]"
  Math + '' // "[object Math]"
  [] + '' // ""
  [10,20] + '' // "10,20"

숫자 타입으로 변환

  1 - '1' // 0
  1 * '10' // 10
  1 / 'one' // NaN

위 예제와 같이, 산술 연산자의 모든 피연산자는 모두 숫자 타입이어야 한다.
이 때 피연산자를 숫자 타입으로 변환할 수 없는 경우의 결과는 NaN이 된다.

비교 연산자 또한 문맥 상 모두 숫자 타입이어야 하므로 암묵적 타입 변환된다.
'1' > 0 // true

아래는 단항 연산자(+)의 암묵적 타입 변환 동작 과정이다.

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

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

  // null 타입
  +null // 0

  // undefined 타입
  +undefined // NaN

  // 심벌 타입
  +Symbol() // TypeError

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

객체와 빈 배열이 아닌 배열, undefined는 변환되지 않음

불리언 타입으로 변환

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

false로 평가되는 Falsy 값
- false
- undefined
- null
- 0, -0
- NaN
- ''

3. 명시적 타입 변환

문자열 타입으로 변환

String 생성자 함수를 new 연산자 없이 호출
Object.prototype.toString 메서드 사용
문자열 연결 연산자 사용

  // 1. String 생성자 함수를 new 연산자 없이 호출 
  String(1); // "1"
  String(NaN); // "NaN"
  String(Infinity); // "Infinity"
  String(true); // "true"
  String(false); // "false"

  // 2. Object.prototype.toString 메서드 사용
  (1).toString(); // "1"
  (true).toString(); // "true"

  // 3. 문자열 연결 연산자 사용 
  1 + ''; // "1"
  NaN + ''; // "NaN"
  true + ''; // "true"

숫자 타입으로 변환

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 * 1; // 0

불리언 타입으로 변환

Boolean 생성자 함수를 new 연산자 없이 호출
! 부정 논리 연산자를 두번 사용

// 1. Boolean 생성자 함수를 new 연산자 없이 호출
Boolean('x'); // true
Boolean(''); // false

Boolean(0); // false
Boolean(1); // true

Boolean(NaN); // false
Boolean(Infinity); // true
Boolean(null); // false
Boolean(undefined); // false

Boolean({}); // true
Boolean([]); // true

// 2. ! 부정 논리 연산자를 두번 사용 
!!'x'; // true
!!''; // false
!!'false'; // true

!!0; // false 
!!1; // true
!!NaN; // false
!!Infinigy; // true
!!null // false
!!undefined; // false

!!{}; // true
!![]; // true

4. 단축 평가 ⭐️

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

논리 연산자 논리합(||) 또는 논리곱(&&)은 평가 결과가 ~~불리언 값이 아닐 수도 있다.~~
이 두 연산자는 언제나 2개의 피연산자 중 어느 한쪽으로 평가된다.

논리곱(&&) 연산자

'Cat' && 'Dog // --> 'Dog'
논리곱(&&) 연산자는 좌항에서 우항으로 평가되며, 두 개의 피연산자가 모두 True로 평가될 때 True를 반환한다.
위 예제에서 'Cat'은 Truthy 값이고 두 번째 피연산자인 'Dog'를 평가한다. 이 때 논리 연산의 결과를 결정하는 두 번째 피연산자인 'Dog' 문자열을 그대로 반환한다.

논리합(||) 연산자

'Cat' || 'Dog // --> 'Cat'
논리합(||) 연산자는 두 개의 피연산자 중 하나만 true로 평가되어도 true를 반환한다.
때문에 첫 번째 피연산자인 'Cat'이 Truthy 값이므로 true로 평가된다. 두 번째 피연산자까지 평가해보지 않아도 되므로 연산 결과를 결정한 첫 번째 피연산자, 문자열 'Cat'을 반환한다.

이를 단축 평가(short-circuit evaluation)라고 하는데,
단축 평가는 표현식을 평가하는 도중 평가 결과가 확정된 경우 나머지 평가 과정을 생략하는 것을 말한다.
true || anything // true
false || anything // anything
true && anything // anything
false && anything // false

단축평가는 if문을 대체할 수 있다.

  let done = true;
  let message = '';

  // if문 
  if(done) message = '완료';
  // 단축평가
  message = done && '완료';

  let done = false; 
  let message = '';

  // if문 --> message 할당해야 하니까 !done 사용
  if(!done) message = '미완료';
  // 단축평가 --> 작업이 false이면 두번째 피연산자 반환
  message = done || '미완료';

객체를 가리키는 변수가 Null 또는 Undefined인지 확인하고 참조하기
객체를 가리키는 변수의 값이 null 또는 undefined인 경우 객체의 프로퍼티를 참조하면 TypeError가 발생하고 프로그램이 강제 종료된다. 이 때 단축평가를 사용하면 에러가 발생하지 않는다.

  let elem = null;

  let value = elem.value; // TypeError❌
  let value = elem && elem.value; // null👍🏻 --> elem이 falsy값이니까 첫번째 피연산자값 반환

함수 매개변수에 기본값 설정할 때
함수 호출 시 인수를 전달하지 않으면 매개변수는 Undefined가 할당된다. 이 때 단축평가를 사용하여 매개변수의 기본값을 설정하여 에러를 방지할 수 있다.

  function getStringLength(str){
      str = str || '';
      return str.length;
  }

  getStringLength(); // 0
  getStringLength('hi'); // 2

  // ES6의 매개변수 기본값 설정도 가능!
  function getStringLength(str = ''){
      return str.length;
  }

옵셔널 체이닝 연산자( ?. )

옵셔널 체이닝 연산자(?.)는 ES11에서 도입되었다. 좌항의 피연산자가 null 또는 undefined인 경우 undefined를 반환하고, 그렇지 않으면 참조를 이어간다. 옵셔널 체이닝 연산자가 없을 때는 위 예제처럼 단축 평가를 통해 null을 체크했다.

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

// 단축 평가 시절..
let value = elem &;& elem.value;

⭐️ 논리곱(&&) 연산자는 ~~0이나 ''를 객체로 평가할 때도 있기 때문에~~, 옵셔널 체이닝 연산자(?.)를 사용해 주는 것이 안전하겠다.

null 병합 연산자( ?? )

ES11에 도입된 null 병합 연산자(??)는 좌항의 피연산자가 null 또는 undefined인 경우 우항의 피연산자를 반환한다.

let foo = null ?? 'default string';
console.log(foo); // 'default string'

null 병합 연산자는 변수에 기본값을 설정할 때 유용하게 사용된다.
이전에는 논리합(||) 연산자를 사용했지만 좌항의 피연산자가 Falsy값(false, undefined, null, 0, NaN, '')이면 우항의 피연산자를 반환한다. 하지만 null 병합 연산자는 null 또는 Undefined가 아니면 좌항의 피연산자를 그대로 반환한다.

let foo1 = '' || 'default string';
console.log(foo1); // 'default string'

let foo2 = '' ?? 'default string';
console.log(foo2); // ""

⭐️Falsy 값인 0이나 ' '도 기본값으로 유효하다면, 논리합(||) 연산자 보다는 null 병합 연산자를 사용하는 것이 낫다.

앞으로 논리합, 논리곱 연산자보다는 상황에 따라 옵셔널 체이닝 연산자나 null 병합 연산자를 사용하여 안전성을 더 높이도록 해야겠다..!!!🔥

yricog

의미와 가치를 쫓는 개발자 ✨

이전 포스트

[딥다이브] 5. 타입 변환과 단축 평가

모던 자바스크립트 딥다이브 책 톺아보기

1. 타입 변환이란?

2. 암묵적 타입 변환

문자열 타입으로 변환

숫자 타입으로 변환

불리언 타입으로 변환

3. 명시적 타입 변환

문자열 타입으로 변환

숫자 타입으로 변환

불리언 타입으로 변환

4. 단축 평가 ⭐️

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

논리곱(&&) 연산자

논리합(||) 연산자

옵셔널 체이닝 연산자( ?. )

null 병합 연산자( ?? )

[딥다이브] 4. 연산자

0개의 댓글