URL.toString

toString() -> string

모듈: std.url →
수신자: URL
최소 인자 수: 0
최대 인자 수: 0

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.parse takes a string and applies the WHATWG URL parser with UTF-8 input and no base URL. A successful parse returns Ok containing an immutable URL. Relative references need a base and therefore return Err.

A parser failure returns Err containing a nonempty string. Missing or invalid schemes, invalid hosts, and ports outside 0 through 65535 fail. Error wording is explanatory text and has no fixed spelling.

URL preprocessing removes leading and trailing code points from U+0000 through U+0020. It then removes U+0009, U+000A, and U+000D throughout the input. Other characters are processed by the URL parser. A validation warning that permits parsing does not become an Err.

Schemes use lowercase. Special-scheme domain hosts use ASCII domain serialization. Default ports disappear and hierarchical dot segments are removed. Opaque paths retain their distinct path interpretation.

The default ports are 21 for ftp, 80 for http and ws, and 443 for https and wss. Other valid ports survive serialization as decimal integers. The file scheme has no port.

URL.toString serializes every stored component. It preserves user information, nondefault ports, query order, and explicit empty query and fragment delimiters. Existing percent escapes retain their spelling. Newly escaped characters use percent-encoded UTF-8 bytes with uppercase hexadecimal digits.

Parsing the serialization produces the same serialization and component values. Reading a URL does not modify it. Parsing evaluates its argument once before validation and performs no network or filesystem operation.

URL.scheme returns the lowercase scheme without its delimiter. URL.host returns Some containing the serialized host without user information or a port. IPv6 hosts include their square brackets.

A URL whose host is absent returns None() from URL.host. A present empty host returns Some containing an empty string. A local file URL can have that empty host.

URL.path returns the serialized path without the query or fragment. A hierarchical path retains its leading slash. An opaque path has no implied slash. Percent escapes stay encoded so an escaped slash remains path data.

URL.fragment returns None() when there is no fragment delimiter. An explicit empty fragment returns Some containing an empty string. A present fragment excludes its delimiter and retains percent encoding.

Scheme, host, path, and fragment inspection cannot fail after construction. Each receiver is evaluated once. The returned strings are immutable and inspection has no external effects.

Read URL.query for decoded query fields. URL.path and URL.fragment do not apply query decoding. In particular, a plus sign in those components remains a plus sign.

결과

추가 계약은 미정입니다.

The declared result type is string.

효과

미정

실패

미정

Result and effects

링크

Serializes all URL components into stable URL text.

Resolved contracts

링크

std.url →

Parse and serialize absolute URLs

링크

규칙topaz.stdlib.contract.url-parse.rule

Parse and serialize absolute URLs

The default ports are 21 for ftp, 80 for http and ws, and 443 for https and wss. Other valid ports survive serialization as decimal integers. The file scheme has no port.

이유

A single established parser gives URL text one interpretation. Parsing without a hidden base makes acceptance independent of the working directory and browser location. Stable serialization keeps resource identifiers reusable in text and typeset links.

예제 Normalize the scheme, host, port, and path →Handle invalid absolute URL text as data →Check both port boundaries and the first invalid port →Apply URL preprocessing and escape a path space →Preserve serialized escapes and empty components through parsing →Evaluate the input once before reporting a parse error →Reject a forbidden domain character →

Normalize the scheme, host, port, and path

링크

run · running · 검증 · 미실행

main.tpzNormalize the scheme, host, port, and path플레이그라운드 열기 →

import std.url { URL }
import std.io
match (URL.parse("HTTPS://Example.COM:443/a/./b/../c?x=1#part")) {
case Ok(value) => io.writeLine(value.toString())
case Err(_) => io.writeLine("parse failed")
}

기대 출력종료 코드 0

https://example.com/a/c?x=1#part

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

https://example.com/a/c?x=1#part

이 예제는 아직 실행하지 않았습니다.

Handle invalid absolute URL text as data

링크

run · running · 검증 · 미실행

main.tpzHandle invalid absolute URL text as data플레이그라운드 열기 →

import std.url { URL }
import std.io
for text in (["", "../guide", "1bad:x", "https://", "https://example.com:wrong"]) {
match (URL.parse(text)) {
case Err(message) => io.writeLine("{message != ""}")
case Ok(_) => io.writeLine("accepted")
}
}

기대 출력종료 코드 0

true
true
true
true
true

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

true
true
true
true
true

이 예제는 아직 실행하지 않았습니다.

Check both port boundaries and the first invalid port

링크

run · running · 검증 · 미실행

main.tpzCheck both port boundaries and the first invalid port플레이그라운드 열기 →

import std.url { URL }
import std.io
for text in (["https://example.com:0", "https://example.com:65535", "https://example.com:65536"]) {
match (URL.parse(text)) {
case Ok(value) => io.writeLine(value.toString())
case Err(_) => io.writeLine("invalid port")
}
}

기대 출력종료 코드 0

