값 범주: Lvalues 및 Rvalues(C++)

모든 C++ 식에는 형식이 있으며 값 범주에 속한다. 값 범주는 식 평가중에 임시 객체를 만들고 복사하고 이동할 떄 컴파일러가 따라야 하는 규칙의 기초이다.

C++ 17 standard 식 값 범주 (expression value categories):

• glvalue는 평가에서 개체, 비트 필드 또는 함수의 ID를 결정하는 식입니다.
• prvalue는 계산에서 개체 또는 비트 필드를 초기화하거나 표시되는 컨텍스트에 지정된 대로 연산자의 피연산자 값을 계산하는 식입니다.
• xvalue는 리소스를 재사용할 수 있는 개체 또는 비트 필드를 나타내는 glvalue입니다(일반적으로 수명이 거의 다 되었으므로). 예: rvalue 참조(8.3.2)와 관련된 특정 종류의 식은 반환 형식이 rvalue 참조이거나 rvalue 참조 형식에 대한 캐스트인 함수에 대한 호출과 같이 xvalue를 생성합니다.
• lvalue는 xvalue가 아닌 glvalue입니다.
• rvalue는 prvalue 또는 xvalue입니다.

// lvalues_and_rvalues2.cpp
int main()
{
    int i, j, *p;

    // Correct usage: the variable i is an lvalue and the literal 7 is a prvalue.
    i = 7;

    // Incorrect usage: The left operand must be an lvalue (C2106).`j * 4` is a prvalue.
    7 = i; // C2106
    j * 4 = 7; // C2106

    // Correct usage: the dereferenced pointer is an lvalue.
    *p = i;

    // Correct usage: the conditional operator returns an lvalue.
    ((i < 3) ? i : j) = 7;

    // Incorrect usage: the constant ci is a non-modifiable lvalue (C3892).
    const int ci = 7;
    ci = 9; // C3892
}