Discussion :

[contremaitre]

Bonjour,

Je me pose une question :
Je crée des fonctions qui manipulent des tableaux de char.
J'ai la plupart du temps en entrée de la fonction deux tableaux, un que je lit et un où j'écrit, et je déclare donc celui que je lit en const.

Mais parfois, je passe le même tableau en lecture et écriture. Ca ne pose pas de problème de compilation ni d'exécution malgrès le fait que j'écrit dans une zone mémoire qui a été passé const sous un nom différent.
Mais je me demande si ça peut poser des problèmes ?
Comment cela est il géré ?

merci

petit exemple :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
 
void ma_fonction(char * out, const char * in, size_t size) {
  int i;
  for( i = 0; i < size; i++) {
    out[i] = in[i]; //exemple trivial qui ne sert à rien
  }
}
 
//appel :
ma_fonction(tab1, tab2, size);
//mais parfois :
ma_fonction(tab1, tab1, size);

[ram-0000]

Le mot clé "const" est juste une indication fournie au compilateur afin de l'obliger à vérifier qua la fonction ne modifie par le paramètre ou dans ton cas l'objet pointé par le paramètre.

Si tu as function(char * param1, const char *param2) avec à l'appel param1=param2, cela ne pose pas de probleme.

[contremaitre]

Le mot clé "const" est juste une indication fournie au compilateur afin de l'obliger à vérifier qua la fonction ne modifie par le paramètre ou dans ton cas l'objet pointé par le paramètre.

Il me semble que le compilateur fait aussi des optimisations quand une variable est passé const, et je l'ai vérifié en faisant des tests de perf sur des fonctions qui traitent des tableaux const ou non-const en lecture.
Et c'est par rapport à ça que je me posait la question.

[Médinoc]

En C99, il me semble que c'est garanti ne pas poser de problème si les pointeurs ne sont pas déclarés restrict en plus.

Si les paramètres pointeurs d'une fonction sont déclarés restrict, alors il ne faut pas lui passer de pointeurs identiques ou vers des zones mémoire qui se chevauchent. restrict sert en fait à "autoriser" l'optimisation "Assume no aliasing".

[contremaitre]

merci pour les précisions