연산자는 하나 이상의 표현식을 대상으로 산술, 할당, 비교, 논리, 타입, 지수 연산 등을 수행해 하나의 값을 만든다.
이때 연산의 대상을 피연산자라고 한다.
피연산자는 값으로 평가될 수 있는 표현식이어야 한다.
산술 연산자
산술 연산자는 피연산자를 대상으로 수학적 계산을 수행해 새로운 숫자 값을 만든다.
산술 연산이 불가능한 경우, NaN을 반환한다.
이항 산술 연산자
이항 산술 연산자는 2개의 피연산자를 산술 연산하여 숫자 값을 만든다.
모든 이항 산술 연산자는 피연산자의 값을 변경하는 부수 효과가 없다.
다시말해, 어떤 산술 연산을 해도 피연산자의 값이 바뀌는 경우는 없고 언제나 새로운 값을 만들 뿐이다.
| 이항 산술 연산자 | 의미 | 부수 효과 |
| + | 덧셈 | x |
| - | 뺄셈 | x |
| * | 곱셈 | x |
| / | 나눗셈 | x |
| % | 나머지 | x |
단항 산술 연산자
단항 산술 연산자는 1개의 피연산자를 산술 연산하여 숫자 값을 만든다.
| 단항 산술 연산자 | 의미 | 부수 효과 |
| ++ | 증가 | o |
| -- | 감소 | o |
| + | 어떠한 효과도 없다. 음수를 양수로 반전하지도 않는다. | x |
| - | 양수를 음수로, 음수를 양수로 반전한 값을 반환한다. | x |
주의할 점은 이항 산술 연산자와는 달리 증가/감소(++/--) 연산자는 피연산자의 값을 변경하는 부수 효과가 있다는 것,
문자열 연결 연산자
+연산자는 피연산자 중 하나 이상이 문자열인 경우 문자열 연결 연산자로 동작한다.
그 외의 경우는 산술 연산자로 동작한다.
ex)
// true는 1로 타입 변환된다.
1 + true; // → 2
//false는 0으로 타입 변환된다.
1 + false; // → 1
// null은 0으로 타입 변환된다.
1 + null; // → 1
이처럼 자바스크립트 엔진에 의해 암묵적으로 타입이 자동 변환되는 것을
암묵적 타입 변환 또는 타입 강제 변환이라고 한다.
할당 연산자
할당 연산자는 우항에 있는 피연산자의 평가 결과를 좌항에 있는 변수에 할당한다.
할당 연산자는 좌항의 변수에 값을 할당하므로 변수 값이 변하는 부수 효과가 있다.
| 할당 연산자 | 예 | 동일 표현 | 부수 효과 |
| = | x=5 | x=5 | o |
| += | x+=5 | x=x+5 | o |
| -= | x-=5 | x=x-5 | o |
| *= | x*=5 | x=x*5 | o |
| /= | x/=5 | x=x/5 | o |
| %= | x%=5 | x=x%5 | o |
할당문은 값으로 평가되는 표현식인 문으로서 할당된 값으로 평가된다.
비교 연산자
비교 연산자는 좌항이나 우항의 피연산자를 비교한 다음 그 결과를 불리언 값으로 반환한다.
비교 연산자는 if 문이나 for 문과 같은 제어문의 조건식에서 주로 사용한다.
동등/일치 비교 연산자
동등 비교 연산자와 일치 비교 연산자는 좌항과 우항의 피연산자가 같은 값으로 평가되는지 비교해 불리언 값을 반환한다. 동등 비교 연산자는 느슨한 비교를 하지만 일치 비교 연산자는 엄격한 비교를 한다.
| 비교 연산자 | 의미 | 사례 | 설명 | 부수 효과 |
| == | 동등 비교 | x==y | x와 y의 값이 같음 | x |
| === | 일치 비교 | x===y | x와 y의 값과 타입이 같음 | x |
| != | 부동등 비교 | x!=y | x와 y의 값이 다름 | x |
| !== | 불일치 비교 | x!==y | x와 y의 값과 타입이 다름 | x |
동등 비교(==) 연산자는 좌항과 우항의 피연산자를 비교할 때 먼저 암묵적 타입 변환을 통해 타입을 일치시킨 후 같은 값인지 비교한다.
동등 비교(==) 연산자는 예측하기 어려운 결과를 만들어내기 때문에 사용하지 않는 것을 권장한다.
일치 비교(===) 연산자를 사용한다.
일치 비교(===) 연산자는 좌항과 우항의 피연산자가 타입도 같고 값도 같은 경우에 한하여 true를 반환하기 때문.
대소 관계 비교 연산자
대소 관계 비교 연산자는 피연산자의 크기를 비교하여 불리언 값을 반환한다.
| 대소 관계 비교 연산자 | 예제 | 설명 | 부수효과 |
| > | x>y | x가 y보다 크다 | x |
| < | x<y | x가 y보다 작다 | x |
| >= | x>=y | x가 y보다 크거나 같다 | x |
| <= | x<=y | x가 y보다 작거나 같다 | x |
삼항 조건 연산자
삼항 조건 연산자는 조건식의 평가 결과에 따라 반환할 값을 결정한다.
상항 조건 연산자는 JavaScript에서 세 개의 피연산자를 받는 유일한 연산자이다.
앞에서부터 조건문, 물음표(?), 조건문이 참(truthy)일 경우 실행할 표현식, 콜론(:), 조건문이 거짓(falsy)일 경우 실행할 표현식이 배치된다.
ex)
var sesult = score >= 60 ? 'pass' : 'fail' ;
삼항 조건 연산자는 첫 번째 피연산자가 true로 평가되면 두 번째 피연산자를 반환하고,
첫 번째 피연산자가 false로 평가되면 세 번째 피연산자를 반환한다.
예시에서 score가 60보다 크거나 같으면 두 번째 피연산자인 pass를 반환하고
그게 아니라면 세 번째 피연산자인 fail을 반환한다.
논리 연산자
논리 연산자는 우항와 좌항의 피연산자를 논리 연산 한다.
| 논리 연산자 | 의미 | 부수 효과 |
| || | 논리식 중에서 하나라도 참이면 참을 반환함. (OR 연산) | x |
| && | 논리식이 모두 참이면 참을 반환함. (AND 연산) | x |
| ! | 논리식의 결과가 참이면 거짓을, 거짓이면 참을 반환함. (NOT 연산) | x |
쉼표 연산자
쉼표(,) 연산자는 왼쪽 피연산자부터 차례대로 피연산자를 평가하고 마지막 피연산자의 평가가 끝나면 마지막 피연산자의 평가 결과를 반환한다.
그룹 연산자
소괄호( '()' )로 피연산자를 감싸는 그룹 연산자는 자신의 피연산자인 표현식을 가장 먼저 평가한다.
그룹 연산자는 연산자 우선순위가 가장 높다.
typeof 연산자
typeof 연산자는 피연산자의 데이터 타입을 문자열로 반환한다.
7가지 문자열
string,number, boolean,undefined, symbol, object, function 중 하나를 반환한다
null을 반환하는 경우는 없다.
null을 연산하면 object를 반환하니 주의,
지수 연산자
es7에서 도입된 지수 연산자는 좌항의 피연산자를 밑으로, 우항의 피연산자를 지수로 거듭 제곱하여 숫자 값을 반환한다.
음수를 거듭제곱의 밑으로 사용하여 계산하려면 음수를 괄호로 묶어야한다.
연산자의 부수 효과
대부분의 연산자는 다른 코드에 영향을 주지 않는다.
하지만 일부 연산자는 다른 코드에 영향을 주는 부수 효과가 있다.
부수 효과가 있는 연산자는 할당 연산다(=), 증가/감소 연산자(++/--), delete연산자다.
연산자 우선순위
(),[]
!,~,++,--
*,/,%
+,-
==,!=
ㅣ
&&
ㅣㅣ
?:
=,+=,-+
순이다.