Question

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

(define p 1)
(define q 1)

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

Answer 1

这将有效：

#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 2

您可能正在使用一种在过程体内没有隐式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 3

@Sylwester对你的问题给出了一个很好的字面答案。另一个字面答案是，如果你想要一个函数来改变它的参数（将它们视为C ++中的引用参数），请使用boxes。例如：

(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中使用这样的突变并不常见或鼓励。虽然可以做到这一点，但我们鼓励采用更实用的方法，甚至可以allow Racket to optimize your code to run faster。

Answer 4

您可以使用宏（在本例中为define-syntax-rule），这样可以将变量作为参数传递：

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

球拍：用一个功能改变两个常数

4 个答案: