参照はC++でメモリを占有しますか？

Question

私はこの質問に多くの記事を読みましたが、その参照はエイリアスであり、メモリを消費しません。コンパイラは参照をポインティング変数のアドレスに置き換えます。

以下の例ではどのようなことが起こるか説明できます。コンパイラのリファレンスriとの関係

int main() 
{ 
    int *pi = new int(50); 
    int &ri = *pi; 
    ri = 30; 
    cout << "val = " << ri << " , " << *pi << endl; 
} 

それは私に出力できます：

val = 30 , 30 

Answer 1

コンパイラとして実際のオブジェクトと参照を置き換える可能性があります。これは、コンパイラが行う可能性があります一つのことである

int main() 
{ 
    int *pi = new int(50); 
    //int &ri = *pi; //compiler might remove this 

    *pi = 30; //then it replaces ri with *pi 

    cout << "val = " << *pi << " , " << *pi << endl; //here as well 
} 

を。

Answer 2

int *pi = new int(50); 

     +----+ 
pi --> | 50 | 
     +----+ 


int &ri = *pi; 

     +----+ 
pi --> | 50 | ri = 50, same as *pi, which is 50 
     +----+ 

ri = 30;  now the contents of what pi points to i.e. *pi is replaced with 30 

     +----+ 
pi --> | 30 | 
     +----+ 

Answer 3

riは、新しいメモリアドレスに割り当てることができないポインタのように機能するスタック変数です。それは主に意味論的な砂糖ですが、ポインタではできない参照では何もできません。より安全に行うことができます。この関数が終了すると、riによって利用されるスペースはスタックからクリーンアップされます。

Answer 4

int *pi = new int(50); 

あなたはintオブジェクト50を割り当てます。

int &ri = *pi; 

このintオブジェクトにエイリアスriを設定し、riをこのオブジェクトに、piをオブジェクトのアドレスに設定します。

ri = 30; 

intオブジェクトに30を再割り当てします。 riがintオブジェクトであることを忘れないでください。

cout << "val = " << ri << " , " << *pi << endl; 

riと* piは同じオブジェクトです。 オブジェクトは多くのエイリアスを持つことができ、これらのエイリアスのいずれかを使用するとオブジェクトを操作できます。

ここでは削除されます。

Answer 5

参照はエイリアスとして定義されています。標準の実装方法はあまり変わらないが、標準の表現方法は明記されていない。本質的に：一般的なケースで

• 、参照は、ボンネットの下に、（ポインタのような）オブジェクトのアドレスである
• 可能な場合、コンパイラは、間接

を除去するために努める

---

あなたのプログラムで始まる、私たちはそれを変換する方法を見てみましょう：

int main() 
{ 
    int *pi = new int(50); 
    int &ri = *pi; 
    ri = 30; 
    std::cout << "val = " << ri << " , " << *pi << std::endl; 
} 

我々はできますそれがバインドされているオブジェクトは、コンパイラによって知られているので、riを排除：

int main() 
{ 
    int *pi = new int(50); 
    *pi = 30; 
    std::cout << "val = " << *pi << " , " << *pi << std::endl; 
} 

その最終値は、コンパイラによって知られているので、我々は*piを排除することができます

int main() { 
    new int(50); // stupid possible side effect usually forbid to optimize this out 
    std::cout << "val = " << 30 << " , " << 30 << std::endl; 
} 

私はあなたにそれを注意しますたとえば、new呼び出しは完全に無用です。動的に割り当てられていないオブジェクトも参照できます。

int main() { 
    int i = 50; 
    int& ri = i; 
    ri = 30; 
    std::cout << "val = " << ri << " < " << i << std::endl; 
} 

も有効で、メモリリークはありませんでした。

---

バック表現の間我々の違いを取得：

void swap(Foo& left, Foo& right); 

典型的に実装されている：この場合

void swap(Foo* left, Foo* right); 

、参照は、（一部）を服用してしまう空間（ASポインタと同じくらい）。と一方

：

class Object { 
public: 
    Object(): foo(f), f() {} 

    Foo const& foo; 

    void set(Foo const& value); 

private: 
    Foo f; 
}; 

コンパイラは、一般的にfooランタイム表現を与えることはありませます。それがconstの参照であるという事実は、fで呼び出される可能なメソッドを変更しないメソッド（意味的な違い）に制限するために使用されますが、実行時には直接fが渡されます。

Answer 6

参照変数は、以下に示すように、C++プログラムを作成 ....以下に示すようにこれをテストするための最良の方法は、C++プログラムのアセンブリを使用して、スタック上のメモリを取り、それ

のアセンブリを生成します

#include<iostream> 
using namespace std; 

int main(){ 
int i = 100; 
int j = 200; 
int &x1 = i; 
int &x2 = i; 
int &x3 = i; 
int &x4 = i; 
int &x5 = i; 
int &x6 = i; 
int &x7 = i; 

cout << "reference value" << x1 << endl; 
return 0; 

}

このプログラムのアセンブリは、スタックポインタは「基準がメモリを取得する手段」は36バイト件まで下降することを示しています。命令（ESP、％を$ 64 SUBL）上記

main: 
.LFB966: 
.cfi_startproc 
    pushl %ebp 
    .cfi_def_cfa_offset 8 
    .cfi_offset 5, -8 
    movl %esp, %ebp 
    .cfi_def_cfa_register 5 
    pushl %ebx 
    andl $-16, %esp 
    subl $64, %esp 
    movl $100, 28(%esp) 

は私のためのスペースを割り当てるため、スタックポインタの移動で、jとスタック上（X7へX1）7つの参照変数。

命令以上

main: 
.LFB966: 
    .cfi_startproc 
    pushl %ebp 
    .cfi_def_cfa_offset 8 
    .cfi_offset 5, -8 
    movl %esp, %ebp 
    .cfi_def_cfa_register 5 
    pushl %ebx 
    andl $-16, %esp 
    subl $32, %esp 
    movl $100, 20(%esp) 

"$ 32 SUBL、％espを"

あなたは12バイトのスタックポインタの動きを示すことの

#include<iostream> 
using namespace std; 

int main(){ 
int i = 100; 
int j = 200; 
int &x1 = i; 
cout << "ref changed" << x1 << endl; 
return 0; 
} 

以下のようにcppのプログラム上のアセンブリを変更した場合..スタックされるポインタスタック上のi、j、x1参照変数のためのスペースを割り当てる動き

私は上のすべての事をクリアすると信じています。間違っていると私を訂正してください:)