5.4 􏿰

8.15

5.4 􏿰🔗

另见名扩展库：􏿰

“􏿰”（hash）是一种内部元素都是“键值对（key/value）”的数据结构。

5.4.1 例程命名规则🔗

规则	指示	含义	举例
囗/古/舌/亻 + 􏿰	“􏿰”中“键值对”唯一性的确立方式	是通过与之对应的同?/􏾗?/􏾃?/侗?中的任一者所确立的	􏾌、􏾋、􏾊、􏾉
山/氵 + 􏿰	“􏿰”中“键值对”是否可变	是不可或可被增加、删除或修改的	􏾐?、􏾑?
⺮/艹 + 􏿰	“􏿰”中“键值对”之“键”的存储方式	是刚性或柔性的	􏾎?、􏾏?
亻	相似集（类型相同且元素相似）	出参数据与进参数据相比，类型相同且内容类似	􏿰攸
阝	连续集（类型相同且元素连续相同）	出参数据与进参数据相比，类型相同且前者是后者的一部分	􏿰􏺈、􏿰􏺇
刂	缺失集（删除、移走、去掉部分元素之后的集合）	出参数据与进参数据相比，类型相同且前者是后者的子集	􏿰􏾘、􏿰𠛮
扌/!结尾	修改警示	会直接修改原始数据而非另造新数据作输出	􏿰􏾩、􏿰𫼛、􏿰𫼛、􏿰􏽘、􏿰􏽗
^结尾	入参	入参数据是􏿳类数据	􏿰^、􏾋^、􏾊^、􏾉^
+结尾	入参	入参数据以相同方式多次出现	􏿰攸+、􏿰􏾩+

5.4.2 􏿰、􏾌、􏾋、􏾊、􏾉🔗

􏿰为新造字
广：工厂、容器、外壳；
双：键值对（因为类似双，另见：􏿳）；
􏾌、􏾋、􏾊、􏾉为新造字
囗：同的简写，见同?；
古：􏾗的简写，见􏾗?；
舌：􏾃的简写，见􏾃?；
亻：侗的简写，见侗?。
􏾐、􏾑、􏾎、􏾏、􏾈为新造字
山：稳定的、内容不变的（因为“山”是稳定的，见：􏾐?）；
氵：易动的、内容可变的（因为“水”是易变的，见：􏾑?）；
⺮：刚韧的（因为“竹”是刚韧的，见：􏾎?）；
艹：柔弱的（因为“艸”（草）是柔弱的，见：􏾏?）；
艹（中间加丨）：见􏾈?。
􏻵为新造字
穴：简写，通空。

另见：􏾑

“􏿰”在以下特性上可以被进一步细分：

是否可以增加、修改、删除“键值对”，即“􏿰”的内容是否可以被改变：
- 􏾐：内容不可改变的“􏿰”，也称“固􏿰”；
- 􏾑：内容可改变的“􏿰”，也称“易􏿰”（扌偏旁相关的例程或以!结尾的例程只能作用在“易􏿰”上）。
不能有重复的“键值对”，即“键值对”的唯一性要如何被确立（通过各个“键值对”之间“键”的相互比较来确立）：
- 􏾌：比较函数是同?；
- 􏾋：比较函数是􏾗?；
- 􏾊：比较函数是􏾃?；
- 􏾉：比较函数是侗?。
对于“键值对”，其“键”的存储可以是：
- 􏾎：刚性的；
- 􏾏：柔性的；
- 􏾈：类􏾧的。

通过􏿰创建的是􏾌?、􏾎?和􏾐?都是真的“􏿰”。

Examples:

> (􏿰 1 2 3 4)
'#hash((1 . 2) (3 . 4))
> (􏽮? (􏿰 1 2 3 4))
#t

5.4.3 􏿰^、􏾋^、􏾊^、􏾉^，􏾏^、􏾁^、􏾀^、􏽿^，􏾈^、􏽽^、􏽼^、􏽻^，􏾐^、􏾆^、􏾅^、􏾄^，􏿰化􏿳🔗

