C++ローカル変数への参照の返却

Question

iを返す必要がある場合、次のコード（func1（））は正しいですか？私は、ローカル変数への参照を返すときに問題があるとどこか読んでいることを覚えています。 func2（）との違いは？

int& func1() 
{ 
    int i; 
    i = 1; 
    return i; 
} 

int* func2() 
{ 
    int* p; 
    p = new int; 
    *p = 1; 
    return p; 
} 

Answer 1

このコードスニペット：あなたは関数呼び出しの範囲には限定寿命を持つオブジェクトへのエイリアス（参照）を返すしているので

int& func1() 
{ 
    int i; 
    i = 1; 
    return i; 
} 

が動作しません。つまり、func1()が返されると、int iが死んでしまい、存在しないオブジェクトを参照するため、参照が関数から無駄に返されます。変数は、関数呼び出しの有効期間にバインドされていない空き店舗、上に配置されているので

int main() 
{ 
    int& p = func1(); 
    /* p is garbage */ 
} 

番目のバージョンは、作業を行います。ただし、deleteは割り当て済みintです。あなたはそれを自分deleteする必要はありませんので、

int* func2() 
{ 
    int* p; 
    p = new int; 
    *p = 1; 
    return p; 
} 

int main() 
{ 
    int* p = func2(); 
    /* pointee still exists */ 
    delete p; // get rid of it 
} 

通常は、いくつかのRAIIクラスおよび/またはファクトリ関数にポインタをラップします。いずれの場合も

（私はあなたがおそらく不自然だった例を実現するが）、あなただけの値自体を返すことができます。

int func3() 
{ 
    return 1; 
} 

int main() 
{ 
    int v = func3(); 
    // do whatever you want with the returned value 
} 

注それは大きなオブジェクトを返すためにfunc3()戻っプリミティブと同じよう完全に罰金だということは、値のほぼすべてのコンパイラは、最近return value optimizationのいくつかのフォームを実装するので：のconst refに一時的に結合、興味深いことに

class big_object 
{ 
public: 
    big_object(/* constructor arguments */); 
    ~big_object(); 
    big_object(const big_object& rhs); 
    big_object& operator=(const big_object& rhs); 
    /* public methods */ 
private: 
    /* data members */ 
}; 

big_object func4() 
{ 
    return big_object(/* constructor arguments */); 
} 

int main() 
{ 
    // no copy is actually made, if your compiler supports RVO 
    big_object o = func4();  
} 

を例はperfectly legal C++です。

int main() 
{ 
    // This works! The returned temporary will last as long as the reference exists 
    const big_object& o = func4();  
    // This does *not* work! It's not legal C++ because reference is not const. 
    // big_object& o = func4(); 
} 

Answer 2

ローカル変数はスタック上のメモリで、スコープ外に出るとそのメモリは自動的に無効化されません。より深くネストされた関数（メモリ内のスタックの上位）から、このメモリに完全に安全にアクセスできます。

機能が戻って終了すると、物事が危険に陥ります。 通常、返されたときにメモリは削除または上書きされません。そのアドレスのメモリにはまだデータが格納されていることを意味します。

別の関数がスタックを構築して上書きするまでは、 これはしばらくの間動作し、特に深くネストされた関数のセット、または本当に大きなサイズのオブジェクトや多くのローカルオブジェクトを持つ関数がそのスタックメモリに再び到達した後、突然機能しなくなる理由です。

同じプログラム部分に再度アクセスし、古いローカル関数変数を新しい関数変数で上書きすることさえあります。すべてこれは非常に危険であり、重大に落胆する必要があります。 ローカルオブジェクトへのポインタを使用しないでください！

Answer 3

これらの単純なルールは覚えておくと便利ですが、パラメータと戻り値の型の両方に適用されます...

• 値 - 問題のアイテムのコピーを作成します。
• ポインタ - 問題の項目のアドレスを指します。
• 参照 - 文字通り問題のアイテムです。

それぞれ時間と場所がありますので、それらを知るようにしてください。ローカル変数は、ここに示したように、関数スコープ内でローカルに存続する時間に限られています。戻り値のタイプがint*で、&iを返すという例では、同じように間違っています。その場合、これを行う方が良いでしょう...

void func1(int& oValue) 
{ 
    oValue = 1; 
} 

これを行うと、渡されたパラメータの値が直接変更されます。一方、このコードは...

void func1(int oValue) 
{ 
    oValue = 1; 
} 

はありません。それは関数呼び出しのローカルでoValueの値を変更するだけです。これは、実際にoValueのローカルコピーであり、oValueではなく、それだけで変更するためです。

Answer 4

> int &f(); int x; 
> 
> int main() { 
>  f() = 100; 
>  cout<<x; 
>  return 0; } 
> 
> int &f() { 
>  int x; 
>  return x; } 

関数fの戻り値はint型のポインタですが、ポインタ変数でないint型の変数を返すので、エラーが発生します。 f関数の整数型のポインタを使用します。