string - squeak(smalltalk) 如何将 'inject' 字符串转换成字符串

Question

我正在编写一个名为“MyObject”的类。其中一个类方法是:

addTo: aCodeString assertType: aTypeCollection

当使用 aCodeString 调用该方法时，我想(在运行时)向“MyObject”类添加一个新方法，aCodeString 是它的源代码并注入(inject)类型将代码检查到源代码中。例如，如果我这样调用 addTo: assertType::

a := MyObject new.
a addTo:  'foo: a boo:b baz: c
    ^(a*b+c)'
assertType: #(SmallInteger SmallInteger SmallInteger).

我希望我以后可以写:

answer := (a foo: 2 boo: 5 baz: 10). 

并在 answer 中得到 20。如果我写:

a foo: 'someString' boo: 5 baz: 10.

我收到了正确的消息，因为“someString”不是 SmallInteger。

我知道如何编写类型检查代码，并且我知道要在运行时将方法添加到类中，我可以使用 Behavior 类中的“编译”方法。

问题是我想在源代码中添加类型检查代码。我不是很熟悉所有的 squeak 类，所以我不确定我是否愿意将 aCodeString 编辑为 addTo: assertType: 中的字符串，然后使用 编译:(而且我不知道怎么做)，或者有一种方法可以将代码注入(inject) Behavior 类或其他 squeak 类中的现有方法。

基本上，我要问的是如何将字符串注入(inject)现有字符串或将代码注入(inject)现有方法。

Answer 1

有很多方法可以实现这种类型检查...

您建议修改源代码(一个字符串)以便插入额外的前置条件类型检查。

此方法的关键点是您必须在正确的位置插入类型检查。这意味着以某种方式解析原始源(或至少是选择器和参数)以便找到它的确切范围(和参数名称)。

参见方法 initPattern:return:在 Parser及其发件人。您会发现相当低级(不是最漂亮)的代码，这些代码用 sap 提供 block (通过 return: 关键字传递)。一个包含 3 个对象的数组:方法选择器、方法参数和方法优先级(告诉方法是否连接到一元、二进制或关键字消息的代码)。从那里，您将获得足够的 Material 来实现源代码操作(使用 copyReplace:from:to:with: 将一个字符串插入另一个字符串)。

不要犹豫，编写一小段代码并在调试器中执行(选择要调试的代码，然后使用调试菜单或 ALT+Shift+D)。还可以广泛使用检查器来更深入地了解事情的运作方式!

另一种解决方案是解析源代码的整个抽象语法树 (AST)，并操纵该 AST 以插入类型检查。通常，解析器构建 AST，因此请观察它是如何工作的。从修改后的 AST，您可以生成新的 CompiledMethod (字节码说明)并将其安装在 methodDictionary 中- 查看 compile: 的源代码并按照发送的消息进行操作，直到您发现 generateMethodFromNode:trailer: .这有点复杂，并且有一个不好的副作用，即源代码现在与生成的代码不同步，一旦您想调试该方法，这可能会成为一个问题(幸运的是，Squeak 可以使用反编译代码代替源代码代码!)。

最后，您还可以为您的某些类安排备用编译器和解析器(参见 compilerClass 和/或 parserClass)。备用TypeHintParser将在源代码中接受带有类型提示的修改语法(曾几何时，它是通过尖括号内的 args 后面的类型提示实现的 foo: x <Integer> bar: y <Number> )。和备用 TypeHintCompiler会根据这些类型提示自动编译先决条件。因为你将在 Squeak 中非常先进，你还将在源代码索引和字节码之间创建特殊映射，以便拥有健全的调试器，甚至可以识别前提条件类型检查并将它们转换回类型提示的特殊反编译器类，以防万一.

我的建议是从您提出的第一种方法开始。

编辑

我忘了说，还有另一种方法，但它目前在 Pharo 而不是 Squeak 中可用:Pharo 编译器(名为 OpalCompiler)确实将字节码指令具体化为生成中的对象(类名以 IR 开头)阶段。所以在这个阶段也可以通过适当的黑客攻击直接操纵字节码指令......我很确定我们可以找到使用示例。可能是最先进的技术。