Указатель на функцию Typedef?

typedef - это языковая конструкция, которая связывает имя с типом.
Вы используете ее так же, как и исходный тип, например

  typedef int myinteger;
  typedef char *mystring;
  typedef void (*myfunc)();

используя их как

  myinteger i;   // is equivalent to    int i;
  mystring s;    // is the same as      char *s;
  myfunc f;      // compile equally as  void (*f)();

Как видите, вы можете просто заменить имя typedefed на его определение, приведенное выше.

Сложность заключается в указателе на синтаксис функций и удобочитаемости в C и C ++, а typedef может улучшить читаемость таких объявлений. Однако синтаксис является подходящим, поскольку функции - в отличие от других более простых типов - могут иметь возвращаемое значение и параметры, поэтому иногда длинное и сложное объявление указателя на функцию.

Читаемость может стать очень сложной с указателями на массивы функций и некоторыми другими, даже более косвенными разновидностями.

Чтобы ответить на ваши три вопроса

• Почему используется typedef? Для облегчения чтения кода - особенно для указателей на функции или имен структур.

• Синтаксис выглядит странным (в указателе на объявление функции). Этот синтаксис неочевиден для чтения, по крайней мере, в начале. Вместо этого использование объявления typedef облегчает чтение

• Создан ли указатель функции для хранения адреса памяти функции? Да, указатель функции хранит адрес функции. Это не имеет ничего общего с конструкцией typedef, которая только облегчает запись / чтение программы; компилятор просто расширяет определение typedef перед компиляцией фактического кода.

Пример:

typedef int (*t_somefunc)(int,int);

int product(int u, int v) {
  return u*v;
}

t_somefunc afunc = &product;
...
int x2 = (*afunc)(123, 456); // call product() to calculate 123*456

1. typedef используется для псевдонимов типов; в этом случае вы применяете псевдоним FunctionFunc к void(*)().

2. Действительно, синтаксис выглядит странно, взгляните на это:

   typedef   void      (*FunctionFunc)  ( );
   //         ^                ^         ^
   //     return type      type name  arguments
   

3. Нет, это просто сообщает компилятору, что тип FunctionFunc будет указателем на функцию, он не определяет его, например:

   FunctionFunc x;
   void doSomething() { printf("Hello there\n"); }
   x = &doSomething;
   
   x(); //prints "Hello there"
   

Без слова typedef в C ++ объявление объявляло бы переменную FunctionFunc с указателем типа на функцию без аргументов, возвращающую void.

Вместо typedef он определяет FunctionFunc как имя этого типа.

Если вы можете использовать C ++ 11, вы можете использовать ключевые слова std::function и using.

using FunctionFunc = std::function<void(int arg1, std::string arg2)>;

Для общего случая синтаксиса вы можете посмотреть приложение A к стандарт ANSI C.

В форме Бэкуса-Наура вы можете видеть, что typedef имеет тип storage-class-specifier.

В типе declaration-specifiers вы можете видеть, что вы можете смешивать множество типов спецификаторов, порядок которых не имеет значения.

Например, правильно сказать:

long typedef long a;

чтобы определить тип a как псевдоним для long long. Итак, чтобы понять typedef для исчерпывающего использования, вам нужно проконсультироваться с некоторой формой backus-naur, которая определяет синтаксис (есть много правильных грамматик для ANSI C, а не только для ISO).

Когда вы используете typedef для определения псевдонима для типа функции, вам необходимо поместить псевдоним в то же место, где вы поместили идентификатор функции. В вашем случае вы определяете тип FunctionFunc как псевдоним для указателя на функцию, проверка типов которой отключена при вызове и ничего не возвращает.