StrongSon

문장, 수식, 연산자

 C 프로그램은 여러 가지 문장으로 구성되고, 대부분의 문장은 수식과 연산자로 이루어져 있다. C 프로그램을 작성하기 위해서는 이런 세 가지 내용(문장, 수식, 연산자)을 이해할 필요가 있다. 오늘은 다음과 같은 내용을 배울 것이다.

- 문장은 무엇인가?

- 수식은 무엇인가?

- C에서 사용되는 산술, 관계, 논리 연산자

- 연산자의 우선 순위

- if문

1. 문 장

 : 문장(statement)은 컴퓨터에게 어떤 동작을 수행하도록 지시하는 명령문이다. C의 문장은 가끔 여러 줄에 걸쳐 나타나기도 하지만, 일반적으로 한 줄에 하나씩 입력된다. C의 문장은 #define이나 #include와 같은 선행 처리기 지시어를 제외하고는 항상 세미콜론 으로 끝난다. 앞에서는 이미 C의 여러 가지 문장을 보았었다. 예를 들어, 다음은

 x = 2 + 3;

할당문(assignment statement)이다. 이것은 컴퓨터에게 2와 3을 더하여 그 결과를 변수 x에 저장하도록 지시한다. 다른 종류의 문장은 필요할 때마다 설명할 것이다.

1.1 문장과 공백

 : 공백(whitespace)이라는 용어는 소스 코드에 포함되어 있는 빈칸(space), 탭(tab), 빈줄(blank line)을 일컫는 말이다. C 컴파일러는 모든 공백을 무시한다. 컴파일러는 소스 코드의 내용을 읽어들일 때 문장에 포함된 문자와 종료를 뜻하는 세미콜론을 찾지만 모든 공백을 무시한다. 그래서 다음과 같은 문장은

 x=2+3;

다음과 같이 입력할 수 있다.

x = 2 + 3;

또한, 다음과 같이 사용할 수도 있다.

x      =

2

+

3;

이런 특징은 소스 코드를 정리하는 데 있어서 여러 가지 융통성을 제공해준다. 그러나 앞의 예제처럼 소스 코드를 입력해서는 안된다. 하나의 문장은 변수와 연산자 주변에 몇 개의 공백을 포함시킨 상태로 한 줄에 하나씩 입력하는 것이 일반적이다. C 프로그램에 더욱 익숙해지게 되면 자신만의 기호에 맞는 문장 입력 방식을 사용하게 되는데, 중요한 것은 소스 코드를 항상 이해하기 쉽게 만들어야 한다는 것이다. 그러나 C가 공백을 무시하지 않는 예외적인 경우가 있다. 문자열 상수 내에서 사용되는 탭과 빈칸은 무시되지 않고 문자열의 일부분으로 받아들여진다. 문자열(string)은 일련의 문자들을 말한다. 실제문자열 상수(literal string constants)는 따옴표에 포함되고 컴파일러가 공백을 그대로 받아들이는 '문자열'을 말한다. 다음 예제는 비록 좋지 못한 입력 방식이지만 잘못된 것은 아니다.

          printf(

          "Hello, world!"

          );

