자바스크립트/모던 자바스크립트 Deep Dive

타입 변환과 단축 평가

막이86 2023. 11. 15. 11:05
728x90

모던 자바스크립트 Deep Dive을 요약한 내용입니다.

9.1 타입 변환이란?

  • 값의 타입은 개발자의 의도에 따라 다른 타입으로 변환할 수 있다.
  • 개발자가 의도적으로 값의 타입을 변환하는 것을 명시적 타입 변환 또는 타입 캐스팅이라 한다.
  • var x = 10 // 명시적 타입 변환 var str = x.toString() console.log(typeof str, str) console.log(typeof x, x)
  • 개발자의 의도와 상관없이 자바스크립트 엔진에 의해 암묵적으로 타입이 자동으로 변환하는 것을 암묵적 타입 변환 또는 타입 강제 변환 이라 한다.
  • var x = 10 // 암묵적 타입 변환 var str = x + '' console.log(typeof str, str) console.log(typeof x, x)
  • 명시적 타입 변환이나 암묵적 타입 변환이 기존 원시 값을 직접 변경하는 것은 아니다.
  • 타입 변환이란 기존 원시 값을 사용해 다른 타입의 새로운 원시 값을 생성하는 것이다.
  • 명시적 타입 변환은 타입을 변경하겠다는 개발자의 의지가 코드에 명백히 드러난다. 하지만 암묵적 타입 강제 변환은 자바스크립트 엔진에 의해 암묵적으로 변환되기 때문에 타입을 변경하겠다는 개발자의 의지가 코드에 명백히 나타나지는 않는다.
  • 타입 변환 결과를 예측하지 못하거나 예측이 결과와 일치하지 않는다면 오류를 생산할 가능성이 높아진다.
  • 명시적 타입 변환만 사용하고 암묵적 타입 변환은 발생하지 않도록 코드를 작성한다면 어떨까?
    • 때로는 명시적 타입 변환보다는 암묵적 타입 변환이 가독성 측면에서 더 좋을 수 있다.
  • 중요한 것은 코드를 예측할 수 있어야 한다는 것
    • 동료가 작성한 코드를 정확히 이해할 수 있어야 하고 자신이 작성한 코드도 동료가 쉽게 이해할 수 있어야 한다.

9.2 암묵적 타입 변환

  • 자바스크립트 엔진은 표현식을 평가할 때 개발자의 의도와는 상관없이 코드의 문맥을 고려해 암묵적으로 대이터 타입을 강제 변환할 때가 있다.
  • '10' + 2 // '102' 5 * '10' // 50 !0 // true if (1) { console.log('1') }

9.2.1 문자열 타입으로 변환

1 + '2'   // '12'
    • 연산자는 피연산자 중 하나 이상의 문자열이므로 문자열 연결 연산자로 동작한다.
  • 문자열 연결 연산자의 역활은 문자열 값을 만드는 것, 모든 피연산자는 코드의 문맥상 모두 문자열 타입이여야 한다.
  • 자바스크립트 엔진은 문자열 연결 연산자 표현식을 평가하기 위해 문자열 연결 연산자의 피연산자 중에서 문자열 타입이 아닌 피연산자를 문자열 타입으로 암묵적 타입 변환한다.
  • 피연산자만이 암묵적 타입 변환의 대상이 되는 것은 아니다.
    • 자바스크립트 엔진은 표현식을 평가 할 때 코드 문맥에 부합하도록 암묵적 타입 변환을 실행한다.
  • 자바스크립트 엔진은 문자열 타입 아닌 값을 문자열 타입으로 암묵적 타입 변환을 수행할 때 동작
  • 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()) + '' // Uncaught 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이 된다.
1 - '1'     // 0
1 * '10'    // 10
1 / 'one'   // NaN
    • 단항 연산자는 피연산자가 숫자 타입의 값이 아니면 숫자 타입의 값으로 암묵적 타입 변환을 수행한다.
// 문자열 타입
+''                // 0
+'0'               // 0
+'1'               // 1
+'string'          // NaN

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

// null 타입
+null              // 0

// undefined 타입
+undefined         // NaN

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

// 객체 타입
+{}                // NaN
+[]                // 0
+[10, 20]          // NaN
+(function(){})    // NaN
  • 빈 문자열(’’), 빈 배열([]), null, false는 0으로, true는 1로 변환된다.
  • 객체와 빈 배열이 아닌 배열, undefined는 변환되지 않아 NaN이 된다는 것에 주의하지

