Groovy 的“可选返回”语义

Question

在 Groovy 中，return statement is optional，允许您编写如下方法：

def add(a, b) {
    a + b
}

...添加a 和b 并将结果返回给调用者。

但是，我想知道当方法具有多个返回“语句”时的语义是什么。例如，在 Java 中，您可能有：

String append(String a, String b) {
    if (a == null) {
        return b;
    }
    return a + b;
}

这可以（假设地）被翻译成 Groovy，比如：

def append(a, b) {
    if (! a) {
        b
    }
    a + b
}

但是，在这种情况下，Groovy 怎么知道应该返回 if 语句中的 b？还是没有？我假设 Groovy 不能简单地将结果未使用的任何语句视为 return，对吗？在这种情况下，“可选返回”功能的行为是否有任何明确定义的语义？

Answer 1

您链接的页面（相当简洁）描述了确切的语义：

请注意，方法末尾的 return 语句是可选的。

因此，除非您明确返回，否则该 if 块中的 b 将永远不会返回。在实践中，这意味着返回值将是评估的最后一条语句的结果，所以如果您的示例是

def append(a, b) {
   if (!a) { b }
   else { a + b }
}

如果!a 为true，则结果将为b，否则为a + b。

调用void 函数的结果是null，所以如果示例是

def append(a,b) {
   if (!a) { b }
   else { a + b }
   println "debug: $a $b"
}

那么append 将始终返回null。

我自己的经验法则是，如果方法或闭包包含多个语句，则始终使用显式返回语句。我认为在更复杂的方法中依赖隐式 return 语句是危险的，因为如果有人在方法的末尾添加一行，即使他们很可能不打算这样做，他们也会更改返回值。