问题描述
我最近遇到了这个让我有点困惑的玩具示例。假设我定义了一个简单的可变参数函数，如下所示。那么，我们完全有权利在一个论点和两个论点上运行这个。
(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 的 this section。
要使用上述链接中的术语，(my-func []) 是仅接受单个值的延续。这就是为什么在您的程序中，它会出现错误消息“期望一个，得到两个”。
您可以使用 call-with-values 完成您想要做的事情：
(call-with-values (lambda () (values 1 2)) my-func)
或者做：
(let-values [(a b) (values 1 2)]
(my-func a b))
不幸的是，无法将可变数量的值捕获到一个变量中。