如何覆盖另一个包中的类中的现有选择器

Question

我正在使用 Pharo 5.0。在某些情况下，我在现有的 Pharo 类（例如、DBXTalk/Garage 或 Regex-Core 中的某些东西）中发现了限制或可能存在错误。我希望能够修改存在于我自己项目之外的类中的一个或一组选择器，并将其作为我的包的一部分。

我找到了一些关于如何在外部类中创建 new 选择器并将其移动到我的包中的说明（例如，如tutorial 所示） .这很酷。但在某些情况下，我实际上想修改外部类中的 existing 选择器，并在我使用该选择器时让该选择器的副本覆盖外部类中的选择器。我不想修改现有的第 3 方或 Pharo 预提供的软件包。

在 GNU Smalltalk 中，我可以将其作为扩展类的正常部分。例如：

Kernel.MatchingRegexResults extend [
    at: anIndex [
        "My updated version of the 'official' Kernel.MatchingRegexResults#at: selector"
        "This is part of my package so overrides the 'official' version"
        ...
    ]

    foo [
        "My new foo selector"
    ]
]

如何在 Pharo 5.0 中做到这一点？我已经做了很多搜索，但找不到这样做的方法。 Pharo by Example 和 Deep Into Pharo 书籍中没有出现“扩展”或“覆盖”这些词。

Answer 1

请注意，除了 Milan Vavra 编写的内容之外，名为 *YourPackage-(something) 的协议中的每个方法都将属于包 YourPackage，而不管该类属于哪个包。至少在 Squeak 中，有将这样的方法覆盖在 *YourPackage-override 协议中的约定。 Pharo 可能有类似的命名约定。移动到包功能将方法移动到这样的“加星标”协议。

但是，不鼓励使用此类覆盖，因为您不能让两个包同时为同一方法提供实现。 Monticello 将尝试保留原始方法和覆盖方法（请参阅PackageInfo>>isOverrideCategory: 的发件人），但您的覆盖方法仍然有可能被其原始包的更新覆盖，或者您将错过对原始方法的更新，可能打破东西。

“正确的方法”是重构原始包中的原始方法，使其行为更易于定制。

Answer 2

GNU Smalltalk 语法中的代码

Kernel.MatchingRegexResults extend [
    at: anIndex [
        "method body"
    ]
    foo [
        "My new foo selector"
    ]
]

看起来像这样

!MatchingRegexResults methodsFor: 'protocol'!
at: anIndex 
    "method body"
!
foo
    "My new foo selector"
! !

在可以从文件浏览器中归档的 Pharo 更改集中。

但请注意，在这两种情况下，GNU Smalltalk 和 Pharo Smalltalk，您实际上是在替换该类中方法的原始版本。

在 GNU Smalltalk 中，您可能不习惯保存图像，因此您可能认为扩展语法不会修改原始类中的原始方法。

其实它就是这么做的。

使用 GNU Smalltalk，您通常每次运行 gst 时都从相同的未修改旧映像开始。 这是因为 GNU Smalltalk 中图像的默认位置对于普通用户是不可写的。所以 gst 每次都读取相同的只读图像，您使用类定义和扩展在内存中对其进行修改，修改后的图像仅在程序运行时暂时存在，并在程序退出时被丢弃。