비상수 포인터를 통해 상수 수정: 정의되지 않은 동작 탐구

제공된 코드 조각에서 동작에 대한 혼란을 표현합니다. 상수가 아닌 포인터를 통해 상수 정수(e) 수정 (w):

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가 아닌 포인터를 통해 상수 데이터를 수정하는 것은 나쁜 습관으로 간주되므로 피해야 합니다. 올바른 접근 방식은 non-const 참조를 사용하거나 수정하려는 데이터의 non-const 복사본을 만드는 것입니다.