ウォッチ式の評価
重要
Visual Studio 2015 では、この方法での式エバリュエーターの実装は非推奨です。 CLR 式エバリュエーターの実装については、CLR 式エバリュエーターに関する記事とマネージド式エバリュエーターのサンプルに関する記事をご覧ください。
Visual Studio でウォッチ式の値を表示する準備が整うと、EvaluateSync が呼び出され、次に、EvaluateSync が呼び出されます。 このプロセスでは、式の値と型を含む IDebugProperty2 オブジェクトが生成されます。
IDebugParsedExpression::EvaluateSync のこの実装では、式が解析され、同時に評価されます。 この実装では、次のタスクが実行されます。
式を解析して評価し、値とその型を保持するジェネリック オブジェクトを生成します。 C# では、これは
objectとして表され、C++ ではVARIANTとして表されます。IDebugProperty2インターフェイスを実行し、返される値をクラスに格納するクラス (この例ではCValuePropertyと呼ばれている) をインスタンス化します。CValuePropertyオブジェクトからIDebugProperty2インターフェイスを返します。
マネージド コード
これは、マネージド コードでの IDebugParsedExpression::EvaluateSync の実装です。 ヘルパー メソッド Tokenize では、式が解析ツリーに解析されます。 ヘルパー関数 EvalToken では、トークンが値に変換されます。 ヘルパー関数 FindTerm では、解析ツリーが再帰的に走査され、各ノードに対して EvalToken が呼び出され、値が表され、式で任意の演算 (加算や減算) が適用されます。
namespace EEMC
{
public class CParsedExpression : IDebugParsedExpression
{
public HRESULT EvaluateSync(
uint evalFlags,
uint timeout,
IDebugSymbolProvider provider,
IDebugAddress address,
IDebugBinder binder,
string resultType,
out IDebugProperty2 result)
{
HRESULT retval = COM.S_OK;
this.evalFlags = evalFlags;
this.timeout = timeout;
this.provider = provider;
this.address = address;
this.binder = binder;
this.resultType = resultType;
try
{
IDebugField field = null;
// Tokenize, then parse.
tokens = Tokenize(expression);
result = new CValueProperty(
expression,
(int) FindTerm(EvalToken(tokens[0], out field),1),
field,
binder);
}
catch (ParseException)
{
result = new CValueProperty(expression, "Huh?");
retval = COM.E_INVALIDARG;
}
return retval;
}
}
}
アンマネージド コード
これは、アンマネージド コードでの IDebugParsedExpression::EvaluateSync の実装です。 ヘルパー関数 Evaluate では、式が解析され、評価されて、結果の値を保持する VARIANT が返されます。 ヘルパー関数 VariantValueToProperty では、VARIANT が CValueProperty オブジェクトにバンドルされます。
STDMETHODIMP CParsedExpression::EvaluateSync(
in DWORD evalFlags,
in DWORD dwTimeout,
in IDebugSymbolProvider* pprovider,
in IDebugAddress* paddress,
in IDebugBinder* pbinder,
in BSTR bstrResultType,
out IDebugProperty2** ppproperty )
{
// dwTimeout parameter is ignored in this implementation.
if (pprovider == NULL)
return E_INVALIDARG;
if (paddress == NULL)
return E_INVALIDARG;
if (pbinder == NULL)
return E_INVALIDARG;
if (ppproperty == NULL)
return E_INVALIDARG;
else
*ppproperty = 0;
HRESULT hr;
VARIANT value;
BSTR bstrErrorMessage = NULL;
hr = ::Evaluate( pprovider,
paddress,
pbinder,
m_expr,
&bstrErrorMessage,
&value );
if (hr != S_OK)
{
if (bstrErrorMessage == NULL)
return hr;
//we can display better messages ourselves.
HRESULT hrLocal = S_OK;
VARIANT varType;
VARIANT varErrorMessage;
VariantInit( &varType );
VariantInit( &varErrorMessage );
varErrorMessage.vt = VT_BSTR;
varErrorMessage.bstrVal = bstrErrorMessage;
CValueProperty* valueProperty = new CValueProperty();
if (valueProperty != NULL)
{
hrLocal = valueProperty->Init(m_expr, varType, varErrorMessage);
if (SUCCEEDED(hrLocal))
{
hrLocal = valueProperty->QueryInterface( IID_IDebugProperty2,
reinterpret_cast<void**>(ppproperty) );
}
}
VariantClear(&varType);
VariantClear(&varErrorMessage); //frees BSTR
if (!valueProperty)
return hr;
valueProperty->Release();
if (FAILED(hrLocal))
return hr;
}
else
{
if (bstrErrorMessage != NULL)
SysFreeString(bstrErrorMessage);
hr = VariantValueToProperty( pprovider,
paddress,
pbinder,
m_radix,
m_expr,
value,
ppproperty );
VariantClear(&value);
if (FAILED(hr))
return hr;
}
return S_OK;
}