Сложное задание на собеседовании

Question

[Егор Лаврентьев]

В качестве одного из вопросов на собеседовании мне был представлен следующий код:
bool XYZ()
{
unsigned int x = 1;
unsigned char c = *(unsigned char*)&x;
return !!c;
}

И к нему вопрос: Что делает этот код и где его можно применить на 32-битной архитектуре. (Дословно вопроса не помню, но суть вроде передал правильно)
И с первого взгляда и после недельных размышлений кажется, что функция всегда возвращает true, но так ли это?

Answer 1

[Станислав Скобелькин]

Вопрос немножко некорректен. 32-битность здесь большой роли не играет (важно только, чтобы архитектура не была 8-битной, где длина типа int может быть равна длине типа char, но всё равно это тоже некорректно, т.к. размеры типов не зависят от разрядности архитектуры, надо было указывать разрядность типа int), роль играет порядок байт.
Если little-endian (интеловский порядок), то в c помещается наименьший значащий байт числа, т.е. это эквивалентно x % 256.
Если big-endian, то в c помещается наибольший значащий байт числа, т.е. это эквивалентно x >> 24 (для 32-битной архитектуры).
Соответственно, для little-endian эта операция над числом 1 вернёт 1, для big-endian - 0.
Двойной знак вопроса использовался в C (где нет типа bool) для нормализации значения (!!x эквивалентно x > 0 ? 1 : 0).
В C++ ! возвращает bool, а результат двойного применения отрицания это, по сути, преобразование типа исходного значения к bool (!!x эквивалентно (bool)x).
В любом случае, суть последнего выражения - возврат true/1, если архитектура little-endian, а иначе - false/0.
То есть назвать эту функцию можно было IsLittleEndian().

Comments

[Егор Лаврентьев]

О, спасибо, добрый человек. Была у меня мысль что это как-то связано с big/little endian, но понять как именно я не смог.

[Quber]

Поздравляю @Slko! Вы прошли собеседование :)

[dake1231]

Чувак, ты реально крут!!!!

[Миша Васильев]

@Slko а вы можете чуть более подробно про вот это описать: *(unsigned char*)&x;

[Станислав Скобелькин]

@vasilyev Предположим, что переменная x лежит в памяти по адресу 0x400000 (если быть точным, то в адресах 0x400000 - 0x400003). Операция &x даст число 0x400000 типа unsigned int *. После этого идёт преобразование этого типа в unsigned char *. Указатель на переменную x выходит такой, как если бы она была типа unsigned char. После этого разыменовывается указатель. Получается значение типа unsigned char по адресу 0x400000. То есть первый байт переменной x. Если процессор little endian и int 32-битный, то в памяти значения лежат так: 0x01, 0x00, 0x00, 0x00. Соответственно, по адресу первого байта находится значение 0x01. Если big endian, то вот так: 0x00, 0x00, 0x00, 0x01. И в первом байте находится 0x00. Вообще, этот код был бы намного понятнее, если бы там применялся union с двумя значениями типа unsigned int и unsigned char. В первое значение кладётся 1, а из второго получается значение. Все значения union лежат в одних адресах памяти, поэтому суть подхода не изменится.

[Миша Васильев]

@Slko спасибо, примерно к этому мы и пришли коллективно спустя где-то час, после того, как я спросил. теперь уверены, что все правильно =)