オブジェクト追跡の自動テスト実装

[yossi-tahara]

トップ・レベルにおける保存／回復の実装が概ね完了したので、プッシュします。

コミットを細かく刻む方向にしようと考えているのですが、今回はコミットを刻みこそないました。
今後、もう少し刻むよう努力します。

★１点仕様を検討中です。
普通にクラス・オブジェクトを保存する際、同じ領域を複数回保存してもエラー・チェックできないため、エラーにできません。・・・(1)
しかし、オブジェクト追跡している時は、同じ領域が複数回保存されると回復時混乱するため、エラーにしてました。
そして、クラス・オブジェクトへのポインタをシリアライズした場合、そのクラスのオブジェクトを全て自動的にオブジェクト追跡します。

クラスのバリエーション・テストで複数回保存していた(1)のクラスを、今回のオブジェクト追跡テストに用いたところ、クラスのバリエーション・テストでエラーが発生するようになりました。
私自身が原因追求に苦しんだため、一旦、(1)のケースはエラーにならないように修正しました。

だがしかし、本質的にエラーを検出した方がユーザのバグを検出しやすいです。
なので、どうするか検討中です。

[yossi-tahara]

同じ領域を複数回保存／回復する件

この件について検討しました。
オブジェクト追跡を開発した当初、同じ領域を複数回保存すると回復時、混乱すると考えました。
オブジェクト追跡している時はそれを検出できるため、検出した時エラーにしました。
しかし、よく考えてみると同じ領域を複数回保存しても混乱しません。「同じ領域」のアドレスは同じです。それを複数回保存してもオブジェクト追跡するアドレスは変わらないのでポインタの保存／回復に支障はないのです。

そこで、今回、オブジェクト追跡のエラー処理を見直し、同じ領域の複数回の保存／回復はエラーにしないようにしました。

[yossi-tahara]

あけましておめでとうございます。

やっとポリモーフィズムを含むオブジェクト追跡の自動テストの実装を完了しました。
大きな問題点が２つ見つかりました。

２番目以降の基底クラスへのポインタから派生クラスをシリアライズする時の不具合修正

動的処理するために、ポインタを一度void*へ変更していたため、２番目以降の基底クラスへのポインタで派生クラスを保存／回復する時、ポインタの指すアドレスを適切に変換できていませんでした。

2番目以降の基底クラスへのポインタのアドレス != 派生クラスへのポインタのアドレスなので、この変換はコンパイラに任せる必要があるのに、void*へreinterpret_castしていたため、アドレス変換されず不適切なアドレスでシリアライズ処理してました。

ポリモーフィズム対応処理を全体的に見直し、基底クラスへのポインタと派生クラスへのポインタを変換する時は、static_cast<>で変換できるよう静的処理するように変更しました。
その際、旧バージョンと新バージョンで基底クラスを変更するようなケースへの対応を断念しました。
恐らく、頑張ればこのケースにも対応できると思いますが、レアな要求と思いますので、現段階では断念します。
将来的に要求が発生した時に再度検討します。

非侵入型手動クラスを抽象クラスにすることを非サポート

非侵入型完全自動クラスと侵入型半自動クラスは、メンバ変数をTheolizerが別途生成して管理するため、抽象型でも領域確保でき、サポートできます。
しかし、非侵入型手動クラスは、メンバ変数をプログラマが管理するため、抽象型の記憶領域はクラス自身が管理します。

自動型はそれが包含するクラスについて、クラス毎にバージョン間の引き継ぎを行います。
そして、新バージョンで基底クラスが削除された時、旧バージョン形式で保存する場合に、旧バージョンへ引き継ぐ基底クラスの記憶領域を確保する必要があります。この時、抽象クラスでは、単独でコンストラクトできないため、その記憶領域の確保ができないことが原因です。

領域確保するための派生クラスをドライバにて自動生成する等の手法でサポートすることは可能と思いますが、現時点では保留します。
将来的に要求が発生した時に再度検討します。

[yossi-tahara]

実装完了し、v.0.4.2としてリリースしましたので、クローズします。