Необязательное поле структуры

Question

Я искал documentation для 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? просто заполнитель, где я подозреваю, что некоторые специальный синтаксис может находиться, чтобы сделать следующее поле необязательно. Есть ли способ сделать вашу повседневную, неизменную, run-of-the-mill структуру необязательными аргументами в базовом Racket?

Уточнение: если структура создается без необязательного параметра, она заполняется значением по умолчанию, которое должно быть предоставлено во время создания. В этом случае эта информация должна содержаться внутри блока (возможно, плохо названного) #syntax?.

(Примечание: У меня есть оговорки относительно включения struct тега на этот вопрос, как он упоминает 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) 

Ракетка также имеет полнофункциональную систему класса, с ... в общем, все, что вы можете себе представить. Для этого использования, я думаю, я просто сделаю это так.

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 S: общий случай, и специализированный один производный от специального одного:

(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 

я бы, вероятно, только сделать это для реального " («является своего рода») - если звучит естественно сказать, что «special- это своего родаgeneral».

---

Конечно, если вы действительно получаете в такого рода территории ООП, вы могли бы использовать racket/class.