Переменная, объявленная взаимозаменяемо, имеет тот же шаблон адреса памяти

Запишите эту книгу, если она говорит, что автоматические переменные имеют какое-либо конкретное отношение адресов друг к другу в стандарте C или C++. Поля в struct или class имеют макет, определенный реализацией. Автоматические переменные даже не гарантируются для выделения памяти.

Теперь, что гарантирует C++, порядок, в котором определены символы (конструкция времени компиляции, а не проблема макета памяти) и какие конструкторы заказов вызываются. Например, этот порядок определяет, что означает следующий код в точный способ:

int foo(int x)
{
    int y = x;  // this sees the argument x
    int x = 3;  // this defines an automatic variable named x that shadows the argument

    return x + y;
}

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