在球拍中需要vs加载vs包含vs导入

Question

球拍的文档表明，球拍有独立的形式为：require，load，include，和import。许多其他语言仅包含其中一种，并且通常被同义使用（尽管显然存在特定于语言的差异，例如#includeC和importJava）。

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

Answer 1

1. 要求

你是对的，你想要的默认值几乎总是require（与 配对provide）。这两种形式与 Racket 相辅相成，modules使您可以更轻松地确定哪些变量应在哪些文件中限定范围。例如，下面的文件定义了三个变量，但只导出了 2 个。

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

根据Racket style guide，理想情况下提供应该是文件中的第一个形式，#lang以便您可以轻松地判断模块提供了什么。在某些情况下这是不可能的，但是在您开始制作您打算公开发行的自己的 Racket 库之前，您可能不会遇到这些情况。就我个人而言，我仍然将文件放在require它的之前provide，但我有时会因为它而受到抨击。

在 repl 或另一个模块中，您现在可以要求此文件并查看它提供的变量。

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

有很多方法可以解决这个问题，但这可以作为模块传达其显式导出内容的一种方式。

2. 负载

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

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

3. 包括

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

4. 进口

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

与其他形式import（另外export）不同的是，采用签名，并依靠外部链接器来决定哪些实际单元应该链接在一起。单元本身是一个复杂的主题，应该就如何创建和链接单元提出自己的问题。

结论 (tldr)

TLDR；使用require和provide。它们是最好的支持和最容易理解的。其他形式确实有其用途，但应仅视为“高级用途”。

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