Bytes.length

length: int

모듈: 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.length and ByteBuffer.length are read-only int properties that report the number of bytes.

JSONValue.length is an Option<int> property. Arrays and objects return Some(count) for their element or member count. Other JSON kinds return None().

JSONValue.keys and JSONValue.values are properties returning Option<Array<string>> and Option<Array<JSONValue>>. Objects return Some(keys) or Some(values). Other JSON kinds return None().

Read these properties without parentheses, as with Array.length, Map.length, Map.keys, Map.values, and Set.length. Calling a property value is rejected as a non-callable value.

Test whether a Bytes, Map, or Set value is empty by comparing its length property with zero. The comparison is true exactly when the collection has no bytes, entries, or elements.

Bytes, Map, and Set do not expose an isEmpty member. Read the length property and use the ordinary equality operator.

A Bytes value is an immutable ordered sequence of octets. Each octet is an int from 0 through 255.

Bytes.empty returns the empty sequence. Bytes.fromArray accepts an Array<int> and returns an independent snapshot in Ok.

Bytes.fromArray returns Err with a string identifying the first element outside 0 through 255. It does not wrap, clamp, or return a partial sequence.

Bytes.toArray returns a new Array<int> in byte order. Mutating that array or the original input array does not change an existing Bytes value.

Bytes.concat returns the receiver bytes followed by the argument bytes. Either input may be empty and both inputs retain their contents.

Bytes.get uses a zero-based byte index. It returns Some(byte) within the sequence and None() for every negative or past-end index.

Bytes.length is the number of bytes and is read as a property. Compare it with zero to test emptiness.

Receivers and supplied arguments evaluate once from left to right before the operation begins. These operations perform no I/O or text normalization.

A correctly typed lookup or concatenation has no data-dependent Result failure. Allocation exhaustion is an operational failure and is not a decoded data error.

결과

추가 계약은 미정입니다.

The declared result type is int.

효과

미정

실패

미정

Result and effects

링크

Select this field from a value of its named type without call parentheses.

Read the number of bytes as a read-only int property. Compare it with zero to test emptiness.

Why

링크

Collection observations use the same property syntax as Array, Map, and Set. Parentheses identify calls rather than stored or derived values.

링크

std.bytes →

Read collection sizes, keys, and values as properties

링크

규칙topaz.stdlib.contract.collection-properties.rule

Read collection sizes, keys, and values as properties

Bytes.length and ByteBuffer.length are read-only int properties that report the number of bytes.

JSONValue.length is an Option<int> property. Arrays and objects return Some(count) for their element or member count. Other JSON kinds return None().

JSONValue.keys and JSONValue.values are properties returning Option<Array<string>> and Option<Array<JSONValue>>. Objects return Some(keys) or Some(values). Other JSON kinds return None().

Read these properties without parentheses, as with Array.length, Map.length, Map.keys, Map.values, and Set.length. Calling a property value is rejected as a non-callable value.

이유

The same collection observation should use the same syntax across core collections and library values. Keeping JSONValue results optional preserves its distinction between collections and scalar values.

예제 Read the same properties on core collections →Read a byte sequence size →Read a byte buffer size →Read JSON sizes and preserve optional results →Read JSON object keys →Read JSON object values →Reject calling Bytes.length →Reject calling ByteBuffer.length →Reject calling JSONValue.length →Reject calling JSONValue.keys →Reject calling JSONValue.values →

진단 TPZ5005 →

Read the same properties on core collections

링크

run · running · 검증 · 미실행

main.tpzRead the same properties on core collections플레이그라운드 열기 →

import std.io
let array = [2, 3]
let entries = map { "name": "Topaz" }
let values = set { 2, 3 }
io.writeLine("{array.length}:{entries.length}:{values.length}")
io.writeLine(entries.keys[0])
io.writeLine(entries.values[0])

기대 출력종료 코드 0

2:1:2
name
Topaz

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

2:1:2
name
Topaz

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

Read a byte sequence size

링크

