Discussion :

[prgasp77]

Bonjour,

disons que je veuille écrire une fonction delay(callback cb, void *arg) avec cb() une fonction de type typedef int (*callback)(void *arg). L'idée est d'appeler la fonction cb() en lui passant l'argument arg.

Mon soucis apparaît lorsque je veux spécifier/assurer à l'utilisateur de ma fonction delay() qu'elle ne modifiera pas la zone mémoire pointée par arg. Néanmoins, il ne m'est pas possible d'ajouter le mot clé const : depay(callback cb, const void *arg) car au final, la fonction delay() finie par appeler cb(arg) qui elle modifie (éventuellement) arg.

Une idée ?

[Bktero]

Salut prgasp77 !

Tu as une fonction qui risque de modifier un paramètre et tu souhaites assurer à l'utilisateur qu'elle ne va pas le modifier ?

Si c'est bien ça, tu es un sacré arnaqueur

[prgasp77]

Tu as une fonction qui risque de modifier un paramètre et tu souhaites assurer à l'utilisateur qu'elle ne va pas le modifier ?

Si c'est bien ça, tu es un sacré arnaqueur

Effectivement. néanmoins, le paramètre ne sera modifié que par la fonction utilisateur qui se trouve être un paramètre de delay().

delay() ne sais rien de arg, et ne le modifie pas directement. C'est de l'arnaque à but documentaire.

[Bktero]

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
void cb(void *arg)
{
    * (int*) arg = 666;
}
 
void delay(void const *  arg)
{
    cb( (void*) arg);
}
 
 
int main (void)
{
    int a = 42;
    int *p = &a;
 
    delay(p);
    printf("%d", a);
 
  return 0;
}

Je n'aurais pas mieux à te proposer

Mais c'est quand même une vilaine pratique que de caster un argument constant en une valeur non constante.

[prgasp77]

Je n'aurais pas mieux à te proposer

C'est bien ce que je craignais. Merci tout de même.

[Bktero]

Désolé / de rien (rayer la mention inutile).

Sémantiquement, c'est bizarre ton histoire : la fonction 1 ne modifie pas le paramètre mais appelle une fonction 2 qui va le modifier. Du point de vue de la fonction appelant fonction 1, cela revient à dire que fonction 1 modifie le paramètre. Ton problème se règle par un commentaire ou une remarque dans la documentation, mais je ne vois pas de solution "dans le code".

[prgasp77]

Désolé / de rien (rayer la mention inutile).

Sémantiquement, c'est bizarre ton histoire : la fonction 1 ne modifie pas le paramètre mais appelle une fonction 2 qui va le modifier. Du point de vue de la fonction appelant fonction 1, cela revient à dire que fonction 1 modifie le paramètre. Ton problème se règle par un commentaire ou une remarque dans la documentation, mais je ne vois pas de solution "dans le code".

Justement, sémantiquement, delay() ne modifie pas arg, c'est cb() qui le fait. Mais effectivement, delay() sera bien documentée. Mais comme tu le sais sûrement, la première documentation lue est le prototype de la fonction.

Ma sollution sera finalement

Code C :

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

1
2
3
4
5
6
7
8
9
#ifndef __DOXYGEN__
   int delay(callback cb, void *arg);
#else // __DOXYGEN__
   /**
    * \fn int delay(callback cb, const void *arg);
    * ...
    */
   int delay(callback cb, const void *arg);
#endif // __DOXYGEN__

Merci pour ton aide.