如何让Racket的prop:custom-write结构体像#:transparent一样打印？

问题原因 #

你定义的foo结构体仅通过prop:custom-write实现了基础自定义打印，但未处理**可引用打印（quotable printing）**逻辑。Racket对于非透明且未实现prop:custom-print-quotable的结构体，在需要生成可引用表达式的场景（如列表元素打印、quasiquote展开）中，会默认输出不透明的#<...>格式。而#:transparent结构体自动完成了全套打印协议的实现，包括可引用打印，因此能正常显示构造函数形式。

解决方案 #

根据你是否需要打印结果可求值，提供两种处理方式：

方式1：保留可求值性，同时自定义显示名 #

若希望打印内容可直接求值，且显示为fiz而非foo，可同时实现prop:custom-print-quotable属性，并给foo定义别名fiz：

(require racket/struct)

;; 给foo定义别名fiz，让打印的表达式可求值
(define fiz foo)

(struct/contract foo
  ([bar (listof number?)])
  #:property prop:custom-write
  (make-constructor-style-printer
    (lambda _ 'fiz)
    (lambda (self) (list (map add1 (foo-bar self)))))
  #:property prop:custom-print-quotable
  (lambda (self)
    ;; 返回可构造实例的表达式，用fiz作为构造函数名
    `(fiz ',(foo-bar self))))

测试效果：

> (foo '(1 2 3))
(fiz '(2 3 4))
> `(,(foo '(1 2 3)))
'(fiz '(1 2 3))

方式2：强制所有场景显示自定义格式（无需可求值） #

若不需要打印结果可求值，仅希望统一显示友好格式，可改用gen:custom-write接口自定义打印逻辑，忽略打印模式参数：

(require racket/struct)
(struct/contract foo
  ([bar (listof number?)])
  #:methods gen:custom-write
  [(define (write-proc self port mode)
     ;; 所有打印场景都输出(fiz '(...))格式
     (display "(fiz '" port)
     (write (map add1 (foo-bar self)) port)
     (display ")" port))])

测试效果：

> (foo '(1 2 3))
(fiz '(2 3 4))
> `(,(foo '(1 2 3)))
'(fiz '(2 3 4))

如果需要该格式也能求值，只需额外定义fiz函数转换参数：

(define (fiz lst)
  (foo (map sub1 lst)))

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