[Swift] 연산자 (Operator)

(모든 코드는 Playground에서 작성되었습니다.)

 

이번 시간에는 연산자에 대해서 알아보도록 하자!

 

연산자 (Operator)는 말 그대로 연산을 하기 위한 기호로, +, -, *, / 등을 말한다. 

피연산자 (Operand)는 연산에 사용되는 값을 의미한다. 피연산자 수에 따라서 분류를 할 수 있는데, 자세히 알아보도록 하자.

 

Unary Operator (단항 연산자)

피연산자 수가 1개인 경우를 단항 연산자 (Unary Operator) 라고 한다.

연산자와 피연산자를 공백 없이 붙여서 써야하고, 아래와 같이 사용할 수 있다.

 

 

여기서 피연산자 위치에 따라서 연산자를 부르는 이름이 달라지는데,

 

연산자가 피연산자 앞에 존재할 경우에는 Prefix Operator (단항 전치 연산자)

연산자가 피연산자 뒤에 존재할 경우에는 Postfix Operator (단항 후치 연산자)

연산자가 피연산자 사이에 존재할 경우에는 Infix Operator (중위 연산자) 라고 한다.

Binary Operator (이항 연산자)

피연산자가 2개인 경우를 이항 연산자 (Binary Operator) 라고 한다.

연산자 양 옆에 반드시 공백을 추가해야하며, 아래와 같이 사칙연산에 사용할 수 있다.

또한, 이항 연산자는 같은 자료형끼리 사용 가능하다.

 

이 때 Int와 Int를 더한 결과 값의 타입은 Int, Double과 Double을 더한 결과 값의 타입은 Double이다.

 

 

그렇다면, 정수와 실수를 더한 결과 값의 타입은 어떻게 될까?

 

 

정수와 실수를 더하면, 그 결과값이 Double로 저장된다. 

 

그렇다면 Int형의 상수와 Double 형의 상수를 선언하고 초기화한 후에, 이 둘을 더할 경우에도 같은 결과가 나올까? 

Double형으로 결과가 나올 것이라는 내 예상과는 달리 오류가 발생했다. 

 

 

Int와 Double은 타입이 다르기 때문에 더할 수가 없다고 한다.

그렇다면 왜 앞에서 1과 2.3을 더했을 때에는 오류가 발생하지 않았을까??

 

구글에 검색해본 결과!

앞에서는 1과 2.3에 대해서 명시적으로 값의 타입을 지정해주지 않았기 때문에, 컴파일러가 자동으로 적절한 타입을 선택해서 오류가 발생하지 않는 것이라고 한다. 다시 말해 앞의 1과 2.3은 컴파일러에게 1 (Double) + 2.3 (Double)로 받아들여진 것이다.

 

그러니까, a와 b를 더하는 과정에서 오류가 발생한 이유는 타입이 다른 두 값을 더하려고 했기 때문인 것이다.

 

이 오류를 해결하기 위해 Type Conversion에 대해 알아보자.

 

 

Type Conversion이란, 메모리에 저장된 값을 다른 형식으로 바꿔서 새로운 값으로 생성하는 것이다.

타입(형변환할 값) 과 같이 사용을 하며, Type Conversion이 실패하면 nil이 리턴된다. 

 

 

만약 Type Conversion을 할 때 값을 저장할 공간이 충분하지 않다면, 아래와 같이 오류가 발생할 수 있다.

Int8은 Int를 저장하기에는 저장공간이 부족하기 때문에 아래와 같은 오류가 발생한다. 

따라서 충분한 공간에 값을 저장할 수 있도록 해야한다!

 

 

 

참고로 Int8, Int, UInt의 값의 최대값과 최소값은 아래 사진과 같다.

 

 

이제 a와 b를 계산하기 위해 Type Conversion을 사용해보자.

2가지 방법이 있는데, Double형을 Int로 형변환하여 Int + Int로 계산하거나, Int를 Double로 형변환하여 Double + Double로 계산하는 것이다.

 

Type Conversion을 할 경우, 아무래도 값의 손실을 방지하기 위해서는 Int가 아닌 Double로 형변환하여 사용하는 것이 좋다!

 

Comparison Operator (비교 연산자)

비교 연산자는 모두 이항 연산자로 사용되며, 그렇기 떄문에 같은 자료형만 비교가 가능하다. 그리고 결과 값은 항상 boolean이다.

==, !=, >, >=, <, <= 로 사용한다.

 

Logical Operator (논리 연산자)

참과 거짓을 구분하는 연산자로, 모든 피연산자와 연산 결과는 항상 boolean이다.

Logical AND (&&)는 모든 피연산자가 true인 경우에만 true를 리턴하고, 그 외의 경우는 모두 false를 리턴한다.

Logical OR (||)는 모든 피연산자가 false인 경우에만 false를 리턴하고, 그 외의 경우는 모두 true를 리턴한다.

Logical NOT (!)은 피연산자 앞에 !를 붙이는 것인데, 값을 반대로 바꿔준다. true를 false로, false를 true로 리턴해준다.

 

Ternary Operator (삼항 연산자 / 조건 연산자)

피연산자와 연산자 양 옆에 공백을 추가하는 것으로, 조건 ? 결과1 : 결과2 와 같이 사용 가능하다.

조건을 기준으로 2개의 값 중 하나를 선택하는 것인데, 조건이 true라면 결과1을, false라면 결과2가 연산의 결과로 사용된다. 

이 때, 조건은 항상 boolean이고, 결과1, 결과2의 자료형은 당연히 같아야 한다.

 

삼항 연산자는 아래 사진과 같이 사용이 가능하다.

 

 

Assign Operator (할당 연산자)

할당 연산자는 말 그대로 값을 할당해주는 연산자를 의미한다.

var 변수이름 = 초기값 에서 =를 의미하며, 할당 연산자의 결과는 Void이다. 즉, 값을 리턴하지 않는다는 뜻이다.

추가적으로 +=, -=, *=, /= 와 같은 복합 할당 연산자도 존재한다.