Предупреждение Findbugs: целочисленный сдвиг на 32, что это значит?

Из Спецификации языка Java:

Если повышенный тип левого операнда — int, в качестве расстояния сдвига используются только пять младших битов правого операнда. Это как если бы правый операнд был подвергнут побитовому логическому оператору И & (§15.22.1) со значением маски 0x1f. Таким образом, фактически используемое расстояние смещения всегда находится в диапазоне от 0 до 31 включительно.

Итак, если b является целым числом, выражение идентично

long a = b | c;

что я очень сомневаюсь, что это то, что предназначено. Вероятно, это должно было быть

long a = ((long) b << 32) | c;

(Если b уже длинное, код правильный и FindBugs ошибается).

Отредактировано: Проблема почти наверняка связана с тем, что "b" - это "int", а не "long".

В C, если 'b' является целым числом, а не длинным, и вы выполняете сдвиг влево на 32 бита, все биты исходного значения удаляются, поэтому результат общего выражения будет таким же, как 'c ' вы вызовете неопределенное поведение, поэтому допустим любой результат. Java определяет вещи по-другому - как отмечено в комментарии Расмуса Фабера и выбранном ответе - и делает сверхдлинные сдвиги по модулю максимального количества битов, которые можно сдвинуть. [Это кажется странным способом ведения бизнеса; Я бы, наверное, устроил исключение для языка, в котором они есть. Однако оно четко определено, что более важно, чем точное определение.] Приведение к 64-битам не происходит во время вычисления выражения; это происходит, когда выражение завершено и происходит присваивание.

Ссылка на 5 бит... интригует. Это означает, что сдвиг влево, скажем, на 48 или двоичное число 110000 будет таким же, как сдвиг влево на 16. Или, альтернативно, 'x << n' будет таким же, как 'x << (n % 32)'.