함수 포인터와 역호출 구조 - 독하게 시작하는 C프로그래밍

함수 포인터란, 함수의 이름도 배열의 이름처럼 '주소상수'에 부여한 식별자입니다.

 

따라서 함수의 이름도 포인터 변수에 저장할 수 있습니다.

다만, 변수의 자료형이 함수 호출에 필요한 정보(매개변수, 호출 규칙, 반환 자료형)들을 포함하고 있어야 변수를 이용해서 호출할 수 있습니다.

 

17.3.1 함수 포인터

 

함수 포인터의 기본 형식은

반환 자료형 ( 호출 규칙 *변수이름)(매개변수)

 

#include<stdio.h>

//최댓값을 반환하는 함수 선언 및 정의
int GetMax(int a, int b, int c)
{
    int nMax = a;
    if (b > nMax) nMax = b;
    if (c > nMax) nMax = c;
    return nMax;
}

int __cdecl main(void)
{
    //int 매개변수 셋을 받아 int 자료를 반환하는 함수 포인터 선언 및 정의
    int(__cdecl *pfGetMax)(int, int, int) = GetMax;

    //함수 포인터를 이용해 함수를 호출한다.
    printf("MAX : %d\n", pfGetMax(1, 3, 2));
    return 0;
}

 

17.3.2 역호출 구조

 

함수호출 연산자나 함수 포인터를 배웠다 해도 그 필요성을 체감하기는 어렵습니다. 그리고 그 중요성을 인식하기도 쉽지 않습니다.

그래서 꼭 필요한 경우를 정리한다면 다음과 같습니다.

 

• 동적 연결 라이브러리(DLL, Dynamic Linking Library)를 활용하는 경우
• 역호출(Call back) 구조를 구현하는 경우

책에서는 동적 연결 라이브러리를 다루지 않고 역호출 구조를 다루고 있습니다.

 

함수라는 것을 작성자 입장에서 바라본다면,

 

"내가 호출하는 것이 아니라 다른 무엇에 의해 호출" 될 수 있습니다.

 

역호출 구조를 이해하기 위해 qsort() 함수에 대해 알아보고 구체적인 코드를 살피겠습니다.

 

void qsort(void *base, size_t num, size_t width, int __cdecl *compare)(const void *, const void *));
인자	base	정렬대상 배열의 기준주소
	num	배열요소의 개수
	width	배열요소의 바이트 단위 크기
	compare	각 요소를 비교하여 같을 경우 0, 그렇지 않을 경우 양수 혹은 음수를 반환하는 함수의 주소
반환값	없음
설명	퀵 정렬 알고르짐을 이용하여 배열에 담긴 요소를 정리하는 함수이다. 사용자 정의 콜백 함수를 만들어 인수를 전달하는 방법으로 각 항을 비교하는 방법을 구체화한다.

 

qsort()함수의 네 번째 매개변수는 const void* 둘을 매개변수로 받고 int형 자료를 반환하는 함수에 대한 포인터입니다.

 

#include<stdio.h>
#include<stdlib.h>

//qsort() 함수가 역호출할 함수의 선언 및 정의
//main() 함수가 직접 이 홈수를 호출하지 않는다!
int MyCompare(const void *pParam1, const void *pParam2)
{
    return *(int*)pParam1 - *(int*)pParam2;
}

int main(void)
{
    int aList[5] = {30, 10, 40, 50, 20};
    int i = 0;

    //배열 요소를 비교 방법을 규정한 MyCompare() 함수의 주소를
    //qsort() 함수의 인수로 전달하고 qsort() 함수 내부에서 역호출 한다!
    qsort(aList, 5, sizeof(int), MyCompare);

    for(i = 0; i < 5; ++i)
        printf("%d\t", aList[i]);

    return 0;
}

 

역호출call back이라는 이름이 붙은 이유도 qsort() 함수의 호출자는 main()함수지만 피호출자인 qsort() 함수가 다시 MyCompare() 함수의 호출자가 되기 때문입니다.

 

이 예제의 역호출 함수처럼 "내가 호출하는 것이 아니라 자동으로 호출된다"라는 개념은 앞으로도 대단히 중요합니다.