我是 GNU Smalltalk 的新手。我知道在大多数编程语言中，都有一个//import命令可以让一个源文件访问另一个源文件的内容。我的问题是，如何在 GNU Smalltalk 中将一个文件导入另一个文件？任何帮助，将不胜感激。谢谢！#includerequire
问问题
1520 次
2 回答
5
我认为有两个很好的答案：
FileStream fileIn: 'afile.st'.在 GNU Smalltalk 中，您不需要将一个源文件导入/包含/要求到另一个源文件中。
解释第一个答案
假设我有文件foo.st：
"foo.st"
Object subclass: Foo [
foo [^ 'I am Foo from foo.st']
]
如果我想使用Foo我正在编写的代码中的类bar.st，我可以FileStream fileIn: 'foo.st'在以下init方法中使用Bar：
"bar.st"
Object subclass: Bar [
| barsFoo |
Bar class >> new [
| r |
r := super new.
^ r init.
]
init [
"Combines the contents of foo.st with the current image
and assigns a new Foo to barsFoo."
FileStream fileIn: 'foo.st'.
barsFoo := Foo new.
]
bar [
^ 'I am bar from bar.st'
]
foo [
^ barsFoo foo.
]
]
使用这些类看起来像：
$ gst
GNU Smalltalk ready
st> FileStream fileIn: 'bar.st'
FileStream
st> b := Bar new
a Bar
st> b foo
'I am Foo from foo.st'
到目前为止，这一切看起来就像一个普通的导入/包含/要求。但这并不是因为FileStream fileIn: 'foo.st'内部init发生 在运行时，所以我可以输入：
st> f := Foo new
a Foo
st> f foo
'I am Foo from foo.st'
解释第二个答案
Foo导入后我得到一个新的原因bar.st是因为FileStream fileIn: 'bar.st'结合了bar.st当前图像的内容。
尽管 GNU Smalltalk 使用源代码文件的抽象。Smalltalk 的底层抽象是图像而不是文件，这对于 GNU Smalltalk 和任何其他 Smalltalk 系统一样真实。缺少传统 IDE 并不会改变映像的首要地位。对我来说，作为一个新的 Smalltalk 用户，尤其是一个新的 GNU Smalltalk 用户，这是一个很难理解的抽象。
Bar这意味着管理的依赖的普通低级逐步方法Foo是通过创建一个已经包含Foo首先的图像：
$ gst
GNU Smalltalk ready
st> FileStream fileIn: 'foo.st'
FileStream
st> ObjectMemory snapshot: 'foo.im'
"Global garbage collection... done"
false
st>
现在我可以启动已经包含的图像Foo：
$ gst -I foo.im
GNU Smalltalk ready
st> f := Foo new
a Foo
st> f foo
'I am Foo from foo.st'
只要我不积极地Foo并行开发，Bar我就可以将其更改init为：
init [
barsFoo := Foo new.
]
Foo我还可以使用和创建一个新图像Bar：
$ gst -I foo.st
GNU Smalltalk ready
st> FileSteam fileIn: 'bar.st'
FileStream
st> ObjectMemory snapshot: 'foobar.im'
从最新源构建系统
可以创建一个从磁盘读取两个文件的最新版本的对象：
Object subclass: FooBarBuilder [
FooBarBuilder class >> new [
| r |
r := super new.
^ r init.
]
init [
FileStream fileIn: 'foo.st'.
FileStream fileIn: 'bar.st'.
]
]
并建立一个图像：
$ gst
GNU Smalltalk ready
st> FileStream fileIn: 'foobarbuilder.st'
FileStream
st> ObjectMemory snapshot: 'foobar.im'
"Global garbage collection... done"
false
st>
使用新图像foobar.im可以让我在每次创建新Foo的. 不是很漂亮而且有点笨拙，但它会完成一些真正的构建系统的工作。BarFooBarBuilder
全部打包
可以使用 GNU Smalltalk 的包系统将所有必要的文件导入“干净的”Smalltalk 运行时，而不是跟踪多个图像 ( foo.im, )。foobar.im它首先创建一个package.xml文件：
<package>
<name>FileImport</name>
<file>foo.st</file>
<file>bar.st</file>
<file>foobarbuilder.st</file>
<filein>foo.st</filein>
<filein>bar.st</filein>
<filein>foobarbuilder.st</filein>
</package>
下一步是“发布”包，以便 GNU Smalltalk 可以使用gst-package. 在这里，我将它发布到我home在 Linux 中的目录而不是系统范围的位置（/usr/share/gnu-smalltalk/在 Ubuntu 16.04 上）：
~/smalltalk/fileimport$ gst-package -t ~/.st package.xml
~/smalltalk/fileimport$ gst
GNU Smalltalk ready
st> PackageLoader fileInPackage: 'FileImport'
"Global garbage collection... done"
Loading package FileImport
PackageLoader
st> Foo new
a Foo
st>
结束语
天下没有免费的午餐。GNU Smalltalk 通过以熟悉的方式轻松处理文件而有所收获。代价是文件不能很好地与图像的抽象集成，以及开发主要通过修改正在运行的图像来实现的期望。
没有免费的午餐。在某些时候，由于阻抗不匹配，传统 Smalltalk IDE 的收益可能会超过使用源代码文件的熟悉程度。
于 2017-08-17T20:09:30.630 回答
4
它可能在没有 import/include/require/use 的情况下工作，因为 Smalltalk 是后期绑定的：
- 类名在传统上名为 Smalltalk 的全局命名空间中解析，该命名空间是（曾经）将类名（键）与类（值）相关联的 SystemDictionary。这个键值对是一个绑定或关联对象，具体取决于 Smalltalk 品牌。编译器生成的字节码只是推送存储在编译方法文字中的绑定（理解指向的指针，绑定是共享的），并提取它的值。
- 如果一个类还不存在，那么绑定将被存储到一个名为 Undeclared 的特殊字典中。如果以后定义了这个未声明的变量，那么定义就会改变（即值改变），并且绑定移动到系统字典。
- 至于方法名称（所谓的选择器），它们直到运行时才被解析：编译器产生的字节码是：推送接收者。推动论点。发送选择器。
启用后期绑定的原因是您只能通过发送消息与对象进行交互。并且消息查找是在运行时通过在接收者的类方法字典中搜索与选择器对应的键来执行的。
但是，在处理类端初始化时，加载顺序很重要。未声明的绑定使用 nil 初始化，因此向 nil 发送消息可能是不恰当的，并导致 MessageNotUnderstood 异常。
所以 gnu smalltalk 添加了包的概念。它是一种描述依赖关系和指导加载顺序的元数据，并最终将定义放入备用命名空间。
这个答案大部分来自 Smalltalk-80 背后的基本原理。
它在最新的 gnu 实现中可能会有所不同。
看
- https://www.gnu.org/software/smalltalk/manual/html_node/Namespaces.html
- https://www.gnu.org/software/smalltalk/manual/html_node/Packages.html#Packages
最后一件事：在 Smalltalk-80 中，源代码存储到文件或其他文件中的事实是对用户隐藏的实现细节。
您将直接在浏览器中编码。
最终，您会将方法/类/类别导出到 fileOut，但永远不会自己编写此文件。
GNU Smalltalk 在这方面有点混合。
于 2016-10-06T20:33:46.157 回答