OCaml默认是否实现不可变数据结构的结构共享？配置方式咨询

• OCaml的不可变数据结构（如列表、元组、自定义不可变类型）默认就会实现结构共享。这是OCaml不可变设计的核心特性，用于优化内存使用和操作性能。比如基于现有列表创建新列表时，新列表仅会生成新的头部节点，尾部直接复用原有列表的内存引用，无需完整复制整个结构。

  示例代码：

  let original = [1; 2; 3]
  let extended = 0 :: original
  

  上述代码中，extended的尾部与original完全共享，不会额外占用重复内存。

• 不需要额外手动指定机制
  由于不可变数据的本质（一旦创建就无法修改），OCaml的编译器和运行时会自动处理结构共享逻辑，开发者无需通过构造器属性或其他配置来触发该特性。只有可变数据结构（如数组、带可变字段的记录）不会自动启用结构共享，因为可变数据需要保证修改操作的独立性，避免影响其他引用实例。

内容的提问来源于stack exchange，提问作者aqjune