그러나 다음과 같은 내용은 잘못된 것이다.

          printf("Hello,

          world!");

실제 문자열 상수의 내용을 여러 줄로 구분하여 사용하기 위해서는 내용이 끊어지는 곳의 바로 앞에 백슬래시(＼)를 포함시켜야 한다. 그래서 다음과 같은 문장은 사용할 수 있다.

          printf("Hello,＼

          world!");

1.2 널 문장

 : 만약 한 줄에서 아무런 내용도 입력하지 않고 세미콜론을 사용하면, 아무런 동작도 수행하지 않는 문장을 뜻하는 널 문장(null statement)이 된다. 이런 문장은 C에서 허용된다. 나중에 널 문장이 유용하게 사용되는 경우를 설명할 것이다.

1.3 복합문

 : 블록(block)이라고도 하는 복합문(compound statement)은 괄호 내에 포함되어 있는 두 줄 이상의 C 문장들을 말한다. 다음은 블록의 예이다.

           {

               printf("Hello, ");

               printf("world!");

           }

C에서 블록은 일반적인 문장을 사용할 수 있는 곳이면 어디에서든지 사용할 수 있다. 괄호는 여러가지 방법으로 사용할 수 있다. 다음의 예는 앞에서와 같은 내용이다.

           {printf("Hello, ");

           printf("world!");}

블록의 시작과 끝을 분명하게 하기 위해서 괄호를 대응하는 열(column)에 위치시키는 것은 좋은 생각이다. 또한 괄호를 정렬하여 입력하게 되면 빠뜨리지 않고 입력하는데 도움이 된다.

2. 수 식

 : 수식(expression)은 C에서 숫자값을 계산하거나 어떤 결과로 평가되는 것을 말한다. C의 수식은 다양한 형태로 구성될 수 있다.

2.1 단순 수식

 : C의 가장 간단한 수식은 하나의 항목으로 구성된다. 이런 수식에는 간단한 변수, 실제 상수, 기호 상수등이 있다. 다음은 단순 수식의 예이다.

<표 4.3>을 통해서 어떤 수식에서든지 연산자는 다음과 같은 순서로 사용된다는 것을 알 수 있을 것이다.

- 단항 증가 연산자와 감소 연산자

- 곱셈, 나눗셈, 나머지 연산자

- 덧셈, 뺄셈 연산자

만약 수식 내에 동일한 우선 순위를 가지는 하나 이상의 연산자가 포함되어 있다면, 수식 내의 왼쪽에서부터 오른쪽으로 진행하며 사용된다. 예를 들어, 다음과 같은 수식에서 %와 *는 동일한 우선 순위를 가지고 있지만, %는 가장 왼쪽의 연산자이므로 먼저 사용된다.

12 % 5 * 2

이 수식은 12 % 5가 2이고 2에 2를 곱한 것이 4이므로 4로 계산된다. 앞에서 사용된 예제로 돌아가서 이제 x = 4 + 5 * 3;에서는 곱셈이 덧셈보다 먼저 수행되므로, x에는 19의값이 저장된다는 것을 알 수 있을 것이다. 그렇다면, 우선 순위에 의해서 원하는 결과를 구할 수 없다면 어떤 문제가 발생할까? 앞에서 사용된 예제의 경우, 만약 4아 5를 더하고 나서 다시 3을 곱하기 원했다면 어떻게 해야 할까? C에서는 연산자의 우선 순위를 변경하기 위해서 괄호를 사용한다. 괄호 내에 포함된 수식은 연산자의 우선 순위에 관계없이 가장 먼저 계산된다. 그래서 앞의 예제는 다음과 같이 변경할 수 있을 것이다.

x = (4 + 5) * 3;

괄호 내의 수식 4 + 5가 먼저 계산되므로 x에는 27의 값이 저장될 것이다. 또한, 수식에서는 여러 개의 종속된 괄호를 사용할 수 있다. 종속된 괄호를 사용할 때에는 가장 안쪽에 있는 수식부터 바깥쪽으로 진행하며 연산이 수행된다. 다음의 복합 수식을 살펴보자.

x = 25 - (2 * (10 + 4))

이것은 다음과 같은 순서로 진행된다.

① 가장 안쪽의 수식인 8 / 2가 4의 값으로 계산되며 가장 먼저 수행된다.

② 바깥쪽으로 한 단계 이동하여 10 + 4의 수식이 14의 값으로 계산된다.

③ 마지막으로, 가장 바깥쪽의 수식인 2 * 14는 28의 값으로 계산된다.

④ 이제 남은 수식이 계산되어 -3의 값이 변수 x에 저장된다.

수식의 내용을 분명하게 하기 위해서는 원하는 곳에서 괄호를 사용할 수 있다. 이것은 우선 순위를 변경할 필요가 없는 곳에서도 가능하다. 괄호는 항상 쌍을 이루어 사용해야 하고, 그렇지 않으면 컴파일러에서 에러가 발생할 것이다.

3.4 수식의 계산 순서

 : 앞에서도 설명했듯이, C의 수식에서 동일한 우선 순위를 가지는 하나 이상의 연산자를 사용할 때에는 수식의 왼쪽에서 오른쪽으로 진행하며 계산하게 된다. 예를 들어, 다음 수식에서는

w * x / y * z

w와 x를 곱한 후에 다시 y로 나누고, 마지막으로 나눗셈의 결과와 z를 곱한다. 그러나 우선 순위가 다른 연산자의 겨우에는 왼쪽에서 오른쪽으로 진행하지 않는다. 다음과 같은 수식을 살펴보자.

w * x / y + z / y

여기에서는 우선 순위에 위해서 곱셈과 나눗셈이 덧셈보다 먼저 수행된다. 그러나 w * x / z가 z / y보다 먼저 수행되는지 또는 나중에 수행되는지를 지정하지는 않으므로, 이것을 정확히 알 수는 없다. 다른 하나의 예제를 살펴보자.

w * x / ++y + z / y

만약 앞의 수식(w * x / ++y)이 먼저 계산된다면, y의 값은 뒤의 수식(z / y)이 계산될 때 증가될 것이다. 뒤의 수식이 먼저 평가된다면 y는 증가되지 않을 것이며 결가는 달라지게 된다. 그래서 프로그램을 작성할 때에는 이런 애매한 수식을 사용하지 않도록 주의해야 한다.

* 이장의 마지막 부분에서 C의 모든 연산자의 우선 순위를 참조하기 바란다.

3.5 관계 연산자

 : C의 관계 연산자(relational operators)는 'x가 100보다 큰가' 또는 'y가 0과 동일한가'와 같은 내용을 질문하는 수식에서 값을 '비교하는' 경우에 사용된다. 관계 연산자가 사용되는 수식은 참(1)이나 거짓(0)으로 평가된다. <표 4.4>에는 C의 6가지 관계 연산자가 나타나 있다.

<표 4.4> C의 관계 연산자

    {

        printf("＼nInput an integer value for x: ");

        scanf("%d", &x);

        printf("＼nInput an integer value for y: ");

        scanf("%d", &y);

        if ( x == y )

           printf("x is equal to y＼n");

        if ( x > y )

           printf("x is greater than y＼n");

        if ( x < y )

           printf9"x is smaller than y＼n");

        return 0;

    }

-> 입력 / 출력

    Input an integer value for x: 100

    Input an integer value for y: 10

    x is greater than y

4.1 else절

 : if문은 선택적으로 else절을 포함할 수 있다. else절은 다음과 같은 형식을 가진다.

            if (expression)

                statement1;

            else

                statement2;

만약 expressin이 참이라면 statement1이 실행된다. expression이 거짓이라면 statement2가 실행된다. statement1과 statement2는 복합문이나 블록이 될 수 있다. <리스트 4.4>는 if문에서 else절을 사용하여 <리스트 4.3>에 있는 프로그램을 다시 작성한 것이다.

<리스트 4.4> else절을 사용하는 if문의 예

-> 입력 / 출력

     Input an integer value for x: 99

     Input an integer value for y: 8

     x is greater than y

5. 관계 수식의 계산

 : 관계 연산자를 사용하는 수식은 제한된 값을 가지게 되는 C의 수식이다. 관계 연산자는 수식을 거짓(0)이나 참(1)의 값으로 평가한다. 물론 관계 연산자는 if문이나 다른 어떤 조건문 내에서 가장 많이 사용되지만, 순수한 숫자값에 대해서 사용될 수도 있다. <리스트 4.5>에 있는 프로그램은 이런 사실을 설명해준다.

<리스트 4.5> 관계 수식의 사용 예를 보여주는 프로그램

-> 출 력

    a = (5 == 5)

    a = 1

    a = (5 != 5)

    a = 0

    a = (12 == 12) + (5 != 1)

    a = 2

5.1 관계 연산자의 우선 순위

 : 앞에서 설명되었던 산술 연산자와 마찬가지로 관계 연산자는 여러 개의 연산자를 사용하는 수식에서 수행 순서를 결정하는 우선 순위를 가지고 있다. 또한 관계 연산자를 사용하는 수식에서는 우선 순위를 변경하기 위해서 괄호를 사용할 수 있다. 우선, 모든 관계 연산자는 산술 연산자보다 낮은 우선 순위를 가진다. 그래서 다음과 같은 문장을 작성한다면 x에 2를 더하고 나서 그 결과를 y와 비교하게 된다.

    if (x + 2 > y)

이 문장은 우선 순위를 분명하게 해주기 위해서 괄호를 사용하는 다음 문장과 동일하다.

    if ((x + 2) > y)

C 컴파일러에 의해서 요구되는 것은 아니지만, (x + 2)에서 사용되는 괄호는 전체적인 결과가 y와 비교되어야 한다는 것을 분명히 알려줄 것이다. 관계 연산자에는 두 가지 단계의 우선 순위가 있다. <표 4.6>에는 우선 순위가 나타나 있다.

<표 4.6> C의 관계 연산자의 우선 순위

만약 다음과 같은 내용을 사용한다면

   x == y > z

C는 0이니 1의 값으로 평가되는 y > z라는 수식을 먼저 사용하므로 다음과 같은 뜻이 될 것이다.

   x == (y > z)

그리고 나서 C는 x가 처음에 계산된 1이나 0과 동일한지 비교해본다. 이러한 형태의 비교는 드물게 사용되지만 알아둘 필요가 있을 것이다.

6. 논리 연산자

 : 프로그램을 작성하다 보면 가끔 하나 이상의 질문을 동시에 요구해야 하는 경우가 있다. 예를 들어, '평일이고, 오존 7시이며, 휴일이 아니라면 알람을 울린다.'와 같은 내용이 필요할 수 있다. C의 논리연산자(logical operators)는 두 개 이상의 관계 수식을 참이나 거짓으로 평가하기 위해서 하나의 수식으로 결합하는 데 사용된다. C의 세 가지 논리 연산자는 <표 4.7>에 나타나 있다.

<표 4.7> C의 논리 연산자

연산항의 참이나 거짓 값에 따라서 결과가 참이나 거짓으로 평가되는 수식에서 논리 연산자가 사용되는 것을 쉽게 볼 수 있을 것이다. <표 4.9>에는 이런 수식의 예가 나타나 있다.

<표 4.9> C의 논리 연산자의 사용 예

또한, 여러 개의 논리 연산자를 사용하는 수식을 구성할 수도 있을 것이다. 예를 들어, 'x가 2, 3, 4 중의 하나와 동일한가?'라는 질문을 수식으로 나타내기 위해서는 다음과 같은 내용을 작성할 수 있을 것이다.

(x == 2) || (x == 3) || (x == 4)

논리 연산자는 이러한 질문에 대해서 가끔 여러 가지 해결 방법을 제공해주기도 한다. 그래서 x가 정수형 변수라면 앞의 질문을 다음과 같이 작성할 수도 있을 것이다.

      (x > 1) && (x < 5)

      (x >= 2) && (x <= 4)

6.1 참과 거짓을 뜻하는 값

 : C의 관계 수식에서는 거짓을 나타내기 위해서 0이 사용되고, 참을 나타내기 위해서 1이 사용된다는 것을 설명했다. 그러나 참이나 거짓의 논리 값으로 평가되는 C의 수식이나 문장에서 어떤 숫자값이 사용될 때에는 숫자값 역시 참이나 거짓으로 간주된다는 사실을 기억할 필요가 있다. 이것은 다음과 같은 규칙을 가진다.

- 0의 값은 거짓을 표현한다.

- 0이 아닌 다른 모든 값은 참을 표현한다.

x의 값을 출력하는 다음 예제를 살펴보자.

    x = 125;

    if (x)

    printf("%d", x);

x가 0이 아닌 값을 가지므로 if문에서 (x)라는 수식은 참으로 평가되는 것이다. 또한, 다음과 같은 수식은 어떤 수식에서든지

     (expression)

다음과 같은 뜻을 가진다.

     (expression != 0)

이러한 두 개의 수식은 expression이 0이 아니라면 참으로 평가되고, expression이 0이라면 거짓으로 평가된다. 부정 연산자(!)를 사용하면 다음과 같은 수식을 사용할 수 있다.

     (!expression)

이것은 다음과 같은 뜻이다.

     (expression == 0)

6.2 연산자의 우선 순위

 : 예상할 수 있듯이, C의 논리 연산자에도 우선 순위가 정해져 있다. 이것은 논리 연사자간의 우선 순위뿐 아니라 다른 연산자와도 관계된 것이다. ! 연산자는 단항 연산자인 ++나 --와 같은 우선 순위를 가지고 있다. 그래서 ! 는 모든 관계 연산자와 이항 산술 연산자보다도 높은 우선 순위를 가지고 있다. 반면에, &&는 || 연산자보다 높은 우선 순위를 가지고 있지만, 이런 두 가지 연산자는 모든 산술 연산자와 관계 연산자보다 낮은 우선 순위를 가진다. C의 다른 모든 연산자에서와 마찬가지로, 논리 연산자를 사용할 때에는 우선 순위를 변경하기 위해서 괄호를 사용할 수 있다. 예제를 살펴보자.

다음과 같은 세 가지 비교를 수행하는 논리 수식을 작성하기 원한다고 하자.

     ① a가 b보다 작은가?

     ② a가 c보다 작은가?

     ③ c가 d보다 작은가?

조건 1이나 조건 2의 하나가 참이고, 조건 3이 참인 경우에만 전체적으로 참이 되는 수식을 작성하기 원한다면 다음과 같은 내용을 작성할 수 있을 것이다.

     a < b || a < c && c < d

그러나 이것은 예상했던 대로 동작하지 않을 것이다. && 연산자는 ||보다 높은 우선 순위를 가지므로 앞의 수식은 다음과 동일하다.

     a < b || (a < c && c < d)

그래서 (a < b)가 참이라면 (a < c)와 (c < d)가 참인지의 여부에 관계없이 전체적인 결과는 참이 될 것이다. 그러므로 정상적인 결과를 얻기 위해서는 다음과 같이 작성해야 할 것이다.

     (a < b || a < c) && c < d

이것은 ||연산자가 &&연산자보다 먼저 수행되게 한다. <리스트 4.6>에는 이러한 두 가지 형태의 수식에 의한 결과를 비교할 수 있는 프로그램이 나타나 있다. 변수는 정상적인 경우에 결과가 거짓이 되도록 설정되어 있다.

<리스트 4.6> 논리 연산자의 우선 순위

->출 력

    Without parentheses the expression evaluates as 1

    With parentheses the expression evaluates as 0

6.3 복합 할당 연산자

 : C의 복합 할당 연산자(compound assignment operators)는 할당문과 이항 산술 연산자의 기능을 동시에 사용하게 해주는 간편한 방법을 제공해준다. 예를 들어, x의 갓을 5 증가 시키거나 x에 5를 더하여 x에 저장하기 원한다고 하자. 다음과 같은 수식을 작성할 수 있을 것이다.

     x = x + 5;

이것은 더욱 간편한 방법인 복합 할당 연산자를 사용하여 다음과 같이 작성할 수 있다.

     x += 5;

일반적으로 복합 할당 연산자는 다음과 같은 형식을 사용한다. op는 이항 연산자를 뜻하는 것이다.

     exp1 op = exp2;

이것은 다음과 같은 뜻을 가지고 있다.

     exp1 = exp1 op exp2;

복합 할당 연산자에서는 이 장의 앞 부분에서 설명했던 5가지의 이항 연산자를 사용할 수 있다. <표 4.10>에는 몇 가지 예제가 설명된다.

<표 4.10> 복합 할당 연산자의 사용 예

복합 연산자는 특히 할당 연산자의 왼쪽 부분에 있는 변수가 복잡할 때 간편하고 유용하게 사용된다. 다른 모든 할당문에서와 마찬가지로 복합 할당문은 수식이므로 그 결과는 왼쪽의 변수에 저장된다. 그래서 다음의 수식을 실행하면 x와 z는 모두 14의 값을 가지게 된다.

      x = 12;

      z = x += 2;

6.4 조건 연산자

 : 조건 연산자(conditional operator)는 세 개의 연산항을 사용하므로 3항 연산자 (ternary operator)라고 하며, C에서 제공되는 유일한 3항 연산자이다. 조건 연산자는 다음과 같은 형식으로 사용된다.

      exp1 ? exp2 : exp3

exp1이 참, 즉 0이 아닌 어떤 값을 가진다면 전체적인 수식의 결과는 exp2의 값이 된다. 그러나 exp1이 0의값을 가지는 거짓으로 평가되면 전체적인 수식은 exp3의 값이 된다. 예를 들어, 다음 문장에서 y가 참이면 1의 값을 x에 할당하고, y가 거짓이면 x에 100을 할당한다.

      x = y ? 1 : 100;

비슷하게, z에 x와 y 중에서 더 큰 값을 저장하기 위해서는 다음과 같은 문장을 작성할 수 있을 것이다.

      z = (x > y) ? x : y;

아마도 조건 연산자가 if문과 약간 비슷한 기능을 제공한다는 사실을 알 수 있을 것이다. 그래서 앞의 예제는 다음과 같은 형태로 변경할 수 있다.

      if (x > y)

           z = x;

      else

           z = y;

조건 연산자가 모든 경우에 if....else 구조를 대신해서 사용될 수 있는 것은 아니지만 if문보다 편한 것은 사실이다. 또한, 조건 연산자는 printf()함수의 내부와 같이 if문을 사용할 수 없는 곳에서도 사용할 수 있다.

      printf("The larger value is %d", ((x > y) ? x : y));

6.5 쉼표 연산자

 : 쉼표(comma)는 C에서 변수의 선언, 함수의 인수 등을 독립적으로 구분하기 위한 간단한 구두점으로 자주 사용된다. 그러나 어떤 경우에는 쉼표가 내용을 구분하는 구두점이 아니라 연산자로 사용되기도 한다. 쉼표는 수식을 두 개의 부분으로 구분하기 위해서 사용될 수 있다. 이것은 다음과 같은 결과를 나타낸다.

- 수식 내에서 구분되는 두 개의 부분은 왼쪽에서 오른쪽으로 진행하며 사용된다.

- 전체적인 수식의 결과는 오른쪽에 있는 내용에 의해서 결정된다.

예를 들어, 다음 문장은 x에 b의 값을 할당하고 나서 a를 증가시키고 b를 증가시킨다.

      x = (a++, b++);

++연산자가 후행 모드로 사용되기 때문에 b의 값은 증가되기 전에 x에 저장된다. 괄호는 쉼표 연산자가 할당 연산자보다도 낮은 우선 순위를 가지고 있으므로 사용된 것이다. 다음에 설명하겠지만, 쉼표 연산자가 가장 흔히 사용되는 경우는 for문에서이다.

7. 연산자 우선 순위

 : <표 4.11>은 우선 순위가 감소하는 순서대로 C의 모든 연산자를 나열하고 있다. 같은 줄에 있는 연산자는 같은 우선 순위를 가진다. 

함수는 C에서 프로그램을 작성할 때 중심이 되는 부분이다. 앞에서는 이미 컴파일러의 일부분으로 제공되는 C의 라이브러리 함수의 몇 가지를 살펴보았다. 이 장에서는 프로그래머가 작성하는 사용자 정의 함수에 대해서 알아보도록 하겠다.

오늘은 다음과 같은 내용을 배울 것이다.

- 함수는 무엇이고, 어떤 내용으로 구성되는가?

- 함수와 구조화 프로그래밍의 장점

- 함수를 작성하는 방법

- 함수 내에서의 지역 변수 선언

- 함수에서 프로그램으로 결과 값을 돌려주는 방법

- 함수에 인수를 전달하는 방법

1. 함수는 무엇인가?

 : 이 장에서는 '함수란 무엇인가?'에 대한 해답을 두 가지 나누어 설명할 것이다. 우선, 함수가 무엇인지 설명하고 나서 함수의 사용 방법을 알아보도록 하자.

1.1 함수의 정의

 : 우선 함수가 무엇인지 알아보자. 함수(function)는 일정한 동작을 수행하고, 필요에 따라 함수를 호출했던 프로그램으로 결과 값을 돌려주는 C의 독립적인 코드이며, 독특한 이름을 가진다. 이것을 좀더 구체적으로 살펴보자.

 - 함수는 이름을 가진다.

: 모든 함수는 독특한 이름을 가지고 있다. 프로그램에서는 이런 이름을 사용하여 함수에 포함된 내용(코드)을 사용할 수 있게 된다. 이런 동작을 함수 호출이라고 한다. 함수는 또한 다른 함수 내에서 호출될 수 있다.

 - 함수는 독립적이다.

: 함수는 프로그램 내의 다른 부분에 의해서 영향을 받거나 또는 다른 부분에 영향을 주지 않고 주어진 동작을 수행한다.

 - 함수는 특정 동작을 수행한다.

: 이것은 아주 간단한 사실이다. 함수가 수행하는 동작은 프로그램에서 프린터로 텍스트 문장을 인쇄하거나 숫자 순서대로 배열을 정렬하고, 세제곱근을 구하는 것과 같이 프로그램의 전체적인 동작을 구성하는 일부분이자 독립된 작업 내용이다.

 - 함수는 호출한 프로그램으로 결과 값을 돌려줄 수 있다.

: 프로그램이 함수를 호출할 때에는 함수에 포함된 문장이 실행된다. 이런 함수 내의 문장은 필요할 때마다 호출한 프로그램으로 결과를 전달할 수 있다. 지금까지 설명한 내용이 함수의 '정의'이다. 함수에 대한 내용을 설명할 때 이런 내용을 기억하기 바람.

1.2 함수의 사용 예

<리스트 5.1>에 있는 프로그램에는 사용자 정의 함수가 포함되어 있다.

<리스트 5.1> 숫자의 세제곱을 계산하기 위해 함수를 사용하는 프로그램

<그림 5.1> 프로그램에서 함수를 호출할 때 제어는 함수로 전달되며, 함수의 실행이 완료될 때 다시 프로그램으로 전달된다. 이제 함수에 대한 개념과 함수의 중요성을 이해할 수 있을 것이다. 잠시 후에 자신만의 함수를 작성하고 사용하는 방법을 살펴보도록 하자.

** 문법 - 함수의 작성과 사용

함수 원형

    return_type function_name(arg-type name-1, ..., arg-type name-n);

함수 정의

    return_type function_name(arg-type name-1, ..., arg-type name-n)

    {

         /* 함수의 여러 가지 문장들 */

    }

함수 원형(function prototype)은 프로그램에서 나중에 정의되는 함수에 대한 내용을 컴파일러에게 알려주고 함수가 돌려주는 복귀값의 형태를 포함한다. 또한 함수의 동작 내용을 설명하는 함수의 이름을 포함하고 있다. 함수 원형에는 함수에 전달되는 인수의 형태(arg-type)가 포함되고, 필요에 따라 함수에 전달되는 변수의 이름을 포함한다. 함수 원형은 항상 세미콜론으로 끝난다. 함수 정의(function definition)는 실제적인 함수의 내용이다. 함수 정의에는 실행될 문장이 포함된다. 함수 정의에서 첫 번째 부분은 함수 헤더 (function header)라고 하는데, 함수 원형에서 세미콜론을 제거한 것과 같은 내용을 가진다. 함수 헤더는 세미콜론으로 끝나지 않는다. 또한 함수 원형에서는 변수의 이름이 선택적으로 사용되지만, 함수 헤더에서는 반드시 포함되어야 한다. 헤더의 다음에는 함수가 수행하는 동작을 위해서 필요한 프로그램 문장이 포함된다. 함수의 주요 내용이 되는 이 부분은 중괄호 내에 포함되어야 한다. 또한, void가 아닌 다른 어떤 형태의 복귀값이 필요하다면, 지정된 형태에 일치하는 return문이 포함되어야 한다.

   함수 원형의 예

       double squared(double number);

       void print_report(int report_number);

       int get_menu_choice(void);

   함수 정의의 예

       double squared(double number)

       {

         return (number * number);

       }

       void print_report(int report_number)

       {

          if(report_number == 1)

            puts("Printing Report 1");

          else

            puts("Not printing Report 1");

       }

3. 함수와 구조화 프로그래밍

 : C 프로그램을 작성할 때에는 개별적인 프로그램 동작을 함수를 통해서 독립적으로 수행하는 구조화 프로그래밍(structured programming)을 구현할 수 있다. 프로그램의 독립된 부분에서 작업을 처리한다는 것은 앞에서도 설명한 함수의 특징과 동일하다. 함수와 구조화 프로그래밍은 아주 밀접한 관련이 있다.

3.1 구조화 프로그래밍의 장점

 : 구조화 프로그래밍이 왜 중요한가? 두 가지 중요한 이유가 있다.

- 복잡한 프로그래밍 문제를 여러 개의 단순하고 짧은 내용으로 분할하므로 구조화 프로그래밍을 통해 프로그램을 작성하는 것이 더 쉽다. 각각의 작업은 프로그램과 독립적으로 존재하는 함수에 의해서 수행된다. 이런 과정을 통해서 한 번에 하나씩 문제를 처리하며 상대적으로 쉽게 프로그램을 작성할 수 있다.

- 구조화 프로그래밍을 통해 작성한 프로그램은 디버깅이 쉽다. 만약 프로그램에 비정상적인 동작을 나타내는 버그(bug)가 포함되어 있다면, 구조화 프로그래밍에서는 특정 함수를 분리해서 문제를 쉽게 발견할 수 있다.

 구조화 프로그래밍과 관련된 다른 한 가지 장점은 시간을 절약할 수 있다는 것이다. 만약 어떤 프로그램에서 특정 동작을 수행하는 함수를 작성한다면, 이런 동작을 수행할 필요가 있는 다른 프로그램에서 그 함수를 쉽게 사용할 수 있을 것이다. 심지어 새로운 프로그램에서 약간 다른 내용의 동작을 수행할 필요가 있다면, 처음부터 새로운 함수를 작성하는 것보다 이전에 작성했던 함수를 변경하여 사용하는 것이 더 쉽다는 것을 알 수 있을 것이다. 실제로 이런 함수를 직접 작성해보지 않더라도, 지금까지 두 함수 printf()와 scanf()를 아주 많이 사용했다는 것을 생각해보기 바란다. 만약 함수가 한 가지 작업을 수행하도록 작성되어 있다면, 다른 프로그램에서 사용하기는 더 쉬어진다.

3.2 구조화 프로그래밍의 방법

 : 구조화 프로그래밍을 구현하기 원한다면, 우선 몇 가지 계획을 세울 필요가 있다. 이런 계획은 프로그램을 직접 작성하기 전에 세워야 하는 것으로, 종이와 연필만으로도 간단히 할 수 있는 일이다. 프로그래밍 계획에는 처리할 작업을 목록으로 나열해야 한다. 일단 전체적이고 포괄적인 프로그램의 동작을 생각해보자. 만약 이름과 주소록을 관리하기 위한 프로그램을 작성하려고 한다면, 프로그램이 어떤 동작을 수행해야 할까? 몇 가지 예를 들어보자.

- 새로운 이름과 주소를 입력한다.

- 현재의 내용을 변경한다.

- 성과 이름에 의한 순서대로 내용을 분류한다.

- 우편용 레이블(label)을 인쇄한다.

여기에서는 프로그램의 동작 내용을 네 가지 주요 작업으로 분할했다. 각각의 내용은 함수로 구성할 수 있다. 이제, 이것을 더욱 구체적으로 나누어보자. 예를 들어, '새로운 이름과 주소를 입력한다'는 동작은 다음과 같이 더욱 구체적으로 나타낼 수 있을 것이다.

- 디스크에서 현재의 주소록을 읽어들인다.

- 하나 이상의 새로운 내용을 입력하도록 해준다.

- 새로운 데이터를 목록에 추가한다.

- 갱신된 목록을 디스크에 저장한다.

이와 비슷하게 '현재의 내용을 변경한다.'는 동작은 다음과 같이 나누어볼 수 있다.

- 디스크에서 현재의 주소록을 읽어들인다.

- 하나 이상의 내용을 변경한다.

- 갱신된 목록을 디스크에 저장한다.

이런 두 가지 항목에서 공통적인 내용이 있다는 것을 알 수 있다. 디스크에서 데이터를 읽어들이고 갱신된 내용을 다시 디스크에 저장하는 동작은 두 가지 경우에 모두 사용된다. 그래서 '디스크에서 현재의 주소록을 읽어들이는' 하나의 함수를 작성하고, 이 함수를 '새로운 이름과 주소를 입력한다'는 함수와 '현재의 내용을 변경한다.'는 함수에서 호출할 수 있다. 또한, '갱신된 목록을 디스크에 저장하는' 함수도 똑같은 방법으로 사용할 수 있을 것이다.

여기서 구조화 프로그램의 한 가지 장점을 알 수 있을 것이다. 프로그램을 작업별로 세분화하면 프로그램 내에서 공통적으로 수행되는 작업이 무엇인지 알 수 있다. 그래서 프로그램을 작성하는데 소모되는 시간을 절약하고, 프로그램을 더욱 작고 효율적으로 만들 수 있으며, '공통적인' 디스크 작업 함수를 작성할 수 있다.이런 프로그래밍 방식은 계층적(hierarchical)으로 짜여진 프로그램의 구조를 형성한다. <그림 5.2>에서는 주소 목록 프로그램의 계층적인 프로그래밍 방식을 보여주고 있다.

<그림 5.2> 구조화 프로그래밍은 계층적으로 구성된다. 이런 과정에 의해서, 프로그램에서 수행할 필요가 있는 작업의 세분화도니 목록을 작성할 수 있다. 그리고 나서 모든 동작을 한번에 수행해야 하는 복잡한 프로그램을 작성하는 것보다는 상대적으로 더욱 간단한 각각의 함수를 한 번에 하나씩 작성할 수 있게 된다. 하나의 함수를 작성해서 정상적으로 동작하는지 확인하고 나면 다른 함수를 작성할 수 있다. 프로그램은 서서히 틀을 잡게 될 것이다.

3.3 하향식 접근

 : C 프로그래머들은 구조화 프로그래밍을 통해서 하향식 접근 방법(top-down approach)를 사용하게 된다. 이것은 프로그램의 구성 방법이 마치 나무를 뒤집어 놓은 것처럼 보이는 <그림 5.2>에서 설명한 내용이다. 프로그램의 실제 동작은 대부분 '가지의 끝 부분'에 해당하는 함수에서 수행된다. '상위'의 함수는 이런 여러 가지 함수들 중에서 필요한 것을 실행하도록 지시하는 역할을 한다. 결과적으로, 많은 C 프로그램은 프로그램의 주요 부분인 main() 함수에 적은 양의 코드만을 포함하게 되고, 프로그램의 골격을 이루는 내용은 여러 함수에 포함된다. main()에는 프로그램의 실행을 지시하는 몇 줄의 함수 호출문만 포함된다. 메뉴를 사용하는 프로그램에서는 종종 사용자가 선택한 사항에 따라서 프로그램의 실행을 분기하는 방법이 사용된다. 메뉴의 각 분기는 서로 다른 함수를 사용한다.

4. 함수의 작성

 : 함수를 작성하는 데 있어서의 첫 번째 단계는 함수의 용도를 결정하는 것이다. 일단 함수가 수행해야 하는 동작을 결정하고 나면 함수를 작성하는 실제 과정은 그리 어렵지 않을 것이다.

4.1 함수의 헤더

 : 모든 함수의 첫 번째 부분은 함수에 대한 특정 사항을 설명하는 세 개의 요소로 이루어지는 함수 헤더이다. 헤더는 <그림 5.3>에 나타나 있다. 각각의 요소에 대해서 하나씩 살펴보도록 하자.

<그림 5.3> 함수 헤더의 세 가지 요소

▶ 함수의 복귀형

 : 함수의 복귀형은 함수의 동작이 완료된 후에 함수를 호출했던 프로그램으로 돌려주는 데이터의 형태를 가리킨다. 복귀형은 C의 모든 데이터형이 될 수 있다. 즉, char, int, long. float, double이 사용될 수 있다. 또한, 아무런 값도 전달하지 않는 void형의 함수를 정의할 수 있다. 다음은 몇 가지 예이다.

        int   func1(...)    /* int형을 돌려준다. */

        float func2(...)    /* float형을 돌려준다. */

        void  func3(...)    /* 아무 것도 돌려주지 않는다. */

▶ 함수의 이름

 : 함수의 이름을 지정할 때에는 C의 변수 이름에 대한 규칙을 따라야 한다. 함수의 이름은 독특한 것이어야 하고, 다른 어떤 함수나 변수에 할당된 이름을 사용해서는 안된다. 함수가 수행하는 동작 내용을 알 수 있도록 함수의 이름을 지정하는 것이 좋다.

▶ 매개 변수 목록

 : 대부분의 함수에서는 프로그램에서 전달받는 인수(arguments)를 사용한다. 함수는 어떤 형태의 인수를 사용하는지 나타내어야 한다. 즉, 인수의 데이터가 지정되어야 한다. 함수에는 모든 C의 데이터형이 인수로 사용될 수 있다. 인수의 형태에 대한 내용은 함수 헤더에 매개 변수 목록의 형식으로 포함된다. 함수에 전달되는 각각의 인수에 대해서 매개 변수 목록에는 대응하는 내용이 포함되어야 한다. 이런 내용은 데이터형과 매개 변수의 이름이다. 예를 들어, 다음은 <리스트 5.1>의 함수에서 사용된 헤더이다.

        long cube(long x)

매개 변수 목록은 이 함수가 x라는 매개 변수로 표현되는 하나의 long형 인수를 사용한다는 것을 나타내기 위해서 long x라고 되어 있다. 하나 이상의 매개 변수가 존재한다면 각각의 변수를 쉼표로 구분해야 한다. 그래서 다음과 같은 헤더는

        void func1(int x, float y, char z)

x라는 이름의 int형 변수, y라는 이름의 float형 변수, z라는 이름의 char형 변수 등 세 개의 인수를 사용하는 함수를 정의한다. 어떤 함수에서는 아무런 인수도 사용하지 않으며, 이 때에는 매개 변수의 목록에 void를 사용해야 한다.

        void func2(void)

가끔 매개 변수와 인수의 차이점에 대해서 혼란스러울 것이다. 매개 변수(parameter)는 함수의 헤더에 포함되는 내용으로, 인수에 대응하여 '영역을 확보하는' 역할을 한다. 함수의 매개 변수는 고정적인 것이므로 프로그램이 실행되는 동안에 변경되지 않고 사용된다. 반면에, 인수는 함수를 호출하는 프로그램에 의해서 함수로 전달되는 실제값이다. 함수가 호출될 때마다 다른 인수값이 전달될 수 있다. 함수가 호출될 때마다 같은 수와 같은 형태의 인수를 전달해야 하지만, 인수의 실제 값은 달라질 수 있다. 함수는 인수에 대응하는 매개 변수의 이름을 통해서 값을 받아들인다. 예제를 통해서 이런 사실을 분명히 이해하도록 하자. <리스트 5.2>는 두 변 호출되는 하나의 함수가 포함되어 있는 아주 간단한 프로그램이다

<리스트 5.2> 인수와 매개 변수의 차이점

-> 출력

   The value of z = 1.750000

   The value of z = 32.555000

<그림 5.4>에는 인수와 매개 변수의 관계가 나타나 있다.

 <그림 5.4> 함수가 호출될 때마다 인수가 함수 내의 매개 변수에 전달된다.

4.2 함수의 몸체

 : 함수의 몸체(function body)는 중괄호 내에 포함되어 있으며 함수의 헤더 다음에 나타난다. 함수의 실제 동작은 여기서 수행된다. 함수가 호출될 때, 프로그램의 제어는 함수의 몸체에서 부터 시작해서 return문을 만나거나 닫는 중괄호가 나타날 때 다시 함수를 호출한 프로그램으로 돌아간다.

▶ 지역변수

 : 함수의 몸체에서는 변수를 선언할 수 있다. 함수 내에서 선언되는 변수를 지역 변수(local variables)라고 한다. 지역적(local)이라는 것은 변수가 함수 내에서만 사용되고 프로그램의 다른 부분에서 동일한 이름으로 선언된 변수와 구분된다는 것을 뜻한다. 이것이 지역 변수의 개념이다. 이제부터 지역 변수를 선언하는 방법을 살펴보자. 지역 변수는 다른 변수에서와 동일한 규칙을 사용하여 선언할 수 있다. 또한, 지역 변수는 선언하는 동시에 초기화할 수 있다. 함수 내에서는 C의 모든 변수형을 선언할 수 있다. 다음은 함수 내에서 선언되는 네 개의 지역 변수를 사용하는 예제이다.

        int func1(int y)

        {

            int a, b = 10;

            float rate;

            double cost = 12.55;

        }

여기에서는 함수 내부에서 사용되는 지역 변수 a, b, rate, cost를 선언한다. 함수의 매개 변수도 변수의 선언에 해당되는 것이므로, 매개 변수의 목록에 있는 변수도 함수 내에서 사용될 수 있다. 함수 내에서 변수를 선언하고 사용할 때, 이 지역 변수는 프로그램의 다른 부분에서 선언된 모든 변수에 대해서 독립적이다. 심지어 다른 변수가 같은 이름을 사용하고 있더라도 서로 다른 변수이다. <리스트 5.3>에 있는 프로그램은 이런 독립성을 보여주고 있다.

<리스트 5.3> 지역 변수의 사용 

-> 출력

   Before calling demi(), x = 1 and y = 2.

   Within demo(), x = 88 and y = 99.

   After calling demo(), x = 1 and y = 2.

여기에서 알 수 있듯이 함수의 지역 변수 x와 y는 함수의 바깥에서 선언된 전역 변수 x, y와 완전히 다르다. 함수 내에서 변수를 사용하는 경우에는 세가지 규칙이 적용된다.

- 함수에서 변수를 사용하기 위해서는 함수 헤더나 함수 내에서 선언해야 한다.

- 함수를 호출하는 프로그램에서 사용되는 값을 함수 내에서 사용하기 위해서는 인수의 형태로 전달해야 한다.

- 함수를 호출한 프로그램으로 함수의 결과값을 전달하기 위해서는 함수에서 결과값을 돌려주어야 한다.

▶ 함수의 내용

 : 함수에서 사용할 수 있는 문장의 종류나 내용에는 기본적으로 아무런 제한이 없다. 함수에서 수행할 수 없는 유일한 한가지 동작은 다른 함수를 정의하는 것이다. 그러나 순환문, if문, 할당문을 포함하여 함수에서는 C의 모든 문장을 사용할 수 있다. 또한 함수에서는 라이브러리 함수와 사용자 정의 함수를 호출할 수 있다. 함수의 길이에는 제한이 있을까? C는 함수의 길이에 대해서 아무런 제한을 두고 있지 않지만, 실용적인면에서 볼 때 함수는 상대적으로 짧은 것이 좋다. 구조화 프로그래밍에서 각각의 함수는 상대적으로 간단한 하나의 작업을 수행하는 것이 좋다는 사실을 기억하기 바란다. 함수의 길이가 상당히 길어진다면 하나의 함수로 여러 가지 동작을 수행하려고 했기 때문이다. 이런 함수는 아마도 두 개 이상의 더욱 세분화된 함수로 나눌 수 있을 것이다. 그렇다면, 어느 정도의 길이가 긴 것일까? 여기에 대한 정확한 해답은 없지만, 실제 경험에 의하면 25줄이나 30줄 이상의 함수를 작성하는 경우는 거의 없고 찾아보기도 힘들다. 함수의 길이에 대해서는 스스로 판단해야 한다. 어떤 프로그램에서는 긴 함수가 필요할 것이고, 대부분의 함수에서는 몇 줄의 문장만이 필요할 것이다. 프로그래밍 경험을 쌓아감에 따라, 더욱 세분화되니 함수를 사용해야 하는 경우와 어느 정도의 길이를 가지는 함수를 작성하여 사용해야 하는 경우를 구분할 수 있게 될 것이다.

▶ 값의 전달

 : 함수의 결과 값을 프로그램으로 돌렺주기 위해서는 return문과 함께 C의 수식을 사용해야 한다. 제어가 return문에 도달할 때, 수식은 평가되고 제어는 다시 원래의 프로그램으로 전달된다. 함수의 복귀값은 수식의 결과이다. 다음 함수를 살펴보자.

        int func1(int var)

        {

           int x;

           return x;

        }

이 함수가 호출될 때 return문까지의 함수의 내용이 실행된다. return은 함수를 마치고 처음에 함수를 호출했던 프로그램으로 x라는 값을 돌려준다. return에는 모든 C의 수식을 사용할 수 있다. 함수는 여러 개의 return문을 가질 수 있다. 그러나 실제로 효과를 나타내는 것은 가장 먼저 실행되는 return문이다. <리스트 5.4>에서 볼 수 있듯이 여러 개의 return문을 사용하는 것은 함수에서 다양한 값을 돌려주는 호과적인 방법이다.

<리스트 5.4> 함수에서 여러 개의 return문을 사용하는 예

<그림 5.5> 여러 개의 인수는 순서대로 함수의 매개 변수에 할당된다.

각각의 인수는 C에서 사용할 수 있는 어떤 수식이든지 될 수 있다. 상수, 변수, 산술이나 논리 수식, 또는 심지어 하나의 return값을 가지는 다른 함수를 사용할 수도 있다. 예를 들어, half(), square(), third()가 모두 복귀값을 가지는 함수라면 다음과 같은 문장을 작성할 수 있다.

      x = half ( third ( square ( half ( y ) ) ) );

프로그램은 우선 y라는 인수를 전달하며 함수 half()를 호출한다. half()의 실행이 완료되면 half()의 복귀값을 인수로 사용하여 square()가 호출된다. 다음으로 square()의 복귀값을 인수로 사용하여 third()가 호출된다. 그리고 나서 다시 half()가 호출되며, 이번에는 third()의 복귀값을 인수로 사용하게 된다. 마지막으로 half()의 복귀값은 변수 x에 할당된다. 다음은 이와 같은 내용의 문장을 여러 개로 나눈 것이다.

       a = half(y);

       b = square(a);

       c = third(b);

       x = half(c);

6. 함수의 호출

 : 함수는 두 가지 방법으로 호출할 수 있다. 어떤 함수는 단순히 함수 이름과 인수만을 사용하여 한 문장으로 호출할 수 있다. 만약 함수가 복귀값을 가진다면 그 값은 버려진다.

       wait(12);

두 번째 방법은 복귀값을 생성하는 함수에서만 사용할 수 있다. 이런 함수는 결과적인 값, 즉 복귀값을 전달하므로 C의 수식으로 간주된다. 그래서 C의 수식을 사용할 수 있는 곳이라면 어디에서든지 사용할 수 있다. 앞에서는 이미 복귀값을 생성하며 할당문의 오른쪽에서 사용되는 수식의 예를 보았다. 몇 가지 다른 예를 살펴보도록 하자. 다음 예제에서 half_of()는 함수의 매개 변수이다.

       printf("Half of %d is %d." x, half_of(x));

우선, x를 인수로 하여 함수 half_of()가 호출되고, printf()는 x와 half_of(x)의 결과를 인수로 사용하여 호출된다. 두 번째 예에서는 하나의 수식 네에서 여러 함수를 사용하고 있다.

       y = half_of + half_of(z);

여기에서는 half_of()를 두 번 사용하고 있지만, 두 번째 함수는 다른 함수가 될 수도 있을 것이다. 동일한 내용을 여러 문장으로 나누면 다음과 같다.

       a = half_of(x);

       b = half_of(z);

       y = a + b;

마지막 두 예제는 함수의 복귀값을 사용하는 효과적인 방법을 보여준다. 다음은 if문 내에서 사용된 함수이다.

       if (half_of(x) > 10)

       {

          /* 어떤 문장이 될 수 있다 */

       }

함수의 복귀값이 기준에 일치한다면, 즉 half_of()가 10보다 큰 값을 돌려주면 if문은 참이 되고 그 아래에 있는 문장이 실행된다. 그러나 함수의 복귀값이 조건을 만족시키지 않는다면 if문의 내용은 실행되지 않는다. 다음은 더 좋은 예이다.

       if (do_a_process() != OKAY)

       {

          /* 에러 처리 루틴 */

       }

여기서 사용된 예제도 실제 프로그래밍 예제는 아니다. 그러나 이 문장은 함수가 정상적으로 실행되었는지를 확인하기 위해서 복귀값을 사용하는 중요한 예제이다. 만약 정상적이지 않은 결과가 나타나면 if문에서는 에러 처리 루틴이 실행된다. 이것은 파일에서 자료를 읽어들이고, 값을 비교하고, 메모리를 할당하는 경우에 흔히 사용되는 에러 처리 방법이다. 또한, void의 복귀형을 가지는 함수를 수식에서 사용하게 되면 컴파일러는 에러 메시지를 출력할 것이다.

6.1 재귀 용법

 : 재귀 용법(reacquisition)은 함수가 직접적으로나 간접적으로 그 자신을 호출하는 것을 말한다. 간접적인 재귀(indirect reacquisition)는 하나의 함수를 호출하는 다른 어떤 함수가 현재의 함수 내에서 호출되는 경우를 말한다. C에서는 재귀적인 함수의 사용을 허용하는데, 재귀 용법은 가끔 매우 유용하게 사용된다. 예를 들어, 재귀 용법은 숫자의 계승(factorial)을 계산하는 데 유용하다. 숫자 x의 계승은 x!로 표기하는데 다음과 같이 계산할 수 있다.

      x! = x * (x - 1) * (x - 2) * (x - 3) * ... * (2) * 1

x!는 다음과 같이 계산할 수 있다.

      x! = x * (x - 1)!

계산을 한 번 진행하면 (x-1)!은 동일한 방법으로 계산할 수 있을 것이다.

      (x - 1)! = (x - 1) * (x - 2)!

이런 공식을 사용하여 x가 1이 될 때까지 재귀적인 방법으로 계산을 진행하게 된다. <리스트 5.5>에 있는 프로그램은 계승을 계산하기 위해서 재귀적 함수를 사용한다. 프로그램이 unsigned int형을 사용하므로 계승을 구할 숫자값은 8까지만 허용된다. 9이상의 계승의 결과는 정수형 변수의 범위를 벗어난다.

<리스트 5.5> 계승을 계산하기 위한 재귀적 함수의 사용

-> 입력 / 출력

   Enter an integer value between 1 and 8:

   6

   6 factorial equals 720}

