복사 생성자 내에 동적으로 할당 된 클래스의 복사 생성자를 호출합니까?</p>이 <pre><code>MyClass::MyClass(const MyClass &other) { this->value = new Value(*(other.value)); } </code></pre> <p>내가 보는 대부분의 예제,이 작업을 수행 : (그들은이기 때문에 생성자, 소멸자, 대입 연산자를 가정

Question

는 왜 이런 식으로 복사 생성자를 구현할 수 없습니다, 제대로 작성 일반적으로 배열)

MyClass::MyClass(const MyClass &other) 
{ 
    Value *temp = new Value; 
    *temp = *(other.value); 
    this->value = temp; 
} 

그러나 첫 번째 예에서 다루는 '새'가 발생하는 경우, 영향을받지 않습니다,과 가치의 복사 생성자가 발생하는 경우, 할당 된 메모리를 '새로운'해제하지 않습니다 '기타'가 예외를 전파하기 전에?

이것은 미니 스마트 포인터 자체를위한 것이기 때문에 특별히 std :: unique_ptr 및 다른 스마트 포인터를 사용하지 않아야합니다.

Answer 1

열거하기 시작하는 데 너무 많은 문제가 있습니다. 난 당신이 세 가지의 규칙 배울 것이 좋습니다

• What is The Rule of Three?

내가 말했듯이, 가능성이

struct MyClass 
{ 
    MyClass(const MyClass &other) : value(other.value) {} 

    private: 
    OtherClass value; 
}; 

그리고 value 경우

자원의 일종 읽을 것입니다 여기에 적절한 솔루션을 그 을이 힙에 살고 있어야합니다. 그러면

로 선언됩니다.3210

그런 식으로는 소유권 의미 및 메모리 관리를 잘못 (쉽게, 쉽게) 할 수 없습니다.

Answer 2

값의 복사 생성자가 throw하는 경우 예외를 전파하기 전에 할당 된 메모리를 해제하지 않겠습니까?

예.

세 줄 할당 버전 대신 한 줄 방법을 사용하지 않는 특별한 이유는 없습니다. 당신이 적용되지 않습니다 다음 스마트 포인터를 쓰고있어 이후

---

하지만, 정규 과목에 당신은 아마 RAII 타입으로 수동 포인터 관리를 마무리한다.

#include <memory> 

// probably will be added to the standard 
template<typename T, typename... Args> 
std::unique_ptr<T> make_unique(Args &&... args) { 
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...)); 
} 

class Value {}; 

class MyClass { 
    std::unique_ptr<Value> value; 

public: 
    MyClass() : value{make_unique<Value>()} {} 

    MyClass(MyClass const &other) : value{make_unique<Value>(*other.value)} {} 

    MyClass &operator= (MyClass const &other) { 
     value = make_unique<Value>(*other.value); 
     return *this; 
    } 
    // you can also implement assignment from rvalue ref as an optimization 
};