할당 연산자에 대한 요구 사항

Question

제 질문은 간단합니다. 실제로 이에 대한 정보는 찾을 수 없습니다. 할당 연산자를 복사 (이동)해야 할당자가 구성되어야합니까?

Answer 1

T object(object_to_copy) 또는 T object = object_to_copy이 새 개체를 구성하기 때문에 이미 존재할 필요가 없습니다. 이것은 C++ 표준, 12.8/2 절에 문서화되어 있습니다.

위의 복사 구성과 다른 컨텍스트에서 사용되는 일반 할당 연산자는 대상 개체가 이미 존재해야합니다 (즉, 구성되어야 함). 이것은 표준의 13.5 절에서 쉽게 추론 할 수 있습니다.

Answer 2

질문에서 얻을 수있는 것은 a = b에 있는지, a을 완전히 구성해야하는지 묻고 싶습니다.

이 경우 대답은 예입니다. a은 할당 연산자가 호출되기 전에 완전히 구성된 개체 여야합니다. 할당은 객체와 일부 임의의 원시 비트가 아닌 두 객체 사이에서만 의미가 있기 때문입니다.

Answer 3

다른 답변과 달리 객체를 구성하기 전에 operator=을 호출 할 수 있습니다. 다음 코드는 유효하고 정의되지 않은 동작을 유발하지 않습니다.

#include <iostream> 

class A 
{ 
    public: 
    A(){ 
     std::cout << "A()\n"; 
     *this = *this; 
    } 
    A(const A& a) { std::cout << "A(const A& a)\n"; } 
    A& operator=(const A& a) { std::cout << "operator=\n"; return *this; } 
}; 

int main() 
{ 
    A a; 
    return 0; 
} 

출력 : 그것은 어떤 이해가되지 않습니다 물론

A() 
operator= 

. 그러나, 질문은 무언가가 허용되는지 아닌지, 내 대답은 그렇습니다. 분명히 생성자가 끝나기 전에 operator=이 호출되고 그러한 생성을 작성할 수 있습니다.