1

こんにちは、ヒープ変数に関連する疑いはほとんどありません...

以下のような関数を書きたい ->

struct test
{
   int x;
   int y;
};

test* fun()
{
    test *ptr = new test;

    return ptr;
}

  1. 私の疑問は、ヒープ変数がスコープ外になると、その値が失われることです。

  2. 間違いなくメモリリークです。(ヒープ変数が削除されていないため)

では、どうすればそのような機能を設計できますか。

4

4 に答える 4

4

動的に割り当てられたオブジェクト (ヒープ変数と呼ばれるもの) は、それらが作成されたスコープの最後で破棄されません。それが動的割り当ての要点です。testオブジェクトは動的に割り当てられますが、ポインターはptrそうではありません。スコープ外になると破棄されます。でも大丈夫！関数からポインターの値をコピーすると、このコピーは引き続きtestオブジェクトを指します。testオブジェクトはまだそこにあります。あなたが書いた関数は問題ありませんが、スタイルが良くありません。

はい、あなたが作成したオブジェクトdeleteへのポインターを誰も操作しないと、メモリ リークが発生します。testこれは、このような生のポインターを返す場合の問題です。delete作成しているオブジェクトの呼び出し元を信頼する必要があります。

void caller()
{
  test* p = fun();
  // Caller must remember to do this:
  delete p;
}

これを行う一般的な C スタイルの方法 (C++ では絶対に推奨されません) は、 関数create_testとdestroy_testのペアを使用することです。これは依然として呼び出し元に同じ責任を負わせます:

void caller()
{
  test* p = create_test();
  // Caller must remember to do this:
  destroy_test(p);
}

これを回避する最善の方法は、動的割り当てを使用しないことです。スタック上にオブジェクトを作成しtest、関数の外にコピー (または移動) するだけです。

test fun()
{
    test t;
    return t;
}

動的割り当てが必要な場合は、スマート ポインターを使用する必要があります。具体的には、unique_ptrタイプはここで必要なものです。

std::unique_ptr<test> fun()
{
    return std::unique_ptr<test>(new test());
}

呼び出し元の関数は、それunique_ptrを行うことを心配することなく、 を処理できdeleteます。が範囲外になると、作成したオブジェクトunique_ptrが自動的に削除されます。ただし、他の関数にオブジェクトを持たせたい場合、呼び出し元はそれを別の場所に渡すことができます。deletetest

于 2013-01-27T17:16:37.360 に答える
2

  1. ヒープ変数を返すのではなく、ヒープへのポインターを保持するスタック変数の値を返します。スタック変数がスコープ外になります。ポインターが指すメモリーはヒープ内にあり、範囲外になることはありません。

  2. 呼び出し元でメモリを解放しないと、メモリ リークが発生します。

于 2013-01-27T17:16:01.877 に答える
1

私の疑問は、ヒープ変数がスコープ外になると、その値が失われることです。

ポインターを値で返すので、心配はいりません。そのため、ポインターはスコープ外になりますが、それが指すメモリを返すため、メモリ リークはありません (呼び出し元に依存して削除できる場合のみ)。

ただし、参照によってポインターを返すと、問題が発生します。

test*& fun() // note the & (reference)
{
    test *ptr = new test;

    return ptr;
}

ここでは、一時への参照を返しています。変数がスコープ外になると、存在しないオブジェクトを使用することになります。これが、参照によって一時を返すことができない理由です。

于 2013-01-28T15:45:10.927 に答える