Как я понимаю, система типов в С++ различает типы функций таким образом:
тип возвращаемого значения и список типов аргументов образуют тип функции.
В этом смысле, например, все функции, "принимающие пару интов и возвращающие инт" являются функциями одного типа.
именно поэтому можно написать версию "калькулятора", где внутрь некой функции передаётся пара аргументов и функция, "что то делающая с ними", в качестве параметра.
Этот параметр (указатель на функцию) будет преобразован обратно в вызов функции.
Количество аргументов и их типы нужны для того, чтобы понимать, сколько памяти выделить на стеке при вызове функции.
Вообще, еще это похоже на систему "делегатов" в C#. И там есть invocation list, куда можно добавлять функции одного типа, для того, чтобы вызвать их "все вместе" на одном и том же наборе аргументов.
Примечание 1. Как Вы знаете, в С++ есть возможность написать очень похожие функции:
int add (int x, int y);
int add (int& x, int& y);
int add (const int& x, const int& y);
int add (const int& x, const int& y) const;
и всё это будут разные типы функций.
'Правила' получения указателя на функцию.
Расммотрим два примера
Пример с типом int
int x = 42; // переменная типа int
int* px = &x; // указатель на такую переменную
Пример с функцией
int summ(const int& x, const int & y); // сигнатура функции
int (*)(const int&, const int&) pf = &summ; // указатель на функцию
Как получить "тип функции":
Берем тип возвращаемого значения. К нему приписываем (в скобках!) звездочку. потом пишем еще одни скобки. А вот если кол-во аргументов функции >0, то нужно ТИПЫ этих аргументов перечислить вот в этих последних скобках через запятую.
Пример: int f_for_return_int();
Её тип: int (*)();
Если Вы сомневааетесь и хотите, чтобы компилятор Вам подсказал:
Очень просто - нужно намерено сделать ошибку, например:
auto pf = &f_for_return_int;
auto r = pf/0; // в этой строке возникнет ошибка error: invalid operands of types 'int (*)()' and 'int'...
Если у Вас еще есть вопросы -не стесняйтесь их задать в комментариях.