만료 된 weak_ptr과 초기화되지 않은 weak_ptr을 구별 할 수 있습니까? 예

Question

:

std::weak_ptr<int> wp1(std::make_shared<int>()); 
std::weak_ptr<int> wp2; 

assert(PointsToValidOrExpiredObject(wp1)); 
assert(!PointsToValidOrExpiredObject(wp2)); 

이러한 기능 가능한가?

사용 사례 : 클래스의 생성자는 std::weak_ptr<Foo>을 종속으로 사용합니다. 만료 된 객체를 전달하는 것은 괜찮습니다 (특정 워크 플로에서 발생할 수 있음). 그러나 null을 전달하면 프로그래머가 무언가를 잊어 버린 것을 의미합니다. 이것을 생성자의 매개 변수 유효성 검사의 일부로 테스트하고 싶습니다.

Answer 1

std::weak_ptr::owner_before은 비어 있고 만료 된 약한 포인터를 구별 할 수 있습니다.

template <typename T> 
bool PointsToValidOrExpiredObject(const std::weak_ptr<T>& w) { 
    return w.owner_before(std::weak_ptr<T>{}) || 
      std::weak_ptr<T>{}.owner_before(w); 
} 

Demo : 당신은 그러므로으로 PointsToValidOrExpiredObject 구현할 수 있습니다.

Regarding the original uncertainty I had about an expired weak_ptr still maintaining ownership : 라이브러리 전체의 스레드 안전 요구 사항에 따라 만료 된 weak_ptr의 소유권이 동일하게 유지되도록해야합니다. 그렇지 않으면 스레드 A에서 마지막으로 남은 shared_ptr을 삭제하면 해당 shared_ptr과 함께 소유권을 공유하는 1/some/all weak_ptr의 상태를 관찰 가능하게 수정해야합니다. 스레드 B가 같은 weak_ptr의 상태를 동시에 검사했다면 일반적으로 금지 된 라이브러리 구현에 의해 도입 된 데이터 경쟁이 발생합니다.