💣중요! std::move 만들기 - remove_ref : 어려움. move 구현

• 추가 231015
• remove_reference 와 remove_referece_t의 차이는
  전자는 operator = 연산자가 없지만, 후자는 operator= 연산자가 있음.

-> 근복적인 차이점은 remove_referenc_t 는 using 처리될 것이기 때문에
복잡하게 typename을 작성할 필요 없다.

https://crmerry.tistory.com/113

• 실험에 사용될 Test 클래스

class Test
{
public:
    Test() { std::cout << "Constructor" << std::endl; }
    ~Test() { std::cout << "Destructor" << std::endl; }

    Test(const Test& t)
    {
        std::cout << "Copy Constructor" << std::endl;
    }
    Test(Test&& t) noexcept
    {
        std::cout << "Move Constructor" << std::endl;
    }

    Test& operator=(const Test& t)
    {
        std::cout << "Copy =" << std::endl;
        return *this;
    }
    Test& operator=(Test&& t) noexcept
    {
        std::cout << "Move =" << std::endl;
        return *this;
    }
};

remove_ref 의 정의

: 템플릿 타입으로 들어오는 모든 타입의 참조를 제거하겠음!

typename remove_reference::type 자료형 확인하기

• remove_reference로 lvalue인 main::n의 참조가 없어지는 것을 확인할 수 있음.

  실험
  : 21번줄은 lvalue 이기 때문에 rvalue 4 받을수 없음.
  : 23번줄은 rvalue 이기 때문에 lvalue n을 받을 수 없음.
  

move를 직접 만들어보자!

핵심!! 반드시 알아야 한다!!

• 어떻게 만들것인가? 강추!

0. 모든 타입을 받을 수 있도록 template으로 만들자.
1. move 생성자와 , move 대입 이후에는 rvalue로 반환함. -> 함수 반환타입을 T&& 로 하자.
2. move에 인자로 들어올수 있는 것은 lvalue, rvalue모두 가능함!
   -> 타입 모두 받을 수 있게 forwarding ref 타입으로 설정하자.
3. 인자로 들어오는 정보를 rvalue로 캐스팅하는 것이므로.
   -> static_cast<T&&> 반환 하자.
4. 하지만 이렇게 할 경우, lvalue는 템플릿에 들어오는 순간
   진입하는 곳에서 ref collapse로 인해서 static_cast<T&> 로 결정된다.
   -> 참조를 지워야 한다. remove_reference_t 함수를 사용해 참조 지우자.
5. 참조성을 지웠으니까. 이제 rvalue타입으로 반환해야 하므로.
   -> && 캐스팅하자.

template<typename T>
T&& xmove(T&& _obj)
  {
  	return static_cast<remove_reference_t<T> &&>(_obj));
  
  }

---

• 1) template에서 인자에서 받을때 복사 발생하지 않고, rvalue와 lvalue를 모두 받을 수 있는 것은
  forwarding reference이기 때문에 T&&로 template 인자 설정하자.
  (일반 T로 놓으면 복사 발생하잖아...)
  -> T&& 를 함수 인자로 해서 만들자

• 2) 반환 타입은 rValue 이므로 , T&& 형을 반환하자.

template <typename T> T&& xmove(T&& obj)
{
	return static_cast<T&&>(obj)
}

int main()
{
	Test t1;
    Test t2 = t1; // => copy
    Test t3 = xmove(t1); // => move 했는데도 copy 나옴. 
	Test t4 = xmove(Test()); // => move
}

• but, 이렇게 하면 lvalue를 넣으면 문제임.

Object a;
Object b = xmove(a);

• 이유
  : 왜냐하면 T&& 에 T에다가 lvalue인 a를 넣어주면,
  T&& & => T& 가 되기 때문임.
  캐스팅하는 곳이 lvalue 참조로 변경되는 현상이 발생함.

  ---

  위에서 발생한 문제를 해결하자.

• 문제 1번 : lValue가 인자로 들어오면, 문제가 발생했다.
  해결책
  - 1) 인자로 들어오는 T의 참조를 제거하는
  remove_reference를 사용하자.
  - 2) : 참조를 제거한 후에 &&를 붙이자
  • 3) 반환 타입도 rValue로 작성하자.

template <typename T> T&& xmove(T&& obj)
{
	return static_cast<remove_reference<T>::type &&>(obj);
    
}

• 의미

  <remove_reference < T >::type &&>
  // T 타입이 가지고 있는 레퍼런스를 제거하고, &&를 붙이겠다는 의미임.

• 반환값
  : 그런데 반환값에 대해서 생각을 해보면, 템플릿 인자 T가 반환타입인
  T&& 에 의해 레퍼런스 충돌이 발생한다.
  -> 반환값도 remove_reference_t 처리를 해야 한다.

template <typename T> T&& xmove(T&& obj)
{
	return static_cast<typename remove_reference<T>::type &&>(obj);
}

• 아래의 최종코드가 바로 진정한 move 라고 할 수 있다.
  그런데 너무 복잡해 template::type 처리
  한번 더 수정하자...

template <typename T> typename remove_reference<T>::type&& xmove(T&& obj)
{
	return static_cast<typename remove_reference<T>::type &&>(obj);
}

중요!! 최종 구현

• typename 사용하기 싫어서 이렇게 처리함.

template <typename T> remove_reference_t<T>&& xmove(T&& obj)
{
	return static_cast<remove_reference_t<T> &&>(obj);
}

• 실제 move가 구현된 코드
  

결론

: 이전 포스트에서 move를 사용하면 lvalue 이더라도 ravlue로 캐스팅된다는 것을 확인할 수 있었는데, 지금의 포스트에서 이러한 이유를 알수 있다.

• lvalue이든 , rvalue 이든 참조를 지운 후에... rvalue로 캐스팅을 해버린다!