{"id":2223,"date":"2012-09-17T10:00:00","date_gmt":"2012-09-17T10:00:00","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/vcblog\/2012\/09\/17\/ccx-part-2-of-n-types-that-wear-hats\/"},"modified":"2019-02-18T18:41:34","modified_gmt":"2019-02-18T18:41:34","slug":"ccx-part-2-of-n-types-that-wear-hats","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/cppblog\/ccx-part-2-of-n-types-that-wear-hats\/","title":{"rendered":"C++\/CX Part 2 of [n]: Types That Wear Hats"},"content":{"rendered":"

See C++\/CX Part 0 of [N]: An Introduction<\/a> for an introduction to this series.<\/em><\/p>\n

The hat (^<\/code>) is one of the most prominent features of C++\/CX–it’s hard not to notice it when one first sees C++\/CX code. So, what exactly is a ^<\/code> type? A hat type is a smart pointer type that (1) automatically manages the lifetime of a Windows Runtime object and (2) provides automatic type conversion capabilities to simplify use of Windows Runtime objects.<\/p>\n

We’ll start off by discussing how Windows Runtime objects are used via WRL, then explain how the C++\/CX hat works to make things simpler. For demonstration purposes, we’ll use the following modified version of the Number<\/code> class that we introduced in Part 1:<\/p>\n

    public<\/span> interface<\/span> struct<\/span> IGetValue<\/span>\n    {\n        int<\/span> GetValue() = 0;\n    };\n<\/pre>\n
    public<\/span> interface<\/span> struct<\/span> ISetValue<\/span>\n    {\n        void<\/span> SetValue(int<\/span> value) = 0;\n    };\n<\/pre>\n
\n    public<\/span> ref<\/span> class<\/span> Number<\/span> sealed<\/span> : public<\/span> IGetValue<\/span>, ISetValue<\/span>\n    {\n    public<\/span>:\n        Number() : _value(0) { }\n<\/pre>\n
\n        virtual<\/span> int<\/span>  GetValue()          { return<\/span> _value;  }\n        virtual<\/span> void<\/span> SetValue(int<\/span> value<\/span>) { _value = value<\/span>; }\n<\/pre>\n
\n    private<\/span>:\n<\/pre>\n
        int<\/span> _value;\n    };<\/pre>\n
In this modified Number<\/code> implementation, we define a pair of interfaces, IGetValue<\/code> and ISetValue<\/code>, that declare the two member functions of Number<\/code>; Number<\/code> then implements these two interfaces. Otherwise, things should look pretty familiar.<\/p>\n
Note that Number<\/code> actually implements three Windows Runtime interfaces: in addition to IGetValue<\/code> and ISetValue<\/code>, the compiler still generates the __INumberPublicNonVirtuals<\/code> interface, which Number<\/code> implements. Because all of the members of Number<\/code> are declared by explicitly implemented interfaces (IGetValue<\/code> and ISetValue<\/code>), the compiler-generated __INumberPublicNonVirtuals<\/code> does not declare any members. This interface is still required, though, as it is the default interface<\/em> for the Number<\/code> type. Every runtime type must have one default interface, and the default interface should almost always be unique to the class. We’ll see why the default interface is important a bit later.<\/p>\n
Lifetime Management<\/h2>\n
Windows Runtime reference types use reference counting for object lifetime management. All Windows Runtime interfaces (including all three of the interfaces implemented by Number<\/code>) derive directly from the IInspectable<\/code><\/a> interface, which itself derives from the COM IUnknown<\/code><\/a> interface. IUnknown<\/code> declares three member functions that are used to control the lifetime of an object and to allow type conversion.<\/p>\n
The MSDN article “Rules for Managing Reference Counts”<\/a> has a thorough overview of how IUnknown<\/code> lifetime management works. The principles are quite straightforward, though: whenever you create a new reference to an object, you must call IUnknown::AddRef<\/code><\/a> to increment its reference count; whenever you “destroy” a reference to an object, you must call IUnknown::Release<\/code><\/a> to decrement the reference count. The reference count is initialized to zero, and after a series of calls to AddRef<\/code> and Release<\/code>, when the reference count reaches zero again, the object destroys itself.<\/p>\n
Of course, when programming in C++, we should rarely–practically never–call AddRef<\/code> and Release<\/code> directly. Instead, we should prefer wherever possible to use a smart pointer that automatically makes these calls when they are required. Use of a smart pointer helps to ensure that objects are neither leaked due to a missed Release<\/code> nor prematurely destroyed due to a premature Release<\/code> or failure to AddRef<\/code>.<\/p>\n
ATL includes CComPtr<\/code><\/a> and a family of related smart pointers that have long been used in COM programming for automatically managing the reference counting of objects that implement IUnknown<\/code>. WRL includes ComPtr<\/code><\/a>, which is an improved and modernized CComPtr<\/code> (an example improvement: ComPtr<\/code> does not overload the unary &<\/code> like CComPtr<\/code> does).<\/p>\n
For those who have not done much COM programming and are unfamiliar with ComPtr<\/code>s: if you’ve used shared_ptr<\/code> (included as part of C++11, C++ TR1, and Boost), ComPtr<\/code> has effectively the same behavior with respect to lifetime management. The mechanism is different (ComPtr<\/code> makes use of the internal reference counting provided by IUnknown<\/code>, while shared_ptr<\/code> supports arbitrary types and must thus use an external reference count), but the lifetime management behavior is the same.<\/p>\n
The C++\/CX hat has exactly the same lifetime management semantics as a ComPtr<\/code>. When a T^<\/code> is copied, AddRef<\/code> is called to increment the reference count, and when a T^<\/code> goes out of scope or is reassigned, Release<\/code> is called to decrement the reference count. We can consider a simple example to demonstrate the reference counting behavior:<\/p>\n
    {\n        T<\/span>^ t0 = ref<\/span> new<\/span> A<\/span>();\n        T<\/span>^ t1 = ref<\/span> new<\/span> B<\/span>();\n<\/pre>\n
        t0 = t1;\n        t0 = nullptr<\/span>;\n    }<\/pre>\n
First, we create an A<\/code> object and give ownership of it to t0<\/code>. The reference count of this A<\/code> object is 1 because there is one T^<\/code> that has a reference to it. We then create a B<\/code> object and give ownership of it to t1<\/code>. The reference count of this B<\/code> object is also 1.<\/p>\n
The end result of t0 = t1<\/code> is that both t0<\/code> and t1<\/code> point to the same object. This must be done in three steps. First, t1->AddRef()<\/code> is called to increment the reference count of the B<\/code> object, because t1<\/code> is gaining ownership of the object. Second, t0->Release()<\/code> is called to release t0<\/code>‘s ownership of the A<\/code> object. This causes the reference count of the A<\/code> object to drop to zero and the A<\/code> object destroys itself. This causes the reference count of the B<\/code> object to increase to 2. Third and finally, t1<\/code> is set to point to the B<\/code> object.<\/p>\n
We then assign t0 = nullptr<\/code>. This “resets” t0<\/code> to be null, which causes it to release its ownership of the B<\/code> object. This calls t0->Release()<\/code>, causing the reference count of the B<\/code> object to decrease to 1.<\/p>\n
Finally, execution will reach the closing brace of the block: }<\/code>. At this point, all of the local variables are destroyed, in reverse order. First, t1<\/code> is destroyed (the smart pointer, not the object pointed to). This calls t1->Release()<\/code>, causing the reference count of the B<\/code> object to drop to zero, so the B<\/code> object destroys itself. t0<\/code> is then destroyed, which is a no-op because it is null.<\/p>\n
If lifetime management was our only concern, there wouldn’t really be a need for the ^<\/code> at all: ComPtr<T><\/code> is sufficient to manage object lifetime.<\/p>\n
Type Conversion<\/h2>\n
In C++, some type conversions involving class types are implicit; others may be performed using a cast or a series of casts. For example, if Number<\/code> and the interfaces it implements were ordinary C++ types and not Windows Runtime types, conversion from Number*<\/code> to IGetValue*<\/code> would be implicit, and we could convert from IGetValue*<\/code> to Number*<\/code> using a static_cast<\/code> or a dynamic_cast<\/code>.<\/p>\n
These conversions do not work with Windows Runtime reference types because the implementation of a reference type is opaque and the layout of a reference type in memory is left unspecified. A reference type implemented in C# may be laid out in memory differently from an equivalent reference type implemented in C++. Thus, we cannot rely on C++ language specific features like implicit derived-to-base conversions and casts when working directly with Windows Runtime types.<\/p>\n
To perform these conversions, we must instead use the third member function of the IUnknown<\/code> interface: IUnknown::QueryInterface<\/code><\/a>. This member function can be considered as a language-neutral dynamic_cast<\/code>: it attempts to perform a conversion to the specified interface and returns whether the conversion succeeded. Because each runtime type implements the IUnknown<\/code> interface and provides its own definition for QueryInterface<\/code>, it can do whatever is required to get the correct interface pointer in the language and framework with which it is implemented.<\/p>\n
Using an object via WRL<\/h2>\n
Let’s take a look at how we’d use our Number<\/code> class via WRL. This example accepts an instance of Number<\/code> and calls SetValue<\/code> to set the value and GetValue<\/code> to get the value back. (Error checking has been omitted for brevity.)<\/p>\n
    void<\/span> F(ComPtr<\/span><__INumberPublicNonVirtuals<\/span>> const<\/span>& numberIf<\/span>)\n    {\n        \/\/ Get a pointer to the object's ISetValue interface and set the value:<\/span>\n        ComPtr<\/span><ISetValue<\/span>> setValueIf;\n        numberIf<\/span>.As(&setValueIf);\n    \n        setValueIf->SetValue(42);\n    \n        \/\/ Get a pointer to the object's IGetValue interface and get the value:<\/span>\n        ComPtr<\/span><IGetValue<\/span>> getValueIf;\n        numberIf<\/span>.As(&getValueIf);\n    \n        int<\/span> value = 0;\n        getValueIf->GetValue(&value);\n    }<\/pre>\n
