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

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

Загрузка →

Библиотека

Коллекции

Look up and inspect built-in collection values.

API этого модуля

3 API

Имя	Модуль
Map.get →	Коллекции →
Map.length →	Коллекции →
Set.length →	Коллекции →

Built-in types

Array, Map, and Set values are available without a module import. Their members provide collection operations alongside the language rules for literals, membership, and iteration. Assignment and transfer follow collection value semantics. Map and Set observations follow insertion order.

In map, filter and reduce, callback propagation returns from the callback itself. The surrounding function continues after the standard function returns. Mapping a callback that returns Result produces an array of Results. A filter callback must return bool. A lambda using ? must return Result or Option and therefore fails the existing callback type check in filter. A reduce callback still returns the accumulator type required by that call.

Why

Array preserves element order, Set models membership, and Map associates keys with values. Shared lookup and observation rules make their operations consistent.

Availability

These types are provided by the language. No module import is required. The declarations below describe the standard operations on built-in values.

Public API

Map.get for K, V →

Map.length for K, V →

Set.length for T →

Pending contracts

Use Map.get with optional fallback

Правилоtopaz.stdlib.contract.map-get-fallback.rule

Use Map.get with optional fallback

Map<K, V>.get(k) accepts a key of type K and returns Option<V>. A present key produces Some(value), and an absent key produces None(). Lookup does not insert an entry.

Use map.get(key) ?? fallback to supply a value for an absent key. Evaluate the receiver and key once, then perform the lookup once. A present value skips the fallback. An absent key evaluates the fallback once.

The fallback must be compatible with V. A stored Option or nullable value remains the payload of a present key. Its inner None() or null does not make that key absent.

Map.getOr is absent. Its former eager default evaluation is expressed with ordinary bindings when those effects are needed.

To preserve eager effects, bind the receiver, key, and default in that order. Perform receiver.get(key) ?? default after those bindings. This preserves default evaluation before lookup, including effects that change the map.

Причина

Map lookup represents absence with Option. The shared coalescing operator supplies defaults with one evaluation rule. Explicit bindings preserve eager effects without a second lookup API.

Примеры Evaluate a fallback for a missing key →Reject the removed Map.getOr member →Supply the default with get and ?? →Preserve eager default effects with ordered bindings →

Диагностика TPZ5006 →

Evaluate a fallback for a missing key

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

main.tpzEvaluate a fallback for a missing keyОткрыть песочницу →

import std.io
function fallback() -> int {
io.writeLine("fallback")
9
}
let values: Map<string, int> = map { "present": 7 }
let present = values.get("present") ?? fallback()
io.writeLine("{present}")
let missing = values.get("missing") ?? fallback()
io.writeLine("{missing}")

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

7
fallback
9

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

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

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

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

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

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

7
fallback
9

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

Reject the removed Map.getOr member

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

main.tpzReject the removed Map.getOr memberОткрыть песочницу →

let m: Map<string, int> = map { "present": 7 }
m.getOr("present", 9)

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

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

$ topaz check main.tpz --format json · Целевой продукт 5.21.3

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

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

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

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

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

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

Supply the default with get and ??

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

main.tpzSupply the default with get and ??Открыть песочницу →

let m: Map<string, int> = map { "present": 7 }
m.get("present") ?? 9

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

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

$ topaz check main.tpz --format json · Целевой продукт 5.21.3

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

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

Проверка принимает программу. Код завершения 0.

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

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

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

Preserve eager default effects with ordered bindings

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

main.tpzPreserve eager default effects with ordered bindingsОткрыть песочницу →

import std.io
function makeMap() -> Map<string, int> {
io.writeLine("receiver")
map { "present": 7 }
}
function makeKey() -> string {
io.writeLine("key")
"present"
}
function makeFallback() -> int {
io.writeLine("fallback")
9
}
let receiver = makeMap()
let key = makeKey()
let fallback = makeFallback()
let value = receiver.get(key) ?? fallback
io.writeLine("{value}")

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

receiver
key
fallback
7

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

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

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

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

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

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

receiver
key
fallback
7

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

Diagnostics

Unknown member or field →

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 ()
}

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

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

$ topaz check main.tpz --format json · Целевой продукт 5.21.3

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

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

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

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 ()
}

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

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

$ topaz check main.tpz --format json · Целевой продукт 5.21.3

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

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

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

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 ()
}

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

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

$ topaz check main.tpz --format json · Целевой продукт 5.21.3

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

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

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

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

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

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

Use in for element membership

Правилоtopaz.stdlib.contract.membership.rule

Use in for element membership

Use x in values for membership in Array<T>, Set<T>, and Range<int>. The element must be compatible with the collection element type. Range membership checks its bounds and step alignment.

Set.contains is absent. Array does not declare a contains member. Use the membership operator with either collection.

string.contains(sub) remains a substring query and returns bool. It searches for the contiguous text sub. Strings do not become element-membership operands.

Map.containsKey(k) remains a query for key presence. A Map is not an element-membership operand. Key presence does not depend on the value stored for that key.

Причина

One membership operator works across arrays, sets, and ranges. Substring search examines contiguous text, and keyed lookup addresses associations. These queries retain their distinct argument and result contracts.

Примеры Query membership in arrays, sets, and ranges →Reject the removed Set.contains member →Express set membership with in →Reject an undeclared Array.contains member →Keep substring and key-presence queries explicit →

Диагностика TPZ5006 →

Query membership in arrays, sets, and ranges

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

main.tpzQuery membership in arrays, sets, and rangesОткрыть песочницу →

import std.io
let values = [1, 2, 3]
let members = set { 1, 3 }
let odd = 1..<6 by 2
io.writeLine("{2 in values}")
io.writeLine("{2 in members}")
io.writeLine("{3 in members}")
io.writeLine("{5 in odd}")
io.writeLine("{4 in odd}")

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

true
false
true
true
false

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

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

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

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

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

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

true
false
true
true
false

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

Reject the removed Set.contains member

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

main.tpzReject the removed Set.contains memberОткрыть песочницу →

let s: Set<int> = set { 1, 2 }
s.contains(1)

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

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

$ topaz check main.tpz --format json · Целевой продукт 5.21.3

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

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

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

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

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

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

Express set membership with in

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

main.tpzExpress set membership with inОткрыть песочницу →

let s: Set<int> = set { 1, 2 }
1 in s

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

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

$ topaz check main.tpz --format json · Целевой продукт 5.21.3

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

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

Проверка принимает программу. Код завершения 0.

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

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

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

Reject an undeclared Array.contains member

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

main.tpzReject an undeclared Array.contains memberОткрыть песочницу →

let a: Array<int> = [1, 2]
a.contains(1)

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

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

$ topaz check main.tpz --format json · Целевой продукт 5.21.3

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

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

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

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

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

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

Keep substring and key-presence queries explicit

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

main.tpzKeep substring and key-presence queries explicitОткрыть песочницу →

import std.io
let substring = "Topaz".contains("opa")
let separated = "Topaz".contains("Tp")
let values: Map<string, int> = map { "key": 1 }
let present = values.containsKey("key")
let absent = values.containsKey("other")
io.writeLine("{substring}")
io.writeLine("{separated}")
io.writeLine("{present}")
io.writeLine("{absent}")

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

true
false
true
false

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

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

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

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

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

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

true
false
true
false

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