squeak(smalltalk) 如何将 'inject' 字符串转换成字符串
squeak(smalltallk) how to 'inject' string into string
我正在写一个名为 "MyObject" 的 class。
class 方法之一是：
addTo: aCodeString assertType: aTypeCollection
当使用 aCodeString 调用该方法时，我想（在运行时）向 "MyObject" class 添加一个新方法，其中 aCodeString 是它的源代码并且将类型检查代码注入源代码。
例如，如果我这样调用 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。
我知道如何编写类型检查代码，并且我知道要在运行时将方法添加到 class，我可以使用行为 class 中的 'compile' 方法。
问题是我想在源代码中添加类型检查代码。
我不是很熟悉 squeak class 的所有内容，所以我不确定我是否宁愿将 aCodeString 编辑为 addTo: assertType: 中的字符串，然后使用 compile:（而且我不知道 怎么做 )，或者有一种方法可以将代码注入 Behavior class 或其他 squeak class 中的现有方法.
基本上，我要问的是如何将字符串注入现有字符串或将代码注入现有方法。
有很多方法可以实现这种类型检查...
您建议的方法是修改源代码（一个字符串），以便插入额外的前提条件类型检查。
此方法的关键点是您必须在正确的位置插入类型检查。这意味着以某种方式解析原始来源（或至少 selector 和参数）以便找到它的确切范围（和参数名称）。
参见 Parser 中的方法 initPattern:return: 及其发送者。您会发现相当低级（不是最漂亮的）代码，这些代码为块（通过 return: 关键字传递）提供 sap 3 个对象的数组：方法 select 或方法参数和方法优先级（一个代码告诉方法是否连接到一元、二进制或关键字消息）。从那里，您将获得足够的 material 来实现源代码操作（使用 copyReplace:from:to:with: 将一个字符串插入另一个字符串）。
不要犹豫，编写一小段代码并在调试器中执行（select 要调试的代码，然后使用调试菜单或 ALT+Shift+D）。还广泛使用检查员来更深入地了解事情的运作方式！
另一种解决方案是解析源代码的整个抽象语法树 (AST)，并操纵该 AST 以插入类型检查。通常，解析器构建 AST，因此请观察它是如何工作的。从修改后的 AST 中，您可以生成新的 CompiledMethod（字节码指令）并将其安装在 methodDictionary 中 - 查看 compile: 的源代码并按照发送的消息进行操作，直到您发现 generateMethodFromNode:trailer:。这有点复杂，并且有一个不好的副作用，即源代码现在与生成的代码不同步，一旦您想调试该方法，这可能会成为一个问题（幸运的是，Squeak 可以使用反编译代码代替源代码代码！）。
最后，您还可以为您的某些 classes 安排备用编译器和解析器（参见 compilerClass and/or parserClass）。替代 TypeHintParser 将接受源代码中带有类型提示的修改语法（曾几何时，它是在尖括号 foo: x <Integer> bar: y <Number> 内的 args 后面使用类型提示实现的）。并且替代 TypeHintCompiler 将根据这些类型提示自动安排编译前提条件。因为你将在 Squeak 中非常先进，你还将在源代码索引和字节码之间创建特殊映射，以便拥有健全的调试器甚至特殊的反编译器 class 可以识别前提条件类型检查并将它们转换回类型提示以防万一。
我的建议是从您提出的第一种方法开始。
编辑
我忘了说，还有另一种方法，但它目前在 Pharo 而不是 Squeak 中可用：Pharo 编译器（名为 OpalCompiler）确实将字节码指令具体化为对象（class名称以 IR 开头）在生成阶段。所以在这个阶段也可以通过适当的黑客攻击直接操纵字节码指令......我很确定我们可以找到使用示例。可能是最先进的技术了。
我正在写一个名为 "MyObject" 的 class。 class 方法之一是：
addTo: aCodeString assertType: aTypeCollection
当使用 aCodeString 调用该方法时，我想（在运行时）向 "MyObject" class 添加一个新方法，其中 aCodeString 是它的源代码并且将类型检查代码注入源代码。
例如，如果我这样调用 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。
我知道如何编写类型检查代码，并且我知道要在运行时将方法添加到 class，我可以使用行为 class 中的 'compile' 方法。
问题是我想在源代码中添加类型检查代码。
我不是很熟悉 squeak class 的所有内容，所以我不确定我是否宁愿将 aCodeString 编辑为 addTo: assertType: 中的字符串，然后使用 compile:（而且我不知道 怎么做 )，或者有一种方法可以将代码注入 Behavior class 或其他 squeak class 中的现有方法.
基本上，我要问的是如何将字符串注入现有字符串或将代码注入现有方法。
有很多方法可以实现这种类型检查...
您建议的方法是修改源代码（一个字符串），以便插入额外的前提条件类型检查。
此方法的关键点是您必须在正确的位置插入类型检查。这意味着以某种方式解析原始来源（或至少 selector 和参数）以便找到它的确切范围（和参数名称）。
参见 Parser 中的方法 initPattern:return: 及其发送者。您会发现相当低级（不是最漂亮的）代码，这些代码为块（通过 return: 关键字传递）提供 sap 3 个对象的数组：方法 select 或方法参数和方法优先级（一个代码告诉方法是否连接到一元、二进制或关键字消息）。从那里，您将获得足够的 material 来实现源代码操作（使用 copyReplace:from:to:with: 将一个字符串插入另一个字符串）。
不要犹豫，编写一小段代码并在调试器中执行（select 要调试的代码，然后使用调试菜单或 ALT+Shift+D）。还广泛使用检查员来更深入地了解事情的运作方式！
另一种解决方案是解析源代码的整个抽象语法树 (AST)，并操纵该 AST 以插入类型检查。通常，解析器构建 AST，因此请观察它是如何工作的。从修改后的 AST 中，您可以生成新的 CompiledMethod（字节码指令）并将其安装在 methodDictionary 中 - 查看 compile: 的源代码并按照发送的消息进行操作，直到您发现 generateMethodFromNode:trailer:。这有点复杂，并且有一个不好的副作用，即源代码现在与生成的代码不同步，一旦您想调试该方法，这可能会成为一个问题（幸运的是，Squeak 可以使用反编译代码代替源代码代码！）。
最后，您还可以为您的某些 classes 安排备用编译器和解析器（参见 compilerClass and/or parserClass）。替代 TypeHintParser 将接受源代码中带有类型提示的修改语法（曾几何时，它是在尖括号 foo: x <Integer> bar: y <Number> 内的 args 后面使用类型提示实现的）。并且替代 TypeHintCompiler 将根据这些类型提示自动安排编译前提条件。因为你将在 Squeak 中非常先进，你还将在源代码索引和字节码之间创建特殊映射，以便拥有健全的调试器甚至特殊的反编译器 class 可以识别前提条件类型检查并将它们转换回类型提示以防万一。
我的建议是从您提出的第一种方法开始。
编辑
我忘了说，还有另一种方法，但它目前在 Pharo 而不是 Squeak 中可用：Pharo 编译器（名为 OpalCompiler）确实将字节码指令具体化为对象（class名称以 IR 开头）在生成阶段。所以在这个阶段也可以通过适当的黑客攻击直接操纵字节码指令......我很确定我们可以找到使用示例。可能是最先进的技术了。