Перейти к содержимому

Топаз6.0 · До релиза

Загрузка →

Библиотека · std.bytes

ByteBuffer.allocate

Creates a mutable byte buffer with the supplied length and initial value.

allocate(length: int, value: int = 0) -> ByteBuffer

Модуль: std.bytes →
Получатель: Неприменимо
Минимальное число аргументов: 1
Максимальное число аргументов: 2

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.

Получатель

Неприменимо

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

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

ByteBuffer.allocate accepts a nonnegative int length and an int initial value from 0 through 255. The initial value defaults to zero.

The new buffer has exactly that many copies of the initial byte. Zero length is valid and still requires a valid initial byte.

A negative length produces TPZ4001 at runtime. An invalid initial byte or an allocation that cannot be satisfied produces TPZ5001 at runtime.

ByteBuffer.fromBytes converts an immutable Bytes value into a mutable ByteBuffer value containing the same bytes.

ByteBuffer.toBytes converts the current buffer contents into an immutable Bytes value.

ByteBuffer.length is a read-only byte count property. Buffer operations never change its length.

Assignment, argument passing, return, capture, and aggregate storage follow collection value semantics.

Supplied expressions evaluate once from left to right before allocation or conversion. These operations have no I/O effects.

Связанное правило · Allocate buffers and convert byte values →

Результат

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

The declared result type is ByteBuffer.

Эффекты

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

Ошибки

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

Result and effects

Allocate a fixed buffer with a nonnegative byte count and a byte value from 0 through 255. The initial value defaults to zero.

Resolved contracts

Allocate buffers and convert byte values

Правилоtopaz.stdlib.contract.byte-buffer-storage.rule

Allocate buffers and convert byte values

ByteBuffer.allocate accepts a nonnegative int length and an int initial value from 0 through 255. The initial value defaults to zero.

The new buffer has exactly that many copies of the initial byte. Zero length is valid and still requires a valid initial byte.

A negative length produces TPZ4001 at runtime. An invalid initial byte or an allocation that cannot be satisfied produces TPZ5001 at runtime.

ByteBuffer.fromBytes converts an immutable Bytes value into a mutable ByteBuffer value containing the same bytes.

ByteBuffer.toBytes converts the current buffer contents into an immutable Bytes value.

ByteBuffer.length is a read-only byte count property. Buffer operations never change its length.

Assignment, argument passing, return, capture, and aggregate storage follow collection value semantics.

Supplied expressions evaluate once from left to right before allocation or conversion. These operations have no I/O effects.

Причина

A fixed length gives binary algorithms stable byte positions. Explicit conversion distinguishes mutable construction from immutable byte data.

Примеры Allocate zero-filled and initialized buffers →Keep the original buffer and converted bytes unchanged →Reject a negative buffer length →Validate the initial byte of an empty buffer →Validate the initial byte of an empty buffer →

Диагностика TPZ4001 →TPZ5001 →

Allocate zero-filled and initialized buffers

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

main.tpzAllocate zero-filled and initialized buffersОткрыть песочницу →

import std.bytes { ByteBuffer }
import std.io
io.writeLine(ByteBuffer.allocate(0).toBytes().toHex())
io.writeLine(ByteBuffer.allocate(3).toBytes().toHex())
io.writeLine(ByteBuffer.allocate(2, 255).toBytes().toHex())

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


000000
ffff

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

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

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

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

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

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

000000
ffff

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

Keep the original buffer and converted bytes unchanged

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

main.tpzKeep the original buffer and converted bytes unchangedОткрыть песочницу →

import std.bytes { ByteBuffer }
import std.io
let source = "ab".encodeUtf8()
let buffer = ByteBuffer.fromBytes(source)
let independent = ByteBuffer.fromBytes(source)
let before = buffer.toBytes()
let mut alias = buffer
alias.set(0, 99)
io.writeLine(source.toHex())
io.writeLine(before.toHex())
io.writeLine(independent.toBytes().toHex())
io.writeLine(buffer.toBytes().toHex())

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

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

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

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

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

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

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

6162
6162
6162
6162

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

Reject a negative buffer length

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

main.tpzReject a negative buffer lengthОткрыть песочницу →

import std.bytes { ByteBuffer }
ByteBuffer.allocate(-1)

Ожидаемый выводНенулевой код завершения

Нет стандартного вывода.

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

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

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

Этап отклонения run. Ненулевой код завершения.

TPZ4001 →
byte-buffer-negative-bound at main.tpz:2:1

Нет стандартного вывода.

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

Validate the initial byte of an empty buffer

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

main.tpzValidate the initial byte of an empty bufferОткрыть песочницу →

import std.bytes { ByteBuffer }
import std.io
ByteBuffer.allocate(0, -1)
io.writeLine("after")

Ожидаемый выводНенулевой код завершения

Нет стандартного вывода.

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

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

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

Этап отклонения run. Ненулевой код завершения.

TPZ5001 →
byte-buffer-byte-value at main.tpz:3:1

Нет стандартного вывода.

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

Validate the initial byte of an empty buffer

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

main.tpzValidate the initial byte of an empty bufferОткрыть песочницу →

import std.bytes { ByteBuffer }
import std.io
ByteBuffer.allocate(0, 256)
io.writeLine("after")

Ожидаемый выводНенулевой код завершения

Нет стандартного вывода.

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

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

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

Этап отклонения run. Ненулевой код завершения.

TPZ5001 →
byte-buffer-byte-value at main.tpz:3:1

Нет стандартного вывода.

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

Diagnostics

Index out of bounds →

Runtime value guard →