URL.query

Declaration and parameters

Доступность

Включено по умолчанию · Не определено

Import std.url in language mode 5.21.

The current compiler selects std/url.tpz for this language mode. Availability in other released editions and inclusion in each installed distribution are Pending.

Получатель

URL

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

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

URL.query returns a new Map from decoded names to arrays of decoded values. A missing query and an empty query both produce an empty map.

Query decoding follows application/x-www-form-urlencoded parsing. Ampersands separate fields. Empty fields between separators are skipped. The first equals sign separates each name from its value. A field without that sign has an empty value.

An explicit empty name is retained. A plus sign decodes to an ASCII space. Valid percent escapes decode to bytes and those bytes decode as UTF-8. Malformed percent escapes remain literal text and invalid UTF-8 sequences use the replacement character.

Repeated names are grouped after decoding. Values retain encounter order. Map keys retain the order in which their decoded names first appear. No sorting, deduplication, or comma splitting occurs.

The returned Map and its value arrays follow collection value semantics. URL.toString preserves the stored serialized query rather than serializing this map.

Reading a query evaluates its receiver once and performs no external operation. A constructed URL can always produce its query map. Query decoding does not return a diagnostic or a Result error.

Связанное правило · Decode query fields into an independent map →

Результат

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

The declared result type is Map<string, Array<string>>.

Эффекты

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

Ошибки

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

Result and effects

Ссылка

Returns an independent map of form-decoded query names and ordered value arrays.

Resolved contracts

Ссылка

std.url →

Decode query fields into an independent map

Ссылка

Правилоtopaz.stdlib.contract.url-query.rule

Decode query fields into an independent map

URL.query returns a new Map from decoded names to arrays of decoded values. A missing query and an empty query both produce an empty map.

Query decoding follows application/x-www-form-urlencoded parsing. Ampersands separate fields. Empty fields between separators are skipped. The first equals sign separates each name from its value. A field without that sign has an empty value.

An explicit empty name is retained. A plus sign decodes to an ASCII space. Valid percent escapes decode to bytes and those bytes decode as UTF-8. Malformed percent escapes remain literal text and invalid UTF-8 sequences use the replacement character.

Repeated names are grouped after decoding. Values retain encounter order. Map keys retain the order in which their decoded names first appear. No sorting, deduplication, or comma splitting occurs.

The returned Map and its value arrays follow collection value semantics. URL.toString preserves the stored serialized query rather than serializing this map.

Reading a query evaluates its receiver once and performs no external operation. A constructed URL can always produce its query map. Query decoding does not return a diagnostic or a Result error.

Причина

Query syntax has its own escaping rules and permits repeated names. Grouped arrays preserve every value while immutable URLs keep query inspection from silently rewriting a link.

Примеры Decode repeated query fields and preserve their value order →Skip empty separators while retaining an explicit empty field →Keep malformed percent escapes as query data →Replace an invalid decoded UTF-8 byte in a query field →Mutate a query snapshot without changing its URL →

Decode repeated query fields and preserve their value order

Ссылка

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

main.tpzDecode repeated query fields and preserve their value orderОткрыть песочницу →

import std.url { URL }
import std.io
match (URL.parse("https://example.com/?q=a+b&q=%ED%95%9C&empty&x=a=b&=blank")) {
case Ok(value) => {
let fields = value.query()
for name in (["q", "empty", "x", ""]) {
match (fields.get(name)) {
case Some(values) => {
for item in (values) {
io.writeLine("{name}={item}")
}
}
case None() => io.writeLine("missing")
}
}
}
case Err(_) => io.writeLine("parse failed")
}

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

q=a b
q=한
empty=
x=a=b
=blank

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

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

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

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

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

q=a b
q=한
empty=
x=a=b
=blank

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

Skip empty separators while retaining an explicit empty field

Ссылка

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

main.tpzSkip empty separators while retaining an explicit empty fieldОткрыть песочницу →

import std.url { URL }
import std.io
for text in (["https://example.com/", "https://example.com/?", "https://example.com/?&&a=1&&", "https://example.com/?="]) {
match (URL.parse(text)) {
case Ok(value) => {
let fields = value.query()
let hasEmptyName = fields.containsKey("")
io.writeLine("{fields.length}:{hasEmptyName}")
}
case Err(_) => io.writeLine("parse failed")
}
}

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

0:false
0:false
1:false
1:true

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

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

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

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

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

0:false
0:false
1:false
1:true

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

Keep malformed percent escapes as query data

Ссылка

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

main.tpzKeep malformed percent escapes as query dataОткрыть песочницу →

import std.url { URL }
import std.io
for text in (["https://example.com/?x=%", "https://example.com/?x=%GG"]) {
match (URL.parse(text)) {
case Ok(value) => {
match (value.query().get("x")) {
case Some(values) => io.writeLine(values[0])
case None() => io.writeLine("missing")
}
}
case Err(_) => io.writeLine("parse failed")
}
}

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

%
%GG

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

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

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

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

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

%
%GG

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

Replace an invalid decoded UTF-8 byte in a query field

Ссылка

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

main.tpzReplace an invalid decoded UTF-8 byte in a query fieldОткрыть песочницу →

import std.url { URL }
import std.io
match (URL.parse("https://example.com/?x=%ff")) {
case Ok(value) => {
match (value.query().get("x")) {
case Some(values) => io.writeLine(values[0])
case None() => io.writeLine("missing")
}
io.writeLine(value.toString())
}
case Err(_) => io.writeLine("parse failed")
}

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

�
https://example.com/?x=%ff

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

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

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

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

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

�
https://example.com/?x=%ff

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

Mutate a query snapshot without changing its URL

Ссылка

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

main.tpzMutate a query snapshot without changing its URLОткрыть песочницу →

import std.url { URL }
import std.io
match (URL.parse("https://example.com/?k=first")) {
case Ok(value) => {
let mut snapshot = value.query()
snapshot.insert("k", ["changed", "again"])
snapshot.insert("extra", ["local"])
let reread = value.query()
io.writeLine("{reread.length}")
match (reread.get("k")) {
case Some(values) => {
for item in (values) {
io.writeLine(item)
}
}
case None() => io.writeLine("missing")
}
io.writeLine(value.toString())
}
case Err(_) => io.writeLine("parse failed")
}

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

1
first
https://example.com/?k=first

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

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

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

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

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

1
first
https://example.com/?k=first

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

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

Declaration and parameters

Доступность

Получатель

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

Результат

Эффекты

Ошибки

Result and effects

Resolved contracts

Decode query fields into an independent map

Decode query fields into an independent map

Причина

Decode repeated query fields and preserve their value order

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

Skip empty separators while retaining an explicit empty field

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

Keep malformed percent escapes as query data

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

Replace an invalid decoded UTF-8 byte in a query field

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

Mutate a query snapshot without changing its URL

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

Меню

Declaration and parameters

Доступность

Получатель

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

Результат

Эффекты

Ошибки

Result and effects

Resolved contracts

Related entries

Decode query fields into an independent map

Decode query fields into an independent map

Причина

Decode repeated query fields and preserve their value order

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

Skip empty separators while retaining an explicit empty field

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

Keep malformed percent escapes as query data

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

Replace an invalid decoded UTF-8 byte in a query field

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

Mutate a query snapshot without changing its URL

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