4. 연산자

정의

 연산자는 하나 이상의 표현식을 대상으로 산술, 할당, 비교, 논리 등의 연산을 수행하여 하나의 값을 만든다. 연산의 대상을 피연산자라고 하며, 피연산자는 값으로 평가될 수 있는 표현식이어야 한다. 또한 이들의 조합으로 이루어진 연산자 표현식도 값으로 평가될 수 있는 표현식이어야 한다.

 

4.1 산술 연산자

산술 연산자는 피연산자를 대상으로 연산을 수행해 새로운 숫자 값을 만든다. 연산이 불가능한 경우 NaN을 반환한다.

 

- 이항 산술 연산자

• 이항 산술 연산자는 2개의 피연산자를 산술 연산하여 숫자 값을 만든다.
• 피연산자의 값을 변경하는 부수 효과는 없다.

 

- 단항 산술 연산자

• 1개의 피연산자를 산술 연산하여 숫자 값을 만든다.
• 이항 산술 연산자와 달리 피연산자의 값을 변경하는 부수 효과가 있다.
• 연산자의 위치에 따라 다른 결과를 출력한다. 피연산자 앞에 위치하면 피연산자의 값을 변화시킨 후 연산을 수행하고, 뒤에 위치하면 연산을 먼저 수행한 다음 피연산자의 값을 변화시킨다.

• 숫자 타입이 아닌 피연산자에 + 단항 연산자를 사용하연 피연산자를 숫자 타입으로 변환하여 새로운 값을 생성하고 반환한다. - 연산자도 이와 동일.(단, 부호 반전 있음)

 

- 문자열 연결 연산자

• +연산자는 피연산자 중 하나 이상이 문자열인 경우 문자열 연결 연산자로 동작한다.
• 의도와 상관없이 타입이 변환되는 경우도 있는데, 이를 암묵적 타입 변환 또는 타입 강제 변환이라고 한다.

 

 

4.2 할당 연산자

• 할당 연산자는 우항에 있는 피연산자의 평가 결과를 좌항에 있는 변수에 할당한다.
• 좌항의 변수에 값을 할당하므로 변수 값이 변하는 부수 효과가 있다.

 

 

4.3 비교 연산자

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

 

- 동등/일치 비교 연산자

• 동등 비교 연산자는 좌항과 우항의 피연산자를 비교할 때 먼저 암묵적 타입 변환을 통해 타입을 일치시킨 후 같은 값인지 비교한다.

• 일치 비교 연산자는 좌항과 우항의 피연산자가 타입도 같고 값도 같은 경우에 한하여 true를 반환한다. 즉, 타입 변환 없이 값 자체를 비교한다.

 

- 대소 관계 비교 연산자

• 대소 관계 비교 연산자는 피연산자의 크기를 비교하여 불리언 값을 반환한다.

 

4.4 삼항 조건 연산자

• 조건식의 평가 결과에 따라 반환할 값을 결정한다. 

• 위 예시에서, score>=60 의 조건식이 true인 경우 첫 번째 피연산자 'pass'를 반환하고, false인 경우 두 번째 피연산자 'fail'을 반환한다.
• if else문과 유사하게 처리할 수 있는 조건문이지만, 삼항 조건 연산자의 표현식은 값으로 평가할 수 있는 표현식인 문이며 해당 값이 다른 표현식의 일부가 될 수 있다. 

 

4.5 논리 연산자

• 논리 연산자는 우항과 좌항의 피연산자를 논리 연산한다.

 

4.6 그룹 연산자

• 소괄호로 피연산자를 감싸는 그룹 연산자는 자신의 피연산자인 표현식을 가장 먼저 평가한다. 따라서 그룹 연산자를 사용하면 연산자의 우선순위를 조절할 수 있다.

 

 

4.7 typeof 연산자

• typeof 연산자는 피연산자의 데이터 타입을 문자열로 반환한다.
• 문자열의 결과는 number, boolean, undefined, symbol, object, function, string의 7가지 문자열 중 하나로 반환한다.

 

4.8 지수 연산자

• 지수 연산자는 좌항의 피연산자를 밑으로, 우항의 피연산자를 지수로 거듭 제곱하여 숫자 값을 반환한다.

 

출처 및 참고

모던 자바스크립트 Deepdive / 위키북스 / 이웅모