본문으로 건너뛰기

토파즈6.0 · 출시 전

다운로드 →

라이브러리 · std.bytes

Bytes.zstdDecompress

Decompresses a Zstandard byte sequence.

zstdDecompress() -> Result<Bytes, string>

모듈: std.bytes →
수신자: Bytes
최소 인자 수: 0
최대 인자 수: 0

Declaration and parameters

사용 조건

기본 포함 · 미정

Import std.bytes in language mode 5.21.

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

수신자

Bytes

매개변수 제약

추가 계약은 미정입니다.

Bytes.zstdCompress accepts an int level from 1 through 22. The default is 3 and other values return Err with a string.

The level is a compression effort hint. The API does not promise a size ratio, execution time, or different bytes for every pair of levels.

A successful call returns Ok with one RFC 8878 frame requiring no external dictionary. Empty input is valid.

Bytes.zstdDecompress accepts one standard frame containing raw, RLE, or compressed blocks, with valid frame parameters and an optional content checksum.

A frame requiring an unavailable dictionary, a malformed header or block, a size or checksum mismatch, and truncation return Err with a string.

Skippable frames, additional frames, and other trailing bytes return Err. The entire input must represent one data frame.

Decompression returns all uncompressed bytes in Ok or an error without a partial output. Compressing then decompressing preserves the input bytes.

The receiver and explicit level expression evaluate once in that order. The input remains unchanged and the operation performs no I/O.

관련 규칙 · Use Zstandard frames and explicit effort levels →

결과

추가 계약은 미정입니다.

The declared result type is Result<Bytes, string>.

효과

미정

실패

미정

Result and effects

Decode one complete Zstandard data frame. Invalid framing, unavailable dictionaries, and trailing data return Err.

Resolved contracts

Use Zstandard frames and explicit effort levels

규칙topaz.stdlib.contract.bytes-zstd.rule

Use Zstandard frames and explicit effort levels

Bytes.zstdCompress accepts an int level from 1 through 22. The default is 3 and other values return Err with a string.

The level is a compression effort hint. The API does not promise a size ratio, execution time, or different bytes for every pair of levels.

A successful call returns Ok with one RFC 8878 frame requiring no external dictionary. Empty input is valid.

Bytes.zstdDecompress accepts one standard frame containing raw, RLE, or compressed blocks, with valid frame parameters and an optional content checksum.

A frame requiring an unavailable dictionary, a malformed header or block, a size or checksum mismatch, and truncation return Err with a string.

Skippable frames, additional frames, and other trailing bytes return Err. The entire input must represent one data frame.

Decompression returns all uncompressed bytes in Ok or an error without a partial output. Compressing then decompressing preserves the input bytes.

The receiver and explicit level expression evaluate once in that order. The input remains unchanged and the operation performs no I/O.

이유

A bounded level range keeps calls portable. A complete frame boundary and explicit dictionary failure make the returned bytes independent of hidden decoder state.

예제 Use the default and both supported level boundaries →Decode a valid Zstandard RLE block →Decode short nonfinal Zstandard raw blocks →Reject missing block data and trailing bytes →

Use the default and both supported level boundaries

run · running · 검증 · 미실행

main.tpzUse the default and both supported level boundaries플레이그라운드 열기 →

import std.io
import std.test
let source = "hello".encodeUtf8()
io.writeLine(test.assertOk(test.assertOk(source.zstdCompress()).zstdDecompress()).toHex())
for level in ([1, 22]) {
io.writeLine(test.assertOk(test.assertOk(source.zstdCompress(level)).zstdDecompress()).toHex())
}
for level in ([0, 23]) {
match (source.zstdCompress(level)) {
case Err(_) => io.writeLine("invalid level")
case Ok(_) => io.writeLine("accepted")
}
}

기대 출력종료 코드 0

68656c6c6f
68656c6c6f
68656c6c6f
invalid level
invalid level

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

기대 결과

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

68656c6c6f
68656c6c6f
68656c6c6f
invalid level
invalid level

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

Decode a valid Zstandard RLE block

run · running · 검증 · 미실행

main.tpzDecode a valid Zstandard RLE block플레이그라운드 열기 →

import std.bytes { Bytes }
import std.io
import std.test
let encoded = test.assertOk(Bytes.fromHex("28b52ffd20052b000041"))
match (encoded.zstdDecompress()) {
case Ok(bytes) => io.writeLine(bytes.toHex())
case Err(_) => io.writeLine("rejected")
}

기대 출력종료 코드 0

4141414141

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

기대 결과

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

4141414141

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

Decode short nonfinal Zstandard raw blocks

run · running · 검증 · 미실행

main.tpzDecode short nonfinal Zstandard raw blocks플레이그라운드 열기 →

import std.bytes { Bytes }
import std.io
import std.test
let encoded = test.assertOk(Bytes.fromHex("28b52ffd20020800004109000042"))
match (encoded.zstdDecompress()) {
case Ok(bytes) => io.writeLine(bytes.toHex())
case Err(_) => io.writeLine("rejected")
}

기대 출력종료 코드 0

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

기대 결과

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

4142

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

Reject missing block data and trailing bytes

run · running · 검증 · 미실행

main.tpzReject missing block data and trailing bytes플레이그라운드 열기 →

import std.bytes { Bytes }
import std.io
import std.test
for hex in (["", "28b52ffd20052900006869", "28b52ffd200001000000"]) {
match (test.assertOk(Bytes.fromHex(hex)).zstdDecompress()) {
case Err(_) => io.writeLine("invalid Zstandard")
case Ok(_) => io.writeLine("accepted")
}
}

기대 출력종료 코드 0

invalid Zstandard
invalid Zstandard
invalid Zstandard

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

기대 결과

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

invalid Zstandard
invalid Zstandard
invalid Zstandard

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