**********************************************
**********************************************
1-2 문법적 엄격성
가. 함수의 원형 반드시 정의
함수의 원형이란 컴파일러에게 함수의 형태에 관한 정보를 알려주는 것이며
다음과 같은 형태로 C에서 함수의 원형을 밝혀주었었다.
* 표준 함수 : 그 함수의 원형이 포함되어 있는 헤더 파일을 include하여 원형
을 선언한다.
* 사용자정의 함수 : main 파일의 선두에 함수의 원형을 직접 밝혀 준다. 다중
모듈의 프로젝트인 경우는 별도의 헤더 파일을 만들어 두고 헤더 파일에 사용
자정의 함수의 원형을 모두 밝힌 후 main 파일에서는 헤더 파일을 include하기
도 한다.
C를 제대로 공부했다면 이 정도는 잘 알고 있을 것이다. 그런데 C에서는 예외
사항이 존재하는데 그 예외 사항이란 함수의 원형이 밝혀지지 않은 경우에 디
폴트 원형을 적용한다는 것이다. 함수의 디폴트 원형은 리턴값이 int형이며 인
수에 관한 규정은 없다. 즉 선언되지 않은 함수 nodecl() 함수가 호출되면 이
함수의 리턴값을 정수형으로 취급하고 인수는 호출시의 인수를 사용하도록 되
어 있다. 그래서 이러한 디폴트 원형과 일치하는 원형을 가지는 함수는 원형을
선언해주지 않더라도 제대로 컴파일되었다.
printf, putch, scanf 등등 우리가 항상 애용했던 이러한 함수들이 모두 이
부류에 속하는 함수들이다. 대표적으로 printf를 보면 특별히 리턴할 값도 없
는 주제에 int형을 리턴하고 있는데 아마도 디폴트 원형과 맞추기 위한 것이
아닌가 하고 생각된다. 그래서 C에서 이런 함수를 쓸 때는 헤더 파일을 습관적
으로 생략하곤 한다.
하지만 C++에서는 그렇지 못하다. 디폴트 원형 따위를 적용해주는 일은 없으
며 사용한 모든 함수에 대해 원형을 일일이 밝혀주거나 헤더 파일을 포함시켜
야 한다. 문법적으로 좀더 엄격한 구조를 가짐으로써 실수를 미연에 방지하기
위해서이기도 하지만 C++의 특성인 다형성(polymorphism)이 실현되기 위해서는
모든 함수의 원형이 반드시 필요하기 때문이다. 다음 예제를 실행시켜 보자.
void main()
{
printf( "prototype\n");
}
더 이상 설명을 할 필요가 없는 간단한 프로그램이다. 이 프로그램을 test.c
라는 이름을 써서 디스크에 보관 후 실행시키면 C 문법을 따르기 때문에 무리
없이 실행된다. 하지만 이름을 test.cpp라는 이름으로 확장자를 바꾸어 다시
저장하고 컴파일시키면 C++ 문법을 따르므로 다음과 같은 에러 메시지가 나고
컴파일은 중단된다.
Function 'printf' should have a prototype.
함수의 원형이 정의되지 않아 컴파일할 수가 없다는 뜻이다. #include <stdio
.h>를 포함시켜 주면 문제가 해결된다. 정리하자면 C++에서는 모든 함수의 원
형을 밝혀주어야 하며 절대로 생략할 수 없다는 것이다.
위와 같은 메시지를 만나는 족족 레퍼런스나 help를 뒤져 그 함수의 원형이
선언되어 있는 헤더 파일을 포함시켜 주도록 하자.
나. 매개 변수 타입 생략 불가능
C에서 함수의 원형을 밝혀주는 방법에는 3가지 방법이 있다.
1 함수의 리턴값만 명시한다.
int func();
2 함수의 리턴값과 인수의 타입만 명시한다.
int func( int, char);
3 함수의 리턴값과 인수의 타입, 인수의 이름까지 선언한다.
int func( int a, char c)
이 세 가지 방법이 모두 가능하며 이중 2번 방법이 제일 권장되는 방법이다.
그런데 사람이 원래 간편한 것을 좋아하는 속성이 있어 1번 형식을 애용하는
사람들이 많이 있는데 이 형식을 사용하더라도 C가 인수 타입을 체크해주지 않
는다는 것뿐 별 무리는 없었다. 그러나 C++에서는 이러한 간편한 방법이 허용
되지 않으며 반드시 인수의 데이터 타입을 밝혀주는 2번 형식이나 3번 형식을
사용해야 한다. 그렇지 않으면 다음과 같은 에러가 난다.
Extra parameter in call to func()
원형에는 인수가 없는데 호출시에 인수가 발견되었으므로 에러로 간주된다.
인수의 데이터 타입을 반드시 밝혀주어야 하는 것도 문법이 엄격한 쪽으로 변
한 것이며 이름은 같고 인수가 다른 함수들을 구별해내기 위한 다형성을 위한
것이다. 다음 예제를 보자.
#include <stdio.h>
int add();
void main()
{
printf( "3+2=%d", add( 3, 2));
}
int add( int a, int b)
{
return a + b;
}
이 예제를 C 형식으로(확장자가 C) 컴파일하면 문제가 없지만 C++ 형식으로(
확장자가 cpp) 컴파일하면 에러가 발생한다. 함수의 원형은 반드시 밝혀주되 2
번 형식이나 3번형식, 그 중에도 특히 2번 형식이 권장할 만하다.
**********************************************
**********************************************
1-3 확장된 점
가. 함수 중간에서 변수 선언
C에서 변수는 반드시 함수 바깥에서 선언(전역 변수)되거나 또는 함수 내부의
선두(지역변수)에서 선언되어야 한다. 그러나 C++에서는 함수 내부의 중간쯤에
도 변수가 선언될수 있다. 다음 예제가 그 대표적인 예이다.
#include <stdio.h>
void main()
{
int i;
i = 3;
int j; // 새로운 변수를 선언
j = 5;
for ( i = 1; i < 10; i ++)
printf( "%d\n", j);
}
5행에서 i에 3을 대입하는 대입문이 오고 난 후에도 변수 j를 선언하는 것이
가능하다. C에서는 함수 호출, 연산식 등의 코드를 생성시키는 문장 이후에 변
수를 선언하는 것은 불가능한 일이다. 그러나 이 방법이 비록 가능은 하다고
해도 별로 권장할 만한 방법은 아니다. 변수의 선언은 가급적 한 곳에 모아서
하는 것이 시각상, 효율상 훨씬 유리하다.
변수의 선언이 함수 내부의 이곳 저곳에서 중구 난방으로 이루어진다면 나중
에 수정하기가 곤란해지고 변수가 숨바꼭질을 하는 사태가 발생하게 된다. 다
음과 같은 형태로 변수를 선언해서 사용하는 것은 꽤 편리한 방법이며 실용적
으로도 배워둘만한 방법이다.
#include <stdio.h>
void main()
{
int j;
j = 588;
for ( int i = 0; i < 10; i ++) // 루프 내부에서 변수 선언
printf( "%d\n", i);
}
C++에서는 for, while 등의 순환문 선두에 변수를 선언하는 것이 가능하다.
for 루프 내부에서만 잠시 쓰이고 말 루프 제어 변수라면 굳이 함수 선두에서
만들 필요없이 for 루프에서 만들어 쓰는 것이 좋다.
이렇게 for 루프의 선두에서 선언된 변수는 for 루프에서만 사용되며 for 루
프가 종료되는 즉시 기억장소가 반납되고 생명이 다하는 지역 변수이다. C에서
이러한 국부적인 변수를 선언할 수 없기 때문에 제어 변수로 잠시 쓰이는 변수
라도 반드시 함수의 선두에 선언해주어야 하는 불편함이 있었다. 참고로 다음
과 같은 변수 선언도 가능하다.
#include <stdio.h>
void main()
{
int i;
for ( i = 1; i < 5; i ++)
{
int j; // 여기서 새로운 변수를 선언
j = i * 2;
printf( "%d\n", j);
}
}
함수의 선두가 아닌 for 루프의 블럭 시작 부분에서 변수가 선언되어 사용된
다. C를 오랫동안 사용한 사람도 이 방법은 잘 모르고 있는데 C++에서 새로 추
가된 것이 아니라 원래 C에서 이 방법이 가능하다. C는 모든 종류의 블럭 선두
에서({ }의 선두) 변수 선언이 가능하도록 되어 있다.
이어서 계속됩니다. ==============>>>>>>>
--------------------------------------------------------------------------------