destruct + move 구조를 통한 이동 할당이 안전합니까?

Question

여기에 이동 생성자와 함께 대부분의 모든 클래스에 대한 이동 할당을 정의하는 아주 쉬운 방법 :

class Foo { 
public: 
    Foo(Foo&& foo);      // you still have to write this one 
    Foo& operator=(Foo&& foo) { 
    if (this != &foo) {    // avoid destructing the only copy 
     this->~Foo();     // call your own destructor 
     new (this) Foo(std::move(foo)); // call move constructor via placement new 
    } 
    return *this; 
    } 
    // ... 
}; 

가에서이 포인터 안전에 대한 새로운 배치 한 다음 자신의 소멸자를 호출의 순서가 표준 C++ (11) ?

Answer 1

절대 사용하지 않는 경우에만이 클래스에서 유형을 파생하십시오. 그렇게하면 개체가 괴물이됩니다. 표준에서 이것을 객체 수명을 설명하는 예제로 사용하는 것은 불행한 일입니다. 실제 코드에서 수행하는 것은 정말 나쁜 일입니다.

Answer 2

기술적으로이 작은 예제에서는 소스 코드가 인입니다. 그러나 현실은 Foo를 재미있게 본다면 UB를 호출 할 것입니다. 너무 무서운 정도로 안전하지 않기 때문에 완전히 가치가 없습니다. 다른 사람들처럼 스왑을 사용하십시오. 이유가 있습니다. 올바른 선택이기 때문입니다. 또한 자체 할당 검사가 잘못되었습니다.