OCaml wyrażenie logiczne [[]] == [[]]

Question

Mam funkcję, która zwraca [[]], i chcę przetestować wynik jako test jednostkowy. Ale znalazłem, że wyrażenie [[]] == [[]] zwraca false. Oto prosty kod testowy:

# [[]] == [[]];; 
- : bool = false 

Czy ktoś może mi wyjaśnić dlaczego to wyrażenie jest oceniane jako fałszywe?

Dzięki.

Answer 1

Zastosowanie = skoro masz równości strukturalnej do porównywania dwóch wartości:

# [[]] = [[]];; 
- : bool = true 

Ponieważ == jest równość odniesienie, to tylko zwraca true, jeśli odnoszą się do tej samej lokalizacji pamięci:

let a = [[]] 
let b = a 

# b == a;; 
- : bool = true 

Answer 2

Operator == w OCaml oznacza "fizyczną równość". Jednak masz dwie (fizycznie) różne listy. Prawdopodobnie chcesz "strukturalnej równości", która jest testowana przez =.