7. 함수의 위치

 : 프로그램에서 함수를 어디에 위치시키는 것이 좋을까? 여기에서는 함수를 main()과 같은 파일 내에서 main() 함수의 뒤에 위치시키는 것이 좋다고 알아 두기 바란다. <그림 5.6>에는 함수를 사용하는 프로그램의 기본적인 구조가 나타나 있다. 실제로는 사용자 정의 함수를 main()이 아닌 독립된 소스 코드 파일에 포함시킬 수 있다. 이런 방법은 큰 프로그램을 작성하거나 하나 이상의 프로그램에서 동일한 기능의 함수를 사용하기 원할 때 유용하다.

 네 번째 강의에서, "문장, 수식, 연산자"에서는 프로그램의 흐름은 제어하게 해주는 if문에 대해서 설명했다. 그러나 여전히 프로그램을 제어하기 위해서는 단순히 참과 거짓의 결과에 따라 동작하는 if문 외에도 다른 것들이 필요할 것이다. 이 장에서는 프로그램의 흐름을 제어하기 위한 새로운 방법을 소개할 것이다.

- 간단한 배열을 사용하는 방법

- 문장을 여러 번 실행하기 위해서 for, while, do...while문을 사용하는 방법.

- 프로그램의 제어문을 종속시킬 수 있는 방법.

