to- Модуль
- std.
bigint → - Получатель
- Big
Int - Минимальное число аргументов
- 0
- Максимальное число аргументов
- 0
Declaration and parameters
СсылкаДоступность
Включено по умолчанию · Не определено
Import std.bigint in language mode 5.21.
The current compiler selects std/bigint.tpz for this language mode. Availability in other released editions and inclusion in each installed distribution are Pending.
Получатель
BigInt
Ограничения параметров
BigInt.toInt returns Some containing the same integer when the value is at least -9223372036854775808 and at most 9223372036854775807. Both endpoints are included.
Every value outside that signed 64 bit range returns None(). Conversion does not wrap, truncate, round, or saturate.
The operation evaluates its receiver once and leaves it unchanged. A failed conversion is an Option value and does not raise an arithmetic overflow fault.
BigInt.parse can represent integers beyond the int range. BigInt.toString still formats those values exactly when BigInt.toInt returns None().
Связанное правило · Convert exact integers within the int range →Результат
The declared result type is Option<int>.
Эффекты
Ошибки
Result and effects
СсылкаBoth signed 64 bit endpoints return Some. Values outside the range return None without wrapping or saturation.
Resolved contracts
СсылкаRelated entries
СсылкаConvert exact integers within the int range
СсылкаConvert exact integers within the int range
BigInt.toInt returns Some containing the same integer when the value is at least -9223372036854775808 and at most 9223372036854775807. Both endpoints are included.
Every value outside that signed 64 bit range returns None(). Conversion does not wrap, truncate, round, or saturate.
The operation evaluates its receiver once and leaves it unchanged. A failed conversion is an Option value and does not raise an arithmetic overflow fault.
BigInt.parse can represent integers beyond the int range. BigInt.toString still formats those values exactly when BigInt.toInt returns None().
Причина
A checked conversion preserves the distinction between an exact arbitrary precision value and a bounded machine integer. Option makes failure explicit without inventing a replacement integer.
Include both int endpoints and reject their neighbors
Ссылкаimport std.bigint { BigInt }import std.testimport std.iofunction show(text: string) -> () {let value = test.assertSome(BigInt.parse(text, 10))match (value.toInt()) {case Some(integer) => io.writeLine("{integer}")case None() => io.writeLine("outside int")}}show("-9223372036854775808")show("9223372036854775807")show("-9223372036854775809")show("9223372036854775808")show("0")
-9223372036854775808
9223372036854775807
outside int
outside int
0
Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
-92233720368547758089223372036854775807outside intoutside int0
Keep a large value after conversion fails
Ссылкаimport std.bigint { BigInt }import std.testimport std.iolet value = test.assertSome(BigInt.parse("1000000000000000000000000000000", 10))match (value.toInt()) {case None() => io.writeLine("outside int")case Some(_) => io.writeLine("converted")}io.writeLine(value.toString(10))
outside int
1000000000000000000000000000000
Ожидаемый результат
Ожидаемый результат
Выполнение завершается. Код завершения 0.
outside int1000000000000000000000000000000