산술 연산자

산술 연산자는 숫자 값들에 적용되어 첫번째 피연산자와 같은 타입의 결괏값을 생산한다. 4가지 표준 산술 연산자들(+, -, *, /)은 정수타입, 부동 소수점 타입, 그리고 복소수 타입에 적용되고; +는 string 타입에 또한 적용된다. 비트 논리 연산자와 시프트 연산자들은 정수들에만 적용된다.

+    sum                    정수, 부동 소수, 복소수 값, 문자열
-    difference             정수, 부동 소수, 복소수 값
*    product                정수, 부동 소수, 복소수 값
/    quotient               정수, 부동 소수, 복소수 값
%    remainder              정수

&    bitwise AND            정수
|    bitwise OR             정수
^    bitwise XOR            정수
&^   bit clear (AND NOT)    정수

<<   left shift             정수 << 부호없는 정수
>>   right shift            정수 >> 부호없는 정수

정수 연산자들

2개의 정수값 x와 y에 대해, 몫인 q = x / y와 나머지인 r = x % y는 다음과 같은 관계를 만족시킨다:

x = q*y + r  그리고  |r| < |y|

x / y는 0값을 겨냥해서 소수점이하를 절단하는 방식이다("절단식 나누기(truncated division)").

 x     y     x / y     x % y
 5     3       1         2
-5     3      -1        -2
 5    -3      -1         2
-5    -3       1        -2

이 규칙의 한 예외로, 만약 피제수 x가 x에 주어진 int 타입의 가장 작은 음수 값이면, 몫인 q = x / -1는 x와 같다. (그리고 r = 0)

             x, q
int8                     -128
int16                  -32768
int32             -2147483648
int64    -9223372036854775808

만약 제수가 상수라면, 절대로 0일 수 없다. 런타임에 0으로 나누기를 하면, 런타임 패닉이 일어난다. 만약 피제수가 음수가 아니고 제수가 2의 거듭제곱인 상수라면, 이 나누기는 오른쪽 시프트(right shift)로 대체될 수 있으며, 나머지 계산은 비트 AND 연산으로 대체할 수 있다:

 x     x / 4     x % 4     x >> 2     x & 3
 11      2         3         2          3
-11     -2        -3        -3          1

시프트 연산자들은 좌측 피연산자를 우측 피연산자가 지정하는 값만큼 시프트한다. 좌측 피연산자가 부호있는 정수인 경우 산술적으로 시프트를 구현하고 부호없는 정수인 경우는 논리적인 시프트를 구현한다. 시프트하는 수의 최대값에 대한 제한은 없다. 횟수가 n인 시프트 연산은 왼쪽 피연산자를 1번 시프트하는 연산 결과을 n번 반복하는 것 처럼 동작한다. 결과적으로 x << 1은 x*2와 같고 x >> 1은 x/2를 계산한 다음 무한히 작은 음수를 향해 소수점이하를 절단하는 것과 같다.

정수 연산자들에 대해서, 단항 연산자 +, -, 그리고 ^는 다음과 같이 정의된다:

+x는 0 + x 이다
-x는 음수화로 0 - x 이다
^x는 비트 보수 연산인 m ^ x로서 부호없는 x에 대해 m의 "모든 비트가 1로 주어진다"
                           그리고 부호있는 x에 대해 m은 -1로 주어진다.

정수 오버플로우

부호없는 정수값에 대해, +, -, *, 그리고 << 연산들은 2n 모듈로(modulo)에 의한 계산값으로, n은 부호없는 정수 타입의 비트 너비이다. 대략적으로 얘기하자면, 이 부호없는 정수의 연산들은 오버플로우가 발생할 때 높은 위치의 비트들을 버리고, 프로그램들은 "값 두루기(wrap around)"에 의존할 수도 있다.

부호있는 정수에 대해, +, -, *, 그리고 << 연산들은 오버플로우가 허용되며 결괏값이 존재한다. 이 연산들은 부호있는 정수의 표시법, 연산, 그리고 피연산자에 의해 결정론적으로 정의된다. 오버플로우의 결과에 대해 아무런 예외적인 처리를 하지 않는다. 컴파일러는 오버플로우가 발생하지 않는다는 가정하에 코드를 최적화하지 않을 수도 있다. 예를 들어, x < x + 1가 항상 옳다는 가정을 하지 않을 수도 있다.

부동 소수점 연산자

부동 소수점 숫자들과 복소수에 대해, -x가 x의 음수화인 반면에, +x는 x와 같다. 부동 소수점 수와 복소수를 0으로 나눈 결과에 대한 사양은 IEEE-754 표준을 벗어나지 않는다; 런타임 패닉을 일으킬 지는 구현에 따라 다를 수 있다.

문자열 연결

문자열들은 + 연산자나 += 할당 연산자를 사용해 연결될 수 있다:

s := "hi" + string(c)
s += " and good bye"

문자열 더하기는 피연산자들을 연결함으로써 새로운 문자열을 만든다.

results matching ""

    No results matching ""