🚀 go-pugleaf

Yoshio Kiya wrote in <8fakpm$bmv$2@newsgw8.odn.ne.jp>
> # 転載すればとっても良い情報になるとは思うのですが…

　転載しても良いとのメールをいただきましたので、代理投稿させ
ていただきます。

------------- ここから -----------------------------------
村山と申します。
ニュースに投稿できない環境にいるため、メールで失礼します。


> Yuki Shiino wrote in <8f44e1$7s1$1@news.cds.ne.jp>
> > X* xp = new X();
> > 
> > とした際に、メモリの確保には成功したものの、X::X()が何らかの例外を
> > 投げ、インスタンスの構築に失敗した場合には、確保されたメモリは開放
> > されます。
> 
> 　ありゃ、じゃ、私の心配は、ＶＣ固有の仕様による物のようです。

この件ですが、実はVC++においても心配は不要です。

MSDNの記述からは、メモリリークが発生するように解釈できますが、この記
述に誤まりがある、もしくは、古い版のVC++について書かれているのではな
いかと思っています。

VC++6.0では、new演算子によって生成されるオブジェクトのコンストラクタ内
で例外が発生した場合、operator delete()が呼ばれることは、実機で動作させ
たうえで確認できました。

ただし、特定の条件において、コンストラクタ内で例外を発生させた場合に
メモリリークが発生する条件は存在します。

仮引数付きのnew演算子を使用した延長で呼び出されるコンストラクタ内で
例外が発生した場合は、通常のoperator delete()は呼ばれず、
new演算子の仮引数と同じ引数を持つoperator delete()が呼ばれます。
もし、このようなoperator newに対応したoperator deleteが存在しないと、
コンストラクタ内で例外が発生した場合operator deleteを呼ばないようなコー
ドにコンパイルされます。

例えば、以下の１のoperator newを使用する場合は、２および３のoperator 
deleteを定義しなくてはなりません。

１） void* operator new(size_t size, const char* signe);
２） void operator delete(void* p, const char*);
３） void operator delete(void* p);

次のようなプログラムでは、Ａにおいて上記１のoperator newが呼ばれ、
Ｂにおいて上記３のoperator deleteが呼ばれます。
ＡにおいてFooのコンストラクタで例外が発生した場合は、例外をcatchする
前に２のoperator deleteが呼び出されます。
もし仮に、２のoperator deleteが定義されていない場合は、メモリリーク
が発生します。

    tyr{
        Foo* p = new("Object Foo") Foo;  // Ａ
        delete p;                        // Ｂ
    }catch (...){
        // 例外処理
    }

MSDNに記述されている、コンストラクタにおける例外の注意事項というのは
このことを指しているのかな？と個人的には思うことにしています。

# でも違うかなぁ？
# なにしろMicrosoftのことですから．．．

--- 
富士通愛知エンジニアリング ２開統）１開発部
外線 0559-24-6158    内線 7551-4181
村山 浩 murayama@ael.fujitsu.co.jp


------------- ここまで -----------------------------------

# 村山さんありがとうございました。

=== Nihon Application Co.,LTD.  木屋 善夫 kiya@nac.co.jp ===