文章详情

短信预约-IT技能 免费直播动态提醒

请输入下面的图形验证码

提交验证

短信预约提醒成功

Groovy 类型检查扩展,使用扩展

2024-12-13 16:10

关注

本篇接着上篇没有讲完的内容,继续介绍类型检查扩展的相关知识点。

2. 使用类型检查扩展

我们讲解了如何创建类型检查扩展,这里开始讲解各种的使用方式。

2.1 支持类-Support classes

DSL依赖于一个名为org.codehaus.groovy.transform.stc.GroovyTypeCheckingExtensionSupport的支持类。这个类本身扩展了org.codehaus.groovy.transform.stc.TypeCheckingExtension。这两个类定义了许多帮助器方法,使使用AST变得更容易,特别是在类型检查方面。要知道的一件有趣的事情是,我们可以访问类型检查器。这意味着我们可以以编程方式调用类型检查器的方法,包括那些允许抛出编译错误的方法。

扩展脚本委托给org.codehaus.groovy.transform.stc.GroovyTypeCheckingExtensionSupport类,这意味着我们可以直接访问以下变量:

类型检查上下文包含大量在上下文中对类型检查器有用的信息。例如,当前的封闭方法调用堆栈、二进制表达式、闭包等等,如果我们必须知道错误发生时我们在哪里以及我们想要处理它,那么这些信息就特别重要。

除了GroovyTypeCheckingExtensionSupport和StaticTypeCheckingVisitor提供的功能外,类型检查DSL脚本还从org.codehaus.groovy.ast.ClassHelper和org.codehaus.groovy.transform.stc.StaticTypeCheckingSupport导入静态成员,允许通过OBJECT_TYPE、STRING_TYPE、THROWABLE_TYPE等对公共类型进行访问,并检查诸如missesgenericsttypes(ClassNode)、isClassClassNodeWrappingConcreteType(ClassNode)等。

2.2 类节点-Class nodes

在使用类型检查扩展时,需要特别注意处理类节点。编译使用抽象语法树(AST),当您检查类的类型时,该树可能不完整。这也意味着在引用类型时,不能使用String或HashSet等类字面量,而是使用表示这些类型的类节点。这需要一定程度的抽象和理解Groovy如何处理类节点。为了简化工作,Groovy提供了几个辅助方法来处理类节点。例如,如果你想说“String的类型”,你可以这样写:

assert classNodeFor(String) instanceof ClassNode

还会注意到,classNodeFor有一个变体,它以String而不是Class作为参数。一般来说,我们不应该使用该方法,因为它将创建一个名称为String的类节点,但没有在其上定义任何方法、任何属性等。第一个版本返回已解析的类节点,而第二个版本返回未解析的类节点。所以后者应该留给非常特殊的情况。

可能遇到的第二个问题是引用一个尚未编译的类型。这种情况发生的频率可能比你想象的要高。例如,当一起编译一组文件时。在这种情况下,如果你想说“那个变量是Foo类型的”,但Foo还没有编译,仍然可以使用lookupClassNodeFor引用Foo类节点:

assert lookupClassNodeFor('Foo') instanceof ClassNode

2.3 类型检查器的帮助

假设你知道变量foo的类型是Foo,你想告诉类型检查器。然后可以使用storeType方法,该方法接受两个参数:第一个参数是希望存储类型的节点,第二个参数是节点的类型。如果查看storeType的实现,我们将看到它委托给类型检查器等效方法,该方法本身做了大量工作来存储节点元数据。还将看到,存储类型并不局限于变量:可以设置任何表达式的类型。

同样,获取AST节点的类型只需调用该节点上的getType即可。这通常是你想要的,但有一些注意事项:

  1. getType返回一个表达式的推断类型。这意味着对于声明为Object类型的变量,它不会返回Object的类节点,而是在代码的这一点返回该变量的推断类型(流类型)。
  2. 如果想访问变量(或字段/参数)的原始类型,那么必须在AST节点上调用适当的方法。

2.4 抛出错误

要抛出一个类型检查错误,你只需要调用addStaticTypeError方法,它有两个参数:

2.5 isXXXExpression表达式

通常需要知道AST节点的类型。为了可读性DSL提供了一个特殊的isXXXExpression方法,该方法将委托给XXXExpression的x实例。例如:

不建议的写法:

if (node instanceof BinaryExpression) {
...
}

正确,推荐的写法:

if (isBinaryExpression(node)) {   ... }

2.6 虚拟方法-Virtual methods

当我们执行动态代码的类型检查时,可能经常会遇到这样的情况:知道一个方法调用是有效的,但它背后并没有“真正的”方法。

以Grails动态查找器为例。可以有一个由名为findByName(…)的方法组成的方法调用。

由于bean中没有定义findByName方法,类型检查器会报错。

