当前位置：文江博客话题详情

Groovy AST 转换 - 如何确定 MethodCallExpression 的返回类型？

发布于 2024-10-08 06:04:34 字数 387 浏览 2 评论 0原文

使用 Groovy AST 转换，我如何找出返回类型MethodCallExpression？

即使我在方法定义中显式定义了方法的返回类型，MethodCallExpression.getType() 也始终返回 java.lang.Object。

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

痴骨ら 2024-10-15 06:04:34

由于 groovy 的动态特性，AST 在编译时无法知道方法调用表达式的返回类型。例如：

class Example {
    String foo() { "foo" }
}
def e = new Example()
assert e.foo() == "foo"

看起来很简单。 foo 返回一个字符串，因此 e.foo() 的 MethodCallExpression 应该具有 String 类型，对吧？但是如果元类中的 foo 发生了变化怎么办？

class Example {
    String foo() { "foo" }
}
def e = new Example()
if (someRuntimeCondition) {
    e.metaClass.foo = { -> 42 }
}
assert e.foo() == "foo"  // is foo a String or an Int?

Groovy 编译器没有足够的信息来对方法调用做出任何假设，因为它可能在运行时发生变化，因此它必须将其编译为对象。

Due to the dynamic nature of groovy, the AST can't know the return type of a method call expression at compile time. For example:

class Example {
    String foo() { "foo" }
}
def e = new Example()
assert e.foo() == "foo"

Looks simple enough. foo returns a string, so the MethodCallExpression for e.foo() should have a type of String, right? But what if foo is changed in the metaClass?

class Example {
    String foo() { "foo" }
}
def e = new Example()
if (someRuntimeCondition) {
    e.metaClass.foo = { -> 42 }
}
assert e.foo() == "foo"  // is foo a String or an Int?

The groovy compiler just doesn't have enough information to make any assumptions about the method call since it could change at runtime, so it has to compile it down to an Object.

回复收藏 0 原文

~没有更多了~