이 장에서는 모든 내용을 상세히 설명하지는 않겠지만, 실제로 프로그램을 작성할 수 있을 정도의 충분한 내용을 다룰 것이다.

1. 배열의 기초

 : for문에 대한 내용을 다루기 전에 배열에 대해서 알아보도록 하자. C에서 for문과 배열은 밀접한 관련이 있으므로 하나를 설명하지 않고 다른 하나를 소개하는 것은 힘들다. 이 장에서 설명할 for문의 예제를 이해할 수 있도록 배열에 대한 내용을 간단히 살펴보도록 하겠다.

 배열(array)은 같은 이름을 사용하지만 이름 뒤의 괄호에 나타나는 첨자(subscript)나 색인(index)에 의해서 서로 구분되는 집단적인 데이터 저장 영역의 명칭이다. 이런 개념은 배열에 대한 내용을 계속해서 접하게 되면 분명하게 이해할 수 있을 것이다. C의 다른 변수와 마찬가지로 배열을 사용하기 위해서는 먼저 선언해야 한다. 배열의 선언은 배열의 데이터형과 크기를 지정하는 것으로 가능하다. 배열의 크기는 배열 내에 포함되는 요소의 수를 뜻한다. 예를 들어, 다음 문장은 1000개의 int형 요소를 가지는 data라는 이름의 배열을 선언한다.

 int data[1000];

