삭제 된 shared_ptr에서 원시 포인터를 사용하는 정의되지 않은 동작입니까?

Question

나는 다음 코드 한

#include <iostream> 
#include <memory> 
#include <cassert> 

int main() 
{ 
    void* p_any = nullptr; 

    { 
     auto p_src = std::make_shared<int>(10); // new instance   
     p_any = p_src.get();      // get raw unmanaged pointer? 
     auto p_again = reinterpret_cast<int*>(p_any); 
     assert(*p_src == *p_again); 
    } 

    auto p_again = reinterpret_cast<int*>(p_any); // ?? 
    std::cout << *p_again << "\n";    // undefined?, expected? 

} 

마지막 두 문장은 안전합니까?

출력을 "10"으로 설정하면 http://cpp.sh/6poh을 실행할 수 있지만 예상 되나요? 또는 정의되지 않은 동작입니까?

Answer 1

p_src 개체는 닫기 중괄호를 사용하여 범위를 벗어나고 다른 공유 포인터 인스턴스가 없기 때문에 포함 된 포인터가 삭제됩니다. 따라서 p_any은 삭제 된 데이터를 가리키고 실제로 의 정의되지 않은 동작을 갖게됩니다.