Почему во втором случае нет указателя?

Question

[sddvxd]

Добрый день!
Не много не понимаю, почему во втором случае разрешается компиляция:

typedef int (*SIG_TYP)(int); 
typedef void (SIG_ARG_TYP)(int);
SIG_TYP signal1(int, SIG_ARG_TYP){};

Comments

[devalone]

А почему это не должно компилироваться?

[sddvxd]

devalone, а как вторую конструкцию понять? это указатель?

Answer 1

[jcmvbkbc]

typedef int (*SIG_TYP)(int); 
typedef void (SIG_ARG_TYP)(int);
SIG_TYP signal1(int, SIG_ARG_TYP){};

как вторую конструкцию понять? это указатель?

Нет, этот тип -- это тип функции (а не указателя на функцию).
Т.е. можно написать так:
SIG_ARG_TYP foo;
и это будет объявлением функции foo.

Comments

[sddvxd]

спасибо за ответ, а третья строка что может значить? как можно передать функцию в аргументе?

[Roman]

sddvxd, https://rextester.com/VDFBX45079
...
https://habr.com/post/277727/ -> в конце

Вместо заключения

[jcmvbkbc]

как можно передать функцию в аргументе?

Как указатель. Вот что говорит на эту тему стандарт языка (C++98, 8.3.5:3):

After determining the type of each parameter, any parameter of type “array of T”
or “function returning T” is adjusted to be “pointer to T” or “pointer to function
returning T,” respectively.