Modification de valeur à droite

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16

std::string make_string() { return "abc"; }   int make_int() { return 5; }   int main() { make_string() = "xyz"; make_int() = 8; // error C2106: '=': left operand must be l-value return 0; }

---

Assez curieusement, modifier un std::string à "droite" est permis mais pas un int.
Il y a certainement une bonne raison dans l'apparente incohérence dans ce traitement permissif dans le cas du std::string (et de toute autre classe d'ailleurs) mais pas des types primitifs.
Et je me demande bien laquelle.
(c'est vraiment pas important, c'est juste que je trouve ça curieux ;))

Une litteral String, c'est un array = lvalue.

"abc" : est bien une const l-value;
std::string("abc") : est par contre une r-value.

Ça semble du pur bon sens d'interdire d'écrire dans une l-value pour les types scalaires, d'où le refus.
Depuis C++11 (ou C++14?) on peut forcer une fonction membre à être accessible en distinguant l-value de r-value. Peut-être qu'un certain nombre d'opérateurs de copie auraient pu être adaptés car cela à peu de sens. Je pense que c'est pour conserver la compatibilité dans de rares cas que les objets de la STL n'ont pas été adaptés.

std::cout << (std::string() = "abc") << std:endl; est donc accessible.
En tout cas je ne vois pas d'exemple avec std::string pour justifier la possibilité d'un operateur= sur une r-value.

On peut tout à faire écrire :

Code:

---

1 2 3 4 5 6 7 8 9 10

struct Toto { Toto& operator=( Toto const& t )& { // autorisé sur l-value seulement return *this; } };   int main() { Toto() = Toto(); // ne compile pas : Toto() n'est pas une l-value }

---

Ok, si je comprends bien les types primitifs refusent de modifier leur valeur à droite (rvalue). Ce qui me semble très bien.

Pour les autres, c'est simplement parce que le ref-qualifier n'a pas été explicitement placé, en l'occurence pour l'operator=() de std::string dans le cas qui nous occupe.

Merci :coucou:

Citation:

---

Envoyé par camboui

Ok, si je comprends bien les types primitifs refusent de modifier leur valeur à droite (rvalue). Ce qui me semble très bien.:

---

Contrairement à une lvalue, une rvalue c'est simplement une valeur. Pas d'adresse définie et pas de moyen d'y accéder donc.

Ton code d'exemple a peu d’intérêt en effet, mais que penserais-tu de :

Code:

---

auto unixPath = makeString().replace_all("\\", "/");

---