但是,我们知道这个方法在运行时不会失败,甚至可以知道这个方法的返回类型是什么。

对于这种情况,DSL支持由虚拟方法组成的两个特殊构造。这意味着将返回一个实际上并不存在但在类型检查上下文中定义的方法节点。有三种方法:

所有这三个方法都做同样的事情:它们创建一个新的方法节点,其名称是提供的名称,并定义该方法的返回类型。

此外,类型检查器会将这些方法添加到generatedMethods列表中。我们只设置名称和返回类型的原因是,这是在90%的情况下所需要的。

例如,在上面的findByName示例中,只需要知道findByName不会在运行时失败,并且它返回一个域类。

返回类型的Callable版本很有趣,因为当类型检查器实际需要返回类型时,它推迟了返回类型的计算。

在某些情况下,当类型检查器要求返回类型时,可能不知道实际的返回类型,因此可以使用闭包,每当类型检查器在此方法节点上调用getReturnType时,都会调用闭包。

如果将此与延迟检查结合起来,就可以实现相当复杂的类型检查,包括前向引用的处理。

newMethod(name) {
//每次调用这个方法节点上的getReturnType时,这个闭包就会被调用!
println 'Type checker called me!'
lookupClassNodeFor(Foo) //返回类型
}

如果你需要的不仅仅是名称和返回类型,你可以自己创建一个新的MethodNode。

2.7 范围-Scoping

范围在DSL类型检查中非常重要,这也是为什么我们不能使用基于切入点的方法来进行DSL类型检查的原因之一。

基本上,必须能够非常精确地定义何时应用扩展,何时不应用扩展。此外,必须能够处理常规类型检查器无法处理的情况,例如前向引用:

point a(1,1)
line a,b // b是事后引用的!
point b(5,2)

例如,你想处理一个构建器:

builder.foo {
bar
baz(bar)
}

因此,我们的扩展应该只在输入foo方法时是活动的,并且在此范围之外是不活动的。

但是,可能会遇到复杂的情况,比如同一个文件中有多个构建程序或嵌入式构建程序(构建程序中的构建程序)。

虽然不应该尝试从一开始就修复所有这些问题(必须接受类型检查的限制),但类型检查器确实提供了一种很好的机制来处理这个问题:使用newScope和scopeExit方法的作用域堆栈。

范围包括:

如果想看一下实现,它只是一个LinkedHashMap (org.codehaus.groovytypecheckingextensionsupport.typecheckingscope),但是它非常强大。例如,可以使用这样的作用域来存储退出作用域时要执行的闭包列表。这是处理前向引用的方式:

def scope = newScope()
scope.secondPassChecks = []
//...
scope.secondPassChecks << { println 'executed later' }
// ...
scopeExit {
secondPassChecks*.run() // 执行延迟检查
}

也就是说,如果在某个时候无法确定表达式的类型,或者此时无法检查赋值是否有效,仍然可以稍后进行检查……这是一个非常强大的功能。

现在,newScope和scopeExit提供了一些有趣的语法糖:

newScope {
secondPassChecks = []
}

在DSL中的任何时候,都可以使用getCurrentScope()或更简单的currentScope访问当前作用域:

//...
currentScope.secondPassChecks << { println 'executed later' }
// ...

一般的模式是:

2.8 其他有用的方法

要获得helper方法的完整列表,请参考类org.codehaus.groovy.transform.stc.GroovyTypeCheckingExtensionSupport和类org.codehaus.groovy.transform.stc.TypeCheckingExtension。但是,要特别注意以下方法:

3. 小结

关于类型检测扩展的使用相关知识要点,就介绍到这里了。以上相关内容可以参考Groovy官方文档:http://docs.groovy-lang.org/docs/groovy-4.0.6/html/documentation/#Typecheckingextensions-Workingwithextensions进行查询。

来源:zinyan内容投诉

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

软考中级精品资料免费领

  • 历年真题答案解析
  • 备考技巧名师总结
  • 高频考点精准押题
  • 2024年上半年信息系统项目管理师第二批次真题及答案解析(完整版)

    难度     813人已做
    查看
  • 【考后总结】2024年5月26日信息系统项目管理师第2批次考情分析

    难度     354人已做
    查看
  • 【考后总结】2024年5月25日信息系统项目管理师第1批次考情分析

    难度     318人已做
    查看
  • 2024年上半年软考高项第一、二批次真题考点汇总(完整版)

    难度     435人已做
    查看
  • 2024年上半年系统架构设计师考试综合知识真题

    难度     224人已做
    查看

相关文章

发现更多好内容

猜你喜欢

AI推送时光机
位置:首页-资讯-后端开发
咦!没有更多了?去看看其它编程学习网 内容吧
首页课程
资料下载
问答资讯