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

9.1 타입 변환이란?

• 명시적 타입변환explicit coercion , 타입 캐스팅type casting : 개발자가 의도적으로 값의 타입을 변환하는 것
• 암묵적 타입 변환implicit coercion, 타입 강제 변환 type coercion : 개발자의 의도와는 상관없이 표현식을 평가하는 도중에 자바스크립트 엔진에 의해 암묵적으로 타입이 자동 변환되는 것
• 기존의 원시 값을 직접 변경하는 것은 아니며, 기존 원시 값을 사용해 다른 타입의 새로운 원시 값을 생성한다.

즉, 암묵적 타입 변환은 기존 변수 값을 재할당하여 변경하는 것이 아니며, 자바스크립트 엔진은 표현식을 에러 없이 평가하기 위해 피연산자의 값을 암묵적 타입 변환해 새로운 타입의 값을 만들어 단 한 번 사용하고 버린다.

9.2 암묵적 타입 변환

9.2.1 문자열 타입으로 변환

• 자바스크립트 엔진은 표현식을 평가할 때 코드 문맥에 부합하도록 암묵적 타입 변환을 실행한다.

1 + '2' // -> "12"
// + 연산자는 피연산자 중 하나 이상이 문자열이므로 문자열 연결 연산자로 동작한다. 
// 문자열 연결 연산자의 역할 : 문자열 값을 만드는 것

9.2.2 숫자 타입으로 변환

• 산술연산자 : 숫자 값을 만드는 것이 역할이다.
• - , *, /
• 비교 연산자의 역할은 불리언 값을 만드는 것인데, 크기를 비교해야하므로 암묵적 타입 변환한다.
• 자바스크립트 엔진은 숫자타입이 아닌 값을 숫자 타입으로 암묵적 타입 변환을 수행할 때 다음과 같이 동작한다.

// 즉, +단항 연산자는 피연산자가 숫자 타입의 값이 아니면 숫자 타입의 값으로 암묵적 타입 변환을 수행한다. 

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

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

//null 타입
+null // 0

// undefined 타입
+undefined // NaN

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

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

빈문자열, 빈 배열, null, false : 0
true : 1
객체, 빈 배열이 아닌 배열, undefined : NaN

9.2.3 불리언 타입으로 변환

자바스크립트 엔진은 불리언 타입이 아닌 값을 Truthy 값(참으로 평가되는 값) 또는 Falsy 값 (거짓으로 평가되는 값)으로 구분한다.

Falsy 값 (truthy값은 이를 제외한 모든 값)

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

9.3 명시적 타입 변환

9.3.1 문자열 타입으로 변환

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

// 1. String 생성자 함수를 new 연산자 없이 호출하는 방법
// number => String
String(1); //"1"
String(NaN); //"NaN"
String(Infinity); //"Infinity"

//불리언 타입 => 문자열타입
String(true); //"true"
String(false); //"false"

// 2. Object.prototype.toString  메서드를 사용하는 방법
(1).toString();
(NaN).toString();

//3. 문자열 연결 연산자를 이용하는 방법
1 + '';
NaN + '';

9.3.2 숫자 타입으로 변환

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

// 1. Number 생성자 함수를 new 연산자 없이 호출하는 방법
// number => String
Number('0'); // 0
Number('-1'); // -1
Number('10.53'); // 10.53

//불리언 타입 => 문자열타입
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
+'10.53'; //10.53

// 4. * 산술 연산자를 이용하는 방법 (숫자 1을 곱해주면 된다.)
'0' * 1; // 0
'-1' * 1 //-1

9.3.3 불리언 타입으로 변환

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

// 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개의 피연산자 중 어느 한쪽으로 평가된다.

'Cat' && 'Dog' // Dog
'눈누' || '난나' // '눈누'

// 논리곱 연산자와 논리합 연산자는 좌항에서 우항으로 평가가 진행된다.
// 논리곱 연산자 (&&)는 모든 피연산자를 체크하므로,  문자열 'Dog'를 그대로 반환한다.
// 논리합 연산자 (||)는 첫번째 피연산자 'Cat'이 Truthy 값이므로 true로 평가되며, 문자열 'Cat'을 그대로 반환한다. 

