c++でのdeleteについて

Question

現在c++を勉強しているものです。
メモリの解放についてわからないことがあるので質問させてください。
・以下のようなコードを書いたのですが、デストラクタにてptrをdeleteしようとするときにクラッシュします。
main()にてaをdeleteすれば、class A のptrが占有しているメモリも同時に解放されているということでしょうか？
また仮にほかにメンバ変数がclass A 内にあったとして(int やfloat)、それらに割り当てられているメモリもすべて個別にdeleteする必要があるのでしょうか？それともそれらはインスタンスが解放されたら自動で解放されるのでしょうか？

・newを使わずにクラスのインスタンスを生成したとき(A a = {10} みたいな)、スコープを抜けるとこのインスタンスが確保しているメモリは自動で解放されるのでしょうか？それともdeleteを呼ぶ必要があるのでしょうか？

c++のバージョンは17です。

初歩な質問ですみませんがご回答頂けますと幸いです。
よろしくお願いいたします。

#include <iostream>

class A
{
	float* ptr;
	
public:
	A(float input)
	{
		float value = input;
		ptr = &value;
	};

	~A()
	{
		delete ptr;
	}
};

int main()
{
	A* a = new A(5);
	delete a;
}

Answer 1

    A(float input)
    {
        float value = input;
        ptr = &value;
    };

ローカル変数のアドレスで delete したら、そりゃクラッシュするやろね。
正しくは:

    A(float input)
    {
        ptr = new float(input);
    };

イマ風の流儀なら:

class A
{
    std::unique_ptr<float> ptr; // 寿命が尽きたら勝手にdelete

public:
    A(float input)
    {
        ptr = std::make_unique<float>(input);
    };

    ~A()
    {
    }
};

Answer 2

    A(float input)
    {
        float value = input;
        ptr = &value;
    };

ローカル変数へのポインタは、関数を抜けた時点で無効になります。deleteする以前の問題です。

Comments

[maisumakun]

そして、delete可能なポインタはnewで確保したもの（もしくはdeleteを行っても何もしないという動作が保証されているnullポインタ）に限られます。

変数へのポインタをdeleteするようなことはできません。

[maisumakun]

> メンバ変数がclass A 内にあったとして(int やfloat)、それらに割り当てられているメモリもすべて個別にdeleteする必要があるのでしょうか？それともそれらはインスタンスが解放されたら自動で解放されるのでしょうか？

自動で解放されます。

Answer 3

maisumakunさんの意見に同意ですが、ちょっと違う部分を指摘します。

---

そもそも何がしたいのでしょうか。

仮にmaisumakunさんが仰るようなローカル変数へのポインタでないとしても、そもそもアレです。

今回使っているdeleteはC言語でいうとmalloc/freeのfree関数とほぼ同義です。
(厳密には違うが)

そもそも単純に配列に割り当てただけのポインタは破棄する必要はありません。

今回の場合、foat* ptr ですね。

まず、変数のようなautoなものと動的確保の違いを学ぶべきです。

変数とかの場合、スタック領域と呼ばれる所に配置されます。

ここは、4バイトなら4バイトだけ確保します。
そして、関数から抜けるとかで使われなくなると自動的に破棄されます。

でも、C言語でいうmalloc/free, C++でいう new/delete は動的確保と呼ばれるものだったはずです。

これはヒープ領域に確保されます。
ヒープ領域ではメモリが許す限りメモリを取ることができるようですが、
自動的には破棄されません。

そこで今回だとdeleteに相当するもので破棄するのです。

今回の場合、「本来アクセスしてはいけない場所(スタック領域)にアクセスして強制的に破棄しようとしているためセグフォが発生している」のではないかと。

それに加えて、maisumakunさんがご指摘しているように、「ローカル変数を割り当てても……」な問題もありますね。

Comments

[fana]

> そもそも単純に配列に割り当てただけのポインタは破棄する必要はありません。

流れ的にこの文が謎な感じになってます．
何かしらの誤記がありませんか？