[완료] C언어에서 함수 정의하는 경우

교육 일선에 계시는 분이 옛날 스타일로만 가르치는건 좀 이상하네요.
두가지를 다 알려주고 그중 한가지를 쓴다면 문제가 덜 될듯한데요.
일단 교수님께 문제제기를 해보는게 좋지 않을까 생각합니다.
---------
간디가 말한 우리를 파괴시키는 7가지 요소

첫째, 노동 없는 부(富)/둘째, 양심 없는 쾌락
셋째, 인격 없는 지! 식/넷째, 윤리 없는 비지니스

이익추구를 위해서라면..

다섯째, 인성(人性)없는 과학
여섯째, 희생 없는 종교/일곱째, 신념 없는 정치

qmail 의 경우 함수 정의와 선언에서 모두 비원형을 사용하기 때문에
적용되지 않는 이야기지만, 함수 정의를 비원형 방식을 사용했다고 해서
함수 호출시 매개변수의 개수, type 에 대한 검사가 항상 이루어지지
않는 것은 아닙니다. 함수 호출시에 필요한 모든 검사를 수행하면서도
하위 호환성 유지를 위해 비원형 정의를 사용할 수도 있습니다. 따라서
함수 정의 형태만 놓고는 함수가 호출될 때 매개변수-인자 검사가
올바르게 수행되지 않는다고 단정할 수는 없습니다.

함수 선언을 원형으로 적절히 제공할 경우 함수의 비원형 정의-원형
선언의 호환 규칙에 의해 필요한 건 다 검사됩니다.

woong ~ # cat alloc.h alloc.c main.c
/* alloc.h */
#ifdef __STDC__
#define PARAM(x) x
#else
#define PARAM(x)
#endif
 
void alloc_free PARAM((char *x));
 
 
/* alloc.c */
#include "alloc.h"
 
void alloc_free(x)
int *x;    /* wrong! */
{
   /* ... */
}
 
 
/* main.c */
#include "alloc.h"
 
int main(void)
{
    char *p = 0;
 
    alloc_free(p);
 
    return 0;
}
 
woong ~ # gcc alloc.c main.c
alloc.c: In function 'alloc_free':
alloc.c:6: error: argument 'x' doesn't match prototype
alloc.h:8: error: prototype declaration

함수 선언의 경우 간단한 매크로로 원형/비원형 전환이 쉽지만, 함수
정의는 그렇지 않아 일단 비원형으로 정의한 후에 원형 선언과의 호환
검사를 통해 원하는 검사가 모두 이루어지도록 하기 위해 아직도 종종
비원형 함수 정의를 사용하고 있습니다. 물론, 일반적인 상황에서 이는
아주 (매우 심하게) 구식인 implementation 을 고려한 것입니다 - 물론,
비원형 선언/정의 자체가 지양되어야 하는 마당에 그런 구식
implementation 을 고려할 필요가 있는지에는 회의적입니다.

* PARAM 매크로 사용에 실수가 있어 수정했습니다.

--
Jun, Woong (woong at icu.ac.kr)
Web: http://www.woong.org (서버 공사중)