球拍:用一个函数改变两个常量

Question

我想用一个函数同时更改两个常量，但不知何故它不起作用：

(define p 1)
(define q 1)
(define (change p q)
  (set! p (+ p 1))
  (set! q (+ q 1))) 

Answer 1

您可能正在使用在过程主体中没有隐式begin的语言，因此让我们尝试显式编写它：

(define p 1) ; declare variables as global, so they 
(define q 1) ; can be modified inside a procedure
(define (change-vars) ; don't pass them, they won't get modified inside proc
  (begin ; use begin to evaluate expressions sequentially from left to right
    (set! p (+ p 1))
    (set! q (+ q 1)))) ; value of last expression is returned, here's #<void>

它按预期工作：

p
=> 1
q
=> 1
(change-vars)
p
=> 2
q
=> 2

Answer 2

这将起作用：

#lang racket
(define p 1)
(define q 1)
(define (increment-p-and-q)
  (set! p (+ p 1))
  (set! q (+ q 1)))

(display (list p q)) ; displays (1 1)
(newline)
(increment-p-and-q)  ; mutates p and q
(display (list p q)) ; displays (2 2)
(newline)

当您调用与全局变量具有相同绑定的过程时，它会被隐藏。如果set!更改的是本地绑定，而不是全局绑定。

Answer 3

@Sylwester对

你的问题给出了一个很好的、字面上的答案。另一个字面答案是，如果您希望函数改变其参数（将它们视为C++中的引用参数），请使用 box。例：

(define (change p)
  (set-box! p (+ (unbox p) 1)))
(define p (box 1))
(for/list ([i 3])
  (change p)
  (unbox p))
; => '(2 3 4)

然而，使用这样的突变在Racket中并不常见或鼓励。虽然你可以这样做，但鼓励使用更实用的方法，甚至可以让 Racket 优化你的代码以更快地运行。

Answer 4

您可以使用宏（在本例中为定义语法规则），这样您就可以将变量作为参数传递：

#lang racket
(define p 1)
(define q 1)
(define-syntax-rule (change p q)
  (begin
    (set! p (+ p 1))
    (set! q (+ q 1))))
(display (list p q)) ; displays (1 1)
(newline)
(change p q)  ; mutates p and q
(display (list p q)) ; displays (2 2)
(newline)