▷ A7.2 기본수식 (Primary Expression)
  기본 수식은 명칭, 상수, 문자열, 괄호에 쌓인 수식입니다.

  명칭은 아래에서 설명하는 것처럼 적당히 선언되면 기본수식이 됩니다. 명칭의 데이터형은 선언에 의해 규정됩니다. 명칭이 대상체를 참조하고, 명칭의 데이터형이 산술형, 구조체, 공용체, 포인터라면 좌변값 (lvalue) 이 됩니다.
  상수 역시 기본수식이며, 그것의 데이터형은 A2.5 절에서 설명한 것처럼 형태에 의존합니다.
  문자열 역시 기본수식입니다. 데이터형은 본래 문자배열 이지만, A7.1 절에서 주어진 규칙을 따라 일반적으로 문자형 포인터로 변환되고 결과는 문자열의 첫번째 문자를 가르키는 포인터입니다. 이러한 변환은 확실한 초기치 (initializer) 에서는 일어나지 않습니다; A8.7 참고
  괄호에 쌓인 수식은 괄호가 없는 수식의 데이터형, 값과 동일한 속성을 갖는 기본수식 입니다. 괄호의 존재는 수식의 좌변값 여부에는 영향을 주지 않습니다.

▷ A7.3 접미수식 (Postfix Expression)
  접미수식에서 연산자는 왼쪽에서 오른쪽으로 묶입니다.

▷ A7.3.1 배열참조 (Array Reference)
  수식 뒤에, 대괄호 [] 에 둘러쌓인 수식이 붙는 접미수식은 첨자 (subscript) 에 의한 배열참조 수식입니다. 두 수식중 하나는 반드시 T형 포인터여야 하며, 다른 하나는 정수 (integral) 여야 합니다. 이 배열첨자 수식의 데이터형 (결과) 은 결국 T형이 됩니다. 수식 E1[E2] 는 정의에 의해 *((E1)+(E2)) 와 동일합니다. 자세한 사항은 A8.6.2 절을 참고하시기 바랍니다.

▷ A7.3.2 함수호출 (Function Call)
  함수호출은 함수 지정자 (function designator) 라고 불리는 접미수식으로, 뒤에 괄호에 쌓여 쉼표에 의해 분리되는 생략가능한 대입수식 리스트가 따라오며, 이 수식은 함수의 매개변수 (parameter) 로 대치됩니다. 만약 현재의 통용범위에서 선언이 존재하지 않는 명칭이 들어간 수식이 있다면 함수호출을 담고 있는 가장 안쪽 블럭에 아래와 같은 선언이 주어진다고 간주됩니다.

