Ваша функция
void quicksort(int (*comp))
Объявлена с параметром типа int *
, т.е. ваше объявление эквивалентно
void quicksort(int *comp)
а скобки вокруг (*comp)
в вашем варианте являются просто избыточными и не на что не влияющими.
Совершенно аналогичным образом тип int (*)
в приведении типа при вызове этой функции
quicksort((int (*))(a ? first : second));
является обычным указательным типом int *
, в описание которого кто-то просто добавил лишние ни на что не влияющие скобки.
Результат выражения a ? first : second
имеет тип int (*)()
- указатель на функцию. Таким образом вышепроцитированное приведение типа - это насильное приведение типа указателя на функцию к типу int *
. Стандартный язык С не поддерживает преобразований между такими указателями. Указатели на данные разрешается приводить только к указателям на данные. Указатели на функции - только к указателям на функции.
Если вы хотели получить в качестве параметра в вашем quicksort
именно указатель на функцию, то это действительно можно сделать так
void quicksort(int (*comp)())
После этого вам уже не нужно будет делать приведение типа при вызове
quicksort(a ? first : second);
Однако я бы не советовал вам без необходимости использовать такое свойство языка, как пустой список параметров ()
в объявлении функций. Если у ваших функций не должно быть параметров, то явно указывайте именно (void)
в качестве списка параметров
void quicksort(int (*comp)(void))
{
...
int a = comp();
...
}
int first(void)
{
...
}