在 Racket 中需要 vs 加载 vs 包含 vs 导入

Posted 2023-02-24

【中文标题】在 Racket 中需要 vs 加载 vs 包含 vs 导入

【英文标题】：require vs load vs include vs import in Racket

【发布时间】：2018-07-10 22:45:12

【问题描述】：

Racket 文档表明，Racket 具有单独的形式：require、load、include 和 import。许多其他语言仅包含其中一种，并且通常用作同义词（尽管显然存在语言特定差异，例如 C 中的 #include 和 Java 中的 import）。

既然 Racket 拥有所有这四个，那么每个之间有什么区别，我一般应该使用哪个？此外，如果每个都有特定用途，我应该什么时候使用替代类型？另外，this question 似乎表明require（与provide 配对）是首选，为什么？

【参考方案1】：

1。需要

您是对的，您想要的默认值几乎总是require（与provide 配对）。这两种形式与 Racket 的modules 齐头并进，使您可以更轻松地确定哪些变量应该在哪些文件中作用域。比如下面的文件定义了三个变量，但是只导出了2个。

#lang racket   ; a.rkt
(provide b c)
(define a 1)
(define b 2)
(define c 3)

根据the Racket style guide，理想情况下，提供应该是文件中#lang 之后的第一个表单，以便您可以轻松判断模块提供的内容。在少数情况下这是不可能的，但在您开始制作自己打算公开分发的 Racket 库之前，您可能不会遇到这些情况。就个人而言，我仍然将文件的 require 放在其 provide 之前，但我有时会为此感到沮丧。

在 repl 或其他模块中，您现在可以 require 这个文件并查看它提供的变量。

Welcome to Racket v6.12.
> (require "a.rkt")
> c
3
> b
2
> a
; a: undefined;
;  cannot reference undefined identifier
; [,bt for context]

有ways to get around this，但这是模块传达其显式导出内容的一种方式。

2。加载

这是 require 的一个更动态的变体。一般来说，您不应该使用它，而是在需要动态加载模块时使用dynamic-require。在这种情况下，load 实际上是require 在幕后使用的原语。但是，如果您明确希望模拟顶层（需要明确的是，您几乎从不这样做），那么 load 是一个不错的选择。尽管在这些极少数情况下，我仍然会引导您使用racket/load 语言。它的交互方式就像每个表单都直接输入到 repl 中一样。

#lang racket/load
(define x 5)
(displayln x) ; => prints 5
(define x 6)
(displayln x) ; => prints 6

3。包括

Include 类似于 C 中的#include。您应该使用它的情况更少。 include 表单获取给定路径的 s-expression 语法，并将其直接放入 include 表单所在的文件中。起初，这可能是一个很好的解决方案，允许您将单个模块拆分为多个文件，或者将一个模块“片段”放入多个文件中。但是，有更好的方法可以在不使用 include 的情况下完成这两项操作，也不会带来使用 include 时令人困惑的副作用。¹ 如果您仍然坚持使用，请记住一件事使用import，除非您明确想要嵌入子模块，否则您正在导入的文件可能不应该有#lang 行。 （在这种情况下，除了include 之外，您还需要有一个require 表单。

4。导入

最后，import 实际上并不是 Racket 的核心部分，而是它的unit system 的一部分。单元在某些方面类似于模块，但允许循环依赖（单元 A 可以依赖于单元 B，而单元 B 依赖于单元 A）。近年来，由于它们的语法开销，它们已经失宠。

也不同于其他形式import（另外还有export），采用signatures，并依赖外部linker 来决定哪些实际单元应该链接在一起。单元本身就是一个复杂的话题，应该有自己的问题来解决如何创建和链接它们。

结论（tldr）

TLDR;使用require 和provide。它们是最好的支持和最容易理解的。其他形式确实有它们的用途，但应该只考虑“高级用途”。

_{¹这些副作用与您对 C 中的 #include 的预期相同。例如顺序很重要，而且表达式以非常不可预测的方式混合在一起。子>}

【讨论】：

require 与 RNRS import 之间的一个值得注意的区别是 require 将自动隐藏早期定义的语言或以前需要的绑定。例如。 #lang racket/base 有 map 不允许传递不同大小的列表，而 (require srfi/1) 将用停止在最短列表的不同实现覆盖它。在 RNRS 中，您需要排除一个，因为从两个来源导入相同的内容被视为错误。

好点。 require 将自动隐藏来自#lang（模块语言）的绑定。但是它不会隐藏以前需要的绑定（除非您在 repl 中，否则它会。）同样，本地定义也会自动隐藏 require 定义。