在值表达式上使用可变参数函数

如何解决在值表达式上使用可变参数函数

我最近遇到了这个让我有点困惑的玩具示例。假设我定义了一个简单的可变参数函数，如下所示。那么，我们完全有权利在一个论点和两个论点上运行这个。

(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))

不幸的是，无法将可变数量的值捕获到一个变量中。