模組類型 Ephemeron.S

module type S = sig .. end

函式子 Ephemeron.K1.MakeEphemeron.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 相同,但僅計算存活的綁定