Почему этот код печатает 0

Работа в обратном направлении:

e ++;
cout << e << " " << endl;

Если это печатает 0, то значение e перед выполнением этого кода должно быть -1.

int e = &d - c;

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

unsigned int a /* = whatever, the value of a doesn't matter */;
unsigned int &b = a;
unsigned int *c = &b;
unsigned int d /* = whatever, the value of d doesn't matter */;

b является ссылкой на a, поэтому &b эквивалентно &a.

Итак, &d - c эквивалентно &d - &a, и это вычитание дает -1.

Вывод: адрес d является sizeof (unsigned int) после адреса a. (Вычитание указателя масштабируется по размеру указанного типа.)

Вероятно.

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

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

Вероятно, с учетом выхода вашей программы, чтобы b и d были распределены рядом друг с другом. Ничто не говорит о том, что объявленные переменные должны быть распределены в том порядке, в котором вы их объявляете. Если вы хотите, чтобы объекты были выделены в памяти в порядке определения, поместите их в struct или сделайте их элементами массива.

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

И компилятору разрешено предположить, что поведение вашего кода хорошо определено и выполняет преобразования, которые являются действительными только с учетом этого предположения. Фактически, вычитая два несвязанных указателя, вы пообещали компилятору, что оба они указывают на элементы одного и того же объекта массива или только за ним (где один объект рассматривается как 1-элементный массив) (или что оба являются нулевыми указателями, это одно отличие между C и C++). Вы лгали компилятору, а это значит, что он не несет никаких дополнительных обязательств перед вами.

Не делай этого.