타입변환

  • 타입변환이란 기존 원시값을 사용해 다른 타입의 새로운 원시값을 생성하는 것.
  • 개발자가 의도적으로 타입을 변환하는 것을 명시적 타입 변환(explicit correction) 또는 타입 캐스팅(type casting) 이라고 한다.
    var x = 10;
    // 명시적 타입 변환, 숫자 -> 문자열로 타입 캐스팅한다.  
    var str = x.toString();  
    console.log(typeof str, str);  // string 10
         
    // x변수의 값이 변경되는 것은 아님
    console.log(typeof x, x); // number 10
    
  • 개발자의 의도와는 상관없이 표현식이 평가되는 와중에 자바스크립트엔진에 의해 암묵적으로 타입이 자동변환되기도 하는데
    이를 암묵적 타입변환(implicit correction) 또는 타입 강제 변환(type correction) 이라고 한다.
    var x = 10;   
    // 암묵적 타입 변환  
    var str = x + ' ';  // 문자열 연결 연산자는 숫자 타입 x의 값을 바탕으로 새로운 문자열을 생성함  
    console.log(type of str, str);  // string 10   
        
    // x 변수의 값이 변경되는것은 아님  
    console.log(typeof x, x);  // number 10  
    

암묵적 타입 변환

  • 자바스크립트 엔진은 표현식을 평가할 때 개발자의 의도와 상관없이 코드문맥에 따라 암묵적으로
    데이터 타입을 강제 변환할 때가 있음
  • 암묵적 타입 변환이 발생하면 문자열, 숫자, 불리언과 같은 원시 타입 중 하나로 타입을 자동 변환함

    1) 문자열 타입으로 변환
    자바스크립트 엔진은 문자열 타입이 아닌 값을 문자열 타입으로 변환할때 다음과 같이 동작함

       // 숫자타입  
       0 + ''     // -> "0"  
       -0 + ''    // -> "0"  
       1 + ''     // -> "1"  
       -1 + ''    // -> "-1"  
       Nan + ''   // -> "Nan"  
       Infinity + ''  // -> "Infinity"  
       -Infinity + ''  // -> "-Infinity"  
         
       // 불리언타입  
       true + '' // -> "true"
       false + '' // -> "false"  
         
       // null 타입
       null + ''   // -> "null"  
         
       // undefined 타입
       undefined + '' // -> "undefined"  
    
       // 객체 타입  
       [10, 20] + '' // -> "10,20"  
    

    2) 숫자 타입으로 변환
    산술 연산자(-, *, /)의 역할은 숫자 값을 만드는 것이다.
    따라서 산술연산자의 모든 피연산자는 코드 문맥상 모두 숫자 타입이어야 한다.
    자바스크립트 엔진은 산술연산자 표현식을 평가하기 위해 산술연산자의 피연산자 중에서 숫자타입이 아닌 피연산자를 숫자 타입으로 암묵적 타입변환한다.
    이 때 피연산자를 숫자타입으로 변환할 수 없는 경우, 산술연산 수행이 불가능하므로 표현식의 평과 결과는 NaN이 된다.
    피연산자를 숫자 타입으로 변환해야 하는 문맥은 비교연산자인 경우도 있다.
    ex)

        '1' > 0 // -> true
    

    자바스크립트 엔진은 숫자 타입이 아닌 값을 숫자 타입으로 암묵적 타입 변환을 수행할 때 다음과 같이 동작한다.

       // + 단항 연산자는 피연산자가 숫자타입의 값이 아니면 숫자 타입의 값으로 암묵적 타입변환을 수행한다.  
       // 문자열 타입  
       +''          // -> 0
       +'0'         // -> 0
       +'1'         // -> 1
       +'string'    // -> NaN
         
       // 불리언 타입 
       +true      // -> 1
       +false     // -> 0
         
       // null 타입
       +null      // -> 0
         
       // undefined 타입
       +undefined   // -> NaN  
         
       // 객체 타입
       +{}        // -> NaN
       +[]        // -> 0
       +[10, 20]  // -> NaN
    

    빈 문자열(‘’), 빈 배열([]), null, false는 0으로, true은 1로 반환된다.
    객체와 빈배열이 아닌 배열, undefined는 변환되지 않아 Nan이 된다는 것에 주의할 것 !

    3) 불리언타입으로 변환
    if 문이나 for문과 같은 제어문 또는 삼항연산자의 조건식은 불리언값, 즉 논리적 참/거짓으로 평가되어야하는 표현식이다.
    자바스크립트 엔진은 조건식의 평과 결과를 불리언 타입으로 암묵적 타입 변환한다.
    이 때, 자바스크립트 엔진은 불리언 타입이 아닌 값을 Truthy 값(참으로 평가되는 값) 또는 Falsy 값(거짓으로 평가되는 값)으로 구분한다.
    즉, 불리언값으로 평가되어야 하는 문맥에서 Truthy값은 ture로 False 값은 false로 암묵적 타입 변환한다.
    아래 값들은 false로 평가되는 Falsy값이다.
    (Falsy값 외의 모든 값은 모두 ture로 평가되는 Truthy 값!)
    * false
    * undfined
    * null
    * 0, -1
    * NaN
    * ‘‘(빈문자열)


