[질문]소스에서 구문에 대한 궁금증

구문 wrote..
어떤 소스를 보니 아래와 같은 표현이 있은데 이것이 맞는 표현인지 또 어떤 식으로 해석을 해야할지 모르겠습니다.

typedef int Myfunc(const char*, const struct stat*, int);
static Myfunc myfunc
static int myftw(char *, Myfunc *);
static int dopath(Myfunc *);

static Myfunc myfunc에 세미콜론만 덧붙인다면 옳습니다 )

이렇게 되있는데 의문점이 integer를 Myfunc 함수로 타입 디파인 해주었 다고 하더라도
함수명만 따로 따와서 데이터 형처럼 변수 앞에 놓는 것이 가능한 표현 인가요?
그렇다면 변수 myfunc은 어떤 데이터형으로 정의 된다는 것인가요?
그리고 아래 두개의 프로토 타입에서는 한 술 더떠서 아규먼트를 포인 터 형으로 선언했는데
이것도 가능한건가요?

먼저 typedef의 용법을 모르시는것 같습니다..

typedef에 대해서 말씀드리자면..

이건 절대로 #define과 같은 형식을 따르지 않습니다..

한마디로 #define A B같이 A를 B로 정의한다는 형식이 아니란 뜻입니다..

typedef를 사용할 때는..

먼저 typedef를 앞에 쓰고 그 뒤에 어떤 변수를 선언하는 것 처럼 하시면

됩니다..

예를 들어 char *를 pChar란 형으로 정의하고 싶으면

먼저 pChar를 그냥 변수명으로 생각하시고 선언을 하신 뒤에

--> char *pChar;

앞에다가 typedef를 붙이시면 됩니다.

--> typedef char *pChar;

이제 이 정의된 데이터형을 써먹어보면..

pChar a;

이렇게 한다면 char *a;랑 같은거죠..

이번에는 함수 포인터를 예로 들어보죠..

double형을 반환하고 두개의 int형의 인자를 취하는 함수에 대한

함수포인터를 만들어보면..

--> double (*pFunc)(int, int);

이 되죠..

그런데 만약 앞에다가 typedef를 붙이면

--> typedef double (*pFunc)(int, int);

이제 pFunc는 새로운 데이터 형이 된 거죠..

pFunc p; 이렇게 하면

double (*p)(int, int); 하는거랑 같아지죠..

그럼 만약에 pFunc *p;이렇게 하면 어떻게 해석이 되느냐 하면..

pFunc의 정의 typedef double (*pFunc)(int, int);

에서 pFunc의 자리에 (*p)를 집어 넣으시면 됩니다..

--> typedef double (*(*p))(int, int);

여기서는 꼭 괄호가 필요가 없죠..--> typedef double (**p)(int, int);

이제 님께서 물어보신 것을 예로 들어보면..

typedef int Myfunc(const char*, const struct stat*, int);

여기서 typedef를 빼면 그냥 단순한 어떤 함수의 선언이죠?

typedef를 넣으면 Myfunc가 새로운 형이 됩니다..

static Myfunc myfunc;

이것을 해석하기 위해서는

myfunc를 위의 typedef int Myfunc........에서

Myfunc 자리에 넣어보세요

--> static int myfunc(const char*, const struct stat*, int);

결국 바로 위의 것과 같습니다..

static int dopath(Myfunc *);

이번에는 편의를 위해 Myfunc *대신에 Myfunc *p라고 생각하면
(함수선언에서는 써주나 안써주나 상관없는것 아시죠? ) )

static int dopath(Myfunc *p);가 되죠

역시 typedef int Myfunc(const char*, const struct stat*, int);

에서 Myfunc자리에 (*p)를 집어 넣어보면( *p가 아니라 꼭 (*p)로

넣어서 해석해야 합니다!!!!)

int (*p)(const char*, const struct stat*, int);

이렇게 되죠? 한마디로 여기서 p는 함수포인터가 되는거죠..

이제 완전하게 써보면..

static int dopath(int (*p)(const char*, const struct stat*, int));

이렇게 됩니다.

결국 dopath함수는 함수포인터를 인자로 취하는 거죠..

도움이 많이 되었으면 합니다..

함수명 자체가 자기가 나타내는 루틴의 주소를 가지고 있는 건

당연하구요..

하얀눈님께서는 함수명 자체가 주소를 가지고 있으므로 함수포인터라고

생각하시는 모양인데..

포인터라는 것은 단순히 주소를 가지고 있다고 해서 포인터인것은

아닙니다..

임의로 무엇인가를 가리킬 수 있어야 합니다. 그래야 포인터가 되는거죠.

예를 들어보겠습니다.

char *p;
char a[10];

여기서 p는 포인터지요?

a는 10바이트 크기 배열의 첫번째 주소를 가지고 있지요?

그러면 여기서 a가 어떤 주소를 가지고 있다고 해서 포인터라고 할 수 있
나요?

아니지요. a는 상수이므로 어떤 값을 집어 넣을 수 없습니다.

그냥 array지요..

함수 포인터도 똑같습니다.

함수명은 마치 배열과 같이 어떤 정해진 주소를 가지고 있는 상수이고

함수포인터는 어떤 함수를 가리킬 수 있는 "변수"입니다.(포인터)

올리신 글 보고,

배열은 sizeof() 를 때리면 배열이 잡고 있는 공간의 크기가 나오고,
포인터는 포인터를 저장할 공간 크기가 나온다는데 생각이 미쳐서
함수를 sizeof() 때려보면 어떨까 했는데,,
여러분들 어떻게 생각하세요?

아래 코드를 수행시켜봤는데
(환경
% uname -a
SunOS xxx 5.5.1 Generic_103640-29 sun4m sparc sun4m
% gcc --version
2.7.2
)

#include

typedef int Myfunc(const char*, int);
Myfunc myfunc;
Myfunc *fp;

int
myfunc(const char *s, int x)
{
int y;
int z;
int a[10];
int b[10];

printf("haha\n");
printf("hoho\n");

return 0;
}

int
main(int argc, char **argv)
{
int j;

printf("function size is %d.\n", sizeof(myfunc));
printf("function pointer size is %d.\n", sizeof(fp));
}

결과가

% a.out
function size is 1.
function pointer size is 4.

처럼 나오네요. ^^

typedef 에는 struct 도 있고 하는데,
헤더 인클루드 안해서 오류가 발생해서 귀찮아서 뺐습니다.
(생각해 보니 뺀게 더 귀찮았던 것 같기도 한데..)

myfunc 함수 정의에는 변수를 더 정의해보거나 덜 정의해도
결과는 동일했었네요.

C++ 이면 결과가 좀 틀릴까요?

이 결과를 해석할 수 있는 언어정의 있는 곳 알려주심
고맙겠습니다.