¿Los valores de propiedad son siempre constantes?

Question

Cuando int i = 5;

int j = i; 

Se RValue i en esta expresión sea una constante cuando se evalúa el resultado?

que estoy haciendo esta pregunta porque en mi constructor de copia su argumento requiere un const

Answer 1

Hay un malentendido común en torno a los términos lvalue/rvalue. No se refieren a variables, sino a expresiones. Una expresión puede producir un valor l o un valor r, y puede ser const o no const.

En particular, en su código, la expresión i en el lado derecho de la definición int j = i; es una expresión lvalue, no un valor r. A los efectos de la asignación, existe una conversión de valor a validar y luego se asigna a la variable recién declarada.

La continuidad es un concepto ortogonal, en la mayoría de los casos, y se refiere a si puede o no puede mutar el objeto con el que está tratando.

int f(); 
int& g(); 
const int& h(); 
const int k(); 

int main() { 
    f();   // non-const rvalue expression 
    g();   // non-const lvalue expression 
    h();   // const lvalue expression 
    k();   // const rvalue expression 
    f() = 5;  // error, cannot assign to an rvalue 
    g() = 5;  // correct, can modify a non-const lvalue 
    h() = 5;  // error, cannot modify a constant lvalue 
} 

Otros ejemplos requieren el uso de tipos definidos por el usuario:

struct test { 
    void foo() { x = 5; } 
    void bar() const; 
    int x; 
}; 
test f(); 
const test g(); 
int main() { 
    f().foo();  // f() is a non-const rvalue, 
        // but you can call a method on the resulting object 
    g().foo();  // g() is a const rvalue, 
        // you cannot call a mutating member function 
    g().bar();  // but you can call a const member function 
} 

Answer 2

En C++, rvalues ​​de tipo incorporado no puede ser const o no constante. Simplemente no tiene sentido. Sin embargo, puede haber valores const y no const de tipos de clases.

Un valor r es solo el VALOR (no el objeto/variable). ¿Qué entenderías con "valor no constante"?