각각의 요소는 data[0]에서부터 data[999]까지 첨자에 의해서 지정된다. 첫 번째 요소는 data[1]이 아니라 data[0]이다. BASIC이나 다른 언어에서는 배열의 첫 번째 요소가 1이다. 그러나 C에서는 그렇지 않다. 이런 배열의 각 요소는 일반적인 정수형 변수와 동일하고, 똑같은 방법으로 사용할 수 있다. 배열의 첨자로는 다음과 같이 C의 다른 변수를 사용할 수 있다.

 int data[1000];

 int count;

 count = 100;

 data[count] = 12;    /* data[100] = 12와 동일한 문장이다. */

 지금까지 설명한 내용이 배열에 대한 기본적인 사항들이다. 이런 개념을 이해한다면 이 장에서 사용되는 예제 프로그램의 내용을 이해할 수 있을 것이다. 배열의 개념을 정확하게 이해하지 못하더라도 걱정할 필요는 없다.

2. 프로그램 실행의 제어

 : C프로그램은 기본적으로 입력된 순서대로 실행된다.프로그램은 main()함수의 처음부터 시작하여 main()의 마지막까지 문장 단위로 실행된다. 그러나 이런 실행 순서는 실제 프로그램에서 거의 나타나지 않는다. C에서는 프로그램의 실행 순서를 제어하게 해주는 다양한 프로그램 제어문이 제공된다. 앞에서는 이미 C의 가장 기본적인 제어문인 if문에 대해서 배웠으므로, 여기에서는 더욱 유용하게 사용할 수 있는 세가지 제어문에 대해서 알아보도록 하자.

