{"id":111484,"date":"2025-08-15T07:00:00","date_gmt":"2025-08-15T14:00:00","guid":{"rendered":"https:\/\/devblogs.microsoft.com\/oldnewthing\/?p=111484"},"modified":"2025-08-15T08:50:37","modified_gmt":"2025-08-15T15:50:37","slug":"20250815-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20250815-00\/?p=111484","title":{"rendered":"Thoughts on creating a tracking pointer class, part 5: Copying our tracking pointer"},"content":{"rendered":"

Our previous attempt to create a tracking pointer class<\/a> had the perhaps-undesirable property that copying a const tracking pointer is not permitted. This requirement arose because copying a tracking pointer causes the copy to be linked into the circular linked list of the source, and that means modifying the link pointers in the source. Can we work around this?<\/p>\n

The secret here is realizing that it’s not important where the copy gets inserted into the circular linked list. The order of items in the list is not significant. So don’t use the source pointer as the insertion point for the copy. Instead, use the source’s tracking anchor node, which is non-const.<\/p>\n

    tracking_ptr(tracking_ptr const<\/span>& other) noexcept :\r\n        tracking_node(copy_node(other))<\/span>,\r\n        tracked(other.tracked) { }\r\n\r\n    tracking_ptr& operator=(tracking_ptr const<\/span>& other) noexcept {\r\n        tracked = other.tracked;\r\n        if (tracked) {              <\/span>\r\n            join(trackers(tracked));<\/span>\r\n        } else {                    <\/span>\r\n            disconnect();           <\/span>\r\n        }                           <\/span>\r\n        return *this;\r\n    }\r\n\r\nprivate:\r\n    \u27e6 ... as before ... \u27e7\r\n\r\n    tracking_node copy_node(tracking_ptr const& other) noexcept<\/span>\r\n    {                                                          <\/span>\r\n        if (other.tracked) {                                   <\/span>\r\n            return tracking_node(as_join{},                    <\/span>\r\n                                 trackers(other.tracked));     <\/span>\r\n        } else {                                               <\/span>\r\n            return tracking_node(as_solo{});                   <\/span>\r\n        }                                                      <\/span>\r\n    }                                                          <\/span>\r\n\r\n    T* tracked;\r\n\r\n<\/pre>\n
Switching to the anchor node does have a complication that we need to check for a null pointer in the source before we try to get the target’s trackers. If the source tracks a null pointer, then that means that we are copying an expired tracking pointer, so the copy should also be empty.  We use the helper function trick to choose a constructor at runtime.<\/p>\n
Note that this solution takes advantage of const\/non-const aliasing. We are modifying a const object through a non-const path. This type of aliasing is normally a compiler’s nightmare:<\/p>\n
bool test(int const& v, int* p)\r\n{\r\n    auto old_value = v;\r\n    *p = 42;\r\n    return old_value == 99;\r\n}\r\n<\/pre>\n
The compiler cannot optimize this to<\/p>\n
bool test(int const& v, int* p)\r\n{\r\n    *p = 42;\r\n    return v == 99;\r\n}\r\n<\/pre>\n
because of the possibility that somebody called it like this:<\/p>\n
int v = 99;\r\ntest(v, &v);\r\n<\/pre>\n
Bonus chatter<\/b>: The Itanium processor had special instructions to  allow compilers to perform this optimization in the mainline path, with a fallback if it turned out that v == &p<\/code><\/a> after all.<\/p>\n
        \/\/ no \"alloc\" needed - lightweight leaf function\r\n        \/\/ on entry, r32 = address of v, r33 = p\r\n        ld4.a   r31 = [r32]             \/\/ fetch v into r31 in advance\r\n        mov     r30 = 42                \/\/ r30 = constant 42\r\n        mov     r29 = 99 ;;             \/\/ r29 = constant 99\r\n        st4     [r33] = r30 ;;          \/\/ write 42 to *p\r\n        ld4.c.nc r31 = [r32]<\/span>            \/\/ reload v if necessary\r\n        cmp.eq  p6, p7 = r31, r29 ;;    \/\/ v == 99?\r\n(p6)    mov     ret0 = 1                \/\/ result is 1 if true\r\n(p7)    mov     ret0 = 0                \/\/ result is 0 if false\r\n        br.ret.sptk.many rp             \/\/ return\r\n<\/pre>\n
Next time, we’ll add a ctrack<\/code> method for creating a tracking pointer that produces a const T<\/code>. For the times you want to let somebody track an object, but not modify it.<\/p>\n","protected":false},"excerpt":{"rendered":"
How to copy from a const tracking pointer.<\/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-111484","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
How to copy from a const tracking pointer.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/111484","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=111484"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/111484\/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=111484"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=111484"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=111484"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}