"const"데이터를 바꾸기 위해 "new"배치를 사용할 수 있습니까?

Question

[이것은 can memcpy() be used to change “const” member data?의 후속 조치입니다. 그리고 Idiomatic Way to declare C++ Immutable Classes은 실제로 문제가 발생합니다. 특히 this 대답은 "불변의 데이터를 중심으로 한 언어에서, 그것은 (논리적 인) 불변성에도 불구하고 데이터를"이동할 "수 있다는 것을 알게 될 것입니다. ]

---

는 structconst와 회원

struct point2d { const int x; const int y; }; // can't change to remove "const" 

다른 값을 갖는 새 point2d 인스턴스를 가리킬 수 있습니다 point2d에 대한 포인터를 보유하는 클래스 감안할. Bar의

struct Bar 
{ 
    std::unique_ptr<point2d> pPt_{ new point2d{ 0, 0 } }; 
    const point2d& pt() const { 
     return *pPt_; 
    } 

    void move_x(int value) { 
     pPt_.reset(new point2d{ pt().x + value, pt().y }); 
    } 
}; 

클라이언트는 다음을 참조하십시오

Bar bar; // (0, 0) 
    bar.move_x(3141); // (3141, 0) 

모두 point2d 및 Bar가 원하는대로 정확하게 일이다; 예, point2d은 완전히 변경할 수 없습니다.

그러나 실제로는 회원 데이터로 point2d 인스턴스를 저장하는 Bar의 다른 구현이 필요합니다. 이것을 달성 할 수있는 방법이 있습니까? 게재 위치 new을 사용하면 undefined behavior이됩니다 (의견보기 참조).

#include <new> 
struct Baz 
{ 
    point2d pt{ 0, 0 }; 

    void move_x(int value) { 
     // ** is this undefined behavior ? ** 
     new (&pt) point2d { pt.x + value, pt.y }; 
    } 
}; 

는 point2d를 사용 하지합니까 직접 회원 데이터 (가능성?) 정의되지 않은 동작 해결 방법으로?

struct Blarf 
{ 
    unsigned char pt_[sizeof(point2d)]; 
    const point2d& pt() const { 
     return *reinterpret_cast<const point2d*>(pt_); 
    } 

    Blarf() { 
     new (&pt_) point2d{ 0, 0 }; 
    } 

    void move_x(int value) { 
     new (&pt_) point2d{ pt().x + value, pt().y }; 
    } 
}; 

어느 쪽이 맞습니까? 그냥 Blarf? 또는 Baz도 OK! 아니면 둘 다, 유일한 해결책은 Bar입니까?

Answer 1

개체의 수명이 끝난 후에 저장소를 다시 사용할 수 있습니다. 수명은 소멸자 호출로 끝납니다. 기술적으로 문제가되는 것은 없습니다. 수명 후 객체를 사용

는

제시된 예제 코드 당시 그랬던 것처럼 내가 정의되지 않은 행동이다

pt.~point2d(); 
new (&pt) point2d { pt.x + value, pt.y }; 

이 대답을 썼다 종료되었습니다.

당신이 const 필드 포인트 클래스를 사용하여 주장하는 경우,이 같은 것을 해결할 수 있습니다

이

void move_x(int const value) 
{ 
    auto const old_pt = pt; 
    pt.~point2d(); 
    ::new (&pt) point2d { old_pt.x + value, old_pt.y }; 
} 

오히려 불필요한 합병증 가능한 마이크로 비 효율성,하지만처럼 느낄 수

, 불필요한 합병증입니다 포인트 클래스.