run · running · 검증 · 미실행

main.tpzRead a byte sequence size플레이그라운드 열기 →

import std.bytes { Bytes }
import std.io
let bytes = Bytes.empty()
let size: int = bytes.length
io.writeLine("{size}")

기대 출력종료 코드 0

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

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

Read a byte buffer size

링크

run · running · 검증 · 미실행

main.tpzRead a byte buffer size플레이그라운드 열기 →

import std.bytes { ByteBuffer }
import std.io
let buffer = ByteBuffer.allocate(3)
let size: int = buffer.length
io.writeLine("{size}")

기대 출력종료 코드 0

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

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

Read JSON sizes and preserve optional results

링크

run · running · 검증 · 미실행

main.tpzRead JSON sizes and preserve optional results플레이그라운드 열기 →

import std.json
import std.test
import std.io
let array = test.assertOk(json.parse("[1,2]"))
let object = test.assertOk(json.parse("\{\"name\":\"Topaz\"\}"))
let scalar = test.assertOk(json.parse("42"))
let arraySize: Option<int> = array.length
let objectSize: Option<int> = object.length
let scalarSize: Option<int> = scalar.length
test.assertEq(test.assertSome(arraySize), 2)
test.assertEq(test.assertSome(objectSize), 1)
test.assertNone(scalarSize)
io.writeLine("JSON sizes read")

기대 출력종료 코드 0

JSON sizes read

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

JSON sizes read

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

Read JSON object keys

링크

run · running · 검증 · 미실행

main.tpzRead JSON object keys플레이그라운드 열기 →

import std.json
import std.test
import std.io
let object = test.assertOk(json.parse("\{\"name\":\"Topaz\"\}"))
let array = test.assertOk(json.parse("[]"))
let scalar = test.assertOk(json.parse("42"))
let names: Option<Array<string>> = object.keys
test.assertEq(test.assertSome(names)[0], "name")
test.assertNone(array.keys)
test.assertNone(scalar.keys)
io.writeLine("JSON keys read")

기대 출력종료 코드 0

JSON keys read

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

JSON keys read

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

Read JSON object values

링크

run · running · 검증 · 미실행

main.tpzRead JSON object values플레이그라운드 열기 →

import std.json
import std.test
import std.io
let object = test.assertOk(json.parse("\{\"name\":\"Topaz\"\}"))
let array = test.assertOk(json.parse("[]"))
let scalar = test.assertOk(json.parse("42"))
let values = test.assertSome(object.values)
test.assertEq(test.assertSome(values[0].asString()), "Topaz")
test.assertNone(array.values)
test.assertNone(scalar.values)
io.writeLine("JSON values read")

기대 출력종료 코드 0

JSON values read

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

JSON values read

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

Reject calling Bytes.length

링크

reject · checking · 검증 · 미실행

main.tpzReject calling Bytes.length플레이그라운드 열기 →

