Справа налево или слева направо представляются данные в виде битов в ячейках?

Question

[Артём]

Иными словами слева или справа идут младшие биты в ячейках

#include <iostream>
#include <typeinfo>

using namespace std;

int main()
{
	setlocale(0, "");
	
	long x = 20;

	long *pi = &x;
	short *ps = reinterpret_cast<short*>(&x) + 1;

	cout
	<< (static_cast<void*>(pi) == ps) << '\n';
	cout
	<< pi << '\n'
	<< ps << '\n'
	<< *pi << '\n'
	<< *ps << '\n';

	return 0;
}

Output:

0 // false
0x3bfdcc
0x3bfdce
20
0

Или это потому что адрес, больший другого, на самом деле не "правее", а "левее"?
*ps равен нулю, даже если отнять от ps единицу, а если прибавить или отнять больше единицы, то случайному значению. Он равен двадцать, только если ничего не прибавлять

Comments

[galaxy]

Вопрос-то в чем?

Лево-право у вас в коде вообще где? Дайте определение "левее" и "правее".

*ps равен нулю, даже если отнять от ps единицу, а если прибавить или отнять больше единицы, то случайному значению. Он равен двадцать, только если ничего не прибавлять

ну и? Вы установили, что по адресу самой переменной хранится ее младшее слово, старшее имеет адрес на 2 байта больше. Добро пожаловать в мир Intel и little-endian

[Артём]

galaxy, https://ibb.co/vxBs8mZ

[galaxy]

Артём, интересный способ задавать вопросы...
*ps не равен 20, потому что интеловская архитектура - Little endian

Про *(ps-2) вообще странный вопрос

Мужику нужно починить часы. Идет, видит вывеску, на которой нарисованы часы,
заходит.
- Извините, здесь чинят часы?
- Нет, здесь делают обрезание.
- А почему у вас часы над входом висят?
- А что бы вы хотели, чтоб мы там повесили?

(анекдот, если что)

Что вы хотите там увидеть? Это не ваша память, почему вас волнует, что там лежит? Вами она не используется, а компилятором используется

[Артём]

galaxy, спасибо, понял, просто я думал что "неиспользуемая" память всегда хранит в себе какой-то мусор, а из-за того что там 0, я думал что оно каким-то образом относится к x

Answer 1

[Wataru]

Правильный ответ - ни так и не эдак. Никак. Сравнивать указатели не из одного и того же массива - undefined behavior. Это было недавно в статье на хабре. Там ссылаются на раздел 3.3.8, "Relational operators".

Более того, у вас там в программе еще UB: нельзя обращаться к данным в переменной long через указатель short - Это нарушение strict aliasing.

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

На практике - никаких лево и право там не существует, есть только младшие и старшие адреса, читайте про big/little endian порядки байт. Они там бывают и так и эдак в разных архитектурах. В x86, например, младший байт имеет меньший адрес.