Discussion :

[camboui]

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
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 )

[Sillimon]

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

[dalfab]

"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 :

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

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
}

[camboui]

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

[Sillimon]

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.

[JolyLoic]

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

Code :

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

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