可选的struct字段

Question

我搜索了Racket（语言;非类型）的文档 ，并且无法确定是否可以为非可变结构提供可选参数。 我希望能够做到：

(struct q-a-website (name interest-value #syntax? some-optional-field))
... (q-a-website "stack-overflow" 42 "My name is Jon Skeet") ...
... (q-a-website "quora" -inf.0) ...

在这个伪示例中， #syntax? 只是一个占位符，我怀疑可能存在一些特殊语法，以使以下字段可选。 有没有办法让你的日常，不可变，一般的结构在基础Racket中有可选参数？

澄清：如果在没有可选参数的情况下创建结构，则使用必须在创建时提供的默认值填充该结构。 在这种情况下，该信息必须包含在（可能名称#syntax? ） #syntax? 块。

（注意：我对这个问题中包含struct标签有所保留，因为它提到了Racket不属于的C语言系列......）

Answer 1

我认为最简单的方法就是创建一个具有可选参数的“构造函数”，如下所示：

#lang racket

(struct q-a-website (name interest-value optional-field))

;; make a q-a-website
(define (make-q-a-website name interest-value [optional-field #f])
  (q-a-website name interest-value optional-field))

;; try making it with and without the optional argument:
(make-q-a-website "stack-overflow" 42 "My name is Jon Skeet")
(make-q-a-website "quora" -inf.0)

Racket还有一个完整的类系统，几乎可以想象的一切。 但是，对于这个用途，我想我就是这样做的。

Answer 2

如果可选字段的默认值有意义，那么我会按照他在评论中建议的那样做 - 只需定义一个自定义构造函数：

(struct s (a b opt))

(define (make-s a b [opt #f])
  (s a b opt))

(make-s "a" "b")
(make-s "a" "b" "opt")

---

但是，如果opt的默认值实际上意味着N / A，那么我可能会改为定义两个struct ：一般情况，以及从特殊情况派生的专用结构：

(struct general (a b))
(struct special general (opt))

(define g (general "a" "b"))
(define s (special "a" "b" "opt"))

只知道/关心general可以处理general和special实例：

(general? g) ; #t
(general? s) ; #t

专门关注special代码可以检查：

(special? g) ; #f
(special? s) ; #t

我可能只会做一个真正的“is-a”（“是一种”）关系 - 如果说“ special 是一种 general ”听起来很自然。

---

当然，如果你真的进入这种OOP领域，你可以使用racket/class 。