앞 장에서 우리는 이미 const 포인터를 인수로 받아 들이는 함수를 본 적이 있었는데 이제 이 함수들을 분석해 보자. 다음 함수들이 상수 포인터를 취하는 대표적인 함수들이다.
char *strcpy(char *dest, const char *src);
int strcmp(const char *s1, const char *s2);
char *strchr(const char *string, int c);
int atoi(const char *string);
strcpy 함수는 두 개의 문자열을 인수로 가지는데 dest는 상수가 아니고 src는 상수로 되어 있다. 이 함수는 src의 내용을 dest로 그대로 복사하는데 함수 호출 후에 dest의 내용이 바뀌므로 dest는 당연히 상수가 아니다. 하지만 src는 이 함수 내부에서 읽기만 하며 내용을 변경하지 않으므로 상수 지시 포인터로 되어 있다. 이 함수의 원형을 보면 함수가 리턴된 후에도 src의 내용이 그대로 유지된다는 것을 알 수 있으며 따라서 다음과 같은 코드를 안심하고 쓸 수 있다.
char src[32]="const pointer";
char dest[32];
strcpy(dest,src);
// 호출 후에도 src는 여전히 "const pointer"를 유지한다.
puts(src);
strcpy 다음에 있는 puts 함수 호출에서 출력되는 문자열은 여전히 "const pointer"이며 이 문자열을 반복적으로 계속 사용해도 된다. 그러나 dest는 strcpy 호출 후에 값이 변할 수 있어야 하기 때문에 다음과 같은 호출문은 에러로 처리된다.
const char *dest="상수 포인터";
strcpy(dest,"const pointer");
strcpy 함수의 dest 인수는 일반 포인터인데 상수 지시 포인터를 인수로 넘겼다. 인수 전달 과정에서 대입 연산이 일어나는데 일반 포인터는 상수 지시 포인터를 대입받을 수 없으므로 제대로 컴파일되지 않는 것이다. strcmp 함수는 문자열을 비교만 하고 변경은 하지 않으므로 두 인수가 모두 상수 지시 포인터이다. strchr 함수도 문자열 검색만 하므로 상수 지시 포인터를 인수로 취하며 atoi 함수도 문자열에 저장된 값을 읽기만 한다.
그러나 strchr 함수의 두 번째 인수 int c앞에는 const가 붙어 있지 않다. 논리상 검색을 위해 전달되는 문자도 읽기 전용이므로 const int c라고 해야 옳겠지만 상수가 아닌 변수로 전달받는다. 이렇게 되면 strchr 함수 내부에서 c의 값을 함부로 바꿀 수 있게 될 것이다. 그러나 이 경우는 값에 의한 전달이므로 strcpy 함수 내부에서 아무리 c를 바꿔 봐야 실인수를 바꿀 수는 없으므로 위험하지 않다. const인수가 꼭 필요한 경우는 포인터를 통한 참조 호출일 때 뿐이며 값 호출일 때는 큰 의미가 없다.
표준 함수들은 자신이 전달받은 포인터의 대상체를 변경하지 않을 때 항상 const로 인수를 전달받도록 되어 있다. 이는 함수 내부에서 인수의 값을 바꾸지 않는다는 것을 명확히 표시하며 함수 호출부에서 const로 전달된 인수의 값을 안심하고 재사용할 수 있도록 해 준다. 사용자가 직접 함수를 만들 때도 변경할 필요가 없는 인수는 가급적이면 const로 전달받는 것이 좋다. 다음 예제를 보자.
|
예 제 : ConstArg |
#include <Turboc.h>
void DoSelect(const char *szSQL)
{
// 쿼리 실행
}
void main()
{
char szSQL[128];
strcpy(szSQL,"select * from tblGirl where height > 165");
DoSelect(szSQL);
strcat(szSQL," and weight < 55");
DoSelect(szSQL);
}
DoSelect 함수는 szSQL인수로 전달된 쿼리문을 실행하는 가상의 함수인데 쿼리문을 읽기만 하므로 상수 지시 포인터로 전달받도록 했다. 만약 DoSelect 함수 내부에서 실수로 szSQL[0]='t'라는 대입 연산을 하거나 strcpy(szSQL, "insert"); 라는 함수를 호출하면 인수의 타입이 달라서 에러로 처리되며 DoSelect 내부에서는 szSQL을 바꾸고 싶어도 바꿀 수가 없다. 그래서 main 에서는 DoSelect를 부른 후 이 쿼리문의 내용을 조금 변경한 후 다시 DoSelect를 호출할 수 있다. 만약 DoSelect의 인수가 상수 지시 포인터가 아니라면 main 함수에서는 다음처럼 이 함수를 호출해야 한다.
strcpy(szSQL,"select * from tblGirl where height > 165");
DoSelect(szSQL);
strcpy(szSQL,"select * from tblGirl where height > 165 and weight < 55");
DoSelect(szSQL);
DoSelect 함수에서 szSQL을 변경했는지 아닌지를 정확하게 알 수 없기 때문에 이 함수를 호출할 때는 항상 쿼리문을 처음부터 다시 작성해야 하며 szSQL을 마음놓고 재사용하지 못한다. 쿼리문이 길어지면 이것은 무척 번거로운 일이다. 그렇다면 DoSelect 함수를 그냥 일반 포인터를 인수로 받도록 수정하면 어떻게 될까?
void DoSelect(char *szSQL)
{
// 쿼리 실행
}
이렇게 수정해도 동작에는 아무런 지장이 없지만 반드시 상수가 아닌 포인터만 넘겨야 한다는 제약이 생긴다. 따라서 다음과 같이 상수 포인터를 인수로 넘길 수 없다.
const char *szSQL="select * from tblGirl";
DoSelect(szSQL);
DoSelect 함수가 main에서만 호출된다면 어떻게 하더라도 큰 차이가 없지만 다른 함수들과의 관계까지 고려한다면 원칙대로 상수 지시 포인터를 받아 들이는 것이 더 좋다. 만약 DoQuery나 PrintAllGirl같이 상수 지시 포인터를 인수로 받는 다른 함수에서 DoSelect를 호출해야 한다면 DoSelect도 상수 지시 포인터를 인수로 받아야 한다. 아니면 모든 함수들이 일반 포인터를 받아들이도록 전면 수정해야 하는데 이렇게 되면 번거로울 뿐만 아니라 여러 모로 위험해진다. 상수 지시 포인터를 받은 함수가 일반 포인터를 취하는 함수를 호출해야 하는 경우는 없다. 만약 있다면 함수 설계를 잘못한 것이다.
const는 우발적인 코드로부터 중요한 값을 보호하는 문법적 장치이므로 안전성을 위해 적극 활용하는 것이 좋다. 일부 코드는 const를 쓰고 일부 코드는 쓰지 않으면 타입이 맞지 않아 인수 전달이 원활하지 못한 부작용이 있다. 특히 팀 프로젝트의 경우 서로의 스타일이 틀리면 골 때리는 상황이 발생할 수 있는데 이런 경우는 가급적 원칙대로 const를 철저하게 지키는 것이 바람직하다. 객체 지향 프로그래밍 기법에서는 const가 더욱 중요한 역할을 하는데 const로 지정된 멤버 함수는 클래스 내부를 함부로 변경할 수 없으므로 객체의 안전성을 지키는 중요한 역할을 한다.