C++でのクラスオブジェクトの破棄

質問

こんにちは。

C++では、プログラムの終了時に、全てのクラスオブジェクトは、デストラクタが呼び出されて破棄されますが、プログラムの途中で、クラスオブジェクトを明示的に破棄する方法はあるのでしょうか?

例えば、new演算子によってメモリを動的に割り当てたポインタなら、delete演算子で破棄できますが、
クラスオブジェクトにdelete演算子は使えないようです。

何かいい方法を知っておられる方がいらっしゃれば、是非アドバイスを頂きたいと思います。

回答No.8

Tacosan · ベストアンサー

ClassA *p = new(buf) ClassA;
と
ClassA *p = new ClassA;
の意味は違います. 後者はメモリを割り当てますが, 前者ではメモリの割り当ては行われません. placement new なんかで調べてもらうといいかな.

お礼

御回答ありがとうございます。

placement newは、new演算子関数に、引数を与える機能のようですね。
はじめて知りました。
今回の場合、bufの指すアドレスを、pが指すようにしているのだと分かりました。
(printf("%p", buf); と pring("%p", p); で表示されるアドレス値が同じでした。)

回答No.7

sankaku197

ちょっと気になるんですが明示的に破棄したいコードがあるんですか？
それとも単なる興味？
いや興味ならいいんですが、ただ素直にnew-deleteすればいいのになぁと思ったので。

>No1の型の回答に書いた通り、「クラスオブジェクト」とは、何らかのクラス型のオブジェクトの事です。
>普通はどのように呼ぶべきなのでしょうか?
自動変数のクラス？
私なら簡単なソースを書いて「このローカル変数nを明示的に破棄したい」という風な書き方にしますかね。

>普通は単に「オブジェクト」というのかもしれませんが、普通の変数など、他のオブジェクトとの区別をするために、その様に読んでいます。
str_type *p = new str_type; //←newしたデータ＝オブジェクト（＝インスタンス）
何か勘違いしてるみたいですけど、オブジェクトって物凄く広い意味で使われるので曖昧回避したい場合は極力使わない方がよい単語です。
ちなみにNo.1氏の「class_a」や上に書いた「*p」なんかをインスタンスと呼びます。
インスタンスもオブジェクトの一種です。（厳密に言うと違うものらしいですが）

お礼

御回答ありがとうございます。

>ちょっと気になるんですが明示的に破棄したいコードがあるんですか？
いや、そういうわけではありません。

>何か勘違いしてるみたいですけど、オブジェクトって物凄く広い意味で使われるので曖昧回避したい場合は極力使わない方がよい単語です。
ちなみにNo.1氏の「class_a」や上に書いた「*p」なんかをインスタンスと呼びます。

御指摘ありがとうございます。
http://itpro.nikkeibp.co.jp/free/NIP/NIPCOLUMN/20021126/1/
にオブジェクトとインスタンスについて、分かりやすく説明されていました。
間違いに気がついて良かったです。

回答No.6

MAXIMAX

すでに #5 の方が回答されていますが、デストラクタはオブジェクトを破棄するためにあるのではなく、オブジェクトが破棄されるときに後処理をするためにあります。デストラクタ自体は、他のメンバ関数(メソッド)と同様に１メンバ関数に過ぎませんが、C++ の仕組みとして、オブジェクトが破棄されるときにデストラクタがあれば自動的にコールするようになっている、という仕組みになっています。デストラクタをプログラム中から意図的にコールするというのは、あまりやらないですね・・・・・・・。

いろいろ試してまた疑問が出てきて解決していけば、そうやっていくうちにいろんな間違って覚えていたことが修正されていくのは技術向上の鉄則です。頑張ってください^^。

お礼

御丁寧にありがとうございます。
頑張ります。

回答No.5

higeG

> プログラムの終了時に、全てのクラスオブジェクトは、
> デストラクタが呼び出されて破棄されますが
逆ですね。
「オブジェクトが破棄される時にデストラクタが呼び出される。」
だと思います。

なので、追加質問でも
> ob.str_type::~str_type();
では、単にデストラクタを明示的に呼び出しただけでobは破棄されず
スコープから外れた時に破棄されてもう一度デストラクタが呼ばれた
のだと思います。

お礼

御回答ありがとうございます。

なるほど、僕が勘違いしていたみたいですね。
という事は、デストラクタを呼び出しただけでは、
オブジェクトは破棄されないのですね。
よーく分かりました。

