🚀 go-pugleaf

Yoshio Kiya <kiya@asahi.email.ne.jp> wrote in message
news:8fakpm$bmv$2@newsgw8.odn.ne.jp...

> > 　MSDN により引用
> > > 例外処理 : コンストラクタの例外処理
> 以下略
>
> 　昨日メールにてフォローしていただいたのですが、その方の説明
> によると、どうやら、この記述は間違いのようです。
>
> 　VCにおいてコンストラクター内で例外を発生させてオブジェクト
> のメモリーが解放されることは確認済みだそうです。

  どうもその様ですね。new された時に困るのだから、その時は自分で delete する
様にすれば良いやということで、ちょっと無理矢理ですが...

#include <stdio.h>

class CHoge {
private:
  static int by_new;     // new で生成されたかフラグ
public:
  CHoge(const int b);
  void *operator new(size_t size);
};

int CHoge::by_new = 0;   // 普通は、new じゃ無いよ...

void CHoge::operator new(size_t size)
{
  by_new = 1;            // new で生成されたら覚えておいて...
  return ::new(size);
}

CHoge::CHoge(const int b)
{
  int by_new1 = by_new;  // by_new1 は本来不要だが by_new を 0 に
  by_new = 0;            // 戻すのを忘れない為にコピーを作っておく。

  if(b){                 // 例外が発生する状況では...
    if(by_new1){         // new で生成されていたら...
      delete this;       // 自分自身を削除
    }
    throw b;
  }
}

int main()
{
  try {
    CHoge *p = new CHoge(1);
  }
  catch(int b){
    printf("Exception: %d\n", b);
  }
}

と言うようなクラスを作成して、new された時のコンストラクターで例外が発生する
時は自分で delete する様に作ったのですがどうも「自分自身を削除」とコメントさ
れている delete は実行しているのですが、その後の throw において assert() (解
放しようとした領域が不正) で引っかかってしまいます。また、ちょっと変更して
new されたポインタを覚えておいて例外処理後に delete しようとすると同じく
assert() で引っかかります。

  本当に解放しているかステップ実行で追いかけたのですが VC++ 4.0 では例外は
Win32 の構造化例外を使っているようで追いきれていません...。

> 　ただ、特殊な状況において発生する可能性について述べているの
> かもしれないともおっしゃっていました。

  確かに、ドキュメント化されていないのはちょっと不安ですよね。

# ドキュメント化されていても不安なのに...。(^_^)

--
--------------
電子のお針箱
ueno@di.mbn.or.jp
(From: ヘッダーはスパム対策のため -nospam を付加しています。)
--------------