如何在Racket/Scheme中随机顺序评估非确定性条件语句？

原cond表达式是按顺序检查条件，一旦遇到第一个为真的条件就执行对应动作，无法实现随机选择所有满足条件的分支。要实现你要的非确定性逻辑，核心思路是先收集所有条件为真的分支，再随机挑选一个执行，具体实现如下：

实现步骤（以Common Lisp为例） #

1. 封装成宏（推荐方式） #

直接定义一个类似cond的宏random-cond，可以像原生cond一样使用：

(defmacro random-cond (&rest clauses)
  (let ((valid-branches (gensym)))
    `(let ((,valid-branches (remove-if-not #'(lambda (clause) (eval (first clause)))
                                          ',clauses)))
       (when ,valid-branches
         (eval (second (nth (random (length ,valid-branches)) ,valid-branches)))))))

2. 使用方式 #

调用时和原生cond写法完全一致：

(random-cond (correct-1? do-thing-1)
             (correct-2? do-thing-2)
             (correct-3? do-thing-3))

当correct-1?和correct-3?同时为真时，会随机执行do-thing-1或do-thing-3，完全不受原分支顺序影响。

3. 逻辑说明 #

• 首先通过remove-if-not过滤出所有条件为真的分支
• 用random生成有效分支列表范围内的随机索引，挑选对应的分支
• 最后执行选中分支的动作

Scheme版本参考 #

如果用Scheme方言，实现逻辑类似，只是函数名略有差异：

(define (random-cond . clauses)
  (let ((valid-branches (filter (lambda (clause) (eval (car clause))) clauses)))
    (unless (null? valid-branches)
      (eval (cadr (list-ref valid-branches (random (length valid-branches))))))))

注意事项 #

• eval的使用：如果你的条件或动作是复杂表达式，要确保eval能正确解析执行；如果是局部变量，可能需要调整宏的实现方式（比如避免捕获变量）
• 随机数种子：部分Lisp环境需要手动初始化随机数种子，确保每次运行的随机性一致

内容的提问来源于stack exchange，提问作者Daaninator