Início / coding / Perguntas / 78783996
Accepted
Oersted
Asked: 2024-07-23 22:20:52 +0800 CST

Qual é a justificativa para a expressão class{}.refmem ser uma expressão lvalue

  • 772

Eu descobri que é S{}.rvaluma expressão lvalue. Quero saber a lógica por trás de considerá-la uma expressão lvalue.

Por que o acesso ao membro não estático do tipo de referência é lvalue, mesmo quando o objeto é um rvalue?

struct S {
    int val;
    int& rval = val;
};
int main() {
    S{}.val; // xvalue
    S{}.rval; // lvalue
}

Minha expectativa seria que uma referência a uma "entidade que morrerá em breve" também seria "morrerá em breve". Então, eu gostaria de entender a lógica da(s) regra(s).

c++

1 respostas

  1. Best Answer

    Minha expectativa seria que uma referência a uma "entidade que morrerá em breve" também seria "morrerá em breve".

    Isso não é sempre verdade. O membro de referência pode apelidar um objeto que sobreviverá ao temporário S{} .

    Por exemplo:

    int i = 10;
struct S {
   
    int& rval = i; // rval refers to the global i
};
int main() {
    S{}.rval;     //the aliased object will outlive the object expression `S{}`
}
    • 4

relate perguntas