回答No.4

a_kwn

多分、そんなことはないと思いますが…
もしかして、クラスオブジェクトって、クラスメンバー（クラスの静的メンバー, クラスのstatic変数)のことを指しているわけではないんですよね？

お礼

御回答ありがとうございます。
分かりにくくて申し訳ございません。
No1の型の回答に書いた通り、「クラスオブジェクト」とは、何らかのクラス型のオブジェクトの事です。
普通はどのように呼ぶべきなのでしょうか?

回答No.3

Tacosan

無理すれば

char buf[sizeof (ClassA)];
ClassA *p = new(buf) ClassA;
// なんかする
p->ClassA::~ClassA();

ともできるけど普通はスコープで対応する... あぁそうか, 「プログラムの終了時に、全てのクラスオブジェクトは、デストラクタが呼び出されて破棄されますが」という認識がおかしいんだ.

お礼

Tacosanさん、いつも御回答、ありがとうございます。

p->ClassA::~ClassA();
のように、デストラクタを明示的に呼び出せる事は知りませんでした。

あまり大きなプログラムを作成した事がないので、
「普通はスコープで対応する」という事は、考えた事がありませんでした。
これからは、そういった認識を持つようにします。

補足

Tacosanさん、
ClassA *p = new(buf) ClassA;
は、pにサイズbufのメモリを動的に割り当て、
ClassA型オブジェクトの先頭を指すようにするという意味でよろしいのでしょうか?
だとすると、単に
ClassA *p = new ClassA;
だけでも良いと思うのですが、如何でしょうか?

あと、
ClassA *p = new(buf) ClassA;
で、オブジェクトポインタにメモリを割り当てた後、
そのまま終了しても、ClassAクラスのデストラクタは呼び出されませんでした。
オブジェクト変数を生成しない限り、デストラクタは呼び出されないのでしょうか?

オブジェクトポインタ

回答No.2

MAXIMAX

#1 の方の回答で、やりたいことができるのでは、と思うのですが、オブジェクトのライフタイムの認識があってないかもしれません・・・・・・。

オブジェクトのライフタイムは記憶クラスの「スコープ内」です。スコープが終了するときには破棄されます。関数やメソッド、{}で囲まれたブロック内で宣言しているオブジェクト変数(auto 記憶クラス)であればそれらが終了する時です。もちろん static などで確保されているクラス変数は、プログラムが終わるまで破棄されません。

お礼

御回答ありがとうございます。

今まで、オブジェクトのライフタイムについては、深く考えた事がありませんでした。
特に、「記憶クラスのスコープ」というものの認識があいまいなようです。
勉強し直してきます。

補足

追加質問です。
str_typeというクラスを定義し、main関数で
str_type ob;
ob.str_type::~str_type();
のようにすると、コンストラクタとデストラクタが呼び出されたのですが、
プログラムの終了時に、デストラクタがもう一度呼び出されました。
ob.str_type::~str_type();
によって、obは破棄されたはずなのに、なぜこういった事が起こるのでしょうか?

回答No.1

hitomura

……クラスオブジェクト？なんのこっちゃ？

とりあえずやりたいことはこれかな？

class ClassA
{
};

int main(int argc, char** argv)
{
　ClassA class_a;
　// 何らかの処理-1
　delete class_a; // もちろん間違いだけどこれと似たようなことがやりたい
　// 何らかの処理-2
　return 0;
}

もし上のようなことがしたいならば、変数のスコープを利用して以下のようにすれば可能です。

int main(int argc, char** argv)
{
　{
　　ClassA class_a;
　　// 何らかの処理-1
　　// オブジェクト破棄のための文は書く必要がない
　}

　// 何らかの処理-2
　return 0;
}

お礼

御回答ありがとうございます。

僕が言っている「クラスオブジェクト」は、記述して下さったプログラムのclass_aの事です。
普通は単に「オブジェクト」というのかもしれませんが、普通の変数など、他のオブジェクトとの区別をするために、その様に読んでいます。
僕がやりたかった事は、当に最初に記述していたプログラムのような事です。
2つ目のプログラムでは、main関数の中で、{ }で括った部分のオブジェクトは、処理が } まで進むと自動的に破棄されるというものですよね。
そのような事ができるとは知りませんでした。
試させていただきます。

補足

試させていただきた所、 } のところできちんと破棄されました。
ありがとうございました。