когда endianess имеет значение — операции приведения

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

О, Боже. То, что я собираюсь сказать здесь, почему это работает на самый архитектуры, но я не могу сказать, насколько это на самом деле стандарт.

То, что вы делаете, это приведение массива endian коротко. Теперь массивы — это в основном указатели, имя массива фактически содержит адрес первого элемента. Единственное реальное отличие состоит в том, что массивы содержат более полезные метаданные, а некоторые операции с массивами отличаются (sizeof, например). Затем вы используете этот адрес (endian) и создание short указатель от него. Адрес памяти остается прежним, просто вы интерпретируете данные, на которые указывают по-разному. Затем вы разыменовываете этот указатель, чтобы вернуть значение и присвоить его x,

Быстрое примечание стороны. Это может не работать на всех системах. В С, int определяется как ширина, равная собственному размеру слова вашей архитектуры (4 байта на x86, 8 на x86_64). short тогда определяется только как короче, чем int (или равно, если память работает правильно). По этой причине этот код не будет работать на 8-битных архитектурах. Чтобы это работало, размер целевого типа данных в байтах должен быть равен или меньше размера массива.

В равной степени, long просто определено, чтобы быть длиннее, чем intобычно 8 или 16 байт на x86 и x86_64 соответственно. В этом случае этот код будет работать на x86:

unsigned char endian[8] = {1,2,3,4,5,6,7,8};
long x = *(long*)endian;

В любом случае, порядковый номер процессора полностью зависит от процессора. x86 является прямым порядком байтов (и в основном начал конвенцию устройств LE, IIRC). SPARC с прямым порядком байтов (до 9, который может быть и тем и другим). ARM и MIPS также можно настраивать, а Microblaze зависит от используемой шины (AXI или PLB). В любом случае, порядковый номер не ограничивается только процессорами, он также является проблемой при взаимодействии с оборудованием или другими компьютерами.

Для вашего последнего вопроса, самый значимый байт называется так, потому что значение представляет больше, чем наибольшее значение, которое могут представлять младшие байты. В случае 16-битного слова младший значащий байт может представлять 0-255, а старший значащий байт — 256-65535.

В любом случае, если вы не занимаетесь системным программированием низкого уровня (а я имею в виду прямое изменение памяти) или пишете протоколы связи, вы никогда не будете Когда-либо нужно беспокоиться о порядке байтов

unsigned char endian[2] = {1, 0};
short x;

x = *(short *) endian;

Этот код имеет неопределенное поведение. Результат может быть x установите значение 1, 256, 4000, иначе программа может аварийно завершить работу или что-то еще может произойти по закону. Это имеет место даже без учета того, является ли массив достаточно большим для типа, к которому он приведен.

Вот переписать код, чтобы сделать его легальным и сделать то, что задумал автор.

unsigned char endian[sizeof(short)] = {1};
short x;
std::memcpy(&x, endian, sizeof(short));

Если бы вы должны были написать код, который пытался получить int из этого массива он получит доступ за допустимые границы массива, и вы снова столкнетесь с неопределенным поведением; может произойти все, что угодно.

в этом случае был выделен массив с двумя однобайтовыми элементами. почему 1 считается самым значимым байтом?

(Я предполагаю, что вы хотите спросить, почему endian[1] говорят, что он содержит самый значимый байт.)

Потому что в этом примере система имеет младший порядок байтов и, как вы говорите, определение байтов с прямым порядком байтов — это самый старший байт в ячейке памяти с самым высоким адресом. endian[1] имеет более высокий адрес, чем endian[0] так endian[1] будет содержать самый значимый байт.