如何解决OCaml 手册中缺少关于未装箱/装箱的说明
OCaml 手册指出：
作为另一个优化，不可装箱的记录类型被特殊表示；不可装箱记录类型是只有一个字段的不可变记录类型。
(https://caml.inria.fr/pub/docs/manual-ocaml/intfc.html#ss:c-tuples-and-records)
但是“一个字段”可以具有哪种类型？仅本机，还是任何记录类型？
解决方法
任何类型：OCaml 内存表示是统一的。
更准确地说，在内存表示方面，OCaml 值要么是整数，要么是指向块的指针。 一个块由一个头部和一些值组成。
拆箱用该值替换指向仅包含一个 OCaml 值的块的指针的未装箱内存表示。
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