9.2.2 불리언 타입으로 변환

  • 자바스크립트 엔진은 조건식의 평가 결과를 불리언 타입으로 암묵적 타입 변환 한다.
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 값(거짓으로 평가되는 값)으로 구분한다.
  • 제어문의 조건식과 같은 불리언 값으로 평가 되어야 할 문맥에서 Truthy 값은 true로 Falsy 값은 false로 암묵적 타입 변환된다.
  • false로 평가되는 Falsy 값
    • false
    • undefined
    • null
      1. -0
    • NaN
    • ‘’(빈 문자열)
  • Falsy 값 이외의 모든 값은 모두 true로 평가되는 Truthy 값이다.
  • if (!false) console.log(false + ' is falsy value') if (!undefined) console.log(undefined + ' is falsy value') if (!null) console.log(null + ' is falsy value') if (!0) console.log(0 + ' is falsy value') if (!NaN) console.log(NaN + ' is falsy value') if (!'') console.log('' + ' is falsy value')
  • Truthy/Falsy 값을 판별하는 함수
  • function isFalsy(v) { return !v } function isTruthy(v) { return !!v } // 모두 true를 반환한다. isFalsy(false) isFalsy(undefined) isFalsy(null) isFalsy(0) isFalsy(NaN) isFalsy('') // 모두 true를 반환한다. isTruthy(true) isTruthy('0') isTruthy({}) isTruthy([])

9.3 명시적 타입 변환

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

9.3.1 문자열 타입으로 변환

  • 문자열 타입이 아닌 값을 문자열 타입으로 변환하는 방법은 다음과 같아
    • String 생성자 함수를 new 연산자 없이 호출하는 방법
    • Object.prototype.toString 메서드를 사용하는 방법
    • 문자열 연결 연산자를 이용하는 방법
    // 1. String 생성자 함수를 new 연산자 없이 호출하는 방법
    // 숫자 타입 => 문자열 타입
    String(1)
    String(NaN)
    String(Infinity)
    // 불리언 타입 => 문자열 타입
    String(true)
    String(false)
    
    // 2. Object.prototype.toString 메서드를 사용하는 방법 
    // 숫자 타입 => 문자열 타입
    (1).toString()
    (NaN).toString()
    (Infinity).toString()
    // 불리언 타입 => 문자열 타입
    (true).toString()
    (false).toString()
    
    // 3. 문자열 연결 연산자를 이용하는 방법 
    // 숫자 타입 => 문자열 타입
    1 + ''
    NaN + ''
    Infinity + ''
    // 불리언 타입 => 문자열 타입
    true + ''
    false + ''
    

9.3.2 숫자 타입으로 변환

  • 숫자 타입이 아닌 값을 숫자 타입으로 변환하는 방법은 다음과 같다.
    • Number 생성자 함수를 new 연산자 없이 호출하는 방법
    • parseInt.parseFloat 함수를 사용하는 방법(문자열만 숫자타입으로 변환 가능)
    • *산술 연산자를 이용하는 방법
    // 1. Number 생성자 함수를 new 연산자 없이 호출하는 방법
    // 문자열 타입 => 숫자 타입
    Number('0')
    Number('-1')
    Number('10.53')
    // 불리언 타입 => 숫자 타입
    Number(true)
    Number(false)
    
    // 2. parseInt.parseFloat 함수를 사용하는 방법(문자열만 숫자타입으로 변환 가능)
    // 문자열 타입 => 숫자 타입
    parseInt('0')
    parseInt('-1')
    parseInt('10.53')
    
    // 3. +단항 산술 연산자를 이용하는 방법
    // 문자열 타입 => 숫자 타입
    +'0'
    +'-1'
    +'10.53'
    // 불리언 타입 => 숫자 타입
    +true
    +false
    
    // 4. *산술 연산자를 이용하는 방법
    // 문자열 타입 => 숫자 타입
    '0'*1
    '-1'*1
    '10.54'*1
    // 불리언 타입 => 숫자 타입
    true*1
    false*1
    

9.3.3 불리언 타입으로 변환

  • 불리언 타입이 아닌 값을 불리언 타입으로 변환하는 방법은 다음과 같다
    • 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
    

9.4 단축 평가

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

  • ‘논리합(||) 또는 논리곱(&&) 연산자 표현식의 평가 결과는 불리언 값이 아닐 수도 있다. 논리합 또는 논리곱 연산자 표현식은 언재나 2개의 피연산자 중 어느 한쪽으로 평가된다.’
  • 논리곱(&&) 연산자는 두 개의 피연산자가 모두 true로 평가될 때 true를 반환한다.
  • 논리곱 연산자는 좌항에서 우항에서 평가가 진행된다.
    • 마지막 피연산자가 논리곱 연산자 표현식의 평가 결과를 결정한다.
  • 논리 연산의 연산결과를 결정하는 두 번째 피연산자. 즉 문자열 ‘Dog’를 반환 한다.
  • 'Cat' && 'Dog' // 'Dog'
  • 논리합(||) 연산자는 두 개의 피연산자 중 하나만 true로 평가되어도 true를 반환한다.
  • 논리합 연산자도 좌항에서 우항으로 평가가 진행된다.
    • 논리 연산의 결과를 결정한 첫 번째 피연산자 문자열 ‘Cat’을 그대로 반환한다.
    'Cat' || 'Dog'     // 'Cat'
    
  • 논리곱 연산자와 논리합 연산자는 논리연산의 결과를 결정하는 피연산자를 타입 변환하지 않고 그대로 반환한다. 이를 단축 평가라 한다.
    • 단축 평가는 표현식을 평가하는 도중에 평가 결과가 확정된 경우 나머지 평가 과정을 생략하는 것을 말한다.
