非定数ポインターを使用した定数の変更: 未定義の動作の詳細を調べる

提供されたコード スニペットでは、動作に関する混乱を表しています。非 const ポインター (w) を介して定数整数 (e) を変更する場合:

const int e = 2;

int* w = (int*) &e;  // Casting to remove const-ness
*w = 5;            // Modifying the value pointed to by w

が指す値を変更する この変更を行った後、次のことがわかります。

• w が指す値を表示します ( cout w
• ただし、e (*cout

さらに、w が指すアドレスが e のアドレスと同じであることがわかります (cout cout w を通じて変更が行われたにもかかわらず、e がどのように変更されないのかという疑問が生じます。

この動作は、定数を非定義のパラメータで変更するときに発生する未定義の動作に起因します。 -const ポインタ。このような変更を行うと、コードは未定義の動作の領域に入り、予測不能になり、特定の実装の詳細に依存します。

この場合、w による変更は、実行時の e の一時コピーですが、元の e は変更されません。その理由は、e がコンパイル時の定数として扱われ、その値がバイナリ コードにハードコーディングされるためです。したがって、w に対する実行時の変更は、元の e には影響しません。

この動作は使用される実装に固有のものであり、依存すべきではありません。非 const ポインターを使用して定数データを変更することは悪い習慣であると考えられているため、避ける必要があります。正しいアプローチは、非定数参照を使用するか、変更するデータの非定数コピーを作成することです。