質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

87.90%

delete後のメモリにアクセス出来る?

解決済

回答 5

投稿

  • 評価
  • クリップ 0
  • VIEW 6,354

score 25

C++のポインタの勉強中にたまたま起こったんですが、
「なんでこれランタイムエラーにならないんだ?」という現象に遭遇しました。
以下ソースコードです。
VisualStudio2015で実行しました。

該当のソースコード

class Hoo
{
    int abc;

public :
    Hoo()
    {
        abc = 10;
    }

    ~Hoo()
    {
        abc = 10;
    }

    void Hoge()
    {
        abc = 100;
    }
};

void main(){
    Hoo *pHoo = new Hoo();
    delete pHoo;
    pHoo->Hoge();    // ここでエラーになるのでは?
}

コメントを入れている場所で、解放済のインスタンスにアクセスしているのでエラーになるかと思ったんですが、
エラーなく実行出来てしまいました。デバッグで見ると、abcの値も100になっていました。

これって正しい挙動なんでしょうか?
ちなみに、もう一回deleteすると解放済なので当然エラーが出ました。

実装的にはアウトだと思うのですが、なんでエラー吐いてくれなかったのかがわかりません。
よろしくお願いします。

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 過去に投稿した質問と同じ内容の質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 5

checkベストアンサー

+5

そのプログラムは正しくありません。
解放済みのメモリ領域へのアクセスを行った場合どういう挙動になるか定義されていません。エラーが発生する事もありますし、他所で使用中の領域を破壊しつつ動いても規格通りの挙動になります。
これを未定義動作(Undefined behavior)といいます。
プログラマのミスによって発生するエラーのチェックよりそれらを行わない事によって得られる実行速度を重視しているために存在します。
ソフトウェアの脆弱性の原因としてよく見られるbuffer overflowも未定義動作の一つです。どうとでも動くといういい見本ですね。

余談ですが今回の例のように一見正しく動いているように見えて正しくないコードのデバッグは発見し辛く大変なのでclangやgccにはAddressSanitizerという解放済み領域を使用した場合やbuffer overflow発生時にエラーを発生させるデバッグ用の機能が搭載されました。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

0

動作未定義なので、「偶然に意図通りに動く」こともあります。まあ大抵後にバグが発覚して怒られますが。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

0

こんにちわ。

たまたまです。メモリが破壊されていない為、pHoo->Hoge();に飛んでも問題ないだけです。
delete で解放するたびに、解放領域をクリアしたりしませんからね。
試しに、delete後すぐに別の何かをnew すれば壊れるかもしれませんね。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

0

これって正しい挙動なんでしょうか? 

挙動としては正しいとも正しくないとも言えます。deleteしたオブジェクトにアクセスした場合の動作は「未定義」であり、文字通りどのような結果になるのか定義されていないため、正しく動くように見える場合もあります。
当然、プログラム的には完全に誤りです。

C/C++のポインタによるアクセスでは、その領域がプログラム的に正しいかどうかをチェックしていません。存在するメモリ領域には基本的には制限なくアクセスできます。
deleteでオブジェクトを解放しても、ヒープ領域の管理情報を使用中から未使用に戻しただけで、オブジェクトが割り当てられていた部分の領域自体はそのまま残っているので、deleteしたはずの領域にもアクセスできてしまうのです。逆に言うと、メモリ領域さえ存在すれば、newしなくてもアクセスできてしまいます。

これは簡単に「メモリ破壊」を引き起こす可能性を示すものであり、C++が「難易度の高い言語」と言われる要因の一つですね。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

0

規格での定めについては他の方の回答の通りです。

以下、規格でなく実装について述べます。
deleteしても処理系が、メモリをOSに返すわけではないので、メモリアクセス例外にはなりません。
これをエラーにするためには、意図的にエラーチェックするコードを組み込む必要があります。これは処理オーバーヘッドがかかり、速度低下に繋がるために、デフォルトではチェックを行わない処理系が主だと思います。処理系によっては、コンパイル時のオプションでこのようなチェックコードを組み込むことも出来ます。

規格で、「未定義」としているのは、処理系作成者に対して、チェックするかどうかの自由を認めていることになります。
また、OSに対して細かい単位でメモリ要求・返却をできるOSでは、細かくOSにメモリを返却して、メモリアクセス例外になるような処理系が無いとも限りません。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 87.90%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

関連した質問

同じタグがついた質問を見る