Указатель на следующий адрес

Question

При запуске кода, как это он показывает значение г -> 4 Если раскомментировать COUT < < & он показывает правильное значение -> 1

#include<iostream> 
#include<math.h> 
using namespace std; 
int main() 
{ 
    int a=1,b=2,c=3,d=4; 
    /*cout<<&a<<endl; 
    cout<<&b<<endl; 
    cout<<&c<<endl; 
    cout<<&d<<endl;*/ 
    cout<<*(&b - 0x1); 
} 

Может ли кто-нибудь помочь мне понять, почему cout изменяет возвращаемое значение?

Answer 1

Без этого заявления

cout<<&a<<endl; 

переменная a не используется в программе. Поэтому компилятору разрешено генерировать объектный код таким образом, чтобы определение a не включалось в программу.

Когда вы раскомментируете эту переменную оператора, a присутствует в объектном коде.

Учитывайте, что поведение программы не определено.

Вы не можете перерисовывать указатель перед переменной, если он не является частью массива.

cout<<*(&b - 0x1); 

Кроме того, порядок, в котором компилятор помещает переменные в память, не указан.

Answer 2

Вы вызываете неопределенное поведение.

Недействительно выполнять модификацию такого указателя, если он не является частью какого-либо массива, и ваша арифметика сохраняет значение внутри массива (или один за его концом).

Итак, вы получаете доступ к какой-либо произвольной области памяти, и нет определения того, что вы можете вернуть.

Когда вы закомментируете эти строки, оптимизатор, вероятно, замечает, что вы не используете a, c или d и поэтому опускаете их из кода. Когда вы их оставляете, вы получаете ожидаемый результат, потому что вы правильно определили, где ваш компилятор (хотя далеко не все компиляторы) хранят a относительно b (если вообще).

Оптимизатор не требуется и, как правило, не будет пытаться сделать вывод о том, что ваш доступ к &b-0x01 приземляется на a. Это неопределенное поведение и поэтому не имеет значения, какой результат вы получите.

Answer 3

По определению C++ выделяет все адреса рядом друг с другом, начиная с последнего, если только память не используется. По моему опыту они находятся рядом друг с другом. Единственная причина, по которой я вижу, - это то, что оптимизация не выделяется, если она не используется. Он всегда показывает значение d, которое является самой странной частью.