// 논리합(||) 연산자
'Cat' || 'Dog'        // 'Cat'
false || 'Dog'        // 'Dog'
'Cat' || false        // 'Cat'

// 논리곱(&&) 연산자
'Cat' && 'Dog'        // 'Dog'
false && 'Dog'        // false
'Cat' && false        // false
  • 단축 평가를 사용한면 if 문을 대체할 수 있다.
  • Truthy 값일 때 무언가를 해야한다면 논리곱(&&) 연산자 표현식으로 if 문을 단축 할 수 있다.
  • var done = true var message = '' if (done) { message = '완료' } // if 문은 단축 평가로 대체 가능하다. message = done && '완료' console.log(message)
  • Falsy 값일 때 무언가를 해야 한다면 논리합(||) 연산자 표현식으로 if 문을 대체할 수 있다.
  • var done = false var message = '' if (!done) { message = '미완료' } // if 문은 단축 평가로 대체 가능하다. message = done || '미완료' console.log(message)
  • 삼항 조건 연산자는 if…else를 대체할 수 있다.
  • var done = true var message = '' if (done) { message = '완료' } else { message = '미완료' } // if...else 문은 삼항 조건 연산자로 대체 가능하다. message = done ? '완료' : '미완료' console.log(message)

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

  • 객체는 키와 값으로 구성된 프로퍼티의 집합이다
  • 객체를 가르키기를 기대하는 변수의 값이 객체가 아니라 null 또는 undefined인 경우 객체의 프로퍼티를 참조하면 타입 에러가 발생한다.
  • var elem = null var value = elem.value // Uncaught TypeError: Cannot read properties of null (reading 'value')
  • 이때 단축 평가를 사용하면 에러를 발생시키지 않는다.
  • var elem = null var value = elem && elem.value. // null

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

  • 함수를 호출할 때 인수를 전달하지 않으면 매개변수에는 undefined가 할당된다.
  • 단출 평가를 사용해 매개변수의 기본값을 설정하면 undefined 로 인해 발생할수 있는 에러를 방지할 수 있다.
function getStringLength(str) {
	str = str || ''
	return str.length
}

getStringLength()      // 0
getStringLength('hi')  // 1

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

getStringLength()      // 0
getStringLength('hi')  // 1

9.4.2 옵션널 체이닝 연산자

  • ES11 에서 도입된 옵셔널 체이닝 연산자 ?.는 좌항의 피연산자가 null 또는 undefined인 경우 undefined를 반환하고 그렇지 않으면 우항의 프로퍼티 참조를 이어간다.
  • var elem = null var value = elem?.value console.log(value) // undefined
  • 논리 연산자 && 는 좌항 피연산자가 false로 평가되는 Falsy 값(false, undefined, null, 0, -0, NaN, ‘’)이면 좌항 피연산자를 그대로 반환한다.
    • 0이나 ‘’은 객체로 평가될 때도 있다.
    • var str = ''; var length = str && str.length console.log(length) // ''
  • 옵셔널 체이닝 연산자 ?.는 좌항 피연산자가 false로 평가되는 Falsy 값이라도 null 또는 undefined가 아니면 우항의 프로퍼티 참조를 이어간다
  • var str = ''; var length = str?.length console.log(length) // 0

9.4.3 null 병합 연산자

  • ES11에서 도입된 null 병합 연산자 ??는 좌항의 피연산자가 null 또는 undefined인 경우 우항의 피연산자를 반환하고 그렇지 않으면 좌항의 피연산자를 반환한다.
  • null 병합 연산자 ??는 변수에 기본값을 설정할 때 유용하다.
  • var foo = null ?? 'default string' console.log(foo)
  • 병합 연산자 ??가 도입되기 이전에는 논리 연산자 ||를 사용한 단축 평가를 통해 변수에 기본값을 설정했다.
    • 논리 연산자 ||를 사용한 단축 평가의 경우 좌항의 피연산자가 false로 평가되는 Falsy 값이면 우항의 피연산자를 반환한다.
    • Falsy 값이 0이나 ‘’도 기본값으로서 유효하다면 예기치 않은 동작이 발생할 수 있다.
    // Falsy 값인 0이나 ''도 기본값으로서 유효하다면 예기치 않은 동작이 발생할 수 있다.
    var foo = '' || 'default string'
    console.log(foo)   // 'default string'
    
    • null 병합 연산자 ??는 좌항의 피연산자가 false로 평가되는 Falsy 값이라도 null 또는 undefined가 아니면 좌항의 피연산자를 그대로 반환한다.
    var foo = '' ?? 'default string'
    console.log(foo)   // ''
    
728x90

'자바스크립트 > 모던 자바스크립트 Deep Dive' 카테고리의 다른 글

전역 변수의 문제점  (1) 2023.11.15
스코프  (0) 2023.11.15
함수  (1) 2023.11.15
원시 값과 객체의 비교  (0) 2023.11.15
객체 리터럴  (0) 2023.11.15