2.1 for문

 : for문은 하나 이상의 블록을 지정된 횟수만큼 실행하는 C의 제어문이다. for문은 프로그램의 특정 부분을 한 번 이상 반복 실행하므로 가끔 for 순환문(for loop) 이라고도 한다. 이제 for문에 대한 상세한 내용을 알아보도록 하자. for문은 다음과 같은 구조를 가진다.

  for(initial; condition; increment)

     statement;

initial, condition, increment는 모두 C의 수식이고, statement는 C의 단일문이나 복합문이다. 프로그램이 실행되는 동안 for문을 만나게 되면 다음과 같은 동작이 수행된다.

 ① 수식 initial이 평가된다. initial은 대개 특정 값을 변수에 저장하는 할당문이다.

 ② 수식 condition이 평가된다. condition은 일반적으로 관계 수식이다.

 ③ condition이 0의 값에 해당하는 거짓으로 평가되면 for문이 종료되고 

    프로그램의 제어는 statement의 바로 다음에 잇는 문장으로 전달된다.

 ④ condition이 참으로 평가되면 statement에 포함되어 있는 C의 문장이 실행된다.

 ⑤ 수식 increment가 사용되고 나면 제어는 다시 두 번째 단계로 돌아간다.

condition이 처음에 거짓으로 평가되면 statement는 한 번도 실행되지 않는다는 것을 기억하자. 간단한 예제를 살펴보자. <리스트 6.1>에 있는 프로그램은 1부터 20까지의 수를 출력하기 위해서 for문을 사용한다. 만약 printf()문을 20번 사용한다면 여기에 나타나 있는 것보다 더욱 복잡한 프로그램이 되었을 것이다.

