JDK 8 BigInteger Точные методы сужения преобразования

В статье блога « Точное преобразование Long в Int в Java » я обсуждал использование Math.toIntExact (Long) для точного преобразования Long в int или иначе генерируем ArithmeticException, если это сужающее преобразование невозможно.

Этот метод был введен в JDK 8 , который также представил сходные методы сужающего преобразования для класса BigInteger . Эти методы BigInteger являются темой этого поста.

BigInteger добавил четыре новых «точных» метода в JDK 8:

• byteValueExact () — преобразует значение BigInteger точно в byte если это возможно
• shortValueExact () — преобразует значение BigInteger в short если это возможно
• intValueExact () — преобразует значение BigInteger точно в int если это возможно
• longValueExact () — преобразует значение BigInteger точно в long если это возможно

Как описано выше, каждый из этих четырех «точных» методов, добавленных в BigInteger с JDK 8, позволяет сузить значение BigInteger до типа данных в имени метода, если это возможно. Поскольку все эти типы ( byte , short , int и long ) имеют меньшие диапазоны, чем BigInteger , в любом из этих случаев возможно иметь значение в BigDecimal со значением, превышающим то, которое может быть представлено любым из этих четырех типов , В таком случае все четыре из этих «точных» методов генерируют исключение ArithmeticException а не «тихо» принудительно увеличивают большее значение в меньшем представлении (которое обычно является бессмысленным числом для большинства контекстов).

Примеры использования этих методов можно найти на GitHub . Когда эти примеры выполняются, вывод выглядит так:

Добавление этих «точных» методов в BigInteger с JDK 8 приветствуется, поскольку ошибки, связанные с сужением и переполнением чисел, могут быть незначительными. Приятно иметь простой способ получить «точное» сужение, иначе невозможно сделать это сужение, которое становится очевидным через исключение.