Диапазоны целочисленных констант

[Sibedir]

Всем привет. Давненько не виделись
Подскажите, почему так?
Код

var
  i: UInt32;
begin
  i := 1 shl 31;
  ShowMessage (IntToStr (i));
end;

Выдаёт:

[dcc32 Error] MainForm.pas(32): E1012 Constant expression violates subrange bounds

А вот ток

var
  i: UInt32;
begin
  i := UInt32(1 shl 31);
  ShowMessage (IntToStr (i));
end;

Уже нормально:

2147483648

При чем

  i := 1 shl 30;

работает

[Sibedir]

Он что, типа по умолчанию целочисленные константы считает знакопеременными?

Ваще логика странная

var
  i: Int64;
begin
  i := 1 shl 31;
  ShowMessage (IntToStr (i));
end;

-2147483648

[Аватар]

Именованные не типизированные целочисленные константы имеют тип longint или int64, если выход за диапазон longint-а. Надо полагать это имеет отношение и к не именованным.

[Sibedir]

Ну получается, что для не именованых это только longint (см. пост 2).

[Аватар]

там же в знаковый int64 присваивается longint(-2147483648) так, что так и должно быть.
i := UInt32(1 shl 31) // 2147483648 - тоже понятно - приведение к беззнаковому
а тот i := 1 shl 31 из #1 и ошибка пока не догоняю )

зы, там ошибка присвоения отрицательного беззнаковому типу

[northener]

Это уже весьма старый глюк папаши Борланда.

[Аватар]

А чего глючного? Все согласно типа операнда и битового сдвига. А арифметического и циклического сдвига в делфи нет

add
мало того, Byte(1) shl 31 все равно вернет -2147483648, то есть Byte перед shl повышается до longint.

[Sibedir]

Ну ладно, в принципе понятно.
Спасибо. Как всегда экономите кучу времени неучам, которые типа программируют. Разбогатею - отблагодарю