BigInt.parse

parse(text: string, radix: int) -> Option<BigInt>

Модуль: std.bigint →
Получатель: Неприменимо
Минимальное число аргументов: 2
Максимальное число аргументов: 2

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 represents signed integers without a fixed bit width. Its text operations preserve the exact integer value and do not use a locale.

BigInt.parse takes a radix from 2 through 36. Text consists of an optional minus sign followed by at least one ASCII digit or lowercase ASCII letter. Letters a through z have digit values 10 through 35. Every digit must be smaller than the radix.

Leading zero digits are accepted. Negative zero produces the same zero value as 0. Parsing does not trim whitespace, accept a plus sign, accept uppercase letters, accept separators, or interpret a radix prefix. Characters are interpreted as ordinary digits of the supplied radix.

Valid text returns Some containing the exact integer. Empty text, a sign without digits, an invalid digit, any extra character, or a radix outside the allowed range returns None(). These input failures do not raise a runtime fault.

BigInt.toString takes a radix from 2 through 36 and returns lowercase ASCII digits in that radix. A negative nonzero value starts with a minus sign. The output has no radix prefix or leading zero digits. Zero is written as 0.

An invalid BigInt.toString radix raises TPZ5001 during execution. It does not select a default radix or return empty text.

Formatting a value and parsing the result with the same radix recovers that value. Parsing and formatting accepted text produces its canonical spelling in the selected radix.

The receiver and positional arguments are evaluated once in source order before the operation validates their values. An earlier fault prevents later evaluation. The operations do not change their inputs or perform external effects.

Связанное правило · Read and write integers in an explicit radix →

Результат

Дополнительные контракты не определены.

The declared result type is Option<BigInt>.

Эффекты

Не определено

Ошибки

Не определено

Result and effects

Ссылка

Radices from 2 through 36 interpret every ASCII digit. Invalid spelling or radix returns None without changing the input.

Resolved contracts

Ссылка

std.bigint →

Read and write integers in an explicit radix

Ссылка

Правилоtopaz.stdlib.contract.bigint-text.rule

Read and write integers in an explicit radix

BigInt represents signed integers without a fixed bit width. Its text operations preserve the exact integer value and do not use a locale.

An invalid BigInt.toString radix raises TPZ5001 during execution. It does not select a default radix or return empty text.

Formatting a value and parsing the result with the same radix recovers that value. Parsing and formatting accepted text produces its canonical spelling in the selected radix.

Причина

An explicit radix gives each digit one value. Strict input spelling makes accidental whitespace and alternate signs visible to the caller. Canonical output gives stored integer text a predictable form without a locale dependency.

Примеры Parse and format exact integers in explicit radices →Return None for malformed or out of radix digits →Reject parse radices outside two through thirty six →Reject surrounding whitespace in integer text →Reject a leading plus sign in integer text →Reject uppercase letters in integer text →Evaluate parse arguments before validating their values →Reject a formatting radix outside the valid range →Reject a formatting radix outside the valid range →

Диагностика TPZ5001 →

Parse and format exact integers in explicit radices

Ссылка

run · running · Проверка · Не выполнялось

main.tpzParse and format exact integers in explicit radicesОткрыть песочницу →

import std.bigint { BigInt }
import std.test
import std.io
let number = test.assertSome(BigInt.parse("ff", 16))
io.writeLine(number.toString(2))
io.writeLine(number.toString(10))
io.writeLine(number.toString(16))
io.writeLine(test.assertSome(BigInt.parse("z", 36)).toString(10))
io.writeLine(test.assertSome(BigInt.parse("-00015", 10)).toString(16))
io.writeLine(test.assertSome(BigInt.parse("-000", 10)).toString(36))
io.writeLine(test.assertSome(BigInt.parse("123456789012345678901234567890", 10)).toString(10))

Ожидаемый выводКод завершения 0

11111111
255
ff
35
-f
0
123456789012345678901234567890

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

11111111
255
ff
35
-f
0
123456789012345678901234567890

Этот пример ещё не выполнялся.

Return None for malformed or out of radix digits

Ссылка

run · running · Проверка · Не выполнялось

main.tpzReturn None for malformed or out of radix digitsОткрыть песочницу →

import std.bigint { BigInt }
import std.io
for text in (["", "-", "1_0", "0x10", "g", "１２", "1\n2"]) {
match (BigInt.parse(text, 16)) {
case None() => io.writeLine("rejected")
case Some(_) => io.writeLine("accepted")
}
}
match (BigInt.parse("2", 2)) {
case None() => io.writeLine("digit rejected")
case Some(_) => io.writeLine("accepted")
}

Ожидаемый выводКод завершения 0

rejected
rejected
rejected
rejected
rejected
rejected
rejected
digit rejected

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

rejected
rejected
rejected
rejected
rejected
rejected
rejected
digit rejected

Этот пример ещё не выполнялся.

Reject parse radices outside two through thirty six

Ссылка

run · running · Проверка · Не выполнялось

main.tpzReject parse radices outside two through thirty sixОткрыть песочницу →

import std.bigint { BigInt }
import std.io
for radix in ([-1, 0, 1, 37, 9223372036854775807]) {
match (BigInt.parse("10", radix)) {
case None() => io.writeLine("radix rejected")
case Some(_) => io.writeLine("accepted")
}
}

Ожидаемый выводКод завершения 0

radix rejected
radix rejected
radix rejected
radix rejected
radix rejected

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

