c++에서의 value

https://stackoverflow.com/questions/3601602/what-are-rvalues-lvalues-xvalues-glvalues-and-prvalues

[What are rvalues, lvalues, xvalues, glvalues, and prvalues?In C++03, an expression is either an rvalue or an lvalue.

In C++11, an expression can be an:
rvalue lvalue xvalue glvalue prvalue Two categories have become five categories. What are these...stackoverflow.com](https://stackoverflow.com/questions/3601602/what-are-rvalues-lvalues-xvalues-glvalues-and-prvalues)

스택오버플로우의 문답을 번역해봤습니다.

rvalues, lvalues, xvalues, glvalues, 그리고 prvalues가 뭔가요? C++03에서는 rvalue와**lvalue **두가지가 있었습니다.
그리고 C++11에서는 아래와 같은 표현이 생겼죠.

1. rvalue
2. lvalue
3. xvalue
4. glvalue
5. prvalue

두개의 표현이 다섯개가 된겁니다.

• 이 새로운 표현들은 무얼 의미하는 거죠?
• 이 새로운 표현들은 rvalue, lvalue와 무슨 관련이 있나요?
• C++0x에서의 rvalue와 lvalue는 C++03의 표현과 같은 건가요?
• 왜 새로운 표현들이 필요하게 된 거죠? WG21의 신들이 그냥 우리들을 혼란스럽게 만들려고 한 건 아닌가요?

답변

n3055 , 저는 이 문서가 결코 간단하다고는 할 수 없다고 생각합니다....

이 모든 혼란은 무브 시맨틱(move semantics:이동 의미론)으로부터 시작되었죠. 그래서 우리는 이동을 하되 복사는 하지 않는 표현식을 사용할 수 있게 되었습니다. 그리고 이것들을 확실히 해치우기 위해서는 이동될 수 있는 표현들 사이의 특별한 차이나 규칙을 붙잡아야만 하겠죠.
초기의 버전을 기반으로 보면, r/l value간의 차이는 비슷합니다. 이동의 문맥에 따라서 복잡해지는 거죠.
그런데 과연 이것들이 필요한 걸까요? 이 골치아픈 새 기능들을 없애버리고 싶기도 할 겁니다. 하지만 더 나은 최적화를 위해 우리는 그것들을 감싸안아야 할 거에요.
Quoting n3055:

• lvalue는 할당식의 왼쪽에 있어서 left value가 되었죠. 하나의 함수나 객체를 지정합니다.  예를 들어 E 가 포인터 타입의 표현식이라면, *E 은 E 포인터로 객체나 함수를 참조하는 lvalue 표현이죠. 다른 예로, 반환 타입이 lvalue참조인 함수의 결과는 lvalue입니다.
• xvalue는 만료된(eXpiring) 값입니다. 그리고 하나의 객체를 참조하는데요. 보통은 소멸 시점이 가까운, 곧 이동될 자원이겠죠. 하나의 xvalue는 rvalue 참조를 포함한 특정 종류의 표현식 결과입니다. 예를 들어, 반환 타입이 rvalue 참조인 함수 호출의 결과는 xvalue입니다.
• glvalue는 일반적인(generalized) lvalue입니다. 하나의 lvalue거나xvalue죠.
• rvalue는 할당식의 오른쪽에 있어서 right value가 되었습니다. 하나의 xvalue이고,  임시 객체 또는 그 서브타입의 객체거나, 객체와는 관련이 없는 그냥 값입니다.
• prvalue는 순수한(pure) rvalue입니다. xvalue가 아닌 rvalue죠. 예를 들어, 반환 타입이 참조가 아닌 함수 호출의 결과는 prvalue입니다.

그리고 질문자님이 첨부하신 문서는 이 질문에 대한 아주 훌륭한 참고자료랍니다. 표준에서 새로 등장한 용어들과 변화를 아주 확실하게 보여주거든요.

관계도