为何该Julia可变链表实现无需显式引用？

• 可变结构体的引用特性
  Julia中mutable struct的实例始终在堆上分配，变量或结构体字段存储的是指向堆实例的引用（等价于指针逻辑）。因此prev::ListNode{T}字段保存的是另一个ListNode实例的引用，而非将整个节点嵌入当前结构体。这就是next.prev = prev能直接修改链表指向的原因——本质是修改堆实例中的引用值，和C语言修改指针指向的逻辑一致。

• 不可变结构体的存储差异
  不带mutable关键字的普通结构体（immutable struct）则不同：若为isbits类型（如不含引用的简单数值结构体），作为字段时会就地嵌入父结构体，类似C语言的struct嵌入；若包含引用类型字段（如String、Array），这些字段仍存储引用，但结构体本身不可修改。

• Ref{T}的适用场景
  Ref{ListNode{T}}是包裹单个引用的可变容器，多用于闭包修改变量、C交互传递指针等场景。但mutable struct的字段本身已是可修改的引用，无需额外包裹，直接修改字段值即可实现链表节点的关联变更。

• 堆/栈分配的本质
  Julia文档提及的堆/栈分配核心是实例的存储位置：

  • 可变结构体仅能堆分配，变量存储引用；
  • 不可变结构体若为isbits类型，优先栈分配（变量存储实例本身）；非isbits类型则堆分配（变量存储引用）。

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