“􏿳”和“􏿰”可以互相进行转换，􏿳化在此用^标记来简写。
通过􏿰^创建的是􏾌?、􏾎?和􏾑?都为真的“􏿰”。

另见：􏾑、􏿳

Examples:

> (􏿰^ '((1 . 2) (3 . 4)))
'#hash((1 . 2) (3 . 4))
> (􏽦? (􏿰^ '((1 . 2) (3 . 4))))
#t
> (􏾏^ '((1 . 2) (3 . 4)))
'#hash((1 . 2) (3 . 4))
> (􏽦? (􏾏^ '((1 . 2) (3 . 4))))
#f
> (􏾁^ '((1 . 2) (3 . 4)))
'#hashalw((1 . 2) (3 . 4))
> (􏽡? (􏾁^ '((1 . 2) (3 . 4))))
#t
> (􏿰化􏿳 (􏿰 1 2 3 4))
'((1 . 2) (3 . 4))
> (􏿰化􏿳 (􏾋 1 2 3 4))
'((1 . 2) (3 . 4))
> (􏿰化􏿳 (􏾑 1 2 3 4))
'((1 . 2) (3 . 4))

5.4.4 􏿰?，􏾌?、􏾋?、􏾊?、􏾉?，􏾎?、􏾏?、􏾈?，􏻵?🔗

另见：
􏾐?、􏾑?，
􏽞?、􏽝?、􏽜?、􏽛?，
􏽮?、􏽭?、􏽬?、􏽫?，
􏽦?、􏽥?、􏽤?、􏽣?，
􏽪?、􏽩?、􏽨?、􏽧?，
􏽢?、􏽡?、􏽠?、􏽟?。

Examples:

> (􏿰? (􏿰 1 2 3 4))
#t
> (􏾌? (􏿰 1 2 3 4))
#t
> (􏾎? (􏿰 1 2 3 4))
#t
> (􏾐? (􏿰 1 2 3 4))
#t
> (􏽮? (􏿰 1 2 3 4))
#t
> (􏿰^ '((1 . 2) (3 . 4)))
'#hash((1 . 2) (3 . 4))
> (􏾌? (􏿰^ '((1 . 2) (3 . 4))))
#t
> (􏾎? (􏿰^ '((1 . 2) (3 . 4))))
#t
> (􏾑? (􏿰^ '((1 . 2) (3 . 4))))
#t
> (􏽦? (􏿰^ '((1 . 2) (3 . 4))))
#t
> (􏽦? (􏾏^ '((1 . 2) (3 . 4))))
#f
> (􏽡? (􏾁^ '((1 . 2) (3 . 4))))
#t
> (􏻵? (􏿰 'a "aa" 'b "bb"))
#f
> (􏻵? (􏿰))
#t

5.4.5 􏿰􏺈、􏿰􏺇，􏿰日?🔗

􏺈为古活字
􏺇为新造字

日：“键值对”的“键”（双的阳）；
月：“键值对”的“值”（双的阴）。

对于􏿰中的“键值对”，因其类于双，故在此也称为“明”（阳+阴）。进而，“键值对”的“键”称为“日”，“值”称为“月”。

Examples:

> (􏿰􏺈 (􏿰 'a "apple" 'b "banana"))
'(b a)
> (􏿰􏺇 (􏿰 'a "apple" 'b "banana"))
'("banana" "apple")
> (􏿰日? (􏿰 'a "apple" 'b "banana") 'a)
#t

5.4.6 􏿰弔、􏿰𫼛，􏿰􏽙，􏿰􏾘、􏿰􏽘🔗

𫼛为古活字
􏽙为新造字
􏾘为新造字
􏽘为新造字

日：参见􏿰􏺈、􏿰日?；
弔：索引、查询，参见弔；
扌、阝、刂，见：例程命名规则。

Examples:

> (􏿰弔 (􏿰 'a "apple" 'b "banana") 'b)
"banana"
> (􏿰弔 (􏿰 'a "apple" 'b "banana") 'b "cat")
"banana"
> (􏿰弔 (􏿰 'a "apple" 'b "banana") 'c "cat")
"cat"
> (􏿰􏽙 (􏿰 'a "apple" 'b "banana") 'b)
'b
> (􏿰􏽙 (􏿰 'a "apple" 'b "banana") 'b "cat")
'b
> (􏿰􏽙 (􏿰 'a "apple" 'b "banana") 'c "cat")
"cat"
> (􏿰􏾘 (􏿰 'a "apple" 'b "banana") 'a)
'#hash((b . "banana"))
> (名 h (􏾑 'a "apple" 'b "banana"))
> (􏿰𫼛 h 'b "cat")
"banana"
> h
'#hash((a . "apple") (b . "banana"))
> (􏿰𫼛 h 'c "cat")
"cat"
> h
'#hash((a . "apple") (b . "banana") (c . "cat"))
> (􏿰􏽘 h 'a)
> h
'#hash((b . "banana") (c . "cat"))

5.4.7 􏿰攸、􏿰攸+，􏿰􏾩、􏿰􏾩+，􏿰攸/入、􏿰􏾩/入🔗

参见：攸

Examples:

> (􏿰攸 (􏿰 'a "apple" 'b "banana") 'b "ba")
'#hash((a . "apple") (b . "ba"))
> (􏿰攸+ (􏿰 'a "apple" 'b "banana") 'a "ap" 'b "ba")
'#hash((a . "ap") (b . "ba"))
> (􏿰攸/入 (􏿰 'a "apple" 'b "banana" 'c 1) 'c 􏽊)
'#hash((a . "apple") (b . "banana") (c . 2))
> (名 h (􏾑 'a "apple" 'b "banana"))
> (􏿰􏾩+ h 'a "ap" 'b "ba")
> h
'#hash((a . "ap") (b . "ba"))

5.4.8 􏿰𠛮、􏿰􏽗，𠛮􏿰🔗

𠛮为古活字
刂：删除；

Examples:

> (􏿰𠛮 (􏿰 'a "apple" 'b "banana"))
'#hash()
> (名 h (􏾑 'a "apple" 'b "banana"))
> (􏿰􏽗 h)
> h
'#hash()
> (𠛮􏿰 (􏿰 'a "apple" 'b "banana"))
'#hash()

5.4.9 􏿰各、􏿰􏺆、􏿰佫🔗

􏺆为新造字
又：􏿴的缩写；

参见：佫

Examples:

> (􏿰各 (􏿰 'a "apple" 'b "banana") (入 (K V) (示 K) (示 V)))
'b"banana"'a"apple"
> (􏿰􏺆 (􏿰 'a "apple" 'b "banana") (入 (K V) (􏿴 V K)))
'(("banana" b) ("apple" a))
> (􏿰佫 (􏿰 'a "apple" 'b "banana") (入 (K V) (􏸼 V K)))
􏸼: undefined;
cannot reference an identifier before its definition
in module: top-level

5.4.10 􏿰􏺈仔?🔗

参见：􏿰􏺈、仔?

Examples:

> (􏿰􏺈仔? (􏿰 'a "aa" 'b "bb") (􏿰 'a "aaa" 'b "bbb" 'c "ccc"))
#t
> (􏿰􏺈仔? (􏿰 'a "aa" 'c "cc") (􏿰 'a "aaa" 'b "bbb" 'c "ccc"))
#t
> (􏿰􏺈仔? (􏿰 'a "aa" 'd "dd") (􏿰 'a "aaa" 'b "bbb" 'c "ccc"))
#f
> (􏿰􏺈仔? (􏿰 'b "bb") (􏿰 'a "aaa" 'b "bbb" 'c "ccc"))
#t

5.4.11 􏿰巨🔗

参见：巨、空?

Example:

> (􏿰巨 (􏿰 'a "aa" 'b "bb"))
2

5.4.12 􏾑化🔗

Examples:

> (􏾐? (􏿰 'a "aa" 'b "bb"))
#t
> (􏾐? (􏾑化 (􏿰 'a "aa" 'b "bb")))
#f

5.4.13 基础例程🔗

(require ming/racket/base)

package: ming

word
􏿰 : elem + 创建 + needtofix = hash
word
􏾋 : elem + 类上，不过键的唯一性是通过 + needtofix + 确立的 = hashalw
word
􏾊 : elem + 类上，不过键的唯一性是通过 + needtofix + 确立的 = hasheqv
word
􏾉 : elem + 类上，不过键的唯一性是通过 + needtofix + 确立的 = hasheq
word
􏿰?
: elem + 是否是 + needtofix + 、 + needtofix + 、 + needtofix + 、 + needtofix + 的任一种
= hash?
word
􏾌? : elem + 是否是 + needtofix = hash-equal?
word
􏾋? : elem + 是否是 + needtofix = hash-equal-always?
word
􏾊? : elem + 是否是 + needtofix = hash-eqv?
word
􏾉? : elem + 是否是 + needtofix = hash-eq?
word
􏾎? : elem + 类上，键是否是被刚性存储的 = hash-strong?
word
􏾏? : elem + 类上，键是否是被柔性存储的 = hash-weak?
word
􏾈? : elem + 类上，键的存储是否是采用 + needtofix = hash-ephemeron?
word
􏿰^ : elem + needtofix + 转换成 + needtofix = make-hash
word
􏾋^ : elem + needtofix + 转换成 + needtofix = make-hashalw
word
􏾊^ : elem + needtofix + 转换成 + needtofix = make-hasheqv
word
􏾉^ : elem + needtofix + 转换成 + needtofix = make-hasheq
word
􏾐^ : elem + 如上类推 = make-immutable-hash
word
􏾆^ : elem + 如上类推 = make-immutable-hashalw
word
􏾅^ : elem + 如上类推 = make-immutable-hasheqv
word
􏾄^ : elem + 如上类推 = make-immutable-hasheq
word
􏾏^ : elem + 如上类推 = make-weak-hash
word
􏾁^ : elem + 如上类推 = make-weak-hashalw
word
􏾀^ : elem + 如上类推 = make-weak-hasheqv
word
􏽿^ : elem + 如上类推 = make-weak-hasheq
word
􏾈^ : elem + 如上类推 = make-ephemeron-hash
word
􏽽^ : elem + 如上类推 = make-ephemeron-hashalw
word
􏽼^ : elem + 如上类推 = make-ephemeron-hasheqv
word
􏽻^ : elem + 如上类推 = make-ephemeron-hasheq
word
􏿰攸 : elem + 以新造数据的方式来修改某“键”对应的“值” = hash-set
word
􏿰攸+ : elem + 以新造数据的方式来修改某些“键”所对应的“值” = hash-set*
word
􏿰攸/入 : = hash-update
word
􏿰􏾩 : elem + 直接修改某“键”对应的“值” = hash-set!
word
􏿰􏾩+ : elem + 直接修改某些“键”所对应的“值” = hash-set*!
word
􏿰􏾩/入 : = hash-update!
word
􏿰弔 : elem + 以“键值对”中“阳”位数据为基准，来索引查询“键值对”并返回“阴”位数据（未找到数据则返回默认设置值）；
= hash-ref
word
􏿰􏽙 : elem + 以“键值对”中“阳”位数据为基准，来索引查询“键值对”并返回“阳”位数据； = hash-ref-key
word
􏿰𫼛
: elem + 以“键值对”中“阳”位数据为基准，来索引查询“键值对”并返回“阴”位数据（未找到数据则直接修改原数据增加新“键值对”）；
= hash-ref!
word
􏿰日? : elem + 是否存在某“键” = hash-has-key?
word
􏿰􏾘 : elem + 以新造数据的方式来删除某“键”和其对应的“值” = hash-remove
word
􏿰􏽘 : elem + 直接删除某“键”和其对应的“值” = hash-remove!
word
􏿰𠛮 : elem + 以新造数据的方式来删除全部“键”和其对应的“值” = hash-clear
word
􏿰􏽗 : elem + 直接删除全部“键”和其对应的“值” = hash-clear!
word
𠛮􏿰 : elem + 以删除全部“键”和其对应的“值”的方式新造空数据 = hash-copy-clear
word
􏿰􏺆 : elem + 把某一个例程依次作用在各个明（键值对）上，出参是 + needtofix = hash-map
word
􏿰佫 : elem + 把某一个例程依次作用在各个明（键值对）上 = hash-map/copy
word
􏿰􏺈 : elem + 返回􏿰中所有键值对的“键”组成的 + needtofix = hash-keys
word
􏿰􏺇 : elem + 返回􏿰中所有键值对的“值”组成的 + needtofix = hash-values
word
􏿰化􏿳 : 􏿰 + 化 + 􏿳 = hash->list
word
􏿰􏺈仔? : elem + 前者是否是后者的 + needtofix + 的子集 = hash-keys-subset?
word
􏿰各 : 􏿰 + 各 = hash-for-each
word
􏿰巨 : 􏿰 + 巨 = hash-count
word
􏻵? : 􏻵 + ? = hash-empty?
word
?􏿰引 : ? + 􏿰 + 引 = hash-iterate-first
word
?􏿰继引 : ? + 􏿰 + 继 + 引 = hash-iterate-next
word
?􏿰引日 : ? + 􏿰 + 引 + 日 = hash-iterate-key
word
?􏿰引月 : ? + 􏿰 + 引 + 月 = hash-iterate-value
word
?􏿰引明 : ? + 􏿰 + 引 + 明 = hash-iterate-pair
word
?􏿰引日月 : ? + 􏿰 + 引 + 日 + 月 = hash-iterate-key+value
word
􏾑化 : elem + 将 + needtofix + 转化为 + needtofix = hash-copy

5.4.14 额外例程🔗

(require ming/racket/hash)

package: ming

word
􏿰并 : 􏿰 + 并 = hash-union
word
􏿰并! : 􏿰 + 并 + ! = hash-union!
word
􏿰交! : 􏿰 + 交 + ! = hash-intersect

contents ← prev up next →

1	Rationale
2	Startup
3	Naming Rules
4	Ming Libraries
5	Racket Libraries
6	Appendix
	Index

5.1	同
5.2	双 and 􏿴
5.3	􏻿
5.4	􏿰
5.5	字
5.6	􏷂
5.7	􏶿
5.8	􏷁
5.9	米
5.10	􏺃
5.11	Conditionals
5.12	並
5.13	禾
5.14	未分类

5.4.1	例程命名规则
5.4.2	􏿰、􏾌、􏾋、􏾊、􏾉
5.4.3	􏿰^、􏾋^、􏾊^、􏾉^，􏾏^、􏾁^、􏾀^、􏽿^，􏾈^、􏽽^、􏽼^、􏽻^，􏾐^、􏾆^、􏾅^、􏾄^，􏿰化􏿳
5.4.4	􏿰?，􏾌?、􏾋?、􏾊?、􏾉?，􏾎?、􏾏?、􏾈?，􏻵?
5.4.5	􏿰􏺈、􏿰􏺇，􏿰日?
5.4.6	􏿰弔、􏿰𫼛，􏿰􏽙，􏿰􏾘、􏿰􏽘
5.4.7	􏿰攸、􏿰攸+ ，􏿰􏾩、􏿰􏾩+ ，􏿰攸/ 入、􏿰􏾩/ 入
5.4.8	􏿰𠛮、􏿰􏽗，𠛮􏿰
5.4.9	􏿰各、􏿰􏺆、􏿰佫
5.4.10	􏿰􏺈仔?
5.4.11	􏿰巨
5.4.12	􏾑化
5.4.13	基础例程
5.4.14	额外例程