The As<\/code> member function template of the WRL ComPtr<\/code> simply encapsulates a call to IUnknown::QueryInterface<\/code> in a way that helps to prevent common programming errors. We use this first to get the ISetValue<\/code> interface pointer to call SetValue<\/code> then again to get the IGetValue<\/code> interface pointer to call GetValue<\/code>.<\/p>\n
This would be a lot simpler if we obtained a Number*<\/code> and called SetValue<\/code> and GetValue<\/code> via that pointer. Unfortunately, we can’t do that: recall that the implementation of a reference type is opaque and that we only ever interact with an object via a pointer to one of the interfaces that it implements. This means that we can never have a Number*<\/code>; there is really no such thing. Rather, we can only refer to a Number<\/code> object via an IGetValue*<\/code>, an ISetValue*<\/code>, or an __INumberPublicNonVirtuals*<\/code>.<\/p>\n
This is an awful lot of code just to call two member functions and this example demonstrates one of the key hurdles that we have to overcome to make it easier to use Windows Runtime types. Unlike COM, Windows Runtime does not allow an interface to derive from another Windows Runtime interface; all interfaces must derive directly from IInspectable<\/code>. Each interface is independent, and we can only interact with an object via interfaces, so if we are using a type that implements multiple interfaces (which many types do), we are stuck having to write a lot of rather verbose type conversion code so that we can obtain the correct interface pointer to make each function call.<\/p>\n
Using an object via C++\/CX<\/h2>\n
One of the key advantages of C++\/CX is that the compiler knows which types are Windows Runtime types. It has access to the Windows Metadata (WinMD) file that defines each interface and runtime type, so–among other things–it knows the set of interfaces that each runtime type implements. For instance, the compiler knows that the Number<\/code> type implements the ISetValue<\/code> and IGetValue<\/code> interfaces, because the metadata specifies that it does. The compiler is able to use this type information to automatically generate type conversion code.<\/p>\n
Consider the following C++\/CX example, which is equivalent to the WRL example that we presented:<\/p>\n
    void<\/span> F(Number<\/span>^ number<\/span>)\n    {\n        ISetValue<\/span>^ setValueIf = number<\/span>;\n        setValueIf->SetValue(42);\n    \n        IGetValue<\/span>^ getValueIf = number<\/span>;\n        int<\/span> value = getValueIf->GetValue();\n    }<\/pre>\n
