연산자 (Operator)
- 연산자는 하나 이상의 표현식을 대상으로 산술, 할당, 비교, 논리, 타입, 지수 연산 등을 수햏애 하나의 값을 만든다.
- 연산의 대상을 피연산자(Operand)라 한다.
- 피연산자는 값을 평가 될 수 있는 표현식이여야 한다.
- 피연산자와 연산자의 조합으로 이루어진 연산자 표현식도 값으로 평가될 수 있는 표현식이다.
- 피연산자는 연산의 대상이 되어야 하므로 값으로 평가할 수 있어야 한다.
1. 산술연산자
산술 연산자(Arithmetic Operator)는 피연산자를 대상으로 수학적 계산을 수행해 새로운 값을 만든다.
산술 연산이 불가능한 경우, NaN을 반환한다.
이항 산술 연산자
- 이항 산술 연산자는 2개의 피연산자를 산술 연산하여 숫자타입의 값을 만든다.
- 모든 이항 산술 연산자는 피연산자의 값을 변경하는 side effect가 없다.
(어떤 산술 연산을 해도 피연산자의 값이 바뀌는 경우는 없다.)
단항 산술 연산자
- 1개의 피연산자를 산술하여 숫자 타입의 값을 만든다.
- 증가/감소 (++/–) 연산자는 피연산자의 값을 변경하는 부수효과가 있다. (암묵적 할당이 이루어진다.)
- 증가/감소 (++/–) 연산자는 위치에 의미가 있다.
- 피연산자 앞에 위치한 전위 증가/감소 연산자는 먼저 피연산자의 값을 증가/감소시킨 후, 다른 연산을 수행한다.
- 피연산자 뒤에 위치한 후위 증가/감소 연산자는 먼저 다른 연산을 수행한 후, 피연산자의 값을 증가/감소시킨다.
1 | var number = 10; |
+, - 단항 연산자는 숫자 타입이 아닌 피연산자에 사용하면 피연산자를 숫자 타입으로 변한화여 반환한다.
문자열 연결 연산자
- +연산자는 피연산자 중 하나 이상의 문자열인 경우 문자열 연결 연산자로 동작한다.
- 자바스크립트 엔진에 의해 암묵적으로 타입이 자동 변환되기도 한다
1 | 1 + true; //2 |
이를 암묵적 타입변환(Implicit coercion) or 타입 강제 변환(Type coercion)라한다.
2. 할당 연산자
할당 연산자(Assignment Operator)는 우항에 있는 피연산자의 평가 결과를 좌항에 있는 변수에 할당한다.
할당 연산자는 좌항의 변수에 값을 할당하므로 변수의 값이 변하는 부수효과가 있다.
1 | 문자열 연결 연산자 |
할당 연산은 값으로 평가되는 표현식인 문이다.3. 비교 연산자
비교연산자(Comparison Operator)는 좌항과 우항의 피연산자를 비교한 다음 그 결과를 불리언 값으로 반환한다. 제어문(if문, for문)의 조건식에서 주로 사용
일치 비교 연산자
- 동등 비교 (==)연산자는 좌항과 우항의 피연산자를 비교할 때 먼저 암묵적 타입 변환을 통해 타입을 일치시킨 후, 같은 값인지 비교 타입 고려 X 값만 따진다.
- 따라서, 정확한 비교를 위해서는 일치 비교 연산자(===)로 비교해야한다.
암묵적 타입변환을 하지않고, 값과 타입을 고려해 비교하기때문이다. - NaN은 제외 (자신과 일치하지 않는 유일한 값)
- 숫자가 NaN인지 조사하려면 빌트인 함수 isNaN을 사용한다.
대소 관계 비교 연산자
피연산자의 크기를 비교하여 불리언 값을 반환한다.
4. 삼항 조건 연산자
- 삼항 조건 연산자(ternary oprator)는 조건식의 평가 결과에 따라 반환할 값을 결정한다.
- 값으로 평가할 수 있는 표현식인 문이다.
- 어떤 값을 결정해야 한다면 if..else 문보다 삼항 조건 연산자 표현식을 사용하는 것이 유리하다. (수행해야할 문이 여러개라면 if..else문이 가독성이 좋음)
조건식? 조건식이 true일때 반환할 값 : 조건식이 false일때 반환할 값
1 | var x = 2; |
5. 논리 연산자
논리 연산자(Logical Operator)는 우항과 좌항의 피연산자를 논리 연산한다.
| 논리 연산자 | 의미 | 부수 효과 |
|---|---|---|
&& |
논리곱(AND) | X |
! |
부정(NOT) | X |
| ` | ` |
1 | //논리합(||) 연산자 |
- 논리 부정(!) 연산자는 언제나 불리언 값을 반환한다.
- 피연산자가 반드시 불리언 값일 필요는 없다. 불리언 값이 아니라면, 불리언 타입으로 암묵적 타입 변환된다.
- 논리합(||), 논리곱(&&) 연산자의 평가 결과는 불리언이 아닐 수도 있다.
- 언제나 2개의 피연산자 중 어느 한쪽으로 평가된다.
6. 쉼표 연산자
쉼표 연산자는 왼쪽 피연산자부터 차례대로 피연산자를 평가하고 마지막 피연산자의 평가가 끝나면 마지막 피연산자의 평가 결과를 반환한다.
7. 그룹 연산자
그룹 연산자는 피연산자의 표현식을 가장 먼저 평가한다. 연산자 우선순위를 조절할 수 있다.
8. typeof 연산자
- typeof 연산자는 피연산자의 데이터 타입을 문자열로 반환한다.
- null 값은 ‘null’ 이 아닌 ‘object’를 반환 -> 버그
9. 지수 연산자
- ES7에서 새롭게 도입된 지수 연산자는 좌항의 피연산자를 밑으로, 우항의 피연산자를 지수로 거듭 제곱하여 숫자 타입의 값을 반환한다.
- 지수 연산자는 모든 이항 연한자보다 우선순위가 높다.
1
22 ** 2; // 4
2 ** 1; // 2
10. 연산자의 부수 효과
부수 효과가 있는 연산자 할당 연산자(=), 증가/감소연산자(++/–), delete 연산자
- 할당 연산자는 변수를 사용하여 다른 코드에 영향을 준다.
- delete 연산자는 객체의 프로퍼티를 삭제하는 부수 효과가 있다.