to Int() - > Option<int>- 수신자
- 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