2.4.19 自动加载类型

自动加载对象是一个列表，其列表的第一个元素是符号 autoload。余下部分为符号，在符号的函数槽内，其中储存了真实定义的具体位置。自动加载对象会检查定义是否真的存在，并会在必要的时候加载。它包含了文件的名字，以及其他和真实定义相关的信息。

当文件被加载后，这个符号应当拥有一个新的，除自动加载对象外的函数定义。而这个新的定义就好像这个符号本来就是一样。在使用者看来，这个函数调用时应当和预期一样，使用被加载文件中的定义。

自动加载对象通常由函数 autoload 定义，这个函数会创建对象，并把它保存在符号的函数槽内。更多细节请查阅自动加载。