학습 목표

: move 생성자와 move 대입에 왜 noexcept를 작성해야 하는지
그리고 move_if_noexcept가 무엇인지 알아보자.

🔥결론

: 이동생성자와 이동 대입연산자 제작시에는 반드시 noexcept를 붙이자.

---

• a에서 c로 move는 성공했찌만, b에서 d로 이동할때 예외가 발생할 수 있음.
• 예외 발생 여부에 관한 내용은 블로그로 가자.
  -> move와 예외에 대해서 제목 참고.

🌒(중요 : c++ 상식)move 생성자와 대입에다가 noexcept를 추가해야 하는 이유

• 외우자.
  - c++에서는 예외가 발생할 수 있다고 생각한다면, (원본 데이터를 보장하기 위해서) 예외 발생을 대비해서, move 를 하더라도 그냥! 복사가 발생하도록 설계를 했다.
  -> 따라서 move 생성자와 move 대입연산자에다가 noexcept를 붙이고, 예외가 발생하지 않는 코드를 작성해야 한다.
  특히 c++의 stl에서는 위의 개념이 적용되는 것을 확인할 수 있다.

noexcept를 추가해야 하는 실제 코드 240803

vector의 경우, 유저정의 클래스에서의 이동생성자와 이동 대입에 noexcept 작성되지 않으면, 이동 처리하지 않는 것을 확인할 수 있다.
확인하는 코드는
vector v(2);
v.resize(4); 를 하면 move 연산이 출력되어야 하는데, copy가 발생한 것을
확인할 수 있었다.

is_nothrow_move_constructible
: 클래스의 이동생성자에서 예외가 있으면, true / 없으면 false를 반환함.

move_if_noexcept(Object)
: 객체가 예외가 있으면, 복사를 호출,
객체가 예외가 없으면 이동을 호출하게 하는 키워드

• 현재 만든 클래스의 경우, 예외가 없다라는 것을 명시하지 않았다. 이로 인해
  c++에서는 예외 안정성을 위해서 예외를 발생할 수 있다라고 인식하기 때문에,
  move_if_noexcept에서 복사 생성자가 호출됨을 확인할 수 있음.
  

이동생성자와 이동 대입연산자에 noexcept를 작성해야하는 이유

- 이동생성자나 이동대입 연산자는 메모리가 아닌, 포인터간의 복사가 이루어지는데, 포인터의 복사는 예외가 발생하지 않으므로, noexcept를 명시하도록 하자. -> 하여튼 중요한 부분은 포인터 대입의 경우, 얕은 복사라는 것을
인지해야 한다.

• -> 그리고 반드시 이동생성자와 이동 대입에서는 예외가 발생하지 않도록
  하자.

결론

• 이동생성자와 이동대입연산자에 noexcept를 명시해서 예외가 발생하지 않도록 하자.
  

---

problem

: char* 을 멤버로 가지고 있는 Object 클래스를 만든후,
생성자 3개, 소멸자, 대입연산자 2개 만들자.
vector v(2); v.resize(4) ; 호출하자.

• vector 의 초기화 어떻게 이루어질까?

#include <iostream>
#include <thread>
#include <future>
#include <chrono>
using namespace std;
#include <numeric>

#include <future>

class Object
{
private : 
	char *name;
public : 
	Object(const char*_name)
	{
		name = new char[strlen(_name) + 1];
		strcpy(name, _name);
		cout << "const char* constructor" << endl;
	}
	~Object() { delete[] name; cout << "destructor" << endl; }
	Object(const Object&_obj)
	{
		name = new char[strlen(_obj.name) + 1];
		strcpy(name, _obj.name);
		cout << "copy constructor" << endl;
	}
	Object(Object&& _obj)noexcept
		: name{_obj.name}
	{
		_obj.name = nullptr;
		cout << "move constructor" << endl;
	}
	Object& operator=(const Object& _obj)
	{
		delete[]name;
		name = new char[strlen(_obj.name) + 1];
		cout << "operator= copy" << endl;
	}
	Object& operator=(Object&& _obj) noexcept
	{
		name = _obj.name;
		_obj.name = nullptr;
		cout << "operator= copy" << endl;
	}
	Object() { cout << "basic constructor" << endl; }
};

int main()
{
	vector<Object>v(4, "zzok");
	cout << "hello" << endl;
	v.resize(7);
}

• 결과
  1) 맨 처음에 4개 만들고, zzok 을 넣어주고 있는데,
  기본 생성자(zzok) 을 만들고, 4개를 복사함.
  2) 이후, resize(7) 에서는 기본 생성자 3개 만들고,
  기존에 만들어놓은 4개를 move 시키고 있음.
  
  

• 1) 객체 p1을 만들고, 객체 p2에다가 이동 예외처리 함수를 이용해 대입해 자원을 옮기자. (복사 이동 소멸 생성 모두 만들어야 함.)
• 2) move 생성에다가 noexcept 처리해서 , 다시 실행하라.

move_if_noexcept

: move 할 때 예외가 있다면, copy 가 일어나게 하고,
예외가 없다면, move를 발생시킴.

move 생성자와 move 이동 연산자에 noexcept가 없다면, copy가 발생함.

• 확인 코드 1번.
  : move_if_noexcept를 작성하고 출력 확인해보면, move 가 출력되지 않고, copy가 출력됨을 확인할 수 있음.
  

• 확인 코드 2번
  : 이동 생성자와 이동 연산자에 noexcept를 작성하고, 다시 확인해보자.
  -> move가 출력된 것을 확인할 수 있음.