https://example.com:0/
https://example.com:65535/
invalid port

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

https://example.com:0/
https://example.com:65535/
invalid port

이 예제는 아직 실행하지 않았습니다.

Apply URL preprocessing and escape a path space

링크

run · running · 검증 · 미실행

main.tpzApply URL preprocessing and escape a path space플레이그라운드 열기 →

import std.url { URL }
import std.io
match (URL.parse(" \thttps://EXAMPLE.com/a b\n")) {
case Ok(value) => io.writeLine(value.toString())
case Err(_) => io.writeLine("parse failed")
}

기대 출력종료 코드 0

https://example.com/a%20b

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

https://example.com/a%20b

이 예제는 아직 실행하지 않았습니다.

Preserve serialized escapes and empty components through parsing

링크

run · running · 검증 · 미실행

main.tpzPreserve serialized escapes and empty components through parsing플레이그라운드 열기 →

import std.url { URL }
import std.io
for text in (["https://example.com/a%2fb?x=%2b#p%2fq", "https://example.com/?#"]) {
match (URL.parse(text)) {
case Ok(value) => {
io.writeLine(value.toString())
match (URL.parse(value.toString())) {
case Ok(again) => io.writeLine(again.toString())
case Err(_) => io.writeLine("second parse failed")
}
}
case Err(_) => io.writeLine("first parse failed")
}
}

기대 출력종료 코드 0

https://example.com/a%2fb?x=%2b#p%2fq
https://example.com/a%2fb?x=%2b#p%2fq
https://example.com/?#
https://example.com/?#

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

https://example.com/a%2fb?x=%2b#p%2fq
https://example.com/a%2fb?x=%2b#p%2fq
https://example.com/?#
https://example.com/?#

이 예제는 아직 실행하지 않았습니다.

Evaluate the input once before reporting a parse error

링크

run · running · 검증 · 미실행

main.tpzEvaluate the input once before reporting a parse error플레이그라운드 열기 →

import std.url { URL }
import std.io
function inputText() -> string {
io.writeLine("input")
return "../chapter"
}
match (URL.parse(inputText())) {
case Err(_) => io.writeLine("invalid URL")
case Ok(_) => io.writeLine("accepted")
}

기대 출력종료 코드 0

input
invalid URL

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

input
invalid URL

이 예제는 아직 실행하지 않았습니다.

Reject a forbidden domain character

링크

run · running · 검증 · 미실행

main.tpzReject a forbidden domain character플레이그라운드 열기 →

import std.url { URL }
import std.io
match (URL.parse("https://exa[mple.com/")) {
case Err(_) => io.writeLine("invalid host")
case Ok(_) => io.writeLine("accepted")
}

기대 출력종료 코드 0

invalid host

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

invalid host

이 예제는 아직 실행하지 않았습니다.

Read serialized URL components and their absence

링크

규칙topaz.stdlib.contract.url-components.rule

Read serialized URL components and their absence

URL.scheme returns the lowercase scheme without its delimiter. URL.host returns Some containing the serialized host without user information or a port. IPv6 hosts include their square brackets.

A URL whose host is absent returns None() from URL.host. A present empty host returns Some containing an empty string. A local file URL can have that empty host.

Scheme, host, path, and fragment inspection cannot fail after construction. Each receiver is evaluated once. The returned strings are immutable and inspection has no external effects.

Read URL.query for decoded query fields. URL.path and URL.fragment do not apply query decoding. In particular, a plus sign in those components remains a plus sign.

이유

Component access must preserve delimiters as data and distinguish absence from an empty component. Encoded path and fragment values can be placed back into a URL without turning an escaped separator into structure.

예제 Read encoded URL components without decoding delimiters →Distinguish an absent fragment from an empty fragment →Read IPv6 and file hosts without losing authority data →Serialize a Unicode domain, path, and fragment →

Read encoded URL components without decoding delimiters

링크

run · running · 검증 · 미실행

main.tpzRead encoded URL components without decoding delimiters플레이그라운드 열기 →

import std.url { URL }
import std.io
match (URL.parse("HTTPS://EXAMPLE.COM:8443/a%2Fb?q=a+b#x%20y")) {
case Ok(value) => {
io.writeLine(value.scheme())
match (value.host()) {
case Some(host) => io.writeLine(host)
case None() => io.writeLine("no host")
}
io.writeLine(value.path())
match (value.fragment()) {
case Some(fragment) => io.writeLine(fragment)
case None() => io.writeLine("no fragment")
}
io.writeLine(value.toString())
}
case Err(_) => io.writeLine("parse failed")
}

기대 출력종료 코드 0

https
example.com
/a%2Fb
x%20y
https://example.com:8443/a%2Fb?q=a+b#x%20y

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

https
example.com
/a%2Fb
x%20y
https://example.com:8443/a%2Fb?q=a+b#x%20y

이 예제는 아직 실행하지 않았습니다.

Distinguish an absent fragment from an empty fragment

