主页 / coding / 问题 / 79549370
Accepted
An5Drama
Asked: 2025-04-02 07:24:29 +0800 CST

编译时表达式在 Racket 中何时会被重新评估？

  • 772

这是此 QA 答案的一个后续问题。我使用 Racket v8.16。

来自doc1：compile_time_instantiation.rkt​

(module compile-time-number racket/base
  (require (for-syntax racket/base))
  (begin-for-syntax
    (printf "picked ~a\n" (random)))
  (printf "running\n"))

然后：

$ racket -i -e '(dynamic-require "compile_time_instantiation.rkt" #f)'
Welcome to Racket v8.16 [cs].
picked 0.015421409441077423
running
$ racket -i -e '(require "compile_time_instantiation.rkt")'
Welcome to Racket v8.16 [cs].
picked 0.14007121863188537
running
picked 0.7200261945290138
$ racket -i
Welcome to Racket v8.16 [cs].
> (require "compile_time_instantiation.rkt")
picked 0.7451208846143317
running
$ racket compile_time_instantiation.rkt
picked 0.9883107842338839
running

doc1 说：

同时， dynamic-require 仅实例化一个模块；它不访问模块。这种简化就是为什么前面的一些示例使用 dynamic-require而不是 require 的原因。

当一个模块被实例化时，它主体中的运行时表达式会被评估。

因此，第二条命令中的额外“picked ...”来自require扩展后的额外访问：

当访问一个模块时，其主体中的编译时表达式（例如宏定义）会被评估。

当模块被扩展时，它就会被访问。

通过访问评估的模块编译时表达式包括定义语法形式的右侧和开始语法形式的主体。

但为什么第三个没有呢？

racket

1 个回答

  1. Best Answer

    这可能与它有关： 16.3.4 通过可用模块进行惰性访问

    模块的顶层 require 不会真正访问模块。相反，它使模块可用。当将来的表达式需要在相同上下文中展开时，将访问可用模块。下一个表达式可能涉及或不涉及需要通过访问来评估其编译时帮助程序的某些导入宏，但模块系统会主动访问模块，以防万一。

    $ racket -i
Welcome to Racket v8.7 [cs].
> (require "compile_time_instantiation.rkt")
picked 0.2503381960723421
running
> (+ 1 1)
picked 0.7182273015825262
2
> (+ 2 2)
4

    如果-i没有执行第二条命令，“picked”只会打印一次。-i使 REPL 启动，这可能足以触发对模块的访问。

    $ racket -e '(require "compile_time_instantiation.rkt")'
picked 0.5183696676559958
running
    • 1

相关问题