COM／DCOMのマーシャリングに伴う実行時エラー

C言語／C++言語の列挙型は、負の値を持つこともできます。

typedef enum {
        Bar = -1,
        Baz
} FooEnum;
              

この列挙型をCOM／DCOMのインターフェースでも使用すると、実行時にエラーが発生します。

このような列挙型をIDLの定義で使用しても、MIDL（Microsoft IDLコンパイラ）はコンパイル時にはエラーを出力しないので、注意が必要です。

また、この列挙型を使うインターフェースでも、0以上の値だけを受け渡す場合は、エラーとはなりません。上記の例では、Bazを渡す場合は正常に動作しますが、Barを渡した時点で初めてエラーになります。

値を受け取るためだけの次のような関数を定義したとしましょう。

HRESULT IFoo::Get( [out] FooEnum* e );
              

この場合は、次のように呼び出しても問題ありません。

FooEnum e;
HRESULT hResult = pFoo->Get(&e);
              

しかし、値を受け取ったり、送ったりする、次のような双方向の関数を定義したとしましょう。

HRESULT IFoo::GetSet( [in,out] FooEnum* e, [in] bool bGet );
              

この場合は、たとえ値を受け取る場合であっても、次のように呼び出すとエラーが発生します。

FooEnum e;
HRESULT hResult = pFoo->GetSet(&e, true);       // Get
              

これは、変数eが初期化されていないため、（たいていは）0〜32767の範囲を超える値が送られてしまうためです。

また、列挙型の配列を受け渡す場合にも、注意が必要です。

例えば、n個の列挙型の値を返す、次のような関数を定義したとしましょう。

typedef struct {
        int n;
        FooEnum e[10];
} FooStruct;

HRESULT IFoo::Get( /*[out]*/ FooStruct* s ) {
        s->n = 5;

        for (int i = 0 ; i < s->n ; i++) {
                s->e[i] = Bar;
        }

        return S_OK;
}
              

この場合、構造体FooStructのうち、e[5]〜e[9]には（たいていは）0〜32767の範囲を超える値が入ったままとなり、エラーが発生します。

いずれの場合も、列挙型を正しく初期化した上で呼び出せば、エラーは発生しません。

関数を呼び出す前に、変数にデフォルト値をセットしておくケースがあります。

例えば、次のC++言語の例では、m_bFlagというフラグ変数が真の場合のみ、値がセットされます。そうでなければ、関数を呼び出す前にセットしておいたデフォルトの値が表示されます。

void Foo::Get ( FooStruct* data ) {
                :

        if (this->m_bFlag) {
                data->x = this->m_x;
                data->y = this->m_y;
        }

                :
}

int main ( int argc, char** argv ) {
        Foo foo;

                :

        FooStruct data;
        data.x = 1;     // デフォルト
        data.y = 1;     // デフォルト

        foo.Get(&data);

        printf("%d %d\n", data.x, data.y);

                :
}
              

しかし、このコードをそのままCOM／DCOMに移植すると、正しく動作しません。

COM／DCOMでは、Get関数を呼び出した時点で、変数dataの値が0にクリアされます。そのため、m_bFlagというフラグ変数が偽の場合は、予めセットしておいたデフォルトの値ではなく、0が表示されます。

たとえ、リモートオブジェクトに接続できず、COM／DCOMの呼び出しに失敗した場合であっても、変数の値が0にクリアされるので、注意が必要です。

C言語／C++言語と異なり、COM／DCOMでは、関数が呼び出せない場合を考えておく必要があります。しかし、関数が呼び出せない場合に備えて、予め変数にデフォルト値をセットしておくことはできません。必ず、次のようにしなければなりません。

HRESULT h = foo.Get(&data);
if (h != S_OK) {
        data.x = 1;     // デフォルト
        data.y = 1;     // デフォルト
}
              

別のスレッドで変数の値を監視して、値が変わったら何か処理を行う、というケースがあります。この時、監視している変数のポインタを引数に渡して、関数の中で値を書き変えている場合は、注意が必要です。

C言語／C++言語では、関数の中で値を書き換えても、正しく動作します。

しかし、値を書き換える関数をCOM／DCOMに移植すると、正しく動作しません。COM／DCOMでは、関数を呼び出した時点で、いったん値が0にクリアされます。つまり、値が2回変化したことになってしまうのです。

COM／DCOMに移植すると、変数の値は、関数呼び出しが完了するまで書き換わらなくなります。そのため、タイミングに関する問題も発生するかもしれません。