¿Puntero de función typedef?

Estoy aprendiendo cómo cargar DLL de forma dinámica, pero lo que no entiendo es esta línea

typedef void (*FunctionFunc)();

Tengo algunas preguntas. Si alguien puede contestarle, estaría agradecido.

1. ¿Por qué se typedefusa?
2. La sintaxis parece extraña; ¿después de voidque no debería haber un nombre de función o algo así? Parece una función anónima.
3. ¿Se ha creado un puntero de función para almacenar la dirección de memoria de una función?

Entonces estoy confundido en este momento; ¿Puedes aclararme las cosas?

typedefes una construcción de lenguaje que asocia un nombre a un tipo.
Lo usa de la misma manera que usaría el tipo original, por ejemplo

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

usándolos como

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

Como puede ver, podría reemplazar el nombre typedefed con su definición dada anteriormente.

La dificultad radica en el puntero a las funciones de sintaxis y legibilidad en C y C ++, y typedefpuede mejorar la legibilidad de tales declaraciones. Sin embargo, la sintaxis es apropiada, ya que las funciones, a diferencia de otros tipos más simples, pueden tener un valor de retorno y parámetros, por lo tanto, la declaración a veces larga y compleja de un puntero para funcionar.

La legibilidad puede comenzar a ser realmente complicada con punteros a matrices de funciones y algunos otros sabores aún más indirectos.

Para contestar tus tres preguntas

• ¿Por qué se usa typedef? Para facilitar la lectura del código, especialmente para punteros a funciones o nombres de estructura.

• La sintaxis parece extraña (en el puntero a la declaración de la función) Esa sintaxis no es obvia de leer, al menos al comenzar. Usar una typedefdeclaración en su lugar facilita la lectura

• ¿Se ha creado un puntero de función para almacenar la dirección de memoria de una función? Sí, un puntero de función almacena la dirección de una función. Esto no tiene nada que ver con la typedefconstrucción que solo facilita la escritura / lectura de un programa; el compilador solo expande la definición typedef antes de compilar el código real.

Ejemplo:

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. typedefse usa para los tipos de alias; en este caso que estés aliasing FunctionFunca void(*)().

2. De hecho, la sintaxis parece extraña, mira esto:

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

3. No, esto simplemente le dice al compilador que el FunctionFunctipo será un puntero de función, no define uno, como este:

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

Sin la typedefpalabra, en C ++ la declaración declararía una variable FunctionFuncde tipo puntero para funcionar sin argumentos, regresando void.

En typedefcambio, se define FunctionFunccomo un nombre para ese tipo.

Si usted puede utilizar C ++ 11 es posible que desee utilizar std::functiony usingpalabra clave.

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

#include <stdio.h>
#include <math.h>

/*
To define a new type name with typedef, follow these steps:
1. Write the statement as if a variable of the desired type were being declared.
2. Where the name of the declared variable would normally appear, substitute the new type name.
3. In front of everything, place the keyword typedef.
*/

// typedef a primitive data type
typedef double distance;

// typedef struct 
typedef struct{
    int x;
    int y;
} point;

//typedef an array 
typedef point points[100]; 

points ps = {0}; // ps is an array of 100 point 

// typedef a function
typedef distance (*distanceFun_p)(point,point) ; // TYPE_DEF distanceFun_p TO BE int (*distanceFun_p)(point,point)

// prototype a function     
distance findDistance(point, point);

int main(int argc, char const *argv[])
{
    // delcare a function pointer 
    distanceFun_p func_p;

    // initialize the function pointer with a function address
    func_p = findDistance;

    // initialize two point variables 
    point p1 = {0,0} , p2 = {1,1};

    // call the function through the pointer
    distance d = func_p(p1,p2);

    printf("the distance is %f\n", d );

    return 0;
}

distance findDistance(point p1, point p2)
{
distance xdiff =  p1.x - p2.x;
distance ydiff =  p1.y - p2.y;

return sqrt( (xdiff * xdiff) + (ydiff * ydiff) );
}

Para el caso general de la sintaxis se puede ver en el anexo A de la norma ANSI C .

En el formulario Backus-Naur desde allí, puede ver que typedeftiene el tipo storage-class-specifier.

En el tipo declaration-specifiers, puede ver que puede mezclar muchos tipos de especificador, cuyo orden no importa.

Por ejemplo, es correcto decir,

long typedef long a;

para definir el tipo acomo un alias para long long. Por lo tanto, para comprender la definición de tipo en el uso exhaustivo, debe consultar alguna forma de backus-naur que defina la sintaxis (hay muchas gramáticas correctas para ANSI C, no solo la de ISO).

Cuando utiliza typedef para definir un alias para un tipo de función, debe colocar el alias en el mismo lugar donde coloca el identificador de la función. En su caso, defina el tipo FunctionFunccomo un alias para que funcione un puntero cuya verificación de tipo esté deshabilitada en la llamada y no devuelva nada.