字典
Dict 是键/值对的集合
ids = {"Alice": 145, "Bob": 214, "Charlie": 301}
assert ids["Alice"] == 145
如果键是"哈希"对象,则键不必是字符串
# 不推荐使用范围对象作为键(与切片混淆)
r = {1..3: "1~3", 4..6: "4~6", 7..9: "7~9"}
assert r[1..3] == "1~3"
l = {[]: "empty", [1]: "1"}
assert l[[]] == "empty"
对于字典来说,顺序无关紧要。它也不能有重复的元素。在这方面,Dict 与 Set 类似 您可以说 Dict 是具有值的 Set
{"Alice": 145, "Bob": 214, "Charlie": 301} == {"Alice": 145, "Charlie": 301, "Bob": 214}
从 dict 文字生成 dict 时,会检查重复键 任何重复都会导致编译错误
{"Alice": 145, "Alice": 1} # Key错误: 重复键`Alice`
空字典是用 {:}
创建的。请注意,{}
表示一个空集
mut_dict = !{:}
mut_dict.insert! "Alice", 145
mut_dict.insert! "Bob", 214
assert mut_dict["Alice"] == 145
异构字典
不需要有单一的键/值类型。这样的字典称为 _heterogenous dict
d: {Str: Int, Int: Str} = {"a": 1, 1: "a"}
assert d["a"] == 1
assert d[1] == "a"
但是,不能将相同类型的值分配给不同类型的键,或者将不同类型的值分配给相同类型的键 在这种情况下,请改用 Or 类型
invalid1 = {1: "a", "a": "b"}
invalid2 = {1: "a", 2: 2}
# Erg 类型推断不推断 Or 类型,因此需要类型说明
valid1: {Int or Str: Str} = {1: "a", "a": "b"}
valid2: {Int: Int or Str} = {1: "a", 2: 2}