지금까지 정수형과 구조체에 대해 레퍼런스를 선언하고 사용해 보았는데 포인터에 대한 레퍼런스도 선언할 수 있다. 다음 예제는 10장에서 만들어 보았던 이중 포인터 예제를 레퍼런스로 바꿔 본 것이다.
|
예 제 : PtrRef |
#include <Turboc.h>
void InputName(char *&Name)
{
Name=(char *)malloc(12);
strcpy(Name,"Cabin");
}
void main()
{
char *Name;
InputName(Name);
printf("이름은 %s입니다\n",Name);
free(Name);
}
char *&Name인수가 포인터의 레퍼런스이다. T형의 레퍼런스는 T &이며 char * 자체가 하나의 타입이므로 이 타입에 대한 레퍼런스는 char *&가 된다. char &*가 아님을 주의하도록 하자. 10장의 예제에 비해 2중 포인터를 쓰지 않아 함수 내부가 깔끔하며 직관적이라는 장점이 있다. 포인터에 대한 레퍼런스는 무척 실용적이며 종종 사용된다.
별로 그럴 일은 없겠지만 함수 레퍼런스라는 것도 선언할 수 있으며 배열에 대한 레퍼런스도 만들 수 있다. 다음 예제로 이 두 가지를 모두 테스트해 보자.
|
예 제 : FuncRef |
#include <Turboc.h>
int ar[5]={100,101,102,103,104};
void func(int a)
{
printf("%d\n",a);
}
void main()
{
void (&rf)(int)=func; // 함수 레퍼런스
int (&rar)[5]=ar; // 배열 레퍼런스
rf(rar[0]);
}
rf는 정수형 인수 하나를 취하고 리턴값이 없는 함수에 대한 레퍼런스로 선언되었으며 같은 타입의 함수 func로 초기화되었다. 그래서 rf() 호출문이 곧 func() 호출문과 같아진다. rar은 크기 5의 정수형 배열 레퍼런스로 선언되었으며 같은 타입의 ar로 초기화되어 rar과 ar은 같은 배열을 가리킨다. 결국 위 예제에서 사용된 rf(rar[0]) 호출문은 func(ar[0]) 호출문과 같다고 할 수 있다. 별명을 사용했다 뿐이지 함수와 배열을 바로 사용한 것과 별반 차이가 없다. 이 둘은 문법적으로 가능은 하지만 별로 실용성은 없다.
T형이 있을 때 T형 포인터나 T형 배열은 항상 선언할 수 있다. 그러나 레퍼런스의 경우는 이 명제가 성립되지 않는다. 임의의 T형에 대해 T & 레퍼런스 타입을 선언할 수 있지만 레퍼런스에 대해서 임의의 모든 타입을 다 만들 수 있는 것은 아니다. 어떤 경우가 안되는지 정리해 보자.
① 레퍼런스에 대한 레퍼런스를 선언할 수 없다. 레퍼런스가 별명인데 이 별명에 대한 다른 별명을 또 만드는 것은 실용적 가치가 없다고 할 수 있다. 포인터는 2중 포인터 선언이 가능하지만 2중 레퍼런스라는 것은 선언할 수 없다. 다음 예를 보자.
int i;
int &ri=i;
int &rri=ri;
ri는 i에 대한 레퍼런스로 선언되었고 rri는 ri에 대한 레퍼런스로 선언되었다. 이때 rri가 2중 레퍼런스인 것처럼 보이지만 rri는 단순 레퍼런스에 불과하다. ri가 i이므로 rri는 i의 또 다른 별명일 뿐이며 결국 rri와 ri는 같은 대상을 가리키는 다른 별명인 것이다. int &&rri=i; 같은 선언문은 필요하지도 않으며 컴파일러에 의해 에러로 처리된다.
② 레퍼런스에 대한 포인터를 선언할 수 없다. 다음 코드를 보자.
int i;
int &ri=i;
int &*pri=&ri; // 에러
레퍼런스에 대한 포인터 pri를 선언하고자 했는데 컴파일러는 이를 에러로 처리한다. 개념적으로 레퍼런스에 대한 포인터는 레퍼런스의 대상체에 대한 포인터형이므로 곧 단순 포인터와 같으며 굳이 레퍼런스의 포인터형을 정의해야할 필요가 없다. int *pi=&ri라는 선언은 가능하다.
③ 레퍼런스의 배열도 선언할 수 없다. T형 배열이란 곧 T형 포인터인데 레퍼런스에 대한 포인터를 선언할 수 없으므로 배열도 선언할 수 없다.
int i,j;
int &ra[2]={i,j}; // 에러
i와 j에 대한 레퍼런스가 필요하면 각각 따로 레퍼런스를 선언해야 한다.
④ 비트 필드에 대한 레퍼런스도 선언할 수 없다. 비트 필드는 주소를 가지지 않기 때문에 포인터의 대상체가 될 수 없으며 마찬가지로 레퍼런스의 참조 대상이 될 수도 없다.