Spec-Zone.ru › OCaml 4.14

Functor Ephemeron.K1.Make

module Make: functor (H : Hashtbl.HashedType) -> Ephemeron.S  with type key = H.t

Функтор, создающий реализацию слабого хеш-таблицы

Параметры:
H : Hashtbl.HashedType

Предлагает тот же интерфейс, что и обычная хеш-таблица. Однако, поскольку связи являются слабыми, даже если mem h k истинно, последующее find h k может вызвать Not_found, потому что сборщик мусора может запуститься между этими двумя операциями.

Кроме того, таблица не должна изменяться во время вызова iter. В этом случае используйте filter_map_inplace.

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 iter : (key -> 'a -> unit) -> 'a t -> unit
val filter_map_inplace : (key -> 'a -> 'a option) -> 'a t -> unit
val fold : (key -> 'a -> 'b -> 'b) -> 'a t -> 'b -> 'b
val length : 'a t -> int
val stats : 'a t -> Hashtbl.statistics
val to_seq : 'a t -> (key * 'a) Seq.t
val to_seq_keys : 'a t -> key Seq.t
val to_seq_values : 'a t -> 'a Seq.t
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, но учитывает только живые связи

© 1995-2022 INRIA.
https://v2.ocaml.org/releases/4.14/htmlman/libref/Ephemeron.K1.Make.html

Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API