함수호출 접미수식은 (가능한 암시적인 선언과 A7.1 절에서 설명한 포인터 생성후에) T형을 반환하는 함수 포인터여야 하며, 함수 호출의 값은 T형이 됩니다.

  인자 (argument) 는 함수호출에 의해 전달되는 수식에 사용되는 용어입니다; 매개변수 (parameter) 는 함수 정의에 의해 받는 입장에서, 혹은 함수선언에 기술되어 있는 입력 대상체 (혹은 그것의 명칭) 에 대해 사용되는 용어입니다. "실매개변수 (actual parameter)" 와 "형식매개변수 (formal parameter)" 는 때로는 같은 뜻으로 쓰이기도 합니다.

	▶ 역자 주   말은 복잡하고 많지만, 결국 '인자 (실매개변수)' 와 '매개변수 (형식매개변수)' 의 용어 설명을 하고 있는 것에 불과합니다.

  함수호출을 준비하는 과정에서 각 인자의 복사본이 만들어집니다; 모든 인자 전달은 값에 의해 (by value) 이루어집니다. 함수는 인자수식의 복사본인 매개변수 대상체의 값을 바꿀 수 있습니다. 하지만 값의 변화는 인자 (argument) 의 입장에서는 아무런 변화를 주지 못합니다. 그러나 인자를 포인터 형태로 전달해 함수가 인자의 값을 간접적으로 변경할 수는 있습니다.
  함수가 선언되는 방법에는 2가지가 있습니다. 현대적인 방식 (new style) 에서 매개변수의 데이터형은 명백히 드러나고 함수 데이터형의 일부분입니다; 이러한 선언을 함수원형 (function prototype) 이라고 부릅니다. 고전적인 방식 (old style) 에서 매개변수는 명시되지 않습니다. 함수선언은 A8.6.3 과 A10.1 절에서 더 자세히 다루겠습니다.
  만약 호출되는 통용범위의 함수선언이 고전적인 방식이면, 기본적인 인자진급 (argument promotion) 이 아래와 같이 적용됩니다: 정수진급 (interger promotion) 이 각각의 정수형 인자 (integral) 에 수행되고, float 형 인자들은 double 형으로 변환됩니다. 인자의 개수가 함수정의에 있는 매개변수의 개수와 맞지 않거나, 진급후의 인자의 데이터형이 대응하는 매개변수의 데이터형과 맞지 않는 경우, 함수호출의 영향은 정의되어 있지 않습니다 (undefined). 데이터형 일치 (agreement) 에 대한 사항은 함수의 정의가 현대적인지 고전적인지에 따라 달라집니다. 만약에 함수의 정의가 고전적이라면, 인자의 진급된 데이터형과 매개변수의 진급된 데이터형 사이에 비교가 이루어집니다. 만약 함수정의가 현대적인 방식이라면, 인자의 진급된 데이터형과 진급이 이루어지지 않은 매개변수 자체의 데이터형이 같아야 합니다.
  함수선언이 현대적 방식이면, 인자가 함수원형의 대응하는 매개변수의 데이터형으로 대입되듯이 변환됩니다. 인자의 개수는 함수선언의 매개변수가 생략부호 (, ...) 로 끝나지 않는 이상, 명확히 기술된 매개변수의 개수와 같아야 합니다. 매개변수가 생략부호로 끝나는 경우, 인자의 개수는 매개변수와 같거나 혹은 더 많아야만 합니다; 명확히 기술된 매개변수의 개수를 넘어서는 인자들에는 앞에서 이야기한 기본적인 인자진급 (default argument promotion) 이 적용됩니다. 만약 함수의 정의가 고전적 방식이라면, 호출시에 보이는 함수원형의 매개변수 데이터형은 인자진급이 일어난 후의 함수정의에서의 대응하는 매개변수와 같아야 합니다.

  인자의 평가순서 (the order of evalution of argument) 는 따로 정해져 있지 않습니다 (unspecified); 컴파일러마다 다르다는 의미입니다. 하지만 인자와 함수지정자 (function designator) 는 그 부작용 (side effect) 을 포함해, 함수에 진입하기 전에 모두 평가됩니다. 어떠한 함수라도 재귀호출 (recursive call) 이 가능합니다.

▷ A7.3.3 구조체 참조 (Structure Reference)
  점뒤에 명칭이 따라오는 수식은 접미수식 입니다. 첫번째 피연산자 수식은 반드시 구조체나 공용체여야 하고, 명칭은 구조체나 공용체의 멤버 이름이어야 합니다. 수식의 값은 구조체나 공용체의 멤버이고, 데이터형은 그 멤버의 데이터형 입니다. 첫번째 수식이 좌변값이고, 두번째 수식의 데이터형이 배열형이 아니라면 수식은 좌변값이 됩니다.
  화살표 (->) 와 명칭이 뒤에 붙는 수식은 접미수식 입니다. 첫번째 수식은 구조체나 공용체를 가르키는 포인터여야 하고, 명칭은 구조체나 공용체의 멤버여야 합니다. 결과는 포인터 수식이 가르키는 구조체나 공용체의 멤버를 참조합니다; 결과는 데이터형이 배열형이 아니라면 좌변값입니다.
  수식 E1->MOS 는 (*E1).MOS 와 같습니다. 구조체와 공용체는 A8.3 절에서 논의합니다.

▷ A7.3.4 접미증가 (Postfix Incrementation)
  ++, -- 연산자가 뒤따라오는 수식은 접미수식 입니다. 수식의 값은 피연산자의 값입니다. 값이 정해진 후에, 피연산자는 1만큼 증가(++)되거나, 감소(--)됩니다. 피연산자는 좌변값이어야 합니다; 피연산자와 연산의 세세한 것들에 대한 제약은 덧셈연산자 (A7.7) 와 대입연산자 (A7.17) 를 참고하시기 바랍니다. 결과는 좌변값이 아닙니다.