入力BSTR VARIANTでVariantChangeTypeを呼び出すことはできますか？

Question

次のシグネチャを使用する方法で、C++で記述されたCOMオブジェクトがあります。バリアントにはBSTR（VT_BYREF | VT_BSTRではなくVT_BSTRのみ）が含まれているとします。

HRESULT myfunc(/*[in]*/ VARIANT param) 

タイプを別のものに変更したいとします。 VariantChangeTypeの最初のパラメータが2番目のパラメータと同じ場合は、 "その変種はその場で変換されます。"

そこで、変換はできますか？

HRESULT myfunc(/*[in]*/ VARIANT param) 
{ 
    VariantChangeType(&param, param, 0, VT_I4); 
} 

または、第2の亜種にコピーしてください。

HRESULT myfunc(/*[in]*/ VARIANT param) 
{ 
    VARIANT temp; 
    VariantInit(&temp); 
    VariantChangeType(&temp, param, 0, VT_I4); 
} 

私の理解では、前者がクライアントによって所有され、クライアントによって解放しなければならないBSTRを解放するであろうから、後者が必要とされることです。

Answer 1

VariantChangeTypeを使用すると、第2の変種が必要ですが、それは明らかではありません。

バリアントが値渡しであっても、バリアントに含まれるポインタはすべて同じメモリアドレスを指します。 BSTRはポインタなので、パラメータがVARIANTではなくBSTRであるかのように、BSTRの元のアドレスが関数に渡されます。 VariantChangeType（インプレース）またはVariantClearを使用して

は（呼び出し側が所有している）、元の変異体はまだBSTRのアドレスが含まれていませんが、そのアドレスは、もは​​やBSTRを保持していることを意味し、SysFreeStringがトリガされます。 "Variant Manipulation Functions"ドキュメントから

...

VT_BSTR型と変異型のタイプを解放または変更する場合は、SysFreeStringのが含まれる文字列で呼び出されます。

これは明白ではない理由は、上に説明したすべてがそうしてはならないと言っても、このコードが機能するように見えるからです。

#ifndef WIN32_LEAN_AND_MEAN 
#define WIN32_LEAN_AND_MEAN 
#endif // !WIN32_LEAN_AND_MEAN 
#include <Windows.h> 
#include <OleAuto.h> 

HRESULT myfuncbad(/*[in]*/ VARIANT param) 
{ 
    // In-place conversion 
    VariantChangeType(&param, &param, 0, VT_I4); 
    return S_OK; 
} 

HRESULT myfuncgood(/*[in]*/ VARIANT param) 
{ 
    VARIANT temp; 
    VariantInit(&temp); 
    // Copy and convert into a new VARIANT 
    VariantChangeType(&temp, &param, 0, VT_I4); 
    VariantClear(&temp); 
    return S_OK; 
} 

int main() 
{ 
    VARIANT input; 
    VariantInit(&input); 
    V_BSTR(&input) = SysAllocString(L"1"); 
    V_VT(&input) = VT_BSTR; 

    myfuncgood(input); 
    wprintf(L"Memory location of BSTR = 0x%x\n", (unsigned)(V_BSTR(&input))); 
    wprintf(L"Contents of BSTR = %s\n", V_BSTR(&input)); 

    myfuncbad(input); 
    wprintf(L"Memory location of BSTR = 0x%x\n", (unsigned)(V_BSTR(&input))); 
    wprintf(L"Contents of BSTR = %s\n", V_BSTR(&input)); 
} 

このコードが実行され、出力以下

Memory location of BSTR = 0x2d1af0c 
Contents of BSTR = 1 
Memory location of BSTR = 0x2d1af0c 
Contents of BSTR = 1 

しかし、なぜ何か？それはBSTR allocations are cachedだと分かります。したがって、VariantChangeType（インプレース）またはVariantClearが呼び出された場合でも、BSTRの割り当てはしばらくの間留まります。これらの関数に渡されたバリアントについてはすぐに明らかになりますが、バリアントの "バイナリー"コピーにはしばらくの間BSTRが表示されることがあります。

BSTRは技術的にはmyfuncbadで解放されており、もはや呼び出し元によって参照されるべきではありません。また、元のバリアントでVariantClearを呼び出すとエラーが発生する可能性があります。

追加の読み取り

• Why is there a BSTR cache anyway?
• Caches are nice, but they confuse memory leak detection tools
• Eric's Complete Guide To BSTR Semantics
• Extending Visual Basic - The Ultimate Data Type

Answer 2

コピーを作成する方が安全だろうが、私は（https://msdn.microsoft.com/en-us/library/ms810016.aspx）「コンポーネントオブジェクトモデルのルール」を読んで：

次のルールは、戻り値を含め、メンバ関数をインターフェースするためのパラメータに適用されます値によって渡されないもの： ◦パラメータの場合、呼び出し元はメモリを割り当てて解放する必要があります。

あなたが話しているケースは、この呼び出しでBSTRを含むVARIANTに関係なく、値渡しです。だから私は、このケースでは呼び出し先がパラメータを所有していると信じています。呼び出し元は、その値の継続的な実行可能性を確保したい場合、コピーを作成する必要があります。

Answer 3

インプレース変換が保存されます。あなたは一時的な変種は必要ありません。

私はこのような何かと私のATLのCOMコードのすべてでそれを使用します。

CComVariant v; 
GetSomeData(v); // Assume v returns a VT_BSTR variant. 
HRESULT hr = v.ChangeType(VT_I4); 
if (FAILED(hr)) 
    ... 

このコードは、議論の方法でインプレース変換に変換されます。 内部では、VARIANTBSTRの使用カウント値が減分される前に、結果はVarI4FromBSTRで計算されます。

私はこれについてもわからないので、いくつかのデバッグセッションでこれを検証しました。

EDIT最後に、私はMSDN that confirms thisのステートメントを見つけました。

VT_BSTRの場合、文字列の所有者は1人だけです。 バリアントのすべての文字列は、SysAllocString関数で割り当てる必要があります。 VT_BSTRタイプのバリアントのタイプを解放または変更すると、含まれている文字列に対して SysFreeStringが呼び出されます。

コードは@jveazeyの答えで動作することは、BSTRキャッシングとは関係ありません。本当のインプレースコンバージョンがあります！