SICP/Scheme 中的 apply 函数

Question

我在这里问了几个关于 Scheme/SICP 的问题，答案经常涉及使用 apply 过程，我在 SICP 中没有见过，在本书的索引中，它只列出了一次，结果是一个脚注。

一些用法示例基本上是这个问题的每个答案：Going from Curry-0, 1, 2, to ...n。

我对@9​​87654325@ 的工作原理很感兴趣，我想知道是否有一些示例可用。怎么把apply过程改写成别的函数，比如改写map这样？

#lang sicp

(define (map func sequence)
    (if (null? sequence) nil
        (cons (func (car sequence)) (map func (cdr sequence)))))

似乎它只是使用第一个参数进行函数调用？比如：

(apply list '(1 2 3 4 5)) ; --> (list 1 2 3 4 5)
(apply + '(1 2 3))        ; --> (+ 1 2 3)

那么在 Python 中可能会有类似的东西吗？

>>> args=[1,2,3]
>>> func='max'
>>> getattr(__builtins__, func)(*args)
3

Answer 1

apply 用于调用具有动态参数数量的函数。

你的map 函数只允许你调用只接受一个参数的函数。您可以使用apply 映射具有不同数量参数的函数，使用可变数量的列表。

(define (map func . sequences)
  (if (null? (car sequences))
      '()
      (cons (apply func (map car sequences))
            (apply map func (map cdr sequences)))))

(map + '(1 2 3) '(4 5 6))
;; Output: (5 7 9)

Answer 2

您问的是如何编码apply，而不是如何使用它。

它can be coded as

#lang sicp

; (define (appl f xs)    ; #lang racket
;   (eval 
;     (cons f (map (lambda (x) (list 'quote x)) xs))))

(define (appl f xs)      ; #lang r5rs, sicp
  (eval
    (cons f (map (lambda (x) (list 'quote x)) 
                 xs))
    (null-environment 5)))

在#lang sicp 下的 Racket 中试用：

> (display (appl list '(1 2 3 4 5)))
(1 2 3 4 5)

> (display (     list   1 2 3 4 5 ))
(1 2 3 4 5)

> (appl + (list (+ 1 2) 3))
6

> (     +       (+ 1 2) 3 )
6

> (display (appl map (cons list '((1 2 3)  (10 20 30)))))
((1 10) (2 20) (3 30))

> (display (     map       list  '(1 2 3) '(10 20 30)  ))
((1 10) (2 20) (3 30))

这是有关eval 的文档的链接。

它需要一个 environment 作为第二个参数，因此我们为它提供 (null-environment 5)，它只返回一个空环境，看起来像这样。我们实际上不需要任何环境，因为此时参数的评估已经完成。