[모던 자바스크립트 Deep Dive]07장 연산자

Posted Jul 2, 2022

By your_full_name 17 min read

서론

연산자
- 하나 이상의 표현식을 대상으로 산술, 할당, 비교, 논리, 타입, 지수 연산 등을 수행해 하나의 값을 만듦
피연산자
- 연산의 대상
- 값으로 평가될 수 있는 표현식

7.1 산술 연산자

피연산자를 대상으로 수학적 계산을 수행해 새로운 값을 만듦
산술 연산이 불가한 경우 NaN 반환

7.1.1 이항 산술 연산자

  
+ 2; // 덧셈
- 2; // 뺄셈
* 2; // 곱셈
/ 2; // 나눗셈
% 2; // 나머지

2개의 피연산자를 산술 연산하여 숫자 값을 만듦
피연산자의 값을 변경하는 부수 효과(side effect) 없음
- 산술 연산은 피연산자의 값을 바꾸는 경우가 없다.

7.1.2 단항 산술 연산자

++, --, +, - 존재
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

`+` 단항 연산자

어떠한 효과도 없다.

숫자 타입이 아닌 피연산자에 사용하면 피연산자를 숫자 타입으로 변환하여 반환한다.

피연산자를 바꾸지 않고 새로운 값을 생성하므로 부수 효과가 없다.

  
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

+ 연산자는 피연산자 중 하나 이상이 문자열인 경우 문자열 연결 연산자로 작동한다.
암묵적 타입 변환(implicit coercion)
- 타입 강제 변환(type coercion)이라고도 한다.
- 자바스크립트 엔진에 의해 암묵적으로 타입이 자동 변환될 수 있다.

7.2 할당 연산자

=, +=, -=, *=, /=, %= 존재
좌항의 변수에 우항의 피연산자 평가 결과를 할당하므로 변수 값이 변하는 부수 효과 존재

할당문은 값으로 평가되는 표현식인 문으로서 할당된 값으로 평가

  
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 동등/일치 비교 연산자

좌항과 우항의 피연산자를 같은 값으로 평가되는지의 결과를 불리언 값으로 반환

동등 비교 연산자

==, !=
느슨한 비교 진행
좌항과 우항의 피연산자를 암묵적 타입 변환을 통해 타입을 일치시킨 뒤 같은 값인지 비교
결과를 예측하기 어려워 사용을 권장하지 않는다.

일치 비교 연산자

===, !==
엄격한 비교 진행
좌항과 우항의 피연산자의 타입과 값이 모두 값은 경우에만 true 반환

주의 사항

NaN

자신과 일치하지 않는 유일한 값

숫자가 NaN인지 조사하기 위해서는 빌트인 함수 Number.isNaN 사용

  
// NaN은 자신과 일치하지 않는 유일한 값이다.
NaN === NaN; // -> false

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 메서드는 위 두 경우에 대해 예측 가능한 비교 결과를 반환
1 2 3 4 5 -0 === +0; // -> true Object.is(-0, +0); // -> false NaN === NaN; // -> false Object.is(NaN, NaN); // -> true
- ES6에서 도입
- 그 외에는 일치 비교 연산자와 동일하게 동작

7.3.2 대소 관계 비교 연산자

피연산자의 크기를 비교해 불리언 값 반환
>, <, >=, <=

7.4 삼항 조건 연산자

조건식의 평가 결과에 따라 반환할 값 결정
조건식 ? 조건식이 true인 경우 반환할 값 : 조건식이 false인 경우 반환할 값
조건식의 평가 결과가 불리언 값이 아니면 불리언 값으로 암묵적 타입 변환

삼항 조건 연산자 표현식은 값으로 평가할 수 있는 표현식인 문

다른 표현식의 일부가 될 수 있다.

  
var x = 10;

// 삼항 조건 연산자 표현식은 표현식인 문이다. 따라서 값처럼 사용할 수 있다.
var result = x % 2 ? "홀수" : "짝수";
console.log(result); // 짝수

if...else 문은 표현식이 아닌 문

  
var x = 10;

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

7.5 논리 연산자

