如何在Io编程语言中定义自己的运算符？

Question

我正在尝试在Io中定义自己的运算符，而且我很难过。我有一个对象：

MyObject := Object clone do(
  lst := list()
  !! := method(n, lst at(n))
)

但是当我打电话给它时，就像这样：

x := MyObject clone do(lst appendSeq(list(1, 2, 3)))
x !! 2

但我得到一个例外，参数0到at必须不是nil。我该如何解决？

Answer 1

嗯，您的代码中存在一个问题。简单地说，你没有添加!!到操作员表。我会给你一些背景知识。

在构造AST之前，Io中的运算符被洗牌。这意味着，我们必须维护一个具有某些优先级的已知运算符列表，以了解哪些运算符比其他运算符更紧密。我们在“OperatorTable”中执行此操作。如果您在REPL中，可以通过在REPL中键入“OperatorTable”来查看如何使用它（不带引号）。这将为您提供运算符列表（动态生成，因此在定义时添加新运算符），以及如何使用每种类型运算符的示例。有两种类型：

1. 二元运算符（例如1 + 2，简称为“运算符”）
2. 分配运算符（例如a：= b）

所以在你的例子中，你的代码是正确的;我们不必在那里改变任何东西。但是，我们缺少一些代码来使解析子系统知道如何处理您的运算符。我将提供一个假设您希望它与乘法一样紧密绑定的示例。

OperatorTable addOperator("!!", 3)

现在，我们可以看到如何通过构造消息并查看其树的表示方式来改变它。再次在REPL中，如果我们输入：

message(a !! b)

我们会看到这样的事情：

==> a !!(b)

这就像任何其他方法调用一样，它必须存在于某处，否则您将收到错误。您可以像上面显示的那样使用它（使用显式括号），或者您可以在原始问题中使用它，而无需使用明确的括号。与任何操作符一样，如果您不使用显式括号，则您必须遵守优先规则，这样您就知道了。

希望这能回答你的问题。