module Bucket:sig
..end
type ('k1, 'k2, 'd)
t
一個 bucket 是一個可變的「ephemeron 列表」。
val make : unit -> ('k1, 'k2, 'd) t
建立一個新的 bucket。
val add : ('k1, 'k2, 'd) t -> 'k1 -> 'k2 -> 'd -> unit
將一個 ephemeron 加入 bucket。
val remove : ('k1, 'k2, 'd) t -> 'k1 -> 'k2 -> unit
remove b k1 k2
從 b
中移除最近加入、鍵為 k1
和 k2
的 ephemeron,如果沒有這樣的 ephemeron 則不執行任何操作。
val find : ('k1, 'k2, 'd) t -> 'k1 -> 'k2 -> 'd option
回傳最近加入、鍵為給定鍵值的 ephemeron 的資料,如果沒有這樣的 ephemeron 則回傳 None
。
val length : ('k1, 'k2, 'd) t -> int
回傳 bucket 長度的上限。
val clear : ('k1, 'k2, 'd) t -> unit
從 bucket 中移除所有 ephemeron。