radix rejected
radix rejected
radix rejected
radix rejected
radix rejected

Этот пример ещё не выполнялся.

Reject surrounding whitespace in integer text

Ссылка

run · running · Проверка · Не выполнялось

main.tpzReject surrounding whitespace in integer textОткрыть песочницу →

import std.bigint { BigInt }
import std.io
match (BigInt.parse(" 10 ", 10)) {
case None() => io.writeLine("whitespace rejected")
case Some(_) => io.writeLine("accepted")
}

Ожидаемый выводКод завершения 0

whitespace rejected

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

whitespace rejected

Этот пример ещё не выполнялся.

Reject a leading plus sign in integer text

Ссылка

run · running · Проверка · Не выполнялось

main.tpzReject a leading plus sign in integer textОткрыть песочницу →

import std.bigint { BigInt }
import std.io
match (BigInt.parse("+10", 10)) {
case None() => io.writeLine("plus rejected")
case Some(_) => io.writeLine("accepted")
}

Ожидаемый выводКод завершения 0

plus rejected

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

plus rejected

Этот пример ещё не выполнялся.

Reject uppercase letters in integer text

Ссылка

run · running · Проверка · Не выполнялось

main.tpzReject uppercase letters in integer textОткрыть песочницу →

import std.bigint { BigInt }
import std.io
match (BigInt.parse("FF", 16)) {
case None() => io.writeLine("uppercase rejected")
case Some(_) => io.writeLine("accepted")
}

Ожидаемый выводКод завершения 0

uppercase rejected

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

uppercase rejected

Этот пример ещё не выполнялся.

Evaluate parse arguments before validating their values

Ссылка

run · running · Проверка · Не выполнялось

main.tpzEvaluate parse arguments before validating their valuesОткрыть песочницу →

import std.bigint { BigInt }
import std.io
function text() -> string {
io.writeLine("text")
return "bad"
}
function radix() -> int {
io.writeLine("radix")
return 10
}
match (BigInt.parse(text(), radix())) {
case None() => io.writeLine("rejected")
case Some(_) => io.writeLine("accepted")
}

Ожидаемый выводКод завершения 0

text
radix
rejected

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Выполнение завершается. Код завершения 0.

Нет вывода ошибок.

Ожидаемый стандартный вывод

text
radix
rejected

Этот пример ещё не выполнялся.

Reject a formatting radix outside the valid range

Ссылка

run · running · Проверка · Не выполнялось

main.tpzReject a formatting radix outside the valid rangeОткрыть песочницу →

import std.bigint { BigInt }
import std.test
import std.io
let number: BigInt = test.assertSome(BigInt.parse("1", 10))
number.toString(1)
io.writeLine("after")

Ожидаемый выводНенулевой код завершения

Нет стандартного вывода.

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Этап отклонения run. Ненулевой код завершения.

TPZ5001 →
stdlib-bigint-radix at main.tpz:5:1

Нет стандартного вывода.

Этот пример ещё не выполнялся.

Reject a formatting radix outside the valid range

Ссылка

run · running · Проверка · Не выполнялось

main.tpzReject a formatting radix outside the valid rangeОткрыть песочницу →

import std.bigint { BigInt }
import std.test
import std.io
let number: BigInt = test.assertSome(BigInt.parse("1", 10))
number.toString(37)
io.writeLine("after")

Ожидаемый выводНенулевой код завершения

Нет стандартного вывода.

$ topaz run main.tpz · Целевой продукт 5.21.3

Ожидаемый результат

Этап отклонения run. Ненулевой код завершения.

TPZ5001 →
stdlib-bigint-radix at main.tpz:5:1

Нет стандартного вывода.

Этот пример ещё не выполнялся.

Diagnostics

Ссылка

Runtime value guard →

Поиск в документации

BigInt.parse

Declaration and parameters

Доступность

Получатель

Ограничения параметров

Результат

Эффекты

Ошибки

Result and effects

Resolved contracts

Read and write integers in an explicit radix

Read and write integers in an explicit radix

Причина

Parse and format exact integers in explicit radices

Ожидаемый результат

Return None for malformed or out of radix digits

Ожидаемый результат

Reject parse radices outside two through thirty six

Ожидаемый результат

Reject surrounding whitespace in integer text

Ожидаемый результат

Reject a leading plus sign in integer text

Ожидаемый результат

Reject uppercase letters in integer text

Ожидаемый результат

Evaluate parse arguments before validating their values

Ожидаемый результат

Reject a formatting radix outside the valid range

Ожидаемый результат

Reject a formatting radix outside the valid range

Ожидаемый результат

Diagnostics

Меню

Declaration and parameters

Доступность

Получатель

Ограничения параметров

Результат

Эффекты

Ошибки

Result and effects

Resolved contracts

Related entries

Read and write integers in an explicit radix

Read and write integers in an explicit radix

Причина

Parse and format exact integers in explicit radices

Ожидаемый результат

Return None for malformed or out of radix digits

Ожидаемый результат

Reject parse radices outside two through thirty six

Ожидаемый результат

Reject surrounding whitespace in integer text

Ожидаемый результат

Reject a leading plus sign in integer text

Ожидаемый результат

Reject uppercase letters in integer text

Ожидаемый результат

Evaluate parse arguments before validating their values

Ожидаемый результат

Reject a formatting radix outside the valid range

Ожидаемый результат

Reject a formatting radix outside the valid range

Ожидаемый результат

Diagnostics