std.dict

辞書（Dict(K, V)）操作モジュール。

use std.dict

意味分類

カテゴリ	関数	動作
読み取り専用借用	get has values keys entries len is_empty merge	ソース辞書は再利用可能
ソース辞書を消費	set delete	ソース辞書がムーブされ、使用不可となる

use std.assert
use std.dict

main: () -> Void = {
    d = dict.set(dict.new(), "a", 1)

    // 読み取り専用借用：d は再利用可能
    assert(dict.get(d, "a") == 1)
    assert(dict.len(d) == 1)
    assert(dict.has(d, "a"))
}

関数一覧

関数	シグネチャ
get	(K: Type, V: Type)(dict: &Dict(K, V), key: Any) -> Any
set	(K: Type, V: Type)(dict: Dict(K, V), key: Any, value: Any) -> Dict(K, V)
has	(K: Type, V: Type)(dict: &Dict(K, V), key: Any) -> Bool
values	(A: Type, B: Type, C: Type)(dict: &Dict(A, B)) -> Vec(C)
keys	(A: Type, B: Type, C: Type)(dict: &Dict(A, B)) -> Vec(C)
entries	(A: Type, B: Type, C: Type)(dict: &Dict(A, B)) -> Vec(C)
delete	(K: Type, V: Type)(dict: Dict(K, V), key: Any) -> Dict(K, V)
len	(K: Type, V: Type)(dict: &Dict(K, V)) -> Int
is_empty	(K: Type, V: Type)(dict: &Dict(K, V)) -> Bool
merge	(A: Type, B: Type)(a: &Dict(A, B), b: &Dict(A, B)) -> Dict(A, B)
new	(K: Type, V: Type)() -> Dict(K, V)

## 関数

set

set: (K: Type, V: Type)(dict: Dict(K, V), key: Any, value: Any) -> Dict(K, V)

key → value を書き込んだ新しい辞書を返す。dict は値渡しされ、呼び出し後にムーブされる。

use std.assert
use std.dict

main: () -> Void = {
    d1 = dict.set(dict.new(), "a", 1)
    d2 = dict.set(d1, "b", 2)
    assert(dict.len(d2) == 2)
}

get

get: (K: Type, V: Type)(dict: &Dict(K, V), key: Any) -> Any

キーで値を取得（読み取り専用借用、dict は再利用可能）。

戻り値：キーに対応する値。エラー：キーが存在しない場合、E6008をスロー（キー欠落）。値を取得する前に has で先に確認できる。

use std.assert
use std.dict

main: () -> Void = {
    d = dict.set(dict.new(), "a", 1)
    assert(dict.get(d, "a") == 1)
}

存在を確認してから取得する場合：

use std.assert
use std.dict

main: () -> Void = {
    d = dict.set(dict.new(), "a", 1)
    assert(!dict.has(d, "nope"))
    if dict.has(d, "a") {
        assert(dict.get(d, "a") == 1)
    }
}

has

has: (K: Type, V: Type)(dict: &Dict(K, V), key: Any) -> Bool

辞書内に key が存在するかどうか。

エラー：第1引数が辞書でない場合、E6007をスロー。

use std.assert
use std.dict

main: () -> Void = {
    d = dict.set(dict.new(), "a", 1)
    assert(dict.has(d, "a"))
    assert(!dict.has(d, "zzz"))
}

delete

delete: (K: Type, V: Type)(dict: Dict(K, V), key: Any) -> Dict(K, V)

key を削除した新しい辞書を返す。dict は値渡しされ、呼び出し後にムーブされる。

戻り値：新しい辞書。存在しないキーを削除してもエラーは発生せず、辞書は変更されない。

use std.assert
use std.dict

main: () -> Void = {
    d = dict.set(dict.new(), "a", 1)
    deleted = dict.delete(d, "a")
    assert(!dict.has(deleted, "a"))
}

keys

keys: (A: Type, B: Type, C: Type)(dict: &Dict(A, B)) -> Vec(C)

すべてのキーで構成されるリストを返す（読み取り専用借用）。

戻り値の順序はハッシュ実装に依存し、安定性は保証されない。順序が必要な場合は各自でソートすること。

use std.assert
use std.dict
use std.list

main: () -> Void = {
    d = dict.set(dict.new(), "a", 1)
    ks = dict.keys(d)
    assert(list.len(ks) == 1)
}

values

values: (A: Type, B: Type, C: Type)(dict: &Dict(A, B)) -> Vec(C)

すべての値で構成されるリストを返す（読み取り専用借用）。順序の安定性は保証されない。

use std.assert
use std.dict
use std.list

main: () -> Void = {
    d = dict.set(dict.new(), "a", 1)
    vs = dict.values(d)
    assert(list.len(vs) == 1)
}

entries

entries: (A: Type, B: Type, C: Type)(dict: &Dict(A, B)) -> Vec(C)

キーと値のペアのリストを返し、各要素は (key, value) のタプル。順序の安定性は保証されない。

use std.assert
use std.dict
use std.list

main: () -> Void = {
    d = dict.set(dict.new(), "a", 1)
    es = dict.entries(d)
    assert(list.len(es) == 1)
}

len

len: (K: Type, V: Type)(dict: &Dict(K, V)) -> Int

エントリ数。読み取り専用借用で、dict は再利用可能。

エラー：引数が辞書でない場合、E6007をスロー。

use std.assert
use std.dict

main: () -> Void = {
    d = dict.set(dict.new(), "a", 1)
    assert(dict.len(d) == 1)
    assert(dict.len(d) == 1)      // 再利用可能
}

is_empty

is_empty: (K: Type, V: Type)(dict: &Dict(K, V)) -> Bool

辞書が空かどうか。

エラー：引数が辞書でない場合、E6007をスロー。

use std.assert
use std.dict

main: () -> Void = {
    assert(dict.is_empty(dict.new()))
    d = dict.set(dict.new(), "a", 1)
    assert(!dict.is_empty(d))
}

merge

merge: (A: Type, B: Type)(a: &Dict(A, B), b: &Dict(A, B)) -> Dict(A, B)

2つの辞書をマージし、新しい辞書を返す。両方のソース辞書は読み取り専用借用で、変更されない。

キーが衝突した場合、b の値で a を上書きする。

エラー：いずれかの引数が辞書でない場合、E6007をスロー。

use std.assert
use std.dict

main: () -> Void = {
    m = dict.merge(dict.set(dict.new(), "x", 10), dict.set(dict.new(), "y", 20))
    assert(dict.get(m, "x") == 10)
    assert(dict.get(m, "y") == 20)
}

関連

• std.list —— keys / values / entries の戻り値を処理
• エラーコードリファレンス —— E6008 キー欠落