▷ A7.4.1 접두 증가연산자 (Prefix Incrementation Operator)
  ++ 나 -- 연산자가 앞에 붙는 수식은 단항수식 (unary expression) 입니다. 피연산자는 1 만큼 증가(++)되거나 감소(--)됩니다. 수식의 값은 증감처리된 값입니다. 피연산자는 좌변값이어야 합니다; 피연산자와 연산자의 세세한 것들에 대한 제약은 덧셈연산자 (A7.7) 와 대입연산자 (A7.17) 를 참고하시기 바랍니다. 결과는 좌변값이 아닙니다.

▷ A7.4.2 번지연산자 (Address Operator)
  단항 & 연산자는 피연산자의 주소(번지)를 취합니다. 피연산자는 비트필드 (bit-field) 나 register 로 선언된 대상체를 참조하지 않는 좌변값이거나 혹은 함수형이어야 합니다. 결과는 좌변값에 의해 참조되는 대상체나 함수의, 포인터입니다. 피연산자의 데이터형이 T 라면, 결과는 T형 포인터입니다.

▷ A7.4.3 간접지정 연산자 (Indirection Operator)
  단항 * 연산자는 간접지정을 의미하고, 피연산자가 가르키는 대상체나 함수를 반환합니다. 만약 피연산자가 산술형, 구조체, 공용체, 포인터를 가르키는 포인터라면 결과는 좌변값입니다. 수식의 데이터형이 "T형 포인터" 라면 결과의 데이터형은 T형입니다.

▷ A7.4.4 단항 플러스 연산자 (Unary Plus Operator)
  단항 + 연산자의 피연산자는 산술형이어야 하고 결과는 피연산자의 값 그대로 입니다. 정수형 피연산자 (integral) 는 정수진급 (integral promotion) 을 거칩니다. 결과의 데이터형은 진급된 (promoted) 피연산자의 데이터형입니다.

▷ A7.4.5 단항 마이너스 연산자 (Unary Minus Operator)
  단항 - 연산자의 피연산자는 산술형이어야 하고 결과는 피연산자의 음수값 입니다. 정수형 피연산자 (integral) 는 정수진급 (integral promotion) 을 거칩니다. 부호없는 값의 음수값 (the negative of an unsigned quantity) 은 진급된 데이터형의 최대값에서 진급된 값을 빼고 1을 더해서 구합니다; 하지만 0 의 음수값은 0 입니다. 결과의 데이터형은 진급된 피연산자의 데이터형입니다.

