모던자바스크립트 7장 연산자

연산자: 하나 이상의 표현식을 대상으로 산술,할당,비교,논리,타입 등을 수행해 하나의 값을 만든다.

피연산자: 연산의 대상, 값으로 평가될 수 있는 표현식

// 산술 연산자
5 * 4 // -> 20
// 문자열 연결 연산자
'My name is ' + 'Lee' // -> 'My name is Lee'
// 할당 연산자
color = 'red' // -> 'red'
// 비교 연산자
3 > 5 // -> false
// 논리 연산자
true && false // -> false
// 타입 연산자
typeof 'Hi' // -> string

피연산자가 '값'이라는 명사의 역할을 한다면, 연산은 '피연산자를 연산하여 새로운 값을 만든다'라는 동사의 역할

7.1 산술 연산자

산술연산자: 피연산자를 대상으로 수학적 계산을 수행해 새로운 숫자 값을 만든다.

7.1.1 이항 산술 연산자

+,-, *, /, %

5 + 2; // -> 7
5 - 2; // -> 3
5 * 2; // -> 10
5 / 2; // -> 2.5
5 % 2; // -> 1

7.1.2 단항 산술 연산자

단항산술연산자: 1개의 피연산자를 산술 연산하여 숫자 값을 만든다.
++,--,+,-

var x = 1;

// ++ 연산자는 피연산자의 값을 변경하는 암묵적 할당이 이뤄진다.
x++; // x = x + 1;
console.log(x); // 2

// -- 연산자는 피연산자의 값을 변경하는 암묵적 할당이 이뤄진다.
x--; // x = x - 1;
console.log(x); // 1

증감연산자는 위치에 의미가 있다.

var x = 5, result;

// 선할당 후증가(postfix increment operator)
result = x++;
console.log(result, x); // 5 6

// 선증가 후할당(prefix increment operator)
result = ++x;
console.log(result, x); // 7 7

// 선할당 후감소(postfix decrement operator)
result = x--;
console.log(result, x); // 7 6

// 선감소 후할당 (prefix decrement operator)
result = --x;
console.log(result, x); // 5 5

+단항 연산자는 숫자형에 대해서는 아무런 효과 X

// 아무런 효과가 없다.
+10;    // -> 10
+(-10); // -> -10

숫자 아닌 피연산자에 + 단항 연산자를 사용하면 피연산자를 숫자 타입으로 변환

var x  = '1';

// 문자열을 숫자로 타입 변환한다.
console.log(+x); // 1
// 부수 효과는 없다.
console.log(x);  // "1"

// 불리언 값을 숫자로 타입 변환한다.
x = true;
console.log(+x); // 1
// 부수 효과는 없다.
console.log(x);  // true

// 불리언 값을 숫자로 타입 변환한다.
x = false;
console.log(+x); // 0
// 부수 효과는 없다.
console.log(x);  // false

// 문자열을 숫자로 타입 변환할 수 없으므로 NaN을 반환한다.
x = 'Hello';
console.log(+x); // NaN
// 부수 효과는 없다.
console.log(x);  // "Hello"

-단항연산자는 숫자형 피연산자의 부호를 반전한 값을 반환
다른 원시형 연산자는 숫자로 변환

// 부호를 반전한다.
-(-10); // -> 10

// 문자열을 숫자로 타입 변환한다.
-'10'; // -> -10

// 불리언 값을 숫자로 타입 변환한다.
-true; // -> -1

// 문자열은 숫자로 타입 변환할 수 없으므로 NaN을 반환한다.
-'Hello'; // -> NaN

7.1.3문자열 연결 연산자

+연산자는 피연산자 중 하나 이상이 문자열인 경우 문자열 연결 연산자로 동작

// 문자열 연결 연산자
'1' + 2; // -> '12'
1 + '2'; // -> '12'

// 산술 연산자
1 + 2; // -> 3

// true는 1로 타입 변환된다.
1 + true; // -> 2

// false는 0으로 타입 변환된다.
1 + false; // -> 1

// null은 0으로 타입 변환된다.
1 + null; // -> 1

// undefined는 숫자로 타입 변환되지 않는다.
+undefined;    // -> NaN
1 + undefined; // -> NaN

!자바스크립트 엔진에 암묵적 타입 변환
불리언 타입의 값인 true를 숫자 타입인 1로 타입을 강제로 변환 후 수행
암묵적 타입 변환 또는 타입 강제 변환

7.2 할당 연산자

할당 연산자: 우항에 있는 피연산자의 평가 결과를 좌항에 있는 변수에 할당

=, +=, -=, *=, /=, %=

var x;

x = 10;
console.log(x); // 10

