Igualdad en tablas hash Ocaml

Question

¿Hay tablas hash en Ocaml que usan == en lugar de = al probar la igualdad de teclas? Por ejemplo:

# type foo = A of int;; 
# let a = A(1);; 
# let b = A(1);; 
# a == b;; 
- : bool = false 
# a = b;; 
- : bool = true 
# let h = Hashtbl.create 8;; 
# Hashtbl.add h a 1;; 
# Hashtbl.add h b 2;; 
# Hashtbl.find h a;; 
- : int = 2 
# Hashtbl.find h b;; 
- : int = 2 

me gustaría una tabla hash que pueden distinguir entre a y b. ¿Es eso posible?

Answer 1

Puede utilizar tablas hash personalizados:

module H = Hashtbl.Make(struct 
    type t = foo 
    let equal = (==) 
    let hash = Hashtbl.hash 
end) 

y luego usar H en lugar de Hashtbl en el código.

Answer 2

La solución en las respuestas de Thomas y cago es funcionalmente correcta. Un problema que puede molestarlo si utiliza su solución como está es que obtendrá más colisiones de las esperadas si tiene muchas claves que son iguales para (=) y diferentes para (==). De hecho, todas las claves que son iguales para (=) tienen el mismo hash para Hashtbl.hash, y terminan en el mismo depósito, donde se reconocen como diferentes (ya que solicitó (==) para usarse como función de igualdad) y crean enlaces diferentes. En el peor de los casos, la tabla hash se comportará con la misma complejidad que una lista de asociación (que, dicho sea de paso, es otra estructura de datos que podría estar utilizando, y entonces no tendría que preocuparse de proporcionar una función hash)

Si puede aceptar la clave de un valor que cambia ocasionalmente (y por lo tanto el valor es imposible de recuperar de la tabla hash, ya que el enlace está en el cubo incorrecto), puede usar la siguiente función de bajo nivel como picadillo:

external address_of_value: 'a -> int = "address_of_value" 

Implementado en C como:

#include "caml/mlvalues.h" 

value address_of_value(value v) 
{ 
    return (Val_long(((unsigned long)v)/sizeof(long))); 
} 

a continuación, utilizar:

module H = Hashtbl.Make(struct 
    type t = foo 
    let equal = (==) 
    let hash = address_of_value 
end);;