😵‍💫(코딩 규칙 )복사 및 이동 처리시 모든 멤버들도 이동 처리하자.

추가 240803

: funda c++ p.281~ 부터 내용있다.

• 상속 상태에서 파생 객체간의 복사 발생시 암묵적 생성하는 디폴트 파생 복사에서는 상속 객체와 멤버 객체간의 복사도 알아서 진행한다.
  -> 증명하기 위해서 포인터 하나 만들어서 확인했떠니 얕은 복사 발생하는 것을 확인할 수 있다.
  

• but, 유저 정의 복사에서는 파생 객체간의 복사시 기반 클래스와 멤버 객체의 생성자가 호출된다.
  -> 위의 내용대로 정말 유저가 선처리 영역에서 복사 코드 작성하지 않으니 기본 생성자가 호출되는 것을 확인할 수 있다.
  

핵심

: move 생성자 및 이동 대입연산자를 만들때, 객체의 모든 멤버들도 모두 move 처리하자.

problem

: 아래의 그림에서 move 처리해서 Test 멤버도 move 처리되는지를 확인하자.

---

move 생성자 만들기 예제

• 이와 같은 클래스를 만듦. : 복사 생성 만들고, 호출까지 진행함.
  

• 이동생성자를 만들고, move를 호출하자.
  : 포인터인 buf인 경우, move 해야할 일을 수행함. : 메모리 이전 및 null처리
  -> 출력해보니까.... copy가 발생함을 확인할 수 있다.
  
  -> test는 copy가 출력되는 것을 확인할 수 있음.
  당연한 것이다. 나의 Object 이동생성자에서 초기화리스트에서는 move 처리를
  하지 않았기 때문이다.

이동생성자를 만들때 각 멤버들도 반드시 이동처리하자.

: 모든 멤버들에 대해서 move 처리해서 이동생성자가 호출되도록 하자.
-> 아래 코드를 보면, 모든 멤버에 대해 move 해서 보내고 있는 것을 확인할 수 있음.

• 변경 코드
  

결론

• 이동생성자의 모든 멤버를 move 처리하자.

• 이동생성자를 만들 때, move하는 목적인 포인터의 메모리 이전
  즉 얕은 복사 + 이전하려는 포인터를 null 로 만들어야 함.

컴파일러가 알아서 만들어주는 이동생성자.

: 복사 생성자와 이동생성자를 유저가 직접 정의해 주지 않으면, 컴파일러가
알아서 디폴트 복사생성자와 디폴트 이동생성자를 호출함.

• 관련 코드
  : 하지만 이렇게 하면, 포인터가 얕은복사 되므로, 문제가 생김.
  

• 포인터를 주석처리하고 다시 확인해보자.
  -> 수업 내용에서는 컴파일러가 알아서 복사와 이동생성자를 만들고,
  이동생성자 내부에서도 모든 멤버에 대해 move 처리하고 있음.
  : but 내 컴파일러는 복사생성자를 호출하고 있음.

• 결과
  1) 그냥 이동생성자를 만들고, 모든 멤버를 move 처리하자...
  2) 아니면, 멤버를 스마트 포인터로 사용하자.

최종 코드

#include <stdio.h>
#include <Windows.h>
#include <tchar.h>
#include <vector>
#include <iostream>
#include <string>
using namespace std;
#include <type_traits>

class Test
{
public:
	Test() {}
	~Test() {  }
	Test(const Test& obj){
		cout << "copy constr" << endl;}
	Test(Test&& obj) { 
		cout << "move constr" << endl; }
	Test& operator=(const Test& obj)
	{
		cout << "copy=" << endl;
		return *this;
	}
	Test& operator= (Test&& obj)noexcept
	{
		cout << "move=" << endl;
		return *this;
	}
};


class Object
{
	size_t sz;
	//int* buf;
	string tag;
	Test test;

public : 
	Object(size_t s, string t)
		: sz(s), tag(t) /*buf(new int[s])*/ {}
	~Object() { /*delete buf;*/ }
	//Object(const Object& obj) : tag(obj.tag), test(obj.test), sz(obj.sz)
	//{
	//	buf = new int[sz];
	//	memcpy(buf, obj.buf, sizeof(int) * sz);
	//}
	//
	//Object(Object&& obj) noexcept
	//	: tag(move(obj.tag)) ,  test(move(obj.test)) , sz(move(obj.sz))
	//{
	//	buf = obj.buf;
	//	obj.buf = NULL;
	//}
};

int main()
{
	Object a(4, "bomi");
	Object b(move(a));
	Object c = a;

}