Because the compiler knows that the Number<\/code> type implements the ISetValue<\/code> and IGetValue<\/code> interfaces, it allows implicit conversion from Number^<\/code> to ISetValue^<\/code> and IGetValue^<\/code>. This implicit conversion causes the compiler to generate a call to IUnknown::QueryInterface<\/code> to get the right interface pointer. Aside from the cleaner syntax, there’s really no magic here: the compiler is just generating the type conversion code that we otherwise would have to write ourselves.<\/p>\n
dynamic_cast<\/code> also works much as we’d expect: we can, for example, amend this example to obtain the IGetValue^<\/code> from the ISetValue^<\/code>:<\/p>\n
    void<\/span> F(Number<\/span>^ number<\/span>)\n    {\n        ISetValue<\/span>^ setValueIf = number<\/span>;\n        setValueIf->SetValue(42);\n    \n        IGetValue<\/span>^ getValueIf = dynamic_cast<\/span><IGetValue<\/span>^>(setValueIf);\n        int<\/span> value = getValueIf->GetValue();\n    }<\/pre>\n
This example has the same behavior as the first example, we just take different steps to get that same behavior. dynamic_cast<\/code> can return nullptr<\/code> if the cast fails (though we know that it will succeed in this specific case). C++\/CX also provides safe_cast<\/code>, which throws a Platform::InvalidCastException<\/code><\/a> exception if the cast fails.<\/p>\n
When we discussed the WRL example above, we noted that there’s no such thing as a Number*<\/code>: we only ever work with interface pointers. This begs the question: what is a Number^<\/code>? At runtime, a Number^<\/code> is a __INumberPublicNonVirtuals^<\/code>. A hat that refers to a runtime type (and not an interface) actually holds a pointer to the default interface of that runtime type.<\/p>\n
At compile-time, though, the compiler treats Number^<\/code> as if it refers to the whole Number<\/code> object. The compiler aggregates all of the members of all of the interfaces implemented by Number<\/code> and allows all of those members to be called directly via a Number^<\/code>. We can use a Number^<\/code> as if it were an IGetValue^<\/code> or an ISetValue^<\/code> and the compiler will inject the required calls to QueryInterface<\/code> to perform the conversions required to make the function call.<\/p>\n
Therefore, we can shorten our C++\/CX program further:<\/p>\n
    void<\/span> F(Number<\/span>^ number<\/span>)\n    {\n        number<\/span>->SetValue(42);\n        int<\/span> value = number<\/span>->GetValue();\n    }<\/pre>\n