명시적 타입 변환

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

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

  • 단축평가는 표현식을 평가하는 도중에 평가결과가 확정된 경우, 나머지 평과결과를 생략하는 것을 말함!
  • 논리합(||) 또는 논리곱(&&) 연산자 표현식의 평가는 불리언값이 아닐 수 있다.
    논리합(||) 또는 논리곱(&&) 연산자 표현식은 언제나 2개의 피연산자 중 어느 한쪽으로 평가된다.
  • 논리곱 연산자는 논리 연산의 결과를 결정하는 두번쨰 피연산자를 그대로 반환하고, 논리합 연산자는 논리 연산의 결과를 결정한 첫번째 피연산자를 그대로 반환한다.
    ex)
     'Cat' && 'Dog'   // -> "Dog" 
     'Cat' || 'Dog'   // -> "Cat"
    
  • 논리곱(&&) 연산자와 논리합(||) 연산자는 이처럼 논리연산자를 결정하는 피연산자를 타입변환하지 않고 그대로 반환한다.
    이를 단축평가(short-circuit evaluation) 라 한다.
  • 단축평가는 다음 규칙을 따른다.
단축평가 표현식 평가 결과
true||anything true
false||anything anything
true && anything anything
false && anything false
  • 단축평가를 사용하면 if문을 대체할 수 있다.
    어떤 조건이 Truthy 값일때 무언가를 해야한다면 논리곱(&&)연산자 표현식으로 if문 대체가능함
    ex)
    var done = true; 
    var message = '';
      
    if (done) message = '완료';   
    
    message = done && '완료';  // done이 true라면 message에 '완료'할당
    console.log(message) // 완료  
    

    어떤 조건이 Falsy 값일때 무언가를 해야한다면 논리합(||)연산자 표현식으로 if문 대체가능!
    ex)

    var done = false;
    var message = ''; 
    
    if (!done) message = '미완료';  
    
    message = done || '미완료'; // done이 false라면 message에 '미완료'할당
    console.log(message); // 미완료
    
  • 단축평가는 다음과 같은 상황에서 유용하게 사용된다.
    1) 객체 프로퍼티 참조할 때 객체가 null또는 undefined가 아닌지 확인할 때
    객체는 키(key)와 값(value)로 구성된 프로퍼티의 집합이다.
    만약 객체가 가리키는 변수가 null 또는 undefined인 경우 객체의 프로퍼티를 참조하면 타입에러(Type Error)가 발생하면서 프로그램이 강제종료된다.
    이 때, 단축평가를 사용하면 에러를 발생시키지 않는다.
    ex)
       var elem = null;
       var value = elem.value; // TypeError: Cannot read property 'value' of null
       // elem이 null이나 undefined와 같은 Falsy값이면 elem으로 평가되고  
       // elem이 Truthy값이면 elem.value로 평가됨  
       var value2 = elem && elem.value;   // -> null  
    

    2) 함수 매개변수에 기본값을 설정할 때
    함수를 호출할 때 인수를 전달하지않으면 매개변수에는 undefined가 할당됨
    이 때 단축평가를 사용해 매개변수의 기본값을 설정하면 undefined 로 인해 발생할 수 있는 에러방지가능 ex)

       function getStringLength(str) { 
          str = str || '';  // 단축평가를 이용한 매개변수의 기본값 설정
          return str.length;  
       }  
    
       getStringLength();       // -> 0
       getStringLength('hi');   // -> 2
    

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

  • 옵셔널 체이닝 연산자 ?.는 ES11(ECMASCript2020)에서 도입되었다.
  • 옵셔널 체이닝 연산자 ?. 는 좌항의 피연산자가 null 또는 undefined인 경우 undefined를 반환하고,
    그렇지않으면 우항의 프로퍼티를 참조한다.
    ex)
    var elem = null;
    // elem이 null 또는 undefined이면 undefined를 반환
    var value = elem?.value;
    console.log(value);  // undefined  
    
  • 옵셔널 체이닝 연산자 ?.가 도입되기 이전에는 논리연산자 &&를 사용한 단축평가를 통해
    변수가 null 또는 undefined인지 확인했다.
  • 논리 연산자 &&는 좌항 피연산자가 false로 평가되는 Falsy값(false, undefined, null, 0, -0, NaN, ‘‘)이면
    좌항의 피연산자를 그대로 반환한다.
    하지만0이나 ‘‘은 객체로 평가될 때도 있다.
    ex)
    var str = '';
    var length = str && str.length; 
    // 문자열의 길이(length)를 참조하지 못한다.  
    console.log(length);  // '' 
    
  • 옵셔널 체이닝 연산자 ?.는 좌항피연산자가 flase로 평가되는 Falsy값(false, undefined, null, 0, -0, NaN, ‘‘)이라도 null 또는 undefined가 아니면 우항의 프로퍼티 참조를 이어간다.
    ex)
    var str = '';
    var length = str.length;
    console.log(length);  // 0
    

null 병합연산자(nullish coalescing) : ??

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

참조(모던 자바스크립트 Deep Dive)