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

C++ 17 표준 식 값 범주

• glvalue(Generalized Lvalue)
  • 평가에서 개체, 비트 필드 또는 함수의 ID를 결정하는 식입니다.
  • 개체, 비트 필드 또는 함수의 ID(식별자)를 결정하는 식입니다. 즉, 메모리 상에 특정 위치(주소)를 나타내는 표현식입니다.
• prvalue(Pure Rvalue)
  • 계산에서 개체 또는 비트 필드를 초기화하거나 표시되는 컨텍스트에 지정된 대로 연산자의 피연산자 값을 계산하는 식입니다.
  • prvalue는 계산을 통해 만들어진 임시 객체나 상수 값입니다. 주로 새 객체를 초기화할 때 사용됩니다.
• xvalue (Expiring Value)
  • 리소스를 재사용할 수 있는 개체 또는 비트 필드를 나타내는 glvalue입니다(일반적으로 수명이 거의 다 되었으므로).
  • xvalue는 "수명이 다 되어가서 재활용할 수 있는" glvalue입니다. 주로 리소스 이동(예, std::move)와 관련되어 있습니다.
• lvalue는 xvalue가 아닌 glvalue입니다.
  • 즉, 이름이 있는 객체처럼 명확한 메모리 위치를 갖지만, 재활용(이동) 대상이 아닌 값입니다.
• rvalue는 prvalue 또는 xvalue입니다.
  • rvalue는 prvalue와 xvalue를 모두 포함하는 개념입니다.
  • 주로 임시 값을 나타내고
  • 이동가능한 glvalue 즉 , xvalue는 rvalue에 속한다

#include <iostream>
#include <string>
#include <variant>

void value()
{
    int x = 10;   // 이름이 있는 객체임으로 glvalue
    int &ref = x; // 참조도 glvalue
}

std::variant<int, std::string> prvalue()
{
    int x = 10;                // 이름이 있는 객체임으로 glvalue
    int y = 20;                // 이름이 있는 객체임으로 glvalue
    std::string str = "hello"; // 이름이 있는 객체임으로 glvalue
    return str;                // str은 prvalue
    return x + y;              // x+y는 prvalue
}

void xvalue()
{
    std::string str = "this is a glvalue"; // 이름이 있는 객체임으로 glvalue
    std::string &&xref = std::move(str);   // std::move(str)는 xvalue
}

void rvalue()
{
    int sum = 3 + 4; // 3 + 4는 prvalue, 즉 rvalue입니다.

    std::string s = "Test";        // "Test"는 prvalue, 즉 rvalue입니다.
    std::string s2 = s;            // s는 lvalue입니다.
    std::string s2 = std::move(s); // std::move(s)는 xvalue, 즉 rvalue입니다.
}