{"id":111506,"date":"2025-08-26T07:00:00","date_gmt":"2025-08-26T14:00:00","guid":{"rendered":"https:\/\/devblogs.microsoft.com\/oldnewthing\/?p=111506"},"modified":"2025-08-16T18:14:06","modified_gmt":"2025-08-17T01:14:06","slug":"20250826-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20250826-00\/?p=111506","title":{"rendered":"Thoughts on creating a tracking pointer class, part 12: A shared tracking pointer"},"content":{"rendered":"

The tracking pointer designs we’ve been using so far have had O<\/var>(n<\/var>) complexity on move, where n<\/var> is the number of outstanding tracking pointers. But we can reduce this to O<\/var>(1) by the classic technique of introducing another level of indirection.<\/p>\n

What we can do is give every trackable object a single shared_ptr<T*><\/code> (which we call the “tracker”), which is shared with all tracking pointers. That way, when the object is moved, we can update that single shared_ptr<T*><\/code>, and that updates the pointer for all the tracking pointers.<\/p>\n

template<typename T> struct trackable_object;\r\n\r\n\/\/ struct tracking_node { ... };<\/span><\/span>\r\ntemplate<typename T>                                            <\/span>\r\nstruct tracking_ptr_base                                        <\/span>\r\n{                                                               <\/span>\r\n    tracking_ptr_base() noexcept = default;                     <\/span>\r\n                                                                \r\nprivate:                                                        <\/span>\r\n    friend struct trackable_object<T>;                          <\/span>\r\n    tracking_ptr_base(std::shared_ptr<T*> const& ptr) noexcept :<\/span>\r\n        m_ptr(ptr) { }                                          <\/span>\r\n                                                                \r\nprotected:                                                      <\/span>\r\n    std::shared_ptr<T*> m_ptr;                                  <\/span>\r\n};                                                              <\/span>\r\n\r\ntemplate<typename T>\r\nstruct tracking_ptr : tracking_ptr_base<std::remove_cv_t<T>>\r\n{\r\nprivate:\r\n    using base = tracking_ptr_base<std::remove_cv_t<T>>;\r\n    using Source = std::conditional_t<std::is_const_v<T>,\r\n        base, tracking_ptr<std::remove_cv_t<T>>>;\r\n\r\npublic:\r\n    T* get() const { return this->m_ptr ? *this->m_ptr : nullptr; }<\/span>\r\n\r\n    using base::base;\r\n    tracking_ptr(Source const& other) : base(other) {}\r\n    tracking_ptr(Source&& other) : base(std::move(other)) {}\r\n\r\n    tracking_ptr& operator=(Source const& other) {\r\n        static_cast<base&>(*this) = other;\r\n        return *this;\r\n    }\r\n    tracking_ptr& operator=(Source&& other) {\r\n        static_cast<base&>(*this) = std::move(other);\r\n        return *this;\r\n    }\r\n};\r\n<\/pre>\n
The tracking pointer (via the tracking pointer base) holds a copy of the tracker shared pointer. The small catch here is that the tracker m_ptr<\/code> might be null if the tracking pointer was default-constructed or has been moved-from, so the get<\/code> method needs to check for a non-null pointer before dereferencing it.<\/p>\n
template<typename T>\r\nstruct trackable_object\r\n{\r\n    trackable_object() \/* noexcept<\/span> *\/<\/span> = default;\r\n\r\n    ~trackable_object()\r\n    {\r\n        set_target(nullptr);\r\n    }\r\n\r\n    \/\/ Copy constructor: Separate trackable object\r\n    trackable_object(const trackable_object&) \/* noexcept<\/span> *\/<\/span> :\r\n        trackable_object()\r\n    { }\r\n\r\n    \/\/ Move constructor: Transfers tracker\r\n    trackable_object(trackable_object&& other) \/* noexcept<\/span> *\/<\/span> :\r\n        m_tracker(other.transfer_out()) {\r\n        set_target(owner());\r\n    }\r\n\r\n    \/\/ Copying has no effect on tracking pointers\r\n    trackable_object&\r\n        operator=(trackable_object const&) noexcept\r\n    {\r\n        return *this;\r\n    }\r\n\r\n    \/\/ Moving abandons current tracking pointers and\r\n    \/\/ transfers tracking pointers from the source\r\n    trackable_object&\r\n        operator=(trackable_object&& other) \/* noexcept<\/span> *\/<\/span> {\r\n        set_target(nullptr);\r\n        m_tracker = other.transfer_out();\r\n        set_target(owner());\r\n        return *this;\r\n    }\r\n\r\n    tracking_ptr<T> track() noexcept {\r\n        return { m_tracker };\r\n    }\r\n\r\n    tracking_ptr<const T> track() const noexcept {\r\n        return { m_tracker };\r\n    }\r\n\r\n    tracking_ptr<const T> ctrack() const noexcept {\r\n        return { m_tracker };\r\n    }\r\n\r\nprivate:\r\n    T* owner() const noexcept {\r\n        return const_cast<T*>(static_cast<const T*>(this));\r\n    }\r\n\r\n    std::shared_ptr<T*> new_tracker()\r\n    {\r\n        return std::make_shared<T*>(owner());\r\n    }\r\n\r\n    std::shared_ptr<T*> transfer_out()\r\n    {\r\n        return std::exchange(m_tracker, new_tracker());\r\n    }\r\n\r\n    void set_target(T* p) noexcept\r\n    {\r\n        *m_tracker = p;\r\n    }\r\n\r\n    std::shared_ptr<T*> m_tracker = new_tracker();\r\n};\r\n<\/pre>\n
The trackable object starts out with a new tracker that points to the newly-constructed object. On destruction, the trackable object nulls out the backpointer in the tracker, which causes any existing tracking pointers to expire.<\/p>\n
As with our other trackable object implementations, copying a trackable object has no effect on the tracker, and moving it transfers the tracker to the new object, abandoning any existing tracker. When we move the tracker to the new object, we need to leave a fresh (not-yet-shared-with-anybody) tracker behind so that the moved-from object is still trackable if anybody asks.<\/p>\n
The helper method new_tracker()<\/code> makes a fresh tracker that tracks the current object. The helper method transfer_out()<\/code> relinquishes the current tracker (presumably so it can be given to the moved-to object) and sets up a fresh new tracker.<\/p>\n
Although this improves the complexity of moving a trackable object to constant time, the requirement that m_tracker<\/code> be non-empty means that the constructors and the move-assignment operators are now throwing, because new_tracker()<\/code> could fail.<\/p>\n
So now we have to look at whether the inability to create a new tracker could cause us to violate our invariants.<\/p>\n
An exception in the constructors doesn’t affect our invariants because we simply decided not to exist at all.<\/p>\n
An exception in the move assignment operator is more troublesome. If transfer_out()<\/code> fails, we have already disconnected the trackers, so a failure to transfer out causes existing tracking pointers to the destination to expire. This violates the strong exception guarantee, which says that if an exception occurs, the object remains unchanged.<\/p>\n
We’ll fix this next time.<\/p>\n","protected":false},"excerpt":{"rendered":"
Sharing a single tracking pointer among all instances.<\/p>\n","protected":false},"author":1069,"featured_media":111744,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[25],"class_list":["post-111506","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
Sharing a single tracking pointer among all instances.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/111506","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/users\/1069"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/comments?post=111506"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/111506\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/media\/111744"}],"wp:attachment":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/media?parent=111506"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=111506"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=111506"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}