module type S =sig
..end
函式子 Ephemeron.K1.Make
和 Ephemeron.K2.Make
的輸出簽章。這些雜湊表在鍵值方面是弱的。如果一個綁定的所有鍵值都存活,則該綁定會被保留;但是如果該綁定的一個鍵值失效,則該綁定會被移除。
提供與一般雜湊表相同的介面。然而,由於綁定是弱的,即使 mem h k
為 true,後續的 find h k
仍可能引發 Not_found
,因為垃圾回收器可能在兩者之間執行。
type
key
type !'a
t
val create : int -> 'a t
val clear : 'a t -> unit
val reset : 'a t -> unit
val copy : 'a t -> 'a t
val add : 'a t -> key -> 'a -> unit
val remove : 'a t -> key -> unit
val find : 'a t -> key -> 'a
val find_opt : 'a t -> key -> 'a option
val find_all : 'a t -> key -> 'a list
val replace : 'a t -> key -> 'a -> unit
val mem : 'a t -> key -> bool
val length : 'a t -> int
val stats : 'a t -> Hashtbl.statistics
val add_seq : 'a t -> (key * 'a) Seq.t -> unit
val replace_seq : 'a t -> (key * 'a) Seq.t -> unit
val of_seq : (key * 'a) Seq.t -> 'a t
val clean : 'a t -> unit
移除所有失效的綁定。在自動調整大小期間會自動完成。
val stats_alive : 'a t -> Hashtbl.statistics
與 Hashtbl.SeededS.stats
相同,但僅計算存活的綁定