🎄코딩 규칙 : 대입 연산자는 참조 반환처리 하자.

결론

: 임시 객체로 인한 복사 생성자 호출 방지를 위해서 대입 연산자 제작시 반드시 참조 타입형태로 반환하자. 그리고 반드시 *this 포인터를 반환한다.
우리는 복사 객체가 생성되는 것을 막아야 함.

• 값 반환하더라도 세번 연쇄 대입하는데 는 문제 없을 수 있따.
  (복사 생성자에서 멤버 대입만 제대로 작성해준다면, )
  그런데 필요 없는 메모리 임시객체가 생성된다는 것이 함정임.

추가 : 240522

• = 연산뿐 아니라, += 연산, -= , *= , /= 연산등도 모두 참조 반환을 해야 한다.

추가 : 23.07.05

이펙티브 c++ 항복 11번 : 자기 대입 연산 처리를 하자.

추가 : 포인터 간의 대입 연산

• 포인터 객체간의 대입을 하게 되면 , 복사 는 발생하지 않는 것을
  확인할 수 있음.
  

• 추가적으로 블록 내부에서 a를 해지하려고 하면 , 동일한 메모리를 a,b가 참조하고 있는 상황이므로, 오류 발생함.
  

복사 생성자와 대입 연산자.

• 복사 생성자와 복사 대입연산자의 차이를 분명히 알고 가자.
  1) 복사 생성자.
  : 객체를 처음으로 생성할 시에, 복사 생성자를 이용하는 초기화

1번)
Point p;
Point p2(p)
2번)
Point p;
Point p2 = p;

2) 대입 연산자.
: 초기화 이후에 대입을 할 경우에 호출되는 연산자.

Point p;
Point p2;
p2 = p;

디폴트 대입 연산자.

: 컴파일러가 자동적으로 만들어 주는 대입연산을 하는 함수

• 형식
  Point &operator=(const Point& p)
  {
  x = p.x;
  y = p.y;
  return *this;
  }

• 알 수 있는 점.
  : 형식을 보면, 컴파일러도 복사 객체 생성을 막기 위해 참조로 반환하는
  것을 확인할 수 있음.

• 왜 참조 반환해야해! 라는 반례에 대해
  : 복사 생성자에서는 굳이 this포인터를 반환하지 않았자나!! 근데 왜
  대입연산자에서는 this 포인터를 반환하는 거냐!!

  삼중대입 연산을 할 때 operator=() 한수 내에서
  this를 반환하지 않으면, a = b = c; 에서
  b =c; 결과로 반환되는 객체가 a에게 전달되어야 하는데.
  복사 생성자처럼 작성할 경우, 전달되지 않는
  문제가 발생한다. 맨 아래에 예시 코드가 있다.
  그런데 복사 생성자는 오로지 하나의 객체에서만 진행되는 것이기 때문에
  this 포인터를 반환하지 않는 것이다.

값 반환으로 만들어 놓고,
p2 = p1 = p3; 을 해보아라. 그리고 p2를 출력하라.

(예제 실습. )대입 연산자 반환을 왜 참조로 해야함?

-> 암시적으로 생성되는 복사 객체 생성을 차단하기 위함.

• 예시 코드 1번 , 값반환 할 경우.
  : 본래의 객체인 우변에 위치한 객체로 인해서 대입연산자만 이루어져야 하는데
  대입 연산자가 value 반환이어서 임시객체 생성을 위해서
  복사 생성자가 한번 더 호출된 것임.

  추가적으로 p1의 값은 p2의 임시객체값으로 대입되기 때문에 발생한 것임.

• 출력 결과를 보면, p1의 멤버값만 쓰레기 값이 나오는 것을 확인할 수 있다.

Point p(1,2) , p2(3,4) , p3(4,5);
p = p2 = p3
코드를 보고 생각해보면, value 반환이면, p2 = p3는 멤버 대입할때 문제 없지만, 반환타입이 value이기 때문에 반환할때 임시객체가 생성되고, 연이어서 p3 의 복사본이 p2 에 대입하게 됨. 이로 인해 필요 없는 복사 생성자가 호출되는 것을 확인할 수 있다.
-> 값반환으로 인한 임시객체의 생성을 방지하기 위함 이 가장 큰 이유!

근데 왜???? 중요!!

• 근데 왜 p2는 p3의 값을 그대로 받은거지?
  : p2는 대입 연산자에 진입해서 x,y 값이 설정됨. 첫번째 줄의 copy= 출력
  이후로 대입연산자가 value 반환이어서 임시 객체 생성을 위해 복사생성자에 진입하면서 copy가 출력됨을 확인.
  여기서 문제 발생!!
  copy 복사로 인해 임시 객체가 생성되었고, (그리고 내가 현재 복사생성자에 대입 처리 안함.)
  이 임시객체가 그대로 p1 에 대입연산된 것임.
  -> 여기서 중요한 점은 바로 위의 print 확인한 대로, p2의 멤버에는 문제가 없다!
  

• 1. 확인을 해볼까?
     : 대입 연산자에서 print 호출해서 확인함.
     첫번째 출력에 copy= 출력 이후에 5,6 으로 p2객체가 값변경이 이루어짐.(여기까지는 문제 없음..., 반환할 때 문제 발생.! )

3번째 줄은 value 반환이어서 임시객체 생성을 위해 복사 생성자가 호출됨.
그리고 임시객체가 p1 로 대입 처리됨.
-> 대입 처리 안했기 때문에 쓰레기 값이 나오는 것을 확인할 수 있음.

• 2. 지금 이상태에서 해결을 원한다면, 복사 생성자에서 대입하면
     겉으로 보기에는 해결 됨.
     
• 3. 과연 이렇게 해도 괜찮은 것일까?
     : 우리는 객체를 총 3개 만들었는데, 이상한 destructor 2개는 추가적으로 호출된것일까?
     -> 대입 연산자가 value 반환이어서 임시객체 2개가 생성함. 즉 출력문도 보면 복사 값반환으로 인해 복사생성자 2번 더 호출된 것을 확인할 수 있음.

• 결론
  : 대입연산자의 반환타입을 value로 하게 되면, 연이은 대입할 경우,
  임시객체가 발생한다.
  원본 객체를 통해 대임을 하기 위해서 반드시 참조 타입으로 반환해야 하고,
  this포인터로 반환해야 한다.

---

• 예시 코드 2번, 참조 반환할 경우.
  : 복사대입만 이루어지고, 복사 생성자는 호출되지 않음.
  

---

대입 연산자는 복사생성자와는 다르게 왜 this포인터를 반환하는 걸까?

: 대입연산자를 만들어 보아라.

• 1단계) 복사 생성자처럼 반환 안할꺼임!!
  -> 이때는 문제 없음!
  

여기서 문제가 된다.

• 2단계) 야 그럼 p1 = p2 = p3은 됨?
  • 컴파일러가 알아서 처리하는 대입연산자는 문제 없다.
    
  • 우리가 만들어준 연산자로 확인해보자.
    : 반환하라고 하는 오류가 발생함.
    
  • 마지막
    : 대입 2번 이상이 가능하게 하기위해, 반드시 대입연산자는 this포인터를 반환해야 한다.