signification d'un object constant

[aperdemak]

Bonjour je ne comprends pas bien la signification du mot clé const pour un objet dans les paramètre d'une fonctione. Par exemple

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
class Potato
{
public:
    int price;
};
 
Potato myPotato();
 
myPotato.price= 5;
 
void func(const Potato& myPotato)
    return myPotato;

je peux changer price librement pourtant le passage dans func ne pose pas de problème, Donc ou est la constance dans tout cela ? Y a il un exception pour les const des objets qui signifirait "ne peut pas être modifié dans la fonction seulement " ?

Merci d'avance.

[bacelar]

Bonjour je ne comprends pas bien la signification du mot clé const pour un objet dans les paramètre d'une fonction

Cela indique juste à l'appelant de la fonction que l'implémentation de la fonction s'engage à ne jamais, directement ou indirectement, changer les champs de l'objet passé en paramètre.

Le C++ dispose d'un certain nombres de mécanisme pour aider l'implémenteur de la méthode à respecter son engagement.

C'est le genre de garantie que toute méthode devrait offrir, par défaut, aux codes l'appelant.

je peux changer price librement

Oui, parce que "myPotato" est une "Potato", pas une "const Potato".

pourtant le passage dans func ne pose pas de problème,

Oui, parce que "func" respect le contrat qui est "de ne pas modifier l'objet passé en paramètre".

Si "myPotato" était une "const Potato" et que "func" n'avait pas promis, via le modificateur "const" sur le type de paramètre, qu'il ne modifierait pas l'objet passé en paramètre, le compilateur aurait gueulé en disant qu'on ne peut pas faire confiance à "func" pour conserver "myPotato" constante.

Donc ou est la constance dans tout cela ?

Dans le "contrat" d'utilisation que donne la signature de func.

[Médinoc]

Attention, ceci ne déclare pas ce que tu crois:

Code C++ :

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

Potato myPotato();

Plutôt que déclarer un objet construit par défaut, ça déclare une fonction myPotato retournant un objet de type Potato.

En C++11 (et supérieur), tu peux résoudre l'ambigüité avec la nouvelle syntaxe:

Code C++11 :

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

Potato myPotato{};

[JolyLoic]

En fait, il ne faut pas voir const comme signifiant : "Cet objet est constant", mais plus comme : "Depuis ce point d'accès, je ne peux pas modifier cet objet".

Petit exemple :

Code :

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

1
2
3
4
5
6
7
 
int i = 3;
int const &j = i;
cout << j << endl; // 3
// Si j'essaye d'écrire : j = 4; ça ne compile pas
i = 4;
cout << j << endl; // 4

L'objet a changé, mais pas en passant par j.