C++のnewで確保した領域について

質問

こんにちわ。C++を勉強し始めた者です。
new演算子を使ってインスタンスを生成した場合、それはスタックではなくヒープ領域に確保され、不要になったらdeleteを使って領域を解放しなければいけない認識です。
C++の初心者向けサンプルコードを見ていて疑問があったので質問させてください。
（例）クラスA.cpp
========================
#include <Car>
#include <Garage>
~略~
クラスAのコンストラクタ{
Car *mycar = new Car("プリウス");
addGarage( mycar );
}
クラスAのデストラクタ{
}
========================
上記のような実装のクラスAがあったのですが、コンストラクタでCarクラスのインスタンス生成をして、オート変数の*mycarに格納して、Garageの公開関数に渡しています。

質問1：このクラスAをインスタンス生成した場合、コンストラクタで確保したヒープ領域は、プログラム終了時まで解放されない認識であっていますか？
質問2：オート変数の*mycarはコンストラクタからreturnした時点で解放されてしまうので、今のままではデストラクタでヒープ領域をdeleteできない認識であっていますか？
質問3：newで生成したインスタンスへのポインタは、その関数内でdeleteしない場合、メンバ変数やstatic変数、グローバル変数に格納しなければdeleteできなくなるという理解であっていますか？
質問4：C++のコードでnewした戻り値をオート変数に格納するプログラムは通常使うことはあるのですか？

回答No.1

_kappe_ · ベストアンサー

回答1：Carオブジェクトに対してdeleteを呼ぶコードがどこかにあってそれが実行されれば、プログラム終了前にヒープから消えます。

回答2：mycarという変数自体の領域は解放されますが、mycarが指しているオブジェクトはヒープ内に残ります。もしクラスAはCarオブジェクトへのポインタを保持せず、addGarage()によってGarageがCarオブジェクトへのポインタを保持する設計であれば、CarオブジェクトをdeleteすべきなのはGarageを削除するとき（またはGarageは使い続けるがそのCarオブジェクトは不要になった時）です。

回答3：はい。質問の例の場合はGarageがポインタを保持するのだろうと思います。クラスAで保持するようにしてもいいですが、いつ誰がCarオブジェクトをdeleteすべきなのかを設計時に明確に決めておかないと、delete済のオブジェクトに誤ってアクセスしようとする問題が生じます。

回答4：やってもいいですけれど、あまりやらないと思います。
・その関数の中でだけそのオブジェクトを使う→ヒープ上にオブジェクトを確保したい理由が特になければnewを使わずにスタック上に確保する
・その関数から抜けた後もそのオブジェクトを使う→そのオブジェクトへのポインタをオート変数以外のどこかで保持する必要がある（その前段階で一時的にオート変数に代入することはあり得る）

お礼

ご回答ありがとうございました！
YES/NOだけでなく詳しく教えて頂きとてもよく分かりました。