This code does exactly the same thing as our first C++\/CX example and as our WRL example. There’s still no magic: the compiler is simply generating all of the boilerplate to perform the type conversion required to make each function call.<\/p>\n
You may have noticed that this example is much shorter and less verbose than the WRL example that we started with. \ud83d\ude42 All of the boilerplate is gone and we’re left with code that–aside from the ^<\/code> and ref<\/code> that tell the compiler we are dealing with Windows Runtime types–looks exactly like similar C++ code that interacts with ordinary C++ types. This is the point, though: ideally our code that uses Windows Runtime types should be as similar as possible to code that uses C++ types.<\/p>\n
Final Notes<\/h2>\n
Both ComPtr<T><\/code> and T^<\/code> are “no-overhead” smart pointers: the size of each is the same as the size of an ordinary pointer, and operations using them do not do any unnecessary work. If you need to interoperate between code that uses C++\/CX and code that uses WRL, you can simply use reinterpret_cast<\/code> to convert a T^<\/code> to a T*<\/code>:<\/p>\n
    ABI::ISetValue<\/span>* setValuePtr = reinterpret_cast<\/span>(setValueIf);\n<\/pre>\n
(The ABI level definitions of types are defined in namespaces under the ABI<\/code> namespace so that they do not conflict with the “high-level” definitions of the types used by C++\/CX, which are defined under the global namespace.)<\/p>\n
In addition to its type conversion capabilities, the hat provides other benefits that could not otherwise be accomplished via use of an ordinary smart pointer like ComPtr<\/code>. One of the most important of these benefits is that the hat can be used uniformly, everywhere. A member function that takes an interface pointer as an argument is declared as taking a raw pointer (this is part of the Windows Runtime ABI, which is designed to be simple and language-neutral, and thus knows nothing of what a C++ smart pointer is). So, while one can use ComPtr<\/code> most places, raw pointers still need to be used at the ABI boundary, and there is room for subtle (and not-so-subtle) programming errors.<\/p>\n
With C++\/CX, the compiler already transforms member function signatures to translate between exceptions and HRESULTs and the compiler is also able to inject conversions from T^<\/code> to T*<\/code> where required, substantially reducing the opportunity for programming errors.<\/p>\n","protected":false},"excerpt":{"rendered":"
See C++\/CX Part 0 of [N]: An Introduction for an introduction to this series. The hat (^) is one of the most prominent features of C++\/CX–it’s hard not to notice it when one first sees C++\/CX code. So, what exactly is a ^ type? A hat type is a smart pointer type that (1) automatically […]<\/p>\n","protected":false},"author":289,"featured_media":35994,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[121,132,160],"class_list":["post-2223","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-cplusplus","tag-ccx","tag-windows-8","tag-windows-store-apps"],"acf":[],"blog_post_summary":"
See C++\/CX Part 0 of [N]: An Introduction for an introduction to this series. The hat (^) is one of the most prominent features of C++\/CX–it’s hard not to notice it when one first sees C++\/CX code. So, what exactly is a ^ type? A hat type is a smart pointer type that (1) automatically […]<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts\/2223","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/users\/289"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/comments?post=2223"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/posts\/2223\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/media\/35994"}],"wp:attachment":[{"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/media?parent=2223"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/categories?post=2223"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/cppblog\/wp-json\/wp\/v2\/tags?post=2223"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}