{"id":97625,"date":"2017-12-21T07:00:00","date_gmt":"2017-12-21T22:00:00","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/oldnewthing\/?p=97625"},"modified":"2019-03-13T01:21:18","modified_gmt":"2019-03-13T08:21:18","slug":"20171221-00","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20171221-00\/?p=97625","title":{"rendered":"What’s the difference between VARIANT and VARIANTARG?"},"content":{"rendered":"

One of my colleagues asked me, “What’s the difference between VARIANT<\/code> and VARIANTARG<\/code>?” <\/p>\n

If you look at the definitions in the oaidl.h<\/code> header file, you’ll see that VARIANTARG<\/code> is just an alias for VARIANT<\/code>. <\/p>\n

\ntypedef VARIANT VARIANTARG;\n\ntypedef VARIANT *LPVARIANTARG;\n<\/pre>\n
“Why have two names for the same thing?” <\/p>\n
The two structures are physically identical, but the rules surrounding them are different. <\/p>\n
This is mentioned rather opaquely in the documentation for VARIANT<\/code><\/a>: <\/p>\n
\n
VARIANTARG<\/b> describes arguments passed within DISPPARAMS, and VARIANT<\/b> to specify variant data that cannot be passed by reference. <\/p>\n
When a variant refers to another variant by using the VT_VARIANT | VT_BYREF vartype, the variant being referred to cannot also be of type VT_VARIANT | VT_BYREF. VARIANTs can be passed by value, even if VARIANTARGs cannot. <\/p>\n<\/blockquote>\n
The first sentence says that you use VARIANTARG<\/code> as part of a DISPPARAMS<\/code>, which is the structure used to pass parameters (also known as “arguments”) to methods of dispatch interfaces. <\/p>\n
The second sentence is not relevant to the discussion. It says that only one level of pointer chasing is allowed. You can’t send the method on a wild goose chase where you pass a variant that says “The real data is over there, in that other variant”, and then have the second variant say, “Ha ha, fooled, you. The real data is over there in that other other variant.” <\/p>\n
The third sentence starts to hint at the underlying issue. It says that VARIANT<\/code>s can be passed by value, but VARIANTARG<\/code>s cannot. <\/p>\n
Interesting, but no real insight as to why you can pass VARIANT<\/code> by value but not VARIANTARG<\/code>. <\/p>\n
There’s another MSDN page titled VARIANT and VARIANTARG<\/a>. Maybe that’ll help us get to the bottom of the mystery. <\/p>\n
\n
The VARIANT<\/b> type cannot have the VT_BYREF<\/b> bit set. <\/p>\n<\/blockquote>\n
Aha, that’s the difference. The VARIANTARG<\/code> structure is allowed to say, “Hey, I don’t contain the data you want, but you can look over there for it.” For example, it could set its variant type to VT_BYREF | VT_I4<\/code> to say, “There is an integer, but it’s not stored in the lVal<\/code> member. Instead, you have to go to the plVal<\/code> member, which is a pointer to the integer you want.” <\/p>\n
This explains why VARIANT<\/code> can be copied, but VARIANTARG<\/code> cannot: If you try to copy a VARIANTARG<\/code> that uses VT_BYREF<\/code>, you are just copying the raw pointer to the data, not the data itself. You have no control over the memory being pointed to, so you have no way to prevent it from being freed. <\/p>\n
Using VT_BYREF<\/code> is allowed in a DISPPARAMS<\/code> because the caller assumes the responsibility of keeping the pointed-to data valid for the duration of the method call. That’s just one of the basic ground rules of programming<\/a>, specifically the stability requirement. The caller has to wait for the method call to return before it can free the memory pointed to by the VARIANTARG<\/code>. <\/p>\n
Okay, so what if you’re implementing a method and you want to make a copy of the VARIANTARG<\/code>? How do you deal with the VT_BYREF<\/code>? <\/p>\n
This is where the Variant­Copy­Ind<\/code> function<\/a> comes into play. This function takes a VARIANTARG<\/code>, possibly with VT_BYREF<\/code>, and converts it into a VARIANT<\/code>, with all VT_BYREF<\/code> removed. It does this by chasing the pointer one level and copying the value back into the VARIANT<\/code>. For example, if the VARIANTARG<\/code> were a VT_BYREF | VT_I4<\/code>, then the Variant­Copy­Ind<\/code> function would follow the plVal<\/code> pointer, read the integer stored there, and copy it to the output VARIANT<\/code>‘s lVal<\/code> member, resulting in a simple VT_I4<\/code>. <\/p>\n
The “Ind” therefore stands for “Indirect”. The Variant­Copy­Ind<\/code> function indirects through the pointer hiding inside the VT_BYREF<\/code>. <\/p>\n
Well, that was a strange bit of spelunking. <\/p>\n","protected":false},"excerpt":{"rendered":"
Well, is it an argument?<\/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-97625","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
Well, is it an argument?<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/97625","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=97625"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/97625\/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=97625"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=97625"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=97625"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}