Странное выполнение кода.

[Taler]

Я только начал изучение программирования, поэтому представленный внизу код - это просто эксперимент для лучшего понимания процессов.

#include <iostream>
#include <clocale>  // поддержка русского языка
#include <conio.h> //_getch

using namespace std;

int main()
{
	setlocale(LC_CTYPE,"Russian");
	while (1)
	{
		signed short int aa = 1;
		signed short int ab = 2;
		signed short int ac = 3;
		signed short int *a,*b,*c;
		
		a = &aa;
		b = &ab;
		c = &ac;
		
		cout << "Адрес a: " << a << '\n'
			<< "Адрес b: " << b << '\n'
			<< "Адрес c: " << c << '\n';
		
		_getch();
	}

	_getch();
	return 0;
}

При выполнении этого кода на экране появляются вот такие строки:

Адрес а: 0012FF60
Адрес b: 0012FF54
Адрес c: 0012FF48

В связи с этим у меня появилось сразу же два вопроса:
1. По идее на экран должны выводится адреса переменных aa,ab и ac. На первый взгляд это и происходит. Но дело в том, что адреса выводятся всё время одни и тежи, сколько бы раз не запускалась программа. Так ведь не может быть, чтоба Операционная Система всегда размещала переменные точно в одном и том же масте. Я даже пробовал специально занимать много памяти другими программами, чтобы эти адреса точно были заняты, но результат не меняется. В чём тут дело? Поясните кто понимает.
2.В коде все три переменные объявлены как signed short int. Значит под них должно быть выделено по два байта (16 бит). А в консоле мы видим, что для первой переменной (а) выделено 4 байта, а для второй (b) вообще 6 байт. Почему?

[EUGY]

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

2)
Длина типа signed short int - действительно два байта.
Но почему Вы решили что разброс адресов у двух подряд объявленных переменных должен в точности равнятся длине типа первой переменной?
Вот если бы вы увидели что разница в адресах меньше длины типа, тогда был бы повод задуматься.

[Granus]

2. Адреса написаны в шестнадцатиричной системе, разница между ними по 12 байт. У меня тот же код выделяет по два байта. Откуда разница - понятия не имею)

[t2skler]

Да, как уже и сказал EUGY у каждого приложения своё адресное пространство. Проверяется это достаточно простым запуском одного и того же приложения дважды. Адреса будут одинаковы. По видимому вы пользуетесь Visual Studio. Попробуйте посмотреть, что вернёт вам ф-я sizeof(signed short int). У каждого компилятора своё мнение по поводу количества места занимаемого переменной определённого типа в оперативной памяти.

[Гром]

Есть подозрение, что в 32-разрядной системе даже char будет занимать 4 байта. Гарантировано стандартом только то, что размер short по меньшей мере составляет 2 байта, максимальный размер стандартом не ограничен.

[EUGY]

Гром, у автора сомнение, почему у него тип занимает два байта sizeof(short)==2
А адрес следующей переменной отличается от адреса первой больше чем на два байта. Как будто объявленные подряд переменные должны быть упакованой структурой.

[Taler]

Попробовал создать массив из переменных и вывести их. В этом случае всё выводится правильно - если short, то 2 байта; если long, то 4 байта. Действительно, отдельные переменные, в отличие от массивов или структур, не обязаны стоять строго друг за другом. Это я как-то забыл. Потом сам сообразил. Однако, не понятно, почему мой компилятор ставит их так далеко друг от друга - аж 12 байт, а компилятор Granus'а: http://programmersforum.ru/showpost....56&postcount=3
чётко друг за другом. Я действительно пользуюсь Visual Studio. Видимо это особенности компилятора?

Если я правильно понял, то виртуальное адресное пространство - это, как бы, "метка", которую ставит компилятор, и отсчитывает от неё размещение данных всего кода. И эта метка не имеет прямого отношения к реальным ячейкам памяти.

[Пепел Феникса]

ТС, в виртуальное адресное пространство вы вообще зря полезли.
а тот эффект что вы видите называеться "выравнивание данных".

ответы:
1)так код то один и тот же, почему должно чтото меняться?
точка входа та же самая, вершина стека там же, ничего по сути и не меняеться между запусками.

Есть подозрение, что в 32-разрядной системе даже char будет занимать 4 байта. Гарантировано стандартом только то, что размер short по меньшей мере составляет 2 байта, максимальный размер стандартом не ограничен.

нет, размер строго стандартизирован.
а вот выравнивание данных не ограничено.

[EUGY]

Видимо это особенности компилятора?

Да, причем на одном компиляторе в debug и release могут быть разные результаты.

ЗЫ. Не думаю, что это объясняется выравниванием.

[Пепел Феникса]

ЗЫ. Не думаю, что это объясняется выравниванием.

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