단축 평가 short-circuit evaluation

→ 논리곱연산자와 논리합 연산자는 논리연산의 결과를 결정하는 피연산자를 타입 변환하지 않고 그대로 반환한다.

→ 표현식을 평가하는 도중에 평가 결과가 확정된 경우 나머지 평가 과정을 생략하는 것

Untitled

if문에서 어떤 조건이 Truthy 값일때 코드실행 시 논리곱(&&) 연산자 표현식 사용하기

var done = true;
var message = '';

//if(done) message = '완료';
//위의 코드보다 아래의 코드가 더 깔끔하다.

message = done && '완료';
// 논리곱(&&)은 피연산자 둘 다 true 의 값이어야 한다. 
// done 이 true라서 다음 피연산자인 '완료'로 넘어가고 '완료'도 truthy 값이기 때문에 '완료'가 할당된다. 

if문에서 어떤 조건이 Falsy 값일때 코드실행 시 논리합(||) 연산자 표현식 사용하기

var done = false;
var message = '';

// 주어진 조건이 false 일때
//if(!done) message = '미완료';
//위의 코드보다 아래의 코드가 더 깔끔하다.

message = done || '미완료';
// 논리합(||)은 피연산자 중 하나만 true의 값이어도 된다. 
// done은 false 값이고 '미완료' 문자열은 Truthy이지만  논리합연산자는 하나의 항만 true면 되기 때문에 '미완료'가 할당된다. 

위의 코드를 정리해보자.

var done = true;
var message = '';

message = done ? '완료' : '미완료'

console.log(message)

✨단축 평가가 유용하게 사용되는 경우

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

// 객체를 가리키기를 기대하는 변수의 값이 객체가 아니라 null 또는 undefined인 경우 객체의 프로퍼티를 참조하면 타입에러가 발생한다. 
var elem = null;
var value = elem.value; // TypeError: Cannot read property 'value' of null

// 이 때 단축 평가를 사용하면 에러를 발생시키지 않는다. 
var elem = null;
// elem이 null이나 undefined와 같은 Falsy 값이면 elem으로 평가되고
// elem이 Truthy값이면 elem.value로 평가된다. 
var value = elem && elem.value; // null

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

• 힘수를 호출할 때 인수를 전달하지 않으면 매개변수에는 undefined가 할당된다. 이때 단축 평가를 사용해 매개변수의 기본값을 설정하면 undefined로 인해 발생할 수 있는 에러를 방지할 수 있다.

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

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

// =========================================

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

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

9.4.2 옵셔널 체이닝 연산자 ?. (ES11 , ECMAScript2020)

• 좌항의 피연산자가 null 또는 undefined인 경우 undefined을 반환, 그렇지 않으면 우항의 프로퍼티 참조를 이어간다.
• 객체를 가리키기를 기대하는 변수가 null 또는 undefined가 아닌지 확인하고, 프로퍼티를 참조할 때 쓰인다.
• 옵셔널 체이닝 연산자 도입 이전에는 논리연산자 &&를 이용한 단축평가를 통해 변수가 null 또는 undefined인지 확인했다.

//옵셔널 체이닝 연산자 사용
var elem = null;

//elem이 null 또는 undefined이면 undefined를 반환하고, 그렇지 않으면 우항의 프로퍼티 참조를 이어간다. 
var value = elem?.value;
console.log(value); //undefined

// 단축평가 사용
var elem = null;

//elem이 Falsy 값이면 elem으로 평가되고, elem이 Truthy값이면 elem.value로 평가된다. 
var value = elem && elem.value;
console.log(value) // null

9.4.3 null 병합 연산자 ?? (ES11 , ECMAScript2020)

• 좌항의 피연산자가 null 또는 undefined인 경우 우항의 피연산자를 반환하고, 그렇지 않으면 좌항의 피연산자를 반환한다.
• null 병합연산자 ??는 변수에 기본값을 설정할 때 유용하다.