Discussion :

[oodini]

Hello,

J'ai du mal à trouver un sens et un intérêt à une déclaration telle que :

Code :

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

int&& a = 5;

Quelqu'un pourrait-il m'éclairer ?

Merci.

[nibors]

Bonjour,

je pense qu'il s'agit d'une histoire de rvalue/lvalue

par exemple :

void func(int toto);

peut etre appelé avec des lvalue et rvalue.
c'est a dire :

Code :

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

1
2
3
4
 
  int n = 1;
  func(n); // ca marche
  func(1); //ca marche

void func(int& toto);

peut etre appelé avec des lvalue seulement.
c'est a dire :

Code :

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

1
2
3
4
 
  int n = 1;
  func(n); // ca marche
  func(1); // marche pas

void func(int&& toto);

peut etre appelé avec des rvalue seulement.
c'est a dire :

Code :

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

1
2
3
4
 
  int n = 1;
  func(n); // marche pas
  func(1); // ca marche

[oodini]

J'ai bien compris les rvalue dans le cadre des arguments de fonction.

Ce qui m'intrigue, ce sont les autres rvalues nommées, qui ne sont pas des arguments de fonction.

[nibors]

J'ai bien compris les rvalue dans le cadre des arguments de fonction.

Ce qui m'intrigue, ce sont les autres rvalues nommées, qui ne sont pas des arguments de fonction.

Ah pardon j'avais mal compris ta question. C'est une bonne question effectivement, peut etre pour forcer une fonction func(int&& toto) a accepté func(a) ? C'est une idée comme une autre je n'ai pas testé ^^

[jo_link_noir]

Cela ne sert pas à grand chose et ne force pas le passage de paramètre en rvalue (c'est toujours passé par référence).

Par contre, c'est utile avec des types proxys et du AAA.

Code :

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

1
2
3
4
5
6
 
std::vector<int> v1;
std::vector<bool> v2;
 
for (int & x : v1){} // ok
for (bool & x : v2){} // ne compile pas, *v.begin() est un type proxy (une classe std::vector<bool>::reference) non un bool &.

Code :

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

1
2
3
 
for (auto && x : v1){} // ok, x est un int&
for (auto && x : v2){} // ok, x est un type proxy

[dalfab]

Bonjour,

La r-reference est une référence qui s'initialise sur un temporaire (rvalue) ou une variable qui peut être dépecée (xvalue).
Cela est utile en passage de paramètre en particulier pour des optimisations.

L'intérêt dans une variable locale est de bloquer une référence sur un temporaire que l'on va modifier!

Code :

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

1
2
3
4
5
6
7
8
9
10
Objet fct() {}
Objet && x = fct(); // fct a retourné un objet, x permet de l'utiliser plus loin
Objet &y = fct();    // erreur, on ne peut pas référencer un temporaire
Objet const& z = fct(); // ok, la référence constante est toujours possible
Objet u = fct();     // ok, mais une opération de recopie a dû être effectuée
 
++x.a;
++y.a; // erreur
++u.a;
std::cout << x.a << z.a << u.a; //ok

La r-référence permet donc d'accéder de manière optimale à un temporaire que l'on peut modifier. Ce cas est rare (proxies) ou souvent idiot, il faut préférer la l-référence constante.

[oodini]

Bonjour,

Mais pourquoi la dernière ligne du code suivant compile-t-elle, alors qu'on affecte à une lvalue une rvalue ?

Code :

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

1
2
3
int j = 3;
int&& i = 5;
i = j;

Est-ce comme à l'intérieur de fonctions ?
i est-il utilisable comme une l-value après son initialisation ?