球拍中有参考类型吗？

Question

我想在球拍中实现一个双向链表。一开始我写了一个简单的两个节点列表来测试球拍中的引用。这是我的代码：

#lang racket

(struct node (val next) #:transparent #:mutable)

(define n0 (node 0 null))
(define n1 (node 1 n0))
n0
n1
(set-node-next! n0 n1)
n0
n1

下面是对应的输出：

(node 0 '())
(node 1 (node 0 '()))
#0=(node 0 (node 1 #0#))
#0=(node 1 (node 0 #0#))

输出的第一行和第二行是我对代码的期望，但在那之后我不知道它在做什么。我猜那些 # 与参考有关，但我在网上找不到任何东西。谁能帮我解释一下这个输出？

谢谢。

Answer 1

你是正确的他们是参考。在 Racket 中，几乎所有类型（除了整数和其他我不会在这里讨论的编译器优化）都引用存储在某种堆中的对象。因此，当您调用set-node-next! 时，您告诉Racket 将结构next 字段指向原始结构。基本形成一个循环：

#0= 表示法是 Racket 能够打印出反向引用的一种方式。您可以在 the docs 中了解更多信息，但简而言之，当您看到 #0= 时，它会说 #0# 指的是 this 结构，因此如果您看到它，那就是反向引用（可以这么说）是。