링크

run · running · 검증 · 미실행

main.tpzDistinguish an absent fragment from an empty fragment플레이그라운드 열기 →

import std.url { URL }
import std.io
for text in (["mailto:reader@example.com", "mailto:reader@example.com#"]) {
match (URL.parse(text)) {
case Ok(value) => {
io.writeLine(value.scheme())
match (value.host()) {
case None() => io.writeLine("no host")
case Some(host) => io.writeLine("host={host}")
}
io.writeLine(value.path())
match (value.fragment()) {
case None() => io.writeLine("no fragment")
case Some(fragment) => io.writeLine("fragment={fragment}")
}
io.writeLine("{value.query().length}")
}
case Err(_) => io.writeLine("parse failed")
}
}

기대 출력종료 코드 0

mailto
no host
reader@example.com
no fragment
0
mailto
no host
reader@example.com
fragment=
0

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

mailto
no host
reader@example.com
no fragment
0
mailto
no host
reader@example.com
fragment=
0

이 예제는 아직 실행하지 않았습니다.

Read IPv6 and file hosts without losing authority data

링크

run · running · 검증 · 미실행

main.tpzRead IPv6 and file hosts without losing authority data플레이그라운드 열기 →

import std.url { URL }
import std.io
for text in (["https://u:p@[2001:DB8::1]:443/", "file:///tmp/a"]) {
match (URL.parse(text)) {
case Ok(value) => {
match (value.host()) {
case Some(host) => io.writeLine("host={host}")
case None() => io.writeLine("no host")
}
io.writeLine(value.toString())
}
case Err(_) => io.writeLine("parse failed")
}
}

기대 출력종료 코드 0

host=[2001:db8::1]
https://u:p@[2001:db8::1]/
host=
file:///tmp/a

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

host=[2001:db8::1]
https://u:p@[2001:db8::1]/
host=
file:///tmp/a

이 예제는 아직 실행하지 않았습니다.

Serialize a Unicode domain, path, and fragment

링크

run · running · 검증 · 미실행

main.tpzSerialize a Unicode domain, path, and fragment플레이그라운드 열기 →

import std.url { URL }
import std.io
match (URL.parse("https://bücher.example/한#α")) {
case Ok(value) => {
match (value.host()) {
case Some(host) => io.writeLine(host)
case None() => io.writeLine("no host")
}
io.writeLine(value.path())
match (value.fragment()) {
case Some(fragment) => io.writeLine(fragment)
case None() => io.writeLine("no fragment")
}
io.writeLine(value.toString())
}
case Err(_) => io.writeLine("parse failed")
}

기대 출력종료 코드 0

xn--bcher-kva.example
/%ED%95%9C
%CE%B1
https://xn--bcher-kva.example/%ED%95%9C#%CE%B1

$ topaz run main.tpz · 대상 제품 5.21.3

기대 결과

실행을 마칩니다. 종료 코드 0.

표준 오류 출력 없음.

기대 표준 출력

xn--bcher-kva.example
/%ED%95%9C
%CE%B1
https://xn--bcher-kva.example/%ED%95%9C#%CE%B1

이 예제는 아직 실행하지 않았습니다.

문서 검색

URL.toString

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Resolved contracts

Parse and serialize absolute URLs

Parse and serialize absolute URLs

이유

Normalize the scheme, host, port, and path

기대 결과

Handle invalid absolute URL text as data

기대 결과

Check both port boundaries and the first invalid port

기대 결과

Apply URL preprocessing and escape a path space

기대 결과

Preserve serialized escapes and empty components through parsing

기대 결과

Evaluate the input once before reporting a parse error

기대 결과

Reject a forbidden domain character

기대 결과

Read serialized URL components and their absence

Read serialized URL components and their absence

이유

Read encoded URL components without decoding delimiters

기대 결과

Distinguish an absent fragment from an empty fragment

기대 결과

Read IPv6 and file hosts without losing authority data

기대 결과

Serialize a Unicode domain, path, and fragment

기대 결과

메뉴

Declaration and parameters

사용 조건

수신자

매개변수 제약

결과

효과

실패

Result and effects

Resolved contracts

Related entries

Parse and serialize absolute URLs

Parse and serialize absolute URLs

이유

Normalize the scheme, host, port, and path

기대 결과

Handle invalid absolute URL text as data

기대 결과

Check both port boundaries and the first invalid port

기대 결과

Apply URL preprocessing and escape a path space

기대 결과

Preserve serialized escapes and empty components through parsing

기대 결과

Evaluate the input once before reporting a parse error

기대 결과

Reject a forbidden domain character

기대 결과

Read serialized URL components and their absence

Read serialized URL components and their absence

이유

Read encoded URL components without decoding delimiters

기대 결과

Distinguish an absent fragment from an empty fragment

기대 결과

Read IPv6 and file hosts without losing authority data

기대 결과

Serialize a Unicode domain, path, and fragment

기대 결과