在值表达式上使用可变参数函数
我最近遇到了这个让我有点困惑的玩具示例。假设我定义了一个简单的可变参数函数，如下所示。然后，我们完全有权利在一个论点和两个论点上运行它。
(define (my-func . a) a)
(my-func 1) ; evals to '(1)
(my-func 1 2) ; evals to '(1 2)
我遇到的奇怪的一点是，如果我尝试使用values如下方式一次性传递多个参数：
(my-func (values 1 2))
我希望它的计算结果与 相同(my-func 1 2)，但会抛出一个参数不匹配错误，即它期望 1 个参数但得到 2 个。
如果my-func是可变数量，为什么它期望一个参数？这是否与作为参数的语法对象的数量有关还是其他什么？
回答
在 Racket 中，values构造多个返回值（通常缩写为多个值或值）。除了它是单个值的情况外，值不能作为参数传递。值不能保存在变量中。值在从函数返回时以及在define-values等形式中使用时最有用。有关更多详细信息，请参阅Racket Reference 的这一部分。
使用上述链接中的术语，(my-func [])是仅接受单个值的延续。这就是为什么在您的程序中，它会错误显示消息“期望一个，得到两个”。
您正在尝试做的事情可以通过以下方式完成call-with-values：
(call-with-values (lambda () (values 1 2)) my-func)