7장 연산자

• 연산자: 하나 이상의 표현식을 대상으로 산술, 할당, 비교, 논리, 타입, 지수 연산 등을
  수행해 하나의 값을 만든다
• 피연산자: 연산의 대상
  • 피연산자는 값으로 평가될 수 있는 표현식 이어야 한다
  • 피연산자와 연산자의 조합으로 이뤄진 연산자 표현식도 값으로 평가될 수 있는 표현식 이다

---

7.1 산술 연산자

• 피연산자를 대상으로 수학적 계산을 수행해 새로운 숫자 값을 만든다
  ⇒ 산술 연산이 불가능한 경우(NaN으로 반환)
  

7.1.1 이항 산술 연산자

• 2개의 피연산자를 산술 연산하여 숫자 값을 만든다
• 모든 이항 산술 연산자는 피연산자의 값을 변경하는 부수 효과가 없다
  ⇒ 언제나 새로운 값을 만들 뿐!

• (덧셈)

• (뺄셈)

• (곱셈)
  / (나눗셈)
  % (나머지)

---

7.1.2 단항 산술 연산자

• 1개의 피연산자를 산술 연산하여 숫자 값을 만든다
• 증가/감소(++/ --) 연산자는 피연산자의 값을 변경하는 부수 효과(Side Effect)가 있다
  1. 피연산자 앞에 위치한 전위 증가/감소(++/ --) 연산자는 먼저 피연산자의 값을 증가/감소 시킨 후,
     다른 연산을 수행한다
  2. 피연산자 앞에 위치한 후위 증가/감소(++/ --) 연산자는 먼저 다른 연산을 수행한 후, 피연산자의 값을
     증가/감소 시킨다

++ (증가) / 부수효과 O
-- (감소) / 부수효과 O

• (어떠한 효과 없다)

• (양수 → 음수 / 음수 → 양수로 반전한 값을 반환)

---

7.1.3 문자열 연결 연산자

• • 연산자는 피연산자 중 하나 이상이 문자열인 경우 문자열 연결 연산자로 동작한다
• 자바스크립트 엔진은 암묵적으로 불리언 타입의 값인 true === 1 / false === 0 를 숫자 타입인 1로
  강제 로 변환 할 수 있는데 이를 암묵적 타입 변환 또는 타입 강제 변환이라고 한다

---

7.2 할당 연산자

• 우항에 있는 피연산자의 평가 결과를 좌항에 있는 변수에 할당한다
• 할당 연산자는 좌항의 변수에 값을 할당하므로 변수 값이 변하는 부수 효과가 있다
• += , -= , *= , /= , %=
• 할당문은 값으로 평가되는 표현식인 문으로서 할당된 값으로 평가된다

---

7.3 비교 연산자

• 좌항과 우항의 피연산자를 비교한 다음 그 결과를 불리언 값으로 반환한다
• if 문이나 for 문과 같은 제어문의 조건식에서 주로 사용

7.3.1 동등/일치 비교 연산자

• 좌항과 우항의 피연산자가 같은 값으로 평가되는지 비교해 불리언 값을 반환한다
• 동등 비교 연산자(느슨한 비교) / 일치 비교 연산자 (엄격한 비교)
• 동등 비교 연산자 : 좌항과 우항의 피연산자를 비교할 때 먼저 암묵적 타입 변환을 통해 타입을 일치 시킨 후
  같은 값인지 비교한다
• 일치 비교 연산자 : 좌항과 우항의 피연산자가 타입도 같고 값도 같은 경우에 한하여 true를 반환한다
• Object.is 메서드
  • 예측 가능한 정확한 비교 결과를 반환한다 (+0 과 -0 / NaN 과 NaN)

== (동등 비교) / 값이 같음
=== (일치 비교) / 값과 타입이 같음
!= (부동등 비교) / 값이 다름
!== ( 불일치 비교 ) / 값과 타입이 다름

---

