Est-ce une façon correcte de passer une fonction dans une structure?

Question

J'ai regardé mais je n'ai pas trouvé de référence directe pour cette question. Je suis nouveau à des pointeurs de fonction (et C), donc je ne connais pas tous les trucs qu'on peut faire encore :)

J'ai effectivement eu une fonction:

void select_comparator(My_Struct *structure, int (*comp)(int x, int y)) { 
    ... 

... où My_Struct a prototype:

typedef struct my_struct { 
    int (*comp)(int x, int y); 
} My_Struct; 

Modulo quelques petits détails. Je veux juste savoir si ce qui suit est la syntaxe correcte:

void select_comparator(My_Struct *structure, int (*comp)(int x, int y)) { 
    structure->comp = comp; 
} 

Il semble presque trop facile, et je suis inquiet qu'il est.

Answer 1

Rien ne va pas: c'est la base des rappels dans c. Assurez-vous simplement que la signature de votre pointeur de fonction correspond au type défini dans votre structure. Là où ça devient délicat à distance est quand vous utilisez ce dans un grand projet, et les gens oublient de vérifier si le pointeur de fonction est valide ou void, ainsi que des arguments, etc.

code

---

/******************************************************************************* 
* Preprocessor directives. 
******************************************************************************/ 
#include <stdio.h> 


/******************************************************************************* 
* Data types. 
******************************************************************************/ 
typedef struct my_struct { 
    int (*comp)(int x, int y); 
} My_Struct; 


/******************************************************************************* 
* Function prototypes. 
******************************************************************************/ 
int c(int a, int b); 
void select_comparator(My_Struct *structure, int (*comp)(int x, int y)); 


/******************************************************************************* 
* Function definitions. 
******************************************************************************/ 
/*----------------------------------------------------------------------------*/ 
int main(void) 
{ 
    My_Struct s; 

    select_comparator(&s, &c); 
    s.comp(1, 2); 

    return 0; 
} 

/*----------------------------------------------------------------------------*/ 
void select_comparator(My_Struct *structure, int (*comp)(int x, int y)) 
{ 
    structure->comp = comp; 
} 

/*----------------------------------------------------------------------------*/ 
int c(int a, int b) 
{ 
    int ret = 0; 
    if (a < b) { 
     ret = (-1); 
    } else if (a > b) { 
     ret = 1; 
    } 

    return ret; 
} 

Answer 2

Le code est correct.

Notez cependant que les pointeurs de fonction ont une syntaxe horrible en C, en particulier lorsqu'ils sont passés à des fonctions. Essayez d'écrire quelque chose comme "fonction retournant function-pointer et prenant function-pointer comme paramètre" et vous réaliserez rapidement que la syntaxe est pure folie.

Il est donc judicieux de faire en sorte que les pointeurs de fonction "tombent en ligne" avec le reste du langage en utilisant typedefs.

Code Vous pourriez être écrit comme ceci:

typedef int comp_t (int x, int y); // typedef a function type 

typedef struct { 
    comp_t* comp; // pointer to such a function type 
} My_Struct; 

void select_comparator(My_Struct *structure, comp_t* comp) { 
    structure->comp = comp; 
} 

Maintenant, le code tourne plus facile à lire et le pointeur de la fonction se comporte à peu près comme tout autre pointeur.