Map

Map模块

Map创建一种映射关系。比方说，我们需要关联一组用户及其对应的密码，这里存在从用户到密码的 映射关系，可以通过Map模块通过函数式的方式相当迅速地来处理。在下面的例子中我将创建一个从 字符串到字符串的映射，当然这只是例子，映射的类型是很随意的。

创建一个Map是很容易的：

# module MyUsers = Map.Make(String);;
module MyUsers :
  sig
    type key = String.t
    type 'a t = 'a Map.Make(String).t
    val empty : 'a t
    val is_empty : 'a t -> bool
    val mem : key -> 'a t -> bool
    val add : key -> 'a -> 'a t -> 'a t
    val update : key -> ('a option -> 'a option) -> 'a t -> 'a t
    val singleton : key -> 'a -> 'a t
    val remove : key -> 'a t -> 'a t
    val merge :
      (key -> 'a option -> 'b option -> 'c option) -> 'a t -> 'b t -> 'c t
    val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
    val compare : ('a -> 'a -> int) -> 'a t -> 'a t -> int
    val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
    val iter : (key -> 'a -> unit) -> 'a t -> unit
    val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
    val for_all : (key -> 'a -> bool) -> 'a t -> bool
    val exists : (key -> 'a -> bool) -> 'a t -> bool
    val filter : (key -> 'a -> bool) -> 'a t -> 'a t
    val partition : (key -> 'a -> bool) -> 'a t -> 'a t * 'a t
    val cardinal : 'a t -> int
    val bindings : 'a t -> (key * 'a) list
    val min_binding : 'a t -> key * 'a
    val min_binding_opt : 'a t -> (key * 'a) option
    val max_binding : 'a t -> key * 'a
    val max_binding_opt : 'a t -> (key * 'a) option
    val choose : 'a t -> key * 'a
    val choose_opt : 'a t -> (key * 'a) option
    val split : key -> 'a t -> 'a t * 'a option * 'a t
    val find : key -> 'a t -> 'a
    val find_opt : key -> 'a t -> 'a option
    val find_first : (key -> bool) -> 'a t -> key * 'a
    val find_first_opt : (key -> bool) -> 'a t -> (key * 'a) option
    val find_last : (key -> bool) -> 'a t -> key * 'a
    val find_last_opt : (key -> bool) -> 'a t -> (key * 'a) option
    val map : ('a -> 'b) -> 'a t -> 'b t
    val mapi : (key -> 'a -> 'b) -> 'a t -> 'b t
    val to_seq : 'a t -> (key * 'a) Seq.t
    val to_seq_from : key -> 'a t -> (key * 'a) Seq.t
    val add_seq : (key * 'a) Seq.t -> 'a t -> 'a t
    val of_seq : (key * 'a) Seq.t -> 'a t
  end

我们现在已经创建了一个新的模块，叫做 MyUsers。现在我们要往里面加入数据，但是首先，我们先 新建一个空的映射：

# let m = MyUsers.empty;;
val m : 'a MyUsers.t = <abstr>

然后再往里面加数据:

# let m = MyUsers.add "fred" "sugarplums" m;;
val m : string MyUsers.t = <abstr>

m是一个全新的映射，因此前一个m已经被隐藏掉。这个m比前一个多了用户 "fred" 和他的密码 "sugarplums"。有一点很值得指出的是，当我们加入字符串 "sugarplums" 的时候，我们已经固定了映射的目标类型。这也就是说，我们的模块MyUsers成为了一个只能从字符串到字符串 的映射。如果我们想插入一个整数作为键还是值，都必须创建一个新的映射。

让我们加入更多的数据。

# let m = MyUsers.add "tom" "ilovelucy" m;;
val m : string MyUsers.t = <abstr>
# let m = MyUsers.add "mark" "ocamlrules" m;;
val m : string MyUsers.t = <abstr>
# let m = MyUsers.add "pete" "linux" m;;
val m : string MyUsers.t = <abstr>

但是我们也得看得到里面的数据啊？一个函数足以完成这个任务：

# let print_user key password =
    print_string(key ^ " " ^ password ^ "\n");;
val print_user : string -> string -> unit = <fun>

通过传入两个字符串到该函数，就能在屏幕很好地打印出键和密码，并且换行。然后我们得把这个函数 应用到映射的每对键值对上：

# MyUsers.iter print_user m;;
fred sugarplums
mark ocamlrules
pete linux
tom ilovelucy
- : unit = ()

当然，有时候我们只想找到(find)某个用户的密码：

# MyUsers.find "fred" m;;
- : string = "sugarplums"

这个调用会很迅速地返回Fred的密码: "sugarplums"。