자기 자신에 대한 함수포인터

직접은 아무래도 무한순환이 되는지라 어렵고, 조금이나마 비슷하게 구현하자면 다음과 같은 방법이 있습니다.

#include <stdio.h>

struct tFP;

typedef struct tFP * (*FP)(int i, char c);

struct tFP * func1(int i, char c);

typedef struct tFP { FP p; } sFP;

sFP * func1(int i, char c)
{
    static sFP t;
    t.p = func1;
    printf("[%d,%c]", i, c);
    return &t;
}

int main(void)
{
    sFP fp1;
    fp1 = *func1(1, 'A');
    func1(2, 'B')->p(3, 'C');
    fp1.p(4, 'D');
    return 0;
}

pointer to incomplete type이 가능하다는 점을 악용한 방법입니다. 적법한 코드이니 이건 안심하고 쓰셔도 됩니다. :-)

표준문서를 아무리 뒤져봐도 자신에 대한 함수 포인터를 리턴하는 함수가 안된다고 직접 명시되어 있지는 않지만, 매개변수 타입이나 리턴값이 일치해야 한다는 여러가지 사항들을 생각해 볼 때 아무래도 불가능한 것 같습니다.

물론 경고메시지를 무시하고 이식성을 포기한다면 다음과 같은 코드가 gcc와 VC++에서 돌아가긴 합니다만... 저라면 정신건강상 포기하겠습니다. 포인터를 이용해서 함수를 호출하게 되면 int * 타입을 리턴하는 함수 포인터로 함수에 대한 포인터를 리턴하는 함수를 호출하는 꼴이 되기 때문에, 악영향을 미칠 가능성이 있습니다.

#include <stdio.h>

typedef int (*(*FP)(int i, char c))();

FP func1(int i, char c)
{
    printf("[%d,%c]", i, c);
    return func1;
}

int main(void)
{
    FP p;
    p = func1(1, 'C');
    p(1, 'C');
    return 0;
}