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.

결과

추가 계약은 미정입니다.

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

기대 결과