디폴트 인수는 몇 가지 주의 사항만 알아두면 굉장히 사용하기 쉽다. 먼저 함수를 작성할 때의 주의점부터 알아보자.
디폴트 인수는 함수의 원형에만 지정할 수 있으며 정의부에서는 중복 지정할 수 없다. 원형 선언없이 정의부만 있다면 정의부에 디폴트 인수를 지정할 수 있지만 원형과 정의부가 동시에 존재하는 일반적인 경우에는 원형 선언에만 디폴트 인수가 있어야 한다. 원형에서 기본값을 정의하고 정의부에 또 기본값을 지정하면 중복 정의 에러로 처리되는데 이는 불일치로 인한 모호함을 제거하기 위한 규칙이다. 정의부에는 인수 목록만 남겨 두거나 기본값을 꼭 명시하고 싶다면 예제에서처럼 기본값을 /* */ 주석으로 묶어야 한다. 이 주석은 원형을 보지 않고도 개발자가 인수의 기본값을 쉽게 파악할 수 있도록 해 준다.
디폴트 인수는 오른쪽부터 순서대로 지정할 수 있으며 가운데 인수들은 기본값을 지정할 수 없다. 다음 예를 보자.
void OutChar(int x, int y=5, char c='-',int n=10); // 가능
void OutChar(int x, int y=5, char c,int n=10); // 불가능
void OutChar(int x=0, int y=0, char c='-',int n=10); // 가능
void OutChar(int x=0, int y=0, char c,int n); // 불가능
void OutChar(char c,int n,int x=0, int y=0); // 가능
두 번째 예는 y에 기본값이 지정되어 있지만 c에 기본값이 지정되어 있지 않으므로 불가능하다. y가 기본값을 가지려면 첫 번째 예처럼 그 오른쪽에 있는 c도 기본값을 가져야 한다. 모든 인수들이 기본값을 가지는 것은 가능하지만 네 번째처럼 앞쪽 두 인수만 기본값을 가질 수는 없다. 만약 이런 형식이 꼭 필요하다면 마지막 예처럼 기본값을 가지는 인수를 뒤쪽으로 이동시켜야 한다.
디폴트 인수를 가지는 함수를 호출할 때도 비슷한 규칙이 적용된다. 기본 인수들은 오른쪽부터 순서대로 생략할 수 있으며 중간에 한 인수만 생략할 수는 없다.
OutChar(1,2); // 가능
OutChar(1,2,'$'); // 가능
OutChar(1,2,,5); // 불가능
OutChar(1,2,'-',5); // 가능
앞쪽 두 인수는 기본값이 주어져 있지 않으므로 무조건 전달해야 한다. 세 번째, 네 번째 인수 c,n은 생략할 수 있되 오른쪽에서부터 순서대로 생략해야 한다. c, n을 모두 생략하거나 n만 생략하는 것은 가능하지만 중간의 c만 생략할 수는 없다. 만약 c의 기본값 '-'를 사용하면서 n의 값을 지정하고 싶다면 c 자리에 기본값과 같은 값을 주면서 n을 명시해야 한다.
참고로 다음 두 가지 사항에 대해서도 알아 두자. 함수 원형 선언에서 형식 인수의 이름은 별다른 의미가 없으므로 인수 이름을 생략한 채로 기본값을 지정할 수도 있다.
void OutChar(int, int, char='-',int=10);
void (*pf)(int,int,char='-',int=10);
char='-', int=10 이라는 표현이 좀 어색해 보이지만 이 인수의 타입이 char형이고 기본값이 '-'라는 것을 밝히고 있는 것이다. 디폴트 인수를 가지는 함수를 가리키는 함수 포인터도 비슷한 방식으로 선언된다. 함수 포인터의 인수 목록에 기본값을 적어 주면 이 함수 포인터로 디폴트 인수를 사용할 수 있다. 이렇게 되면 인수의 개수와 타입은 같되 디폴트값이 다른 함수 포인터를 선언할 수도 있는데 이럴 경우 컴파일러가 어떤 디폴트를 취할지 궁금해진다. 다소 엽기적인 테스트인데 궁금증이 생겼으면 테스트해 보자.
|
예 제 : DefParaPtr |
#include <Turboc.h>
void f(int a=3)
{
printf("%d\n",a);
}
void main()
{
void (*pf)(int=3);
void (*pf2)(int=4);
pf=f;
pf2=pf;
pf();
pf2();
}
pf, pf2 모두 정수형 인수 하나를 취하는 함수를 가리키되 pf는 디폴트값이 3이고 pf2는 4이다. 실제 함수 f의 디폴트 인수는 3으로 정의되어 있는데 이 함수의 번지를 pf가 대입받고 pf를 다시 pf2에 대입했다. 두 함수 포인터의 디폴트값이 다르지만 일단 대입은 가능하다. 디폴트 값 자체가 함수 포인터의 타입을 결정짓는 요소는 아닌 것이다. 그렇다면 각각의 함수 포인터로 f를 호출하면 어떤 디폴트 값이 적용될까?
실행해 보면 3과 4가 출력된다. VC60, Dev-C++ 모두 결과가 같으며 컴파일러에 따른 차이점은 없다. pf로 호출한 결과는 3이 되는 것이 당연한데 pf2로 호출했을 때는 이 포인터가 가리키는 함수의 디폴트를 따르지 않고 함수 포인터의 디폴트를 따른다. 어찌 보면 이는 당연한 결과인데 컴파일러는 실행중에 함수 포인터가 어떤 함수를 가리킬지 알 수 없으므로 함수 포인터의 타입에 지정된 디폴트를 따르는 수밖에 없다.