▷ A7.4.6 1의 보수 연산자 (One's Complement Operator)
  단항 ~ 연산자의 피연산자는 정수형 (integral) 이어야 하고, 결과는 피연산자의 1의 보수입니다. 피연산자에는 정수진급이 일어납니다. 만약 피연산자가 부호없는 형이면, 결과는 진급된 데이터형의 최대값에서 그 값을 빼서 구합니다. 만약 부호있는 피연산자라면 대응하는 부호없는 형으로 변환해서 ~ 연산자를 적용한 후에 다시 부호있는 형으로 되돌려 구합니다. 결과의 데이터형은 진급된 피연산자의 데이터형입니다.

▷ A7.4.7 논리 부정 연산자 (Logical Negation Operator)
  ! 연산자의 피연산자는 산술형이거나 포인터여야 하고, 결과는 피연산자가 0 이면 1 이고, 아니라면 0 입니다. 결과는 int 형입니다.

▷ A7.4.8 sizeof 연산자 (Sizeof Operator)
  sizeof 연산자는 피연산자 데이터형의 대상체를 저장하는데 필요한 바이트수를 계산해 줍니다. 피연산자는 계산되지 않은 (not evaluated) 수식이거나 괄호에 쌓인 데이터형 이름입니다. sizeof 연산자가 char 에 적용된다면 결과는 1 입니다; 배열에 적용했을 때는 배열의 총 바이트수가 됩니다. 구조체나 공용체에 적용했을 때의 결과는, 대상체를 배열의 요소로 만들기 위해 필요한 빈공간 (padding) 을 포함한 바이트수 입니다: n 개의 요소 (element) 를 갖는 배열의 크기는 한 요소의 크기에 n 을 곱한 것입니다. sizeof 연산자는 함수나 불완전한 데이터형 (incomplete type), 비트필드에는 적용될 수 없습니다. 연산의 결과는 부호없는 정수상수 (integral) 이지만, 정확한 데이터형은 컴파일러마다 다릅니다 (implementation-defined). 표준 헤더파일 <stddef.h> 에는 이 데이터형이 size_t 라는 데이터형으로 정의되어 있습니다. (부록 B 참고)

▷ A7.5 캐스트 (Cast)
  데이터형의 이름이 괄호에 쌓여 선행되는 단항 수식은, 수식의 값을 그 데이터형으로 변환해 줍니다.

이러한 구조를 캐스트 (cast) 라고 합니다. 데이터형명 (type name) 은 A8.8 절에서 설명합니다. 변환의 영향은 A6 절에서 설명했습니다. 캐스트된 수식은 좌변값이 아닙니다.

▷ A7.6 곱셈연산자 (Multiplicative Operator)
  *, /, % 같은 곱셈연산자는 왼쪽에서 오른쪽으로 묶입니다.

  * 와 / 의 피연산자는 산술형이어야 합니다; % 의 피연산자는 정수형 (integral) 이어야 합니다. 각 피연산자에는 일반적 산술변환 (usual arithmetic conversion) 이 수행되며, 그로 인해 결과의 데이터형이 예측됩니다.
  이항연산자 * 는 곱셈을 의미합니다.
  이항연산자 / 는 첫번째 피연산자가 두번째 피연산자로 나누어졌을 때의 몫을, % 연산자는 나머지를 구합니다; 두번째 피연산자가 0 인 경우 (0 으로 나누는 경우), 결과는 정의되어 있지 않습니다 (undefined). 두번째 피연산자가 0 이 아니라면 (a / b) * b + a % b 가 a 임이 보장됩니다. 피연산자가 둘다 음수가 아니라면, 나머지도 음수가 아니며 제수보다 작습니다; 피연사자중 하나라도 음수가 있다면, 나머지의 절대값이 제수의 절대값보다 작다는 사실만이 보장됩니다.

▷ A7.7 덧셈연산자 (Additive Operator)
  덧셈연산자 +, - 는 왼쪽에서 오른쪽으로 묶입니다. 만약 피연산자가 산술형이라면 일반적 산술변환이 수행됩니다. 산술형외에도 각 연산자마다 부가적인 데이터형 가능성이 있습니다.

	▶ 역자 주   '부가적인 데이터형 가능성' 이란 덧셈연산자와 뺄셈연산자에 산술형외에 포인터형을 피연산자로 둘 수 있다는 뜻입니다.

  + 연산자의 결과는 피연산자의 합입니다. 배열의 어떠한 대상체를 가르키는 포인터와 정수값 (integral) 은 더해질 수 있습니다. 정수값 (integral) 은 포인터가 가르키는 대상체의 크기를 곱해서 메모리상의 주소 (address offset) 로 변환됩니다. 연산의 결과인 합은 원래의 대상체로부터 적당한 상대번지 (offset) 만큼 떨어져있는, 같은 배열내의 다른 대상체를 가르키는 포인터입니다. 따라서 포인터 p 가 어떤 배열내의 대상체를 가르키고 있다면, p+1 은 그 다음 요소를 가르키는 것입니다. 배열의 한쪽 끝 바로 다음 위치 (first location beyond the high end) 를 제외하고, 배열의 한계를 넘어서서 가르킬 경우의 결과는 정의되어 있지 않습니다 (undefined).

	▶ 역자 주   배열의 한계를 넘어서는 포인터에 대해서는 어떠한 사항도 정의해 주지 않지만, 배열의 바로 다음 위치에 대해서는 포인터가 배열을 벗어난다고 해도 인정을 해줍니다. 더 자세한 사항은 뺄셈연산자와 관계연산자를 참고하시기 바랍니다.   포인터로 배열을 다룰 때, 전에는 금지조항이 없어도 배열을 벗어나는 포인터 연산은 필요가 없어 행해지지 않았습니다. 하지만 이제는 ANSI 에서 그러한 관례를 받아들여 이를 명확히 금지하게 되었습니다.

  - 연산자의 결과는 피연산자의 차입니다. 포인터에서 어떤 정수값 (integral) 도 뺄 수 있으며 덧셈연산자처럼 동일한 변환이 적용됩니다.
  같은 데이터형 포인터는 서로 뺄 수 있으며, 결과는 두 대상체 사이의 거리 (변위, displacement) 를 나타내는 부호있는 정수값 (integral) 입니다; 인접해 있는 대상체를 가르키는 포인터의 차는 1 입니다. 결과의 구체적인 데이터형은 따로 정의되어 있지 않지만 (implementation-dependent), 표준 헤더파일 <stddef.h> 에 ptrdiff_t 로 정의되어 있습니다. 같은 배열내의 대상체를 가르키는 포인터의 차가 아니라면 그 결과값은 정의되어 있지 않습니다 (undefined); 하지만 배열의 마지막 요소를 p 라는 포인터가 가르키고 있다면, (p + 1) - 1 의 결과는 1 임이 보장됩니다.

▷ A7.8 쉬프트 연산자 (Shift Operator)
  쉬프트 연산자 << 와 >> 는 왼쪽에서 오른쪽으로 묶입니다. 피연산자는 정수형 (integral) 이어야 하고 정수진급이 수행됩니다. 결과의 데이터형은 진급된 왼쪽 피연산자의 데이터형입니다. 만약 오른쪽 피연산자가 음수이거나 왼쪽 피연산자 비트수 이상의 크기일 경우에 결과는 정의되어 있지 않습니다 (undefined).

  E1 << E2 의 값은 E2 비트수만큼 좌측 쉬프트된 (비트패턴으로 해석된) E1 입니다; 오버플로우를 무시한다면, 이 값은 2^E2 를 곱한 것과 동일합니다. E1 >> E2 의 값은 E2 비트수만큼 우측 쉬프트된 E1 입니다. E1 이 부호없는 형이거나 양수값을 갖고 있다면 결과는 2^E2 로 E1 을 나눈 것과 동일합니다; E1 이 음수인 경우에는 컴파일러에 따라 결과가 달라집니다 (implementation-defined).

▷ A7.9 관계연산자 (Relational Operator)
  관계연산자는 왼쪽에서 오른쪽으로 묶입니다. 하지만 이러한 사실은 별로 유용하지 않습니다; a < b < c 는 (a < b) < c 로 묶이고, (a < b) 는 0 아니면 1 로 평가되어 버립니다.

연산자 < (미만), > (초과), <= (이하), >= (이상) 는 서술된 관계식이 거짓이면 0 을, 참이면 1 을 생성합니다. 결과의 데이터형은 int 형입니다. 일반적 산술변환이 산술형 피연산자에 수행됩니다. (형한정어를 무시하고) 동일한 데이터형을 가르키는 포인터는 비교될 수 있습니다; 결과는 포인터가 가르키는 대상체의 메모리상의 상대적인 위치에 달려있습니다. 포인터 비교는 오직 동일한 대상체의 일부분에 대해서만 정의되어 있습니다: 만약 두 포인터가 동일한 대상체를 가르킨다면 결과는 같다고 (equal) 나옵니다; 만약 포인터가 동일한 구조체의 멤버들을 가르킨다면, 구조체에서 후에 선언되는 대상체의 포인터가 더 크다고 (higher) 비교됩니다; 만약 포인터가 동일한 배열을 가르키고 있다면 포인터 비교의 결과는 곧 첨자 비교와 같습니다. 만약 포인터 p 가 배열의 마지막 요소를 가르키고 있다면 p+1 이 비록 배열의 밖이라 해도 p 보다 크게 평가됩니다. 그외의 경우는 포인터 비교에 대해서 정의되어 있지 않습니다 (undefined).

▷ A7.10 상등연산자 (Equality Operator)

== (같음) 과 != (같지 않음) 연산자는 낮은 연산순위를 제외하면 관계연산자와 유사합니다. (따라서 a < b 와 c < d 가 같은 진리값을 갖을 때에만 a < b == c < d 는 1 이 됩니다)
  상등연산자는 관계연산자와 동일한 규칙을 따르지만, 추가적인 가능성도 허가되어 있습니다: 포인터는 void 형 포인터 혹은 0 값을 갖는 상수수식과 비교될 수 있습니다. (A6.6 참고)

▷ A7.11 비트 AND 연산자 (Bitwise AND Operator)

피연산자에 일반적 산술변환이 수행됩니다; 결과는 피연산자의 비트 AND 값입니다. 정수 피연산자 (integral) 에만 적용할 수 있습니다.

▷ A7.12 비트 XOR 연산자 (Bitwise Exclusive OR Operator)

피연산자에 일반적 산술변환이 수행됩니다; 결과는 피연산자의 비트 XOR 값입니다. 정수 피연산자 (integral) 에만 적용할 수 있습니다.

▷ A7.13 비트 OR 연산자 (Bitwise Inclusive OR Operator)

피연산자에 일반적 산술변환이 수행됩니다; 결과는 피연산자의 비트 OR 값입니다. 정수 피연산자 (integral) 에만 적용할 수 있습니다.

▷ A7.14 논리 AND 연산자 (Logical AND Operator)

&& 연산자는 왼쪽에서 오른쪽으로 묶입니다. 두 피연산자가 모두 0 과 다르면 1 을, 그렇지 않으면 0 을 반환합니다. & 와는 달리, && 는 왼쪽 피연산자가 먼저 평가된다는 것이 보장됩니다: 모든 부작용 (side effect) 을 포함해 왼쪽 피연산자가 먼저 평가됩니다; 그 값이 0 이라면, 수식의 값은 0 이 됩니다. 그렇지 않으면 오른쪽 피연산자가 평가되고, 그 값이 0 이라면 수식의 값은 0 이, 0 이 아니라면 수식의 값은 1 이 됩니다.
  피연산자는 같은 데이터형을 갖을 필요는 없지만, 산술형이나 포인터여야 합니다. 연산 결과는 int 형입니다.

▷ A7.15 논리 OR 연산자 (Logical OR Operator)

|| 연산자는 왼쪽에서 오른쪽으로 묶입니다. 피연산자중 하나가 0 과 다르면 1 을, 그렇지 않으면 0 을 반환합니다. | 와는 달리, || 는 왼쪽 피연산자가 먼저 평가된다는 것이 보장됩니다: 모든 부작용 (side effect) 을 포함해 왼쪽 피연산자가 먼저 평가됩니다; 그 값이 0 과 다르면, 수식의 값은 1 이 됩니다. 그렇지 않으면 오른쪽 피연산자가 평가되고, 그 값이 0 과 다르면 수식의 값은 1 이, 0 이면 수식의 값은 0 이 됩니다.
  피연산자는 같은 데이터형을 갖을 필요는 없지만, 산술형이나 포인터여야 합니다. 연산 결과는 int 형입니다.

▷ A7.16 조건연산자 (Conditional Operator)

  모든 부작용 (side effect) 을 포함해 첫번째 피연산자가 평가됩니다; 그 값이 0 과 다르면 결과는 두번째 수식의 값이 됩니다. 두번째와 세번째 피연산자중 하나만이 평가됩니다. 만약 두번째와 세번째 피연산자가 산술형이면, 두 피연산자를 공통된 데이터형으로 만들기 위해 일반적 산술변환이 적용됩니다. 그리고 그것이 곧 결과의 데이터형이 됩니다. 만약 두 피연산자가 void 형이거나, 같은 구조체나 공용체이거나, 같은 형의 포인터라면 결과는 두 피연산자의 공통된 데이터형이 됩니다. 만약 한 피연산자는 포인터, 다른 피연산자는 상수 0 이라면, 0 은 포인터로 변환되고 결과형 역시 포인터입니다. 하나는 void 형 포인터고, 다른 하나는 일반 포인터라면 일반 포인터는 void 형 포인터로 변환되고 결과형 역시 void 형 포인터입니다.
  포인터의 데이터형 비교에서, 포인터가 가르키는 데이터형의 어떠한 형한정어 (type qualifier, A8.2) 도 무시되어 버립니다. 하지만 결과의 데이터형은 조건연산자의 두 피연산자로부터 한정어를 상속받습니다.

	▶ 역자 주   두 포인터의 데이터형을 비교할 때 형한정어는 데이터형 비교에 아무런 영향을 주지 못합니다. 다만 데이터형 비교에서는 영향이 없으나, 결과의 데이터형이 결정될 때는 두 피연산자의 한정어를 물려받게 된다는 의미입니다.

▷ A7.17 대입수식 (Assignment Expression)
  C에는 여러 종류의 대입연산자 (assignment operator) 가 있습니다; 모든 대입연산자는 오른쪽에서 왼쪽으로 묶입니다.

모든 대입연산자는 왼쪽 피연산자로 좌변값을 필요로 하며, 그 좌변값은 반드시 수정이 가능해야 합니다: 배열이어서는 안되며, 불완전한 형 (incomplete type) 이나 함수여도 안됩니다. 또한 좌변값의 데이터형이 const 로 한정되어 있어도 안됩니다; 좌변값이 구조체나 공용체인 경우, 구조체나 공용체중 어떠한 멤버도, 재귀적으로 되어 있는 경우, 어떠한 부분멤버 (submember) 도 const 로 한정되어서는 안됩니다. 대입수식의 데이터형은 왼쪽 피연산자의 데이터형이며, 값은 대입이 일어난 후에 왼쪽 피연산자에 대입된 값입니다.
  = 와 같은 간단한 대입에서, 수식의 값은 좌변값에 의해 참조되는 대상체의 값으로 치환됩니다. 다음 사실중 하나에 반드시 해당되어야 합니다: 두 피연산자가 모두 산술형이라면, 오른쪽 피연산자가 대입에 의해 왼쪽 피연산자의 데이터형으로 변환됩니다; 혹은 두 피연산자가 모두 같은 형의 구조체나 공용체입니다; 혹은 한 피연산자는 포인터이고 다른 피연산자는 void 형 포인터입니다; 혹은 왼쪽 피연산자는 포인터이고 오른쪽 피연산자는 0 값을 갖는 상수수식입니다; 혹은 오른쪽 피연산자에 있는 const 나 volatile 를 제외하면 같은 데이터형의 대상체나 함수를 가르키는 포인터여야 합니다.
  E1 op= E2 형태의 수식은 E1 이 한번만 평가된다는 것을 제외하면 E1 = E1 op E2 와 동일합니다.

▷ A7.18 쉼표연산자 (Comma Operator)

  쉼표에 의해 분리된 한쌍의 수식은 왼쪽에서 오른쪽으로 평가되고, 수식의 데이터형과 값은 오른쪽 피연산자와 같습니다. 왼쪽 피연산자를 평가하면서 발생하는 모든 부작용 (side effect) 은 오른쪽 피연산자의 평가를 시작하기 전에 모두 완료됩니다. 함수 인자 리스트나 초기치 (initializer) 와 같이 쉼표가 특별한 의미로 주어지는 문맥에서, 필요한 문법적 단위 (syntactic unit) 는 대입수식이고, 따라서 쉼표연산자는 괄호안에서만 나옵니다; 예를 들어,

는 3개의 인자를 가지고 있으며, 두번째 인자의 값은 5가 됩니다.

▷ A7.19 상수수식 (Constant Expression)
  문법적으로, 상수수식은 연산자의 부분집합에 제한된 수식입니다.

상수수식은 case 문의 뒤, 배열의 크기 (bound) 설정, 비트필드의 길이, 열거상수의 값, 초기치, 명확한 전처리기 수식과 같은 여러 문맥에서 필요합니다.
  상수수식은 sizeof 의 피연산자로 쓰이는 경우를 제외하고는 대입문, 간접지정 (indirection), 증감연산자, 함수호출, 쉼표연산자를 포함할 수 없습니다. 만약 상수수식이 정수값 (integral) 일 필요가 있다면, 그것의 피연산자는 반드시 정수 (integer), 열거, 문자, 부동상수로 구성되어야만 하며, 정수형 (integral) 으로의 캐스트가 명시되어서 부동상수가 정수 (integer) 로 변환되어야만 합니다. 상수수식에는 필수적으로 배열, 간접지정, 주소연산, 그리고 구조체 멤버 연산은 배제됩니다. (다만, sizeof 의 피연산자로 쓰인다면 모두 가능합니다)
  초기치 (initalizer) 로 쓰이는 상수수식에는 더 많은 것들이 허용됩니다. 피연산자는 어떠한 형의 상수여도 가능하고, 단항 & 연산자가 외부 (external) 혹은 정적 (static) 대상체에 사용되어도 좋으며, 첨자가 있는 (subscripted) 외부 혹은 정적 배열이 들어있어도 괜찮습니다. 또한 단항 & 연산자는 첨자가 없는 배열이나 함수가 나옴으로써 암시적으로 적용될 수도 있습니다. 초기치는 반드시 이미 선언된 외부, 정적 대상체의 주소에 상수가 가감된 값이나 상수값으로 평가되어야만 합니다.
  #if 뒤에 나오는 정수 상수수식 (integral) 에는 더 많은 제약이 따릅니다; sizeof 수식, 열거상수, 캐스트가 허가되어 있지 않습니다. A12.5 참고.

	▶ 역자 주   sizeof 수식은 컴파일 전에 이미 상수수식으로 평가되므로, 상수수식에는 사용할 수 없는 피연산자라 해도 sizeof 를 거치면 충분히 사용할 수 있는 것입니다.