Typescript 类型检查原理之Override怎么实现

这篇文章将为大家详细讲解有关Typescript 类型检查原理之Override怎么实现，小编觉得挺实用的，因此分享给大家做个参考，希望大家阅读完这篇文章后可以有所收获。首先，我们来看下这个修饰符的作用：被 override 标示的方法必须得在父类中存在，否则会报错。上面这段代码会报错：This member cannot have an ‘override’ modifier because it is not declared in the base class ‘Animal’.就是说重写的放在父类不存在，这样能避免父类重构的时候把一些子类需要重写的方法给去掉。其实所有的修饰符，包括 override、public、static 等，在 parse 成 AST 后都是作为一个属性存在的，这个 override 也是，我们通过 astexplorer.net 来查看一下。可以看到 override 属性为 true。这样我们就可以通过这个属性把该 class 的所有的需要 override 的 ClassMethod 过滤出来。然后还可以拿到 superClass 的名字，从作用域中找到对应的声明，然后遍历 AST 找到它所声明的所有 ClassMethod。两者对比一下，所有不在父类中的 ClassMethod 都需要报错。我们基于 babel 来做 parser 和分析，写一个插件来做 override 的类型检查。关于 babel 插件的基础可以看小册《babel 插件通关秘籍》。开启语法 typescript 插件来解析 ts 语法。插件要处理的是 ClassDeclaration，我们先搭一个基本的结构：具体的检查逻辑是拿到父类的所有方法名，拿到当前类的所有 override 方法名，然后做下过滤。我们首先要拿到父类的 ast，通过名字从作用域中查找。然后封装一个方法来拿父类方法名，通过 path.traverse 来遍历 ast，把收集到的方法名存到 state 中。这样就拿到了所有父类方法名。之后需要拿到当前类的所有方法名并过滤出 override 为 true 且不在父类中的进行报错。报错的部分使用 code frame 来创建友好的代码打印格式，通过 Error.stackTraceLimit 设置为 0 去掉调用栈信息。这样，我们就完成了 override 的类型检查，整体代码如下：github 链接我们用最开始的代码来测试一下：打印信息为：正确的识别出了 bak 在父类不存在的错误。至此，我们实现了 override 的类型检查!类型检查情况很多，所以需要一个系列文章去讲，这一篇我们来实现 override 的类型检查。override 是 ts 4.3 加入的特免费云主机、域名性，带有 override 修饰符的方法必须在父类中有对应的声明，否则会报错。我们通过 babel 插件的方式实现了类型检查，思路是从作用域取出父类的声明，然后通过 path.traverse 拿到所有方法名，之后再取当前类的所有方法名，对于没在父类中声明并且带有 override 修饰符的方法进行报错。关于“Typescript 类型检查原理之Override怎么实现”这篇文章就分享到这里了，希望以上内容可以对大家有一定的帮助，使各位可以学到更多知识，如果觉得文章不错，请把它分享出去让更多的人看到。

相关推荐: CSS怎么定义一个网格

这篇文章主要介绍了 CSS怎么定义一个网格的相关知识，内容详细易懂，操作简单快捷，具有一定借鉴价值，相信大家阅读完这篇 CSS怎么定义一个网格文章都会有所收获，下面我们一起来看看吧。定义一个网格可以给父容器的display属性设置为grid或者inline-g…