역 참조 포인터에서 대입 연산자를 사용하여 컴파일러 오류가 아닌 인터페이스를 사용하는 이유는 무엇입니까?

Question

컴파일러 오류가 아닌 순수 추상 인터페이스에 대한 참조 해제 포인터에서 대입 연산자를 사용하는 이유는 무엇입니까? 언제 이것이 유용 할 수 있습니까? 내가 아래에서 개괄 한 것처럼 미묘한 버그로 이어질 수있는 것처럼 보입니다.

나중에 구현할 수있는 인터페이스를 구현하는 전역 적으로 액세스 가능한 객체를 갖기 위해 핸들 (포인터에 대한 포인터 또는 std에 대한 포인터 사용)을 사용해야합니까? :: unique_ptr) 아니면 다른 접근 방법이 있습니까?

#include <iostream> 

class Interface { 
public: 
    virtual int Value() = 0; 
}; 

class Implementation : public Interface { 
public: 
    Implementation(int value) : value(value) {} 
    int Value() override { 
    return value; 
    } 
    int value; 
}; 

// Set default value 
Interface* object = new Implementation(1); 
Implementation* object2 = new Implementation(2); 

int main() { 
    // Why is this line not a compiler error? 
    *object = Implementation(3); // Try to override default value 
    *object2 = Implementation(4); // Override default value 
    // This outputs "14", not "34", why? 
    std::cout << object->Value() << object2->Value(); 
    return 0; 
} 

이러한 문제를 해결하고 단위 테스트에서 재정의 기본값을 설정할 수있게하려면 다음 방법을 사용했습니다. 기본적으로

// Set default value 
static std::unique_ptr<Interface> object(new Implementation(1)); 
void SetObject(std::unique_ptr<Interface> obj) { 
    object.reset(obj.release()); 
} 

int main() { 
    SetObject(std::make_unique<Implementation>(2)); // Override default value 
    std::cout << object->Value(); 
    return 0; 
} 

Answer 1

C++ 객체는 컴파일러에 의해 생성 된 operator= 방법을 얻을. 이 연산자는 각각의 멤버 변수에 operator=을 적용하고 이 아니고 가상입니다. 즉, 정적 유형의 선언 된 포인터의 멤버와 함께 작동합니다. Interface에는 회원이 없으므로 구성원이 복사되지 않습니다. Implementation에는 회원이 있으므로 회원이 복사됩니다.