Costante come valore in C++ (11)

Question

Perché const int è non un valore R in C++ (11)? Ho pensato che il valore R fosse "qualsiasi cosa" che non può essere sul lato sinistro e le costanti lo soddisfano. Questo codice non riesce:

int f(int && x) { return 100; } 

void g() { 
    const int x = 1; 
    f(x); 
} 

error: invalid initialization of reference of type ‘int&&’ from expression 
of type ‘const int’ 

Answer 1

Ok, ci sono tre categorie di espressioni :

1. quelli che rappresentano oggetti che hanno un'identità e non possono essere spostati da;
2. quelli che rappresentano oggetti che hanno un'identità e possono essere spostati da;
3. quelli che rappresentano oggetti che non hanno un'identità e possono essere spostati da;

I primi sono detti lvalue, i secondi sono xvalue e i terzi sono prvali. Se mettiamo insieme lvalue e xvalue, abbiamo glvalues. Gli glalei sono tutte espressioni che rappresentano oggetti con un'identità. Se mettiamo insieme xvalue e prvalue abbiamo rvalues. I rvalues ​​sono tutte espressioni che rappresentano oggetti che possono essere spostati.

L'espressione in questione, x, è un glivalue: si può scrivere &x, quindi l'oggetto ha chiaramente un'identità.

Possiamo passare da questa espressione? Questo oggetto sta per scadere? No non lo è. Scade solo qualche tempo dopo l'espressione corrente. Ciò significa che non può essere spostato da. Questo lo rende un lvalue.

Tutti questi nomi possono essere un po 'confusi perché lvalue e rvalue in C++ non significano più ciò che intendevano nelle loro origini C. Il significato di C++ non è completamente correlato all'essere sul lato sinistro o destro dell'assegnazione .

Personalmente, preferisco usare la terminologia da this paper di Bjarne: iM-values ​​(invece di lvalue), im-values ​​(invece di xvalues), Im-values ​​(invece di prvalues), i-values ​​(invece di glvalues) e valori m (invece di rvalue). Questa non è la terminologia utilizzata dallo standard, purtroppo.

---

qui "hanno un'identità" significa "il suo indirizzo può essere presa"; "può essere spostato da" significa che sta per scadere, a causa della sua natura temporanea, o perché il programmatore lo ha reso esplicito nel sistema di tipi chiamando std::move o qualcosa di simile.

Si può avere rvalues ​​sul lato sinistro di assegnazione: std::vector<int>(17) = std::vector<int>(42) è un'espressione valida, anche se è inutile.

Answer 2

Il tipo di parametro è un riferimento rvalue e lo standard proibisce inizializzazione di un rvalue riferimento con un lvalue di tipo "riferimento legati".

8.5.3 References [dcl.init.ref ]

...

5 ... If T1 is reference-related to T2 and the reference is an rvalue reference, the initializer expression shall not be an lvalue.

Quindi, il seguente è un errore:

void f (long &&); 

const long x = 1; 
void g() { f (x); } 

Ma seguenti non è:

void f (long &&); 

const int x = 1; 
void g() { f (x); } 

---

Quindi, la ragione per l'errore non è semplicemente "l'inizializzazione non è con un rvalore", ma perché "l'inizializzazione è con un lvalue di un riferimento tipo e-related. "

Answer 3

Nelle parole semplici, si dovrebbe essere in grado di "sottrarre" il valore di rvalue. Questo è il punto centrale del diverso trattamento dei rvalues. Quindi il valore di valore dovrebbe essere senza nome-andando-a-morire-in-vicino-futuro-qualcosa.

Answer 4

I thought that R-value was 'anything' which cannot be on the left hand side [of an assignment operaton]

Questa è la definizione C++ 03 di rvalue, e anche allora il suo un colloquiale e non universalmente vero.

In C++ 11, le definizioni per lvalue e rvalue sono leggermente cambiate. Le regole sono complesse e situazioni individuali sono gestite caso per caso nello Standard, ma qui è una regola generale:

1. Se si può prendere l'indirizzo di qualcosa, è un lvalue
2. Se il tipo di espressione è un riferimento lvalue, questa espressione è un lvalue
3. Se nessuno di questi casi, si tratta di un rvalue

Nel vostro caso particolare, si può prendere l'indirizzo del 012.(ad esempio, "ha un nome") ed è quindi un lvalue.

Si può leggere di più su lvalue e rvalues ​​in C++ 11 in due articoli eccellenti:

• rvalue References Explained, da Thomas Becker (blog articolo)
• Universal References, da Scott Meyers (sovraccarico # 111)