3. 종속된 순환문

 : 종속된 순환문(nested loop)은 하나의 순환문 내에 다른 순환문이 표함 된 것을 말한다. 앞에서는 종속된 순환문의 몇 가지 예를 보았다. C에서는 내부의 순환문이 바깥의 독립적으로 존재해야 한다는 것을 제외하고는 종속된 순환문의 사용에 아무런 제한을 두지 않는다. 그러나 순환문을 겹쳐서 사용할 수는 없다. 다음과 같은 내용은 허용되지 않는다.

 for(count = 1; count < 100; count++)

    {

       do

       {

          /* do...while 순환문 */

    }  /* 순환문의 끈 */

       } while(x != 0);

do...while문이 완전히 for문 내에 위치된다면 아무런 문제가 발생하지 않는다.

 for(count = 1; count < 100; count++)

    {

       do

       {

          /* do...while 순환문 */

       } while(x != 0);

    }  /* 순환문의 끝 */

종속된 순환문을 사용할 때에는 내부의 순환문에서 변경된 내용이 바깥쪽의 순환문에 영향을 줄 수 있다는 사실을 기억하도록 하자. 그러나 안쪽에 있는 순환문은 바깥쪽의 순환문에서 사용되는 변수에 대해서 독립적으로 존재한다는 것을 주의하자. 이 예제에서는 이런 상황이 없다. 앞의 예제에서는 do...while문에서 count값이 변경된다면 바깥쪽의 for문이 실행되는 횟수에 영향을 주게 될 것이다. 들려 쓰기를 적용해서 문장을 정리하는 것은 종속된 순환문이 사용된 프로그램을 더욱 이해하기 쉽게 도와준다. 순환문의 각각은 바깥쪽에 있는 것보다 한단계 들여 써져야 한다. 이렇게 하면 각 순환문에 관련되어 있는 문장을 분명하게 구분할 수 있다.