何时在OCaml中创建物理上不同的值？

在OCaml中，当您创建一个新的值时，它将在物理上不同的位置上分配内存。这是因为OCaml使用了一种称为“自动内存管理”的技术，它会自动跟踪和回收不再使用的内存。

当您在OCaml中定义一个新的值时，它将在内存中分配一个新的位置。例如，如果您定义一个新的整数，如下所示：

let x = 42

那么，x将在内存中的一个新位置上分配，并且它将是一个新的值。如果您创建了另一个整数，如下所示：

let y = 42

即使y的值与x相同，它仍然将在内存中的一个新位置上分配，并且它将是一个新的值。

这种行为的一个例外是，如果您创建了一个新的值，它与现有的值相同且不可变，那么OCaml可能会重用相同的内存位置。例如，如果您定义了两个相同的字符串，如下所示：

let s1 = "hello"
let s2 = "hello"

那么，s1和s2可能会被分配到相同的内存位置上，因为字符串是不可变的。

总之，在OCaml中创建新的值时，它们将在物理上不同的位置上分配内存，除非它们是不可变的且与现有的值相同。