История изменений

технически тип функция это не адрес, а селектор

Это ты выдумал, но это не важно. Главное что компилятор знает статичный размер указателя на функцию.

а тип функция это единое определение, там «указателей» нет

Любая функция в С это указатель, несуществует типа функции без указателя.

Даже разыменование дает указатель:

int main()
{
  *********************main;
}

а тип функция это единое определение, там «указателей» нет

Любая функция в С это указатель, несуществует типа функции без указателя.

Даже разыменование дает указатель:

int main()
{
  *********************main;
}