!= 在 OCaml 中有意义吗？

Question

这似乎是某些类型的等效比较，但不是字符串。

# 3 != 3;;
- : bool = false
# 3 != 2;;
- : bool = true

这正如预期的那样。

# "odp" = "odp";;
- : bool = true
# "odp" != "odp";;
- : bool = true
# "odp" <> "odp";;
- : bool = false

为什么"odp" != "odp" 的计算结果为true？它实际上在做什么？它不应该产生类型错误吗？

Answer 1

你已经体验过结构平等和身体平等之间的差异。

<> 相当于 =（结构平等），正如 != 相当于 ==（物理平等）

"odg" = "odg"  (* true  *)
"odg" == "odg" (* false *)

是 false，因为每个都在不同的内存位置实例化，这样做：

let v = "odg"
v == v (* true *)
v = v  (* true *)

大多数时候您会想要使用 = 和 <>。

编辑结构和物理平等何时等效：

您可以使用 what_is_it 函数并找出所有在结构和物理上都相等的类型。正如下面的评论和链接的文章中提到的，字符、整数、单位、空列表和变体类型的某些实例将具有此属性。

Answer 2

!= 运算符的相反操作符是 == 运算符，而不是 = 运算符。

# "a" != "a" ;;
- : bool = true
# "a" == "a" ;;
- : bool = false

== 运算符是“物理相等”。当您输入 "a" == "a" 时，您会比较两个恰好看起来相似的不同实例字符串，因此运算符返回 false。虽然有一个实例使其返回 true：

# let str = "a"
  in str == str ;;
- : bool = true
# let str = "a"
  in str != str ;;
- : bool = false

Answer 3

除了已经提供的所有正确答案之外，还对 OCaml 中的 == 和 != 进行了快速解释：

1/ == 和!= 公开您确实不想知道的实现细节。示例：

# let x = Some [] ;;
val x : 'a list option = Some []
# let t = Array.create 1 x ;;
val t : '_a list option array = [|Some []|]
# x == t.(0) ;;
- : bool = true

到目前为止，一切顺利：x 和 t.(0) 在物理上是相等的，因为 t.(0) 包含一个指向x 指向的同一块。这是实施的基本知识所规定的。但是：

# let x = 1.125 ;;
val x : float = 1.125
# let t = Array.create 1 x ;;
val t : float array = [|1.125|]
# x == t.(0) ;;
- : bool = false

您在这里看到的是涉及浮点数的其他有用优化的结果。

2/ 另一方面，有一种安全的方法来使用 ==，这是一种快速但不完整的方法来检查结构相等性。

如果您正在二叉树上编写相等函数，

let equal t1 t2 =
  match ...

则检查 t1 和 t2 的物理相等性是检测它们在结构上明显相等的快速方法，甚至无需递归和阅读它们。也就是说：

let equal t1 t2 =
  if t1 == t2
  then true
  else 
    match ...

如果您记住，在 OCaml 中，“布尔或”运算符是“惰性的”，

let equal t1 t1 =
  (t1 == t2) ||
  match ...

Answer 4

他们就像你们班上的两个“汤姆”！因为：

在本例中，"odp" = "odp"
因为它们是具有相同值的两个字符串！！

所以它们不是==，因为它们是两个不同的字符串，存储在不同（内存）位置中，

它们是< code>= 因为它们具有相同的字符串值。

更进一步，“odp”是匿名变量。两个匿名变量导致这个 Two 字符串。

为了您的方便：

# "odp" = "odp";; 
- : bool = true 
# "odp" != "odp";; 
- : bool = true 
# "odp" <> "odp";; 
- : bool = false

Answer 5

int 是唯一物理和结构相等的类型，因为 int 是唯一未装箱的类型