これは内部的にどのように動作するかint const iVal = 5; （int＆）iVal = 10;

Question

私は以下のことが@コンパイラレベルでどのように動作するのか知りたかったのです。

int const iVal = 5; 
(int&)iVal = 10; 

m/cまたはコンパイラレベルの回答が多額になります。

ありがとうございます。

Answer 1

undefined behaviorです。

最初の行では、定数を定義します。これからプログラムでは、コンパイラはiValを値5で置き換えることができます。代わりにメモリからロードすることはできますが、それは利点がありません。

2番目の行は、メモリ位置に、コンパイラから数値5が含まれていることが通知されます。ただし、値が変更されないことをコンパイラにすでに伝えているため、影響はありません。

例えば、以下は要素の配列を定義し、未定義の値を表示します（または、それが望んで何かを行うことができます！それは未定義です）

int const iVal = 5; 
(int&)iVal = 10; 
char arr[iVal]; 
cout << iVal; 

生成されたアセンブリは、次のようになります：

sub ESP, 9  ; allocate mem for arr and iVal. hardcoded 5+sizeof(int) bytes 
       ; (iVal isn't _required_ to have space allocated to it) 
mov $iVal, 10 ; the compiler might do this, assuming that you know what 
       ; you're doing. But then again, it might not. 
push $cout 
push 5 
call $operator_ltlt__ostream_int 
add ESP, 9 

Answer 2

あなたのcown ompilerで実行してassember出力を見てみませんか？

Answer 3

Cスタイルのキャストはconst_castとして機能します。あなたがそうするために起こると、コンパイラはIVALの実際のメモリを割り当てるしないことを決定した場合は、

const_cast<int&>(iVal) = 10; 

を書いた場合と同じように、あなたは未定義の動作に実行します。

例えば、VC7はそれをすべてコンパイルします。それはデバッグモードでもそれを完全に実行します。リリースモードでは、iValの値は割り当て後も変更されません。それは5のままです。

このようにしないでください。

Answer 4

これは、「const-ness」の考え方が言語/コンパイラにのみ存在するために可能です。実際のコンピュータメモリでは、すべてが可変です。コードがコンパイルされると、iVal変数は単にRAM内の場所になります。

edit：上記は、定数が実際にメモリに置かれていることを前提としています。 sharptooth's answerを参照してください。 Cスタイルのキャストを使用して

は、それが簡単な整数の変数であるかのように、このメモリ位置を扱い、10

Answer 5

未定義の動作にその値を設定するようにコンパイラに指示します。

リリースビルドでは、ほとんどのコンパイラがconst値を直接置き換えますが、はになります。メモリ負荷がかかる場合があります。また、2番目の割り当ては、プラットフォームとコンパイラによって、アクセス違反を生成する場合と生成しない場合があります。 Iircインテルのコンパイラはconstデータを読み取り専用メモリに格納するため、実行時にアクセス違反が発生します。

Answer 6

これが組み込みシステムだった場合、iValはフラッシュに格納される可能性が高いため、書き込むことは効果がありません。

しかし、埋め込みコンパイラは一般に、メモリの特定の領域が読み込み可能であるかどうかを追跡していないので、コンパイラはこれをエラーと見なさない可能性があります。

リンカーは通常、リンカーがiValが定数であると判断するので、リンカーを通過する可能性があると考えます。しかし、iValの使用方法を決定するのはリンカーの仕事ではありません。

int *Ptr = (int *) &iVal; 
*Ptr = 10;