x += 5; // x = x + 5;
console.log(x); // 15

x -= 5; // x = x - 5;
console.log(x); // 10

x *= 5; // x = x * 5;
console.log(x); // 50

x /= 5; // x = x / 5;
console.log(x); // 10

x %= 5; // x = x % 5;
console.log(x); // 0

var str = 'My name is ';

// 문자열 연결 연산자
str += 'Lee'; // str = str + 'Lee';
console.log(str); // 'My name is Lee'

할당문은 표현문?

var x;

// 할당문은 표현식인 문이다.
console.log(x = 10); // 10

var a, b, c;

// 연쇄 할당. 오른쪽에서 왼쪽으로 진행.
// ① c = 0 : 0으로 평가된다
// ② b = 0 : 0으로 평가된다
// ③ a = 0 : 0으로 평가된다
a = b = c = 0;

console.log(a, b, c); // 0 0 0

7.3 비교연산자

비교연산자: 좌항과 우항의 피연산자를 비교한 다음 그 결과를 불리언 값으로 반환

7.3.1 동등/일치 비교 연산자

== 동등 비교, === 일치 비교 (타입까지)
!= 부동등 비교, !== 불일치 비교(타입까지)

// 동등 비교
5 == 5; // -> true

// 타입은 다르지만 암묵적 타입 변환을 통해 타입을 일치시키면 동등하다.
5 == '5'; // -> true

// 동등 비교. 결과를 예측하기 어렵다.
'0' == ''; // -> false
0 == '';   // -> true
0 == '0';  // -> true
false == 'false';   // -> false
false == '0';       // -> true
false == null;      // -> false
false == undefined; // -> false

동등 비교 연산자는 안티패턴을 유발할 수 있기에 일치 비교 연산자를 활용한다.

// 일치 비교
5 === 5; // -> true

// 암묵적 타입 변환을 하지 않고 값을 비교한다.
// 즉, 값과 타입이 모두 같은 경우만 true를 반환한다.
5 === '5'; // -> false

비교연산에서 주의할 것은 NaN!

NaN === NaN; // false

NaN은 자신과 일치하지 않는 유일한 값이다.
조사할려면 isNaN을 활용해야 한다.

// Number.isNaN 함수는 지정한 값이 NaN인지 확인하고 그 결과를 불리언 값으로 반환한다.
Number.isNaN(NaN); // -> true
Number.isNaN(10);  // -> false
Number.isNaN(1 + undefined); // -> true

숫자 0도 주의!

// 양의 0과 음의 0의 비교. 일치 비교/동등 비교 모두 결과는 true이다.
0 === -0; // -> true
0 == -0;  // -> true

-0 === +0;         // -> true
Object.is(-0, +0); // -> false

NaN === NaN;         // -> false
Object.is(NaN, NaN); // -> true

부동등과 불일치 비교 연산자는 반대 개념이다.

// 부동등 비교
5 != 8;   // -> true
5 != 5;   // -> false
5 != '5'; // -> false

// 불일치 비교
5 !== 8;   // -> true
5 !== 5;   // -> false
5 !== '5'; // -> true

7.3.2 대소 관계 비교 연산자

종류:>,<,>=,<=

// 대소 관계 비교
5 > 0;  // -> true
5 > 5;  // -> false
5 >= 5; // -> true
5 <= 5; // -> true

7.4 삼항 조건 연산자

조건식? 조건식이 true일 떄 반환할 값: 조건식이 false일 떄 반환할 값

var x = 2;

// 2 % 2는 0이고 0은 false로 암묵적 타입 변환된다.
var result = x % 2 ? '홀수' : '짝수';

console.log(result); // 짝수

var x = 2, result;

// 2 % 2는 0이고 0은 false로 암묵적 타입 변환된다.
if (x % 2) result = '홀수';
else       result = '짝수';

console.log(result); // 짝수

삼항 조건 연산자 표현식은 값처럼 사용할 수 있지만 if else문은 값처럼 사용X

var x = 10;

// if...else 문은 표현식이 아닌 문이다. 따라서 값처럼 사용할 수 없다.
var result = if (x % 2) { result = '홀수'; } else { result = '짝수'; };
// SyntaxError: Unexpected token if

7.5 논리 연산자

우항과 좌항의 피연산자를 논리 연산한다.
||,&&,!

true || true;   // -> true
true || false;  // -> true
false || true;  // -> true
false || false; // -> false

// 논리곱(&&) 연산자
true && true;   // -> true
true && false;  // -> false
false && true;  // -> false
false && false; // -> false

// 논리 부정(!) 연산자
!true;  // -> false
!false; // -> true

암묵적 타입변환

!0;       // -> true
!'Hello'; // -> false

단축평가

'Cat' && 'Dog'; // -> 'Dog'

드모르간 법칙을 활용한 가독성 높임

!(x || y) === (!x && !y)
!(x && y) === (!x || !y)

쉼표 연산자

var x,y,z
x =1, y=2, z=3;

왼쪽 피연산자부터 차례대로 피연산자를 평가하고 마지막 피연산자의 평가가 끝나면 마지막 피연산자의 평가 결과를 반환

그룹 연산자

소괄호로 피연산자를 감싸는 그룹은 가장 먼저 평가 -> 그룹연산자는 연산자 우선순위가 가장 높다

10 * 2 + 3; //23
10 * (2 + 3); //50

typeof 연산자

typeof 연산자는 피연산자의 데이터 타입을 문자열로 반환

typeof ''              // -> "string"
typeof 1               // -> "number"
typeof NaN             // -> "number"
typeof true            // -> "boolean"
typeof undefined       // -> "undefined"
typeof Symbol()        // -> "symbol"
typeof null            // -> "object"
typeof []              // -> "object"
typeof {}              // -> "object"
typeof new Date()      // -> "object"
typeof /test/gi        // -> "object"
typeof function () {}  // -> "function"

typeof 연산자로 null값을 연산해보면 null이 아닌 object를 반환하는데 주의! -> 버그

따라서 null일때 확인은 일치 연산자로 확인

var foo = null;

typeof foo === null; // -> false
foo === null;        // -> true

또한 선언된지 않은 식별자를 typeof 연산자로 연산해보면 ReferenceError를 발생X undefined를 반환

// undeclared 식별자를 선언한 적이 없다.
typeof undeclared; // -> undefined

7.9 지수 연산자

ES7부터 도입 좌항의 피연산자를 밑, 우항의 피연산자를 지수로 제공

2 ** 2;   // -> 4
2 ** 2.5; // -> 5.65685424949238
2 ** 0;   // -> 1
2 ** -2;  // -> 0.25

이전에는 Math.pow사용

Math.pow(2, 2);   // -> 4
Math.pow(2, 2.5); // -> 5.65685424949238
Math.pow(2, 0);   // -> 1
Math.pow(2, -2);  // -> 0.25

주의사항 음수를 거듭제곱의 밑으로 사용하려면 다음과 같이 괄호로 묶어야한다

-5 ** 2;
// SyntaxError: Unary operator used immediately before exponentiation expression.
// Parenthesis must be used to disambiguate operator precedence

(-5) ** 2; // -> 25

할당연산자로도 사용가능하고 이항연산자중에서 우선순위가 가장높다

var num = 5;
num **= 2; // -> 25
2 * 5 ** 2; // -> 50

7.10 그 외 연산자

?옵셔널 체이닝 연산자
?? null 병합 연산자
delete 프로퍼티 삭제
new 생성자함수를 호출할 때 사용하여 인스턴스를 생성

instanceof 좌변의 객체가 우변의 생성자 함수와 연결된 인스턴스 판별
in 프로퍼티 존재 확인

7.11 부수효과

대부분 연산자는 다른 코드에 영향 X

하지만 할당 = , 증감 ++/--, delete는 영향을 준다

var x;

// 할당 연산자는 변수 값이 변하는 부수 효과가 있다.
// 이는 x 변수를 사용하는 다른 코드에 영향을 준다.
x = 1;
console.log(x); // 1

// 증가/감소 연산자(++/--)는 피연산자의 값을 변경하는 부수 효과가 있다.
// 피연산자 x의 값이 재할당되어 변경된다. 이는 x 변수를 사용하는 다른 코드에 영향을 준다.
x++;
console.log(x); // 2

var o = { a: 1 };

// delete 연산자는 객체의 프로퍼티를 삭제하는 부수 효과가 있다.
// 이는 o 객체를 사용하는 다른 코드에 영향을 준다.
delete o.a;
console.log(o); // {}

7.12 연산자 우선순위

1. ()
2. new 매개변수 존재, []프로퍼티접근,()함수호출,?.옵셔널체이닝연산자
3. new 매개변수 미존재
4. x++ , x--
5. !x,+x,-x,++x,--x,typeof,delete
6. **
7. *./,%
8. +,-
9. <,<=,>.>=. in, instance of
10. ==. !=. ===. !==
11. ??
12. &&
13. ||
14. ? .... : ....
    15 할당연산자(=,+=,-=,...)
    16 ,

7.13 연산자 결합 순서

연산자 결합 순서: 연산자의 어느 쪽부터 평가를 수행할지 나타내는 것