7.3.2 대소 관계 비교 연산자

• 피연산자의 크기를 비교하여 불리언 값을 반환한다(> , < , ≥ , ≤)

---

7.4 삼항 조건 연산자

// 조건식 ? 조건식이 true일 때 반환할 값 : 조건식이 false일 때 반환할 값
var result = score >= 60 ? 'pass' : 'fail';

• 조건식의 평가 결과에 따라 반환할 값을 결정한다
• 자바스크립트의 유일한 삼항 연산자이며 부수 효과는 없다
• 삼항 조건 연산자는 첫번째(조건식) 피연산자는 조건식 즉 불리언 타입의 값으로 평가될 표현식이다
• 두 번째 피연산자(조건식이 true일 때 반환할 값) 또는 세 번째 피연산자(조건식이 false일 때 반환할 값) 로 평가되는 표현식 이다
• 값으로 평가할 수 있는 표현식인 문이다

---

7.5 논리 연산자

• 우항과 좌항의 피연산자(부정 논리 연산자의 경우 우항의 피연산자)를 논리 연산한다
• || (논리합 / OR)
• && (논리곱 / AND)
• ! (부정 / NOT)

---

7.6 쉼표 연산자

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

---

7.7 그룹 연산자

• 소괄호('()')로 피연산자를 감싸는 그룹 연산자는 자신의 피연산자인 표현식을 가장 먼저 평가한다
• 그룹 연산자는 연산자 우선순위가 가장 높다

---

7.8 typeof 연산자

• 피연산자의 데이터 타입을 문자열로 반환한다
• 7가지 문자열 ("string", "number", "boolean", "undefined", "symbol", "object", "function") 중 하나를 반환한다
• 값이 null 타입 인지 확인 할 때는 typeof 연산자를 사용하지 말고 일치 연산자(===)를 사용
• typeof 연산자로 연산해 보면 ReferenceError가 발생하지 않고 undefined를 반환한다

---

7.9 지수 연산자

• ES7에서 도입된 지수 연산자는 좌항의 피연산자를 밑으로, 우항의 피연산자를 지수로 거듭 제곱하여 숫자 값을 반환한다
• Math.pow() 메서드 보다 가독성이 좋다

// 지수 연산자
2 ** 2;        // 4
Math.pow(2,2); // 4

// 음수를 밑으로 사용할 때 
(-2) ** 2      // 4 

---

7.10 그 외의 연산자

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

---

7.11 연산자의 부수 효과

• 할당 연산자(=), 증가/감소 연산자(++/--), delete 연산자 ⇒ 부수 효과가 있다

---

7.12 연산자 우선순위

• 여러 개의 연산자로 이뤄진 문이 실행될 때 연산자가 실행되는 순서를 말한다
• 우선순위가 높을수록 먼저 실행된다

우선 순위	연산자
1	( )
2	new(매개변수 존재), ., [ ](프로퍼티 접근), ( ) (함수호출), ?.(옵셔널 체이닝 연산자)
3	new(매개변수 존재)
4	x++, x--
5	!x, +x, -x, ++x, --x, typeof, delete
6	(** 이항 연산자 중에서 우선위가 가장 높다)
7	*, /, %
8	+, -
9	<, ≤, >, ≥, in, instanceof
10	==, !=, ===, !==
11	??(null 병합 연산자)
12	&&
13	논리합
14	삼항연산자
15	할당 연산자(=, +=, -=, ...)
16	,

---

7.13 연산자 결합 순서

• 연산자의 어느 쪽(좌항 또는 우항) 부터 평가를 수행할 것인지를 나타내는 순서를 말한다
• 좌항 → 우항 : +, -, /, %, <, ≤, >, ≥, &&, ||, ., [ ], ( ), ??, ?., in,
  instanceof
• 우항 → 좌항 : ++, --, 할당 연산자(=, +=, -=, ...), !, !x, +x, -x, ++x, --x, typeof,
  delete, 삼항연산자