import std.bytes { Bytes }
function inspect(value: Bytes) -> () {
let result = value.length()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

TPZ5005 →
stdlib-property-not-callable at main.tpz:3:22

표준 출력 없음.

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

Reject calling ByteBuffer.length

링크

reject · checking · 검증 · 미실행

main.tpzReject calling ByteBuffer.length플레이그라운드 열기 →

import std.bytes { ByteBuffer }
function inspect(value: ByteBuffer) -> () {
let result = value.length()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

TPZ5005 →
stdlib-property-not-callable at main.tpz:3:22

표준 출력 없음.

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

Reject calling JSONValue.length

링크

reject · checking · 검증 · 미실행

main.tpzReject calling JSONValue.length플레이그라운드 열기 →

import std.json { JSONValue }
function inspect(value: JSONValue) -> () {
let result = value.length()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

TPZ5005 →
stdlib-property-not-callable at main.tpz:3:22

표준 출력 없음.

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

Reject calling JSONValue.keys

링크

reject · checking · 검증 · 미실행

main.tpzReject calling JSONValue.keys플레이그라운드 열기 →

import std.json { JSONValue }
function inspect(value: JSONValue) -> () {
let result = value.keys()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

TPZ5005 →
stdlib-property-not-callable at main.tpz:3:22

표준 출력 없음.

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

Reject calling JSONValue.values

링크

reject · checking · 검증 · 미실행

main.tpzReject calling JSONValue.values플레이그라운드 열기 →

import std.json { JSONValue }
function inspect(value: JSONValue) -> () {
let result = value.values()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

TPZ5005 →
stdlib-property-not-callable at main.tpz:3:22

표준 출력 없음.

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

Diagnostics

링크

Value is not callable →

Test collection emptiness with length

링크

규칙topaz.stdlib.contract.collection-emptiness.rule

Test collection emptiness with length

Test whether a Bytes, Map, or Set value is empty by comparing its length property with zero. The comparison is true exactly when the collection has no bytes, entries, or elements.

Bytes, Map, and Set do not expose an isEmpty member. Read the length property and use the ordinary equality operator.

이유

A collection already exposes its count through length. Comparing that value with zero expresses emptiness for every collection without another query name or a type-specific method.

예제 Test empty and nonempty maps with length →Test empty and nonempty sets with length →Test empty and nonempty byte sequences with length →Reject Bytes.isEmpty →Reject Map.isEmpty →Reject Set.isEmpty →

진단 TPZ5006 →

Test empty and nonempty maps with length

링크

run · running · 검증 · 미실행

main.tpzTest empty and nonempty maps with length플레이그라운드 열기 →

import std.io
let empty: Map<string, int> = map {}
let filled = map { "one": 1 }
io.writeLine("{empty.length == 0}:{filled.length == 0}")

기대 출력종료 코드 0

true:false

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

true:false

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

Test empty and nonempty sets with length

링크

run · running · 검증 · 미실행

main.tpzTest empty and nonempty sets with length플레이그라운드 열기 →

import std.io
let empty: Set<int> = set {}
let filled = set { 1 }
io.writeLine("{empty.length == 0}:{filled.length == 0}")

기대 출력종료 코드 0

true:false

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

true:false

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

Test empty and nonempty byte sequences with length

링크

run · running · 검증 · 미실행

main.tpzTest empty and nonempty byte sequences with length플레이그라운드 열기 →

import std.bytes { Bytes }
import std.test
import std.io
let empty = Bytes.empty()
let filled = test.assertOk(Bytes.fromArray([1]))
io.writeLine("{empty.length == 0}:{filled.length == 0}")

기대 출력종료 코드 0

true:false

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

기대 결과

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

표준 오류 출력 없음.

기대 표준 출력

true:false

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

Reject Bytes.isEmpty

링크

reject · checking · 검증 · 미실행

main.tpzReject Bytes.isEmpty플레이그라운드 열기 →

import std.bytes { Bytes }
function inspect(value: Bytes) -> () {
let result = value.isEmpty()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

TPZ5006 →
stdlib-removed-member at main.tpz:3:22

표준 출력 없음.

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

Reject Map.isEmpty

링크

reject · checking · 검증 · 미실행

main.tpzReject Map.isEmpty플레이그라운드 열기 →

function inspect(value: Map<string, int>) -> () {
let result = value.isEmpty()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

TPZ5006 →
stdlib-removed-member at main.tpz:2:22

표준 출력 없음.

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

Reject Set.isEmpty

링크

reject · checking · 검증 · 미실행

main.tpzReject Set.isEmpty플레이그라운드 열기 →

function inspect(value: Set<int>) -> () {
let result = value.isEmpty()
return ()
}

기대 출력0이 아닌 종료 코드

표준 출력 없음.

$ topaz check main.tpz --format json · 대상 제품 5.21.3

기대 결과

거절 단계 check. 종료 코드가 0이 아닙니다.

TPZ5006 →
stdlib-removed-member at main.tpz:2:22

표준 출력 없음.

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

Diagnostics

링크

Unknown member or field →

Construct and inspect immutable byte sequences

링크

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