cpp_rvalue

값의 분류

• lvalue
• rvalue

---

lvalue

• 단일 식을 넘어 지속되는 개체
  • 주소가 있음
  • 이름이 있음
  • const 변수
  • 배열 변수
  • 비트 필드
  • 공용 구조체
  • 클래스 맴버
  • 좌측 값 참조(&)로 반환하는 함수 호출
  • 문자열 리터럴
  • 기타 등등

---

rvalue

• 사용되는 단일 식을 넘어 지속되지 않는 일시적인 값
  • 주소가 없는 개체
  • 리터럴
  • 참조로 반환하지 않는 함수 호출
  • i++, i-- (++i, --i는 lvalue)
  • 기본으로 지원되는 산술식, 논리식 그리고 비교식
  • 열거형(enum)
  • 람다(lambda)

---

rvalue 참조 (&&)

• C++11이후 새로 나온 연산자
• & : lvalue 참조에 사용
• && : rvalue 참조에 사용

---

Example

float CalculateAverage()
{
    float average;
    // ...
    return average;
}

int main()
{
    int number = 10;
    int && rNumber = number;                    // Error number는 lvalue
    int && rNumber1 = 10;                       // Ok
    float && rAverage = CalculateAverage();     // Ok
}

근데 왜 쓰지??

우선 아래의 복사 생성자 예시를 먼저 보자

class MyString
{
public:
    MyString(const MyString& other);
    // ...
};

MyString::MyString(const MyString& other) :
    mSize(other.mSize)
{
}

MyString studentName("Lulu");
MyString copiedName(studentName);

위와 같이 복사를 하지말고 그냥 참조만하는 이동생성자를 만들고 싶다면??

MyString copiedName(studentName); lvalue의 메모리 복사를 막고 싶음!

---

이동 생성자

class MyString
{
public:
    MyString(MyString&& other);
    // ...
};

MyString::MyString(const MyString&& other) :
    mString(other.mString)
    ,mSize(other.mSize)
{
    // 복사 후 원본은 지운다.
    other.mString = nullptr;
    other.mSize = 0;
}

MyString studentName("Lulu");
MyString copiedName(std::move(studentName));
// std::move쓰는 이유는 rvalue를 넘겨주기 위해서 이다.

• 다른 개체 멤버 변수들의 소유권을 가져온다.
• 복사 생성자와 달리, 메모리 재할당을 하지 않는다.
• 복사 생성자보다 빠르다.
• 약같 얕은 복사와 비슷

---

이동 대입 연산자

class MyString
{
public:
    MyString& operator=(MyString&& other);
    // ...
};

MyString& MyString::operator=(MyString&& other)
{
    if(this != &other)
    {
        delete[] mString;

        mString = other.mString;
        mSize = other.mSize;

        other.mString = nullptr;
        other.mSize = 0;
    }

    return *this;
}

MyString studentName("Lulu");
MyString anotherstudentName("Teemo");

anotherstudentName = std::move(studentName);

• 이동 생성자와 같은 개념
• 다른 개체 멤버 변수들의 소유권을 가져온다.
• 이것도 메모리 재할당을 하지 않음
• 얕은 복사

---

rvalue 최적화

• 우리를 흥분시킨 또 다른 C++유행어??
• 너무 좋은데? 메모리 할당없이? 엄청난 속도향상을 가져오겠다!!
• 하지만... 실제 rvalue반환은 매우 느리다.
• 기존 컴파일러에서 반환 값 최적화를 하고 있었기 때문...
• 더 빨라진다고 입증된 경우에만 함수가 rvalue를 반환하도록 바꾸자.

---