Discussion :

[FabTheGeek]

Bonsoir à tous!

J'ai du mal a comprendre la notion de pointeur vers une fonction.
En fait le pb est que je me l'imagine un peu à la façon d'un pointeur vers un tableau (ie vers le premier element du tableau) et du coup j'ai du mal a comprendre comment on peu faire passer un argument à une "adresse" du style:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
int (*f) (float a)
(*f) (x);

Quelqu un peut il m expliquer comment ca fonctionne en réalité?

Merci a tous!

[Franck.H]

Un petit exemple vaut mieux qu'un long discours... en tous cas pour commencer:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#include <stdio.h>
#include <stdlib.h>
 
 
void msg (char * p)
{
   printf ("%s\n", p);
}
 
 
void func (void (* fonction) (char * p), char * p)
{
   fonction (p);
}
 
 
int main (void)
{
   func (msg, "Bonjour !");
   return EXIT_SUCCESS;
}

Dans cet exemple on appel la fonction func qui elle, appelle la fonction msg dont on a passé l'adresse en tant que premier argument (voir le main). Pour passer un argument à cette fonction msg, il faut que la fonction appelante (ici func), possède un second argument du même type que ce que la fonction appelée (ici msg) possède.

L'appel comme fait dans le main reste des plus simple. C'est un principe largement utilisé dans GTK+ qu'on appel également plus communément callback, c'est un des principal cas d'utilisation des pointeurs sur fonctions, l'autre étant de la POO en C par exemple mais pas très pratique d'utilisation ! Si tu as des question hésite pas

[FabTheGeek]

Salut Franck,

merci pour l exemple, mais ce n'est pas la pratique qui me fait defaut mais plutot le fonctionnement profond du principe de pointeur vers une fonction.
J'ai l impression qu'on pointe vers l'adresse du premier octet du code de la fonction, et a partir de la je ne comprend pas comment on peut passer un argument à une adresse?
Mais ce n'est surement pas le vrai mecanisme. Quelqu un a t il une explication?

Merci

[Médinoc]

C'est le compilo qui fait le travail.

Quand tu fais fonction(p) dans le code de Franck.H, le compilo sait que fonction n'est pas un pointeur ordinaire, mais un pointeur de fonction. Il interprète donc correctement le code pour empiler les paramètres et sauter à l'adresse pointée par fonction, plutôt qu'à une adresse hard-codée dans le programme.

[FabTheGeek]

OK, c'est un peu plus clair pour moi, merci!

[Franck.H]

Oui c'est un peu délicat de savoir comment ca se passe exactement en interne à part éventuellement lire le code assembleur généré par le compilateur mais faut-il encore connaître se langage et encore...

[Gnux]

Un petit exemple vaut mieux qu'un long discours... en tous cas pour commencer:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#include <stdio.h>
#include <stdlib.h>
 
 
void msg (char * p)
{
   printf ("%s\n", p);
}
 
 
void func (void (* fonction) (char * p), char * p)
{
   fonction (p);
}
 
 
int main (void)
{
   func (msg, "Bonjour !");
   return EXIT_SUCCESS;
}

Dans cet exemple on appel la fonction func qui elle, appelle la fonction msg dont on a passé l'adresse en tant que premier argument (voir le main). Pour passer un argument à cette fonction msg, il faut que la fonction appelante (ici func), possède un second argument du même type que ce que la fonction appelée (ici msg) possède.

L'appel comme fait dans le main reste des plus simple. C'est un principe largement utilisé dans GTK+ qu'on appel également plus communément callback, c'est un des principal cas d'utilisation des pointeurs sur fonctions, l'autre étant de la POO en C par exemple mais pas très pratique d'utilisation ! Si tu as des question hésite pas

Ca ferait un bon article de FAQ ça...

[Franck.H]

Ca ferait un bon article de FAQ ça...

Oui c'est exact, merci de me l'avoir fait remarqué

[sopsag]

Il faut savoir qu'une fonction, une fois compilée, n'est rien d'autre qu'une adresse à l'intérieur d'un binaire (exécutable ou librairie).
Evidemment, ce qui est au bout du pointeur n'est pas une donnée, mais la première instruction de la fonction (en langage machine).
C'est ce que l'on appelle le point d'entrée de la fonction.

Pendant la compilation, le compilateur vérifie que les types des paramètres sont bien respectés, et une fois qu'il est sûr que tout va bien de ce coté là, la fonction n'est plus définie que par son point d'entrée i.e un pointeur.

En C++, les méthodes virtuelles sont gérées par ce mécanisme, mais il est masqué par le langage lui-même.

Voilà, j'espère avoir un peu éclairé ta lanterne...