{"id":108183,"date":"2023-05-12T07:00:00","date_gmt":"2023-05-12T14:00:00","guid":{"rendered":"https:\/\/devblogs.microsoft.com\/oldnewthing\/?p=108183"},"modified":"2023-05-12T06:57:29","modified_gmt":"2023-05-12T13:57:29","slug":"20230512-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20230512-00\/?p=108183","title":{"rendered":"What are the duck-typing requirements of wil com_ptr<\/CODE>?"},"content":{"rendered":"

We continue our survey of duck-typing requirements of various C++ COM smart pointer libraries by looking at wil’s com_ptr<\/code>, running it through our standard tests.<\/p>\n

\/\/ Dummy implementations of AddRef and Release for\r\n\/\/ testing purposes only. In real code, they would\r\n\/\/ manage the object reference count.\r\nstruct Test\r\n{\r\n    void AddRef() {}\r\n    void Release() {}\r\n    Test* AddressOf() { return this; }\r\n};\r\n\r\nstruct Other\r\n{\r\n    void AddRef() {}\r\n    void Release() {}\r\n};\r\n\r\n\/\/ Pull in the smart pointer library\r\n\/\/ (this changes based on library)\r\n#include <wil\/com.h><\/span>\r\n\u00a0\r\nusing TestPtr = wil::com_ptr<Test>;\u00a0\u00a0<\/span>\r\nusing OtherPtr = wil::com_ptr<Other>;<\/span>\r\n\r\nvoid test()\r\n{\r\n    Test test;\r\n\r\n    \/\/ Default construction\r\n    TestPtr ptr;\r\n\r\n    \/\/ Construction from raw pointer\r\n    TestPtr ptr2(&test);\r\n\r\n    \/\/ Copy construction\r\n    TestPtr ptr3(ptr2);\r\n\r\n    \/\/ Attaching and detaching\r\n    auto p = ptr3.detach<\/span>();\r\n    ptr.attach<\/span>(p);\r\n\r\n    \/\/ Assignment from same-type raw pointer\r\n    ptr3 = &test;\r\n\r\n    \/\/ Assignment from same-type smart pointer\r\n    ptr3 = ptr;\r\n\r\n    \/\/ Accessing the wrapped object\r\n    \/\/ (this changes based on library)\r\n    if (ptr.get()<\/span> != &test) {\r\n        std::terminate(); \/\/ oops\r\n    }\r\n    if (ptr->AddressOf() != &test) {\r\n        std::terminate(); \/\/ oops\r\n    }\r\n\r\n    \/\/ Returning to empty state\r\n    ptr3 = nullptr;\r\n\r\n    \/\/ Receiving a new pointer\r\n    \/\/ (this changes based on library)\r\n    Test** out = &ptr3<\/span>;\r\n    out = ptr3.put()<\/span>;\r\n    out = ptr3.addressof()<\/span>;\r\n\r\n    \/\/ Bonus: Comparison.\r\n    if (ptr == ptr2) {}\r\n    if (ptr != ptr2) {}\r\n    if (ptr < ptr2) {}\r\n\r\n    \/\/ Litmus test: Accidentally bypassing the wrapper\r\n    ptr->AddRef();\r\n    ptr->Release();\r\n\r\n    \/\/ Litmus test: Construction from other-type raw pointer\r\n    Other other;\r\n    TestPtr ptr4(&other);\r\n\r\n    \/\/ Litmus test: Construction from other-type smart pointer\r\n    OtherPtr optr;\r\n    TestPtr ptr5(optr);\r\n\r\n    \/\/ Litmus test: Assignment from other-type raw pointer\r\n    ptr = &other;\r\n\r\n    \/\/ Litmus test: Assignment from other-type smart pointer\r\n    ptr = optr;\r\n\r\n    \/\/ Destruction\r\n}\r\n<\/pre>\n
Once again, we encounter the same glitch as we did with ATL CComPtr<\/code> and WRL ComPtr<\/code>:<\/p>\n
com.h(363,1): error C2440: '=': cannot convert from 'void' to 'ULONG'\r\n<\/pre>\n
It’s coming from this code:<\/p>\n
    void attach(pointer other) WI_NOEXCEPT\r\n    {\r\n        auto ptr = m_ptr;\r\n        m_ptr = other;\r\n        if (ptr)\r\n        {\r\n            ULONG ref;\r\n            ref = ptr->Release();\r\n            WI_ASSERT_MSG(((other != ptr) || (ref > 0)), \"Bug: Attaching the same already assigned, destructed pointer\");\r\n        }\r\n    }\r\n<\/pre>\n
The code peeks at the reference count of the outgoing object and confirms that we didn’t attach a smart pointer to itself.<\/p>\n
As usual, the fix is to make the Release<\/code> method return a ULONG<\/code> representing the new reference count.<\/p>\n
struct Test\r\n{\r\n    void AddRef() { }\r\n    \/\/ Dummy implementation for testing purposes only.\r\n    ULONG Release() { return 1; }\r\n};\r\n<\/pre>\n
We have to make a small tweak to the boilerplate by switching to lowercase names for detach<\/code> and attach<\/code>, because that’s how wil spells them.<\/p>\n
Once we fix that up, the basic tests all pass. The comparison tests compare the wrapped pointers.<\/p>\n
There are three ways to receive a pointer in wil. You can use the &<\/code> operator, which is a shorthand for the method call put()<\/code>, which releases the old pointer and nulls it out, then returns the address of the pointer so a new value can be placed there. Alternatively, you can use addressof()<\/code>, which does not release the old pointer. Use addressof()<\/code> in the cases where the parameter is used as an in\/out pointer.<\/p>\n
wil does not use the ATL trick of “coloring” the return value of the -><\/code> operator, so you don’t have all the hassles of matching the signatures, but you also don’t get protection from accidentally doing a ptr->Release()<\/code> when you meant to do a ptr.reset()<\/code>. Fortunately, there is no ptr.release()<\/code> method, so the mistake is a little less likely.<\/p>\n
The other-type litmus tests all pass. They all result in various types of compile-time errors.<\/p>\n
Okay, so here’s the scorecard for wil::com_ptr<\/code>.<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
wil::com_ptr<\/code> scorecard<\/th>\n<\/tr>\n
Default construction<\/td>\nPass<\/td>\n<\/tr>\n
Construct from raw pointer<\/td>\nPass<\/td>\n<\/tr>\n
Copy construction<\/td>\nPass<\/td>\n<\/tr>\n
Destruction<\/td>\nPass<\/td>\n<\/tr>\n
Attach and detach<\/td>\nPass<\/td>\n<\/tr>\n
Assign to same-type raw pointer<\/td>\nPass<\/td>\n<\/tr>\n
Assign to same-type smart pointer<\/td>\nPass<\/td>\n<\/tr>\n
Fetch the wrapped pointer<\/td>\nget()<\/code><\/td>\n<\/tr>\n
Access the wrapped object<\/td>\n-><\/code><\/td>\n<\/tr>\n
Receive pointer via &<\/code><\/td>\nrelease old<\/td>\n<\/tr>\n
Release and receive pointer<\/td>\nput()<\/code><\/td>\n<\/tr>\n
Preserve and receive pointer<\/td>\naddressof()<\/code><\/td>\n<\/tr>\n
Return to empty state<\/td>\nPass<\/td>\n<\/tr>\n
Comparison<\/td>\nPass<\/td>\n<\/tr>\n
Accidental bypass<\/td>\nFail<\/td>\n<\/tr>\n
Construct from other-type raw pointer<\/td>\nPass<\/td>\n<\/tr>\n
Construct from other-type smart pointer<\/td>\nPass<\/td>\n<\/tr>\n
Assign from other-type raw pointer<\/td>\nPass<\/td>\n<\/tr>\n
Assign from other-type smart pointer<\/td>\nPass<\/td>\n<\/tr>\n
Notes:
\nT<\/code> must have a method of the form ULONG Release()<\/code>.
\nThe T::Release<\/code> method must return nonzero if the object is still alive.<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n
Next time, we’ll finish our tour of COM smart pointer classes by looking at C++\/WinRT’s com_ptr<\/code>.<\/p>\n","protected":false},"excerpt":{"rendered":"
The experiments continue.<\/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-108183","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
The experiments continue.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/108183","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=108183"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/108183\/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=108183"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=108183"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=108183"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}