在 values-expression 上使用 variable-arity 函数

Question

我最近运行进入这个玩具示例，这让我有点困惑。假设我定义了一个简单的可变参数函数，如下所示。然后，我们完全有权运行这两个论点。

(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 是可变元数，为什么需要一个参数？这与作为参数的句法对象的数量有关还是其他原因？

Answer 1

在Racket中，values构造多个return值（通常缩写为多个值或值）。除了它是单个值的情况外，值不能作为参数传递。值不能保存在变量中。当从函数 returned 以及以 define-values 等形式使用时，值最有用。有关更多详细信息，请参阅球拍参考的 this section。

使用上面link中的术语，(my-func [])是一个只接受单个值的延续。这就是为什么在您的程序中，它会出错并显示消息“期望一个，得到两个”。

你想做的事情可以用 call-with-values:

来完成

(call-with-values (lambda () (values 1 2)) my-func)

Answer 2

或者：

(let-values [(a b) (values 1 2)]
  (my-func a b))

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

在 values-expression 上使用 variable-arity 函数

Using variable-arity function on values-expression

racket

arity