Про целочисленные типы

[vitus_wagner]

Интересно, что количество бит в самом большом целочисленном типе, поддерживаемом современными компиляторами (int128_t), уже сравнялось с максимальным значением самого маленького (signed char).

Это к вопросу о том, как интерпретировать x << -1.

Мне пришли в голову две «естественные» интерпретации:

1. x << -1 = x >> 1.
2. x << -1 = x<< ((usigned что-то)-1) = x << 255 или x << 65535 и так далее.

В обоих случаях 1 << -1 = 0.

Но не все компиляторы с этим согласны. (понятно что по стандарту это undefined behavoir).

Comments

[vitus_wagner]

В стандарте написано, что char - это минимальный квант адресации, что любые размеры типов кратны char, и результат sizeof выражается в char-ах. Но никто не обещал что этот квант равен 8 битам.

Существовали архитектуры, в которых минимальным адресуемым фрагментом было машинное слово. Там как ни крути, всегда получалось, что размер любого типа кратен размеру слова.

[livelight]

Если минимальный квант адресации больше 8 бит, то тип int8_t получить вообще не получится, кроме как в битовых структурах. Но такое по указателю в operator >> точно не передашь никак.

[vitus_wagner]

Только если искусственно ограничить использование значений превосходящих требуемый диапазон (как поступают с boolean).