1

我想定义块并以这种方式调用它：

add := [ :a :b |
    ^(a+b).
].

n := add value: 1 value: 2.

但是当我尝试它时，我得到一个错误：

$ gst 3.1.st 
Object: 3 error: return from a dead method context
SystemExceptions.BadReturn(Exception)>>signal (ExcHandling.st:254)
SystemExceptions.BadReturn class(Exception class)>>signal (ExcHandling.st:151)
SmallInteger(Object)>>badReturnError (Object.st:1389)
UndefinedObject>>executeStatements (3.1.st:3)

如何在 GNU Smalltalk 中调用函数？

好吧，我删除了 return 语句，这段代码可以正常工作。但是当我尝试定义更复杂的函数时，例如：

nod := [ :a :b |
    (a=b) ifTrue: [a].
    (a>b) ifTrue: [nod value: (a-b) value: b].
    (a<b) ifTrue: [nod value: a value: (b-a)].
].

n := nod value: 1 value: 2.
n printNl.

它打印为零。如果我用“提前退出”定义：

nod := [ :a :b |
    (a=b) ifTrue: [^a].
    (a>b) ifTrue: [nod value: (a-b) value: b].
    (a<b) ifTrue: [nod value: a value: (b-a)].
].

n := nod value: 1 value: 2.
n printNl.

它给了我同样的错误：从死方法上下文返回。

我以这种方式解决这个问题：

nod := [ :a :b |
    (a=b) ifTrue: [
        a
    ] ifFalse: [
        (a>b) ifTrue: [nod value: (a-b) value: b] ifFalse: [nod value: a value: (b-a)].
    ]
].

n := nod value: 1 value: 2.
n printNl.

但我认为，这不是美丽的方式。

4

3 回答 3

5

从您的代码中删除 return 语句 ( ^)，它会正常工作。

在 smalltalk 中，return 退出出现 return 语句的方法。它用于提前退出，例如a < b ifTrue: [^a] ifFalse:[^b].

在这种情况下，您不希望该块退出包含方法，您只希望它在发送时评估为某事value:value:。一个块计算它的最后一条语句，所以只要让它成为一个常规语句，它就可以解决问题。

顺便说一句，你得到的错误信息也解释了这个问题：你试图3从一个已经死的方法返回。

于 2016-04-03T21:53:04.140 回答
4

删除块内的非本地返回 (^)、括号和句点。并尝试再做一次。

于 2016-04-03T21:52:30.063 回答
3

您已经接受了原始问题的答案，然后重新定义了您的问题。

要回答您更新的问题，您可以使用块返回其最后一条语句的值这一事实，并使用局部变量：

nod := [ :a :b | |r|
    (a = b) ifTrue: [r := a].
    (a > b) ifTrue: [r := nod value: (a-b) value: b].
    (a < b) ifTrue: [r := nod value: a value: (b-a)].
    r
].

不过，我很好奇上下文。我怀疑这可能更合适地定义为类的选择器/方法。

顺便说一句，如果任一参数为负，上述实现将进入无限递归。

获得所需结果的最简单方法是：

nod := [ :a :b | a gcd: b ].

:)

于 2016-04-04T11:16:27.807 回答