우항과 좌항의 피연산자를 논리 연산
- 부정 연산자의 경우 우항의 피연산자를 논리 연산
논리합(OR)||, 논리곱(AND) &&, 부정(NOT) !
논리합, 논리곱 연산자는 언제나 2개의 피연산자 중 한쪽으로 평가
1 "Cat" && "Dog"; // -> 'Dog'
부정 연산자는 언제나 불리언 값을 반환
- 피연산자가 불리언 값이 아니면 불리언 타입으로 암묵적 타입 변환

드 모르간의 법칙

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

가독성 좋은 코드 작성을 위해 응용

7.6 쉼표 연산자

  
var x, y, z;

(x = 1), (y = 2), (z = 3); // 3

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

7.7 그룹 연산자

소괄호로 피연산자를 감싸 연산자 우선 순위를 높일 수 있다.

7.8 `typeof` 연산자

피연산자의 데이터 타입으로 string, number, boolean, undefined, symbol, object, function 중 하나를 문자열로 반환한다.

주의 사항

null
- 자바스크립트의 버그로 인해 null은 “object”를 반환한다.
- null 타입을 확인하고자 할 때에는 일치 연산자를 이용한다.
1 2 3 4 var foo = null; typeof foo === null; // -> false foo === null; // -> true
선언하지 않은 식별자를 연산하면 ReferenceError가 발생하지 않고 undefined를 반환한다.
1 2 // undeclared 식별자를 선언한 적이 없다. typeof undeclared; // -> undefined

7.9 지수 연산자

ES7에서 도입
- 이전까지는 Math.pow 메서드 이용

좌항의 피연산자를 밑(base), 우항의 피연산자를 지수(exponent)로 거듭 제곱하여 숫자 값을 반환

음수가 밑인 경우 괄호로 묶어야 한다.

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

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

지수 연산자의 결합 순서는 우항에서 좌항. 즉, 우결합성을 갖는다.
1 2 2 ** (3 ** 2); // -> 512 Math.pow(2, Math.pow(3, 2)); // -> 512
할당 연산자와 함께 사용 가능하다.
1 2 var num = 5; num **= 2; // -> 25
이항 연산자 중 우선순위가 가장 높다.

7.10 그 외의 연산자

?.
- 옵셔널 체이닝 연산자
??
- null 병합 연산자
delete
- 프로퍼티 삭제
new
- 생성자 함수를 호출할 때 사용하여 인스턴스를 생성
instanceof
- 좌변의 객체가 우변의 생성자 함수와 연결된 인스턴스인지 판별
in
- 프로퍼티 존재 확인

7.11 연산자의 부수 효과

  
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); // {}

할당 연산자, 증가/감소 연산자, delete 연산자는 다른 코드에 영향을 준다.

7.12 연산자 우선순위

우선순위 높음

( )

new(매개변수 존재), ., [ ](프로퍼티 접근), ( )(함수 호출), ?.

new(매개변수 미존재)

x++, x--

!x, +x, -x, ++x, --x, typeof, delete

**

*, /, %

+, -

<, <=, >, >=, in, instanceof

==, !=, ===, !==

??

&&

||

? ... : ...

할당 연산자

,

우선순위 낮음

7.13 연산자 결합 순서

좌항 → 우항
- +, -, <, <=, >, >=, &&, ||, ., [ ], ( ), ?., ??, in, instanceof
우항 → 좌항
- x++, x--, 할당 연산자, !x, +x, -x, ++x, --x, typeof, delete, ? ... : ..., **

book_notes

모던 자바스크립트 Deep Dive

This post is licensed under CC BY 4.0 by the author.

서론

7.1 산술 연산자

7.1.1 이항 산술 연산자

7.1.2 단항 산술 연산자

증가/감소 연산자

+ 단항 연산자

- 단항 연산자

7.1.3 문자열 연결 연산자

7.2 할당 연산자

7.3 비교 연산자

7.3.1 동등/일치 비교 연산자

동등 비교 연산자

일치 비교 연산자

주의 사항

7.3.2 대소 관계 비교 연산자

7.4 삼항 조건 연산자

7.5 논리 연산자

7.6 쉼표 연산자

7.7 그룹 연산자

7.8 typeof 연산자

주의 사항

7.9 지수 연산자

7.10 그 외의 연산자

7.11 연산자의 부수 효과

7.12 연산자 우선순위

7.13 연산자 결합 순서

Trending Tags

`+` 단항 연산자

`-` 단항 연산자

7.8 `typeof` 연산자