boost :: shared_ptr 질문. 왜이게 효과가 있니?

Question

this question을 실험하면서 나는 완전히 이해하지 못하는 예를 만들었습니다. 특히 포인터, 참조 및 boost :: shared_ptr에 대한 나의 오해를 강조합니다. 이 코드를 실행

int& r = *(new int(0));//gratuitous pointer leak, got to initialize it to something 
{ 
    boost::shared_ptr<int> sp(new int(100)); 
    r = *sp; 
    cout << "r=" << r << endl; 
} 
cout << "r=" << r << endl << endl; 

int* p; 
{ 
    boost::shared_ptr<int> sp(new int(100)); 
    p = &*sp; 
    cout << "*p=" << *p << endl; 
} 
cout << "*p=" << *p << endl; 

이 같은 출력 뭔가를 제공합니다

r=100 
r=100 

*p=100 
*p=13 

왜 기준이있는 shared_ptr의 죽음을 생존 않습니다를하지만 포인터하지 않습니다? 여기에있는 답변에 문제가있다

---

두 정반대과 모순 솔루션과 진실이되는 합의가있을 것 같다. shared_ptr이 삭제 된 후 참조를 사용할 수있는 기능이 좋겠지 만 무효 한 경우이 사실을 이해해야합니다.

누군가가 참조에서 정의되지 않은 동작을 나타내는 간단한 예제를 게시 할 수 있습니다.

Answer 1

r = *sp;은 생각하는대로하지 않습니다. 에 즉, 줄 1의 힙에 만든 익명 int 개체에 할당합니다. C++에서 참조를 다시 연결할 수 없습니다. 여기

표준이 참조 표현식을 평가에 대한 말씀입니다 : 표현식이 처음 유형 "T 참조"가

경우, 유형 전에 더 분석 T으로 조정된다. 표현식은, 으로 표시된 객체 또는 함수를 지정하며 표현식은 표현식에 따라 lvalue 또는 xvalue입니다.

"참조 자체"로 이동하는 방법은 없습니다. C++에는 존재하지 않습니다.

어쩌면이 코드가 명확하게됩니다 r = b 정말 a = b을 의미하기 때문에

int a = 42; 
int b = 97; 

int&r = a; // r is just an alias (another name) for a 
    r = b; // assigns b to a (does NOT bind r to b, that's impossible in C++!) 

을 마지막 줄을 실행 한 후, 모두 a 및 b는 97이 포함되어 있습니다.

Answer 2

p가 정의되어, R은 두 번째 경우 사본

int& r = *(new int(0)); 
{ 
    boost::shared_ptr<int> sp(new int(100)); 
    r = *sp; // copy 
    cout << "r=" << r << endl; 
} 
cout << "r=" << r << endl << endl; 

int* p; 
{ 
    boost::shared_ptr<int> sp(new int(100)); 
    p = &*sp; 
    cout << "*p=" << *p << endl; 
} 
cout << "*p=" << *p << endl; // Undefined, pointer points to deleted int 

Answer 3

이다하여 int -object는 소멸된다. 첫 번째 경우에는 그렇지 않습니다.

첫 번째 경우에는 외부 범위에 new 인 새 int 개체를 만듭니다. 내부 범위에서 두 번째 int -object를 만들면 shared_ptr도 생성되고 그 다음 int -object를 소유하게됩니다. 이 shared_ptr은 내부 범위를 닫을 때 범위를 벗어나면 소멸됩니다.shared_ptr 소멸자는 참조하는 객체도 파괴합니다. shared_ptr (원래 객체에서 생성 된 것)이 더 이상 int 객체를 참조하지 않기 때문입니다. 그게 다 괜찮아. 그러나 해당 범위의 중간에 r의 값을 *sp (100)의 값으로 다시 지정합니다. 따라서 이 소멸되기 전에 *sp의 값을 r으로 저장합니다.

참고 : 첫 번째 코드 줄에서 수행하는 방식과 마찬가지로 int 개체를 만드는 것이 확실한 스타일입니다. 해당 int 개체를 명시 적으로 삭제하지 않으면 이는 메모리 리크입니다. 그것을 파괴하는 방법은 r 기호가 나중에 지금도 삭제 된 int 객체를 참조하기 때문에 실제로보기 흉한 delete &r이 될 것입니다. 이 작업을하지 마십시오!

두 번째 경우에는 처음에 int 포인터를 만들지 만 int 개체는 만들지 않습니다. 내부 범위는 이전과 거의 동일하지만 이번에는 새 int 개체의 값을 외부 범위 변수 (p)에 저장하지 않고 int 개체의 주소를 저장합니다. int 개체가 내부 범위의 끝에서 (이전과 같은 이유로) 파괴되면서 p은 더 이상 기존의 int 개체를 가리 키지 않지만 이전에 한 번만 int 개체를 보유한 메모리 장소를 가리 킵니다. *p에서 얻은 값은 정의되지 않았습니다. 더 이상 보유하지 않는 메모리 위치를 역 참조 할 때 여전히 100을 얻고 다른 값을 얻을 수 있으며 여기서 프로그램을 크래시 할 수도 있습니다 (분할 오류). 여전히 기존의 객체를 참조하기 때문에,

참조가 남아 :

그래서 요약 및 최종 질문에 대답합니다. 포인터는 더 이상 존재하지 않는 객체를 가리 키기 때문에 그렇지 않습니다.