Kotlin 的 val list: ArrayList<String>= ArrayList() 居然报错！

超、凢脫俗 2022-04-25 07:32 302阅读 0赞

## 1 语法错误？ ##

也许看了我们的题目，大家还没有明白过来到底发生了什么，那么我请大家再仔细看看：

1.  `val list: ArrayList<String>= ArrayList()`
2.  `                         ^`

什么地方报错呢？就是泛型参数后面的 `>` 处。

这就让人不理解了，看上去并没有什么问题啊。我们再来看看错误提示：

![0?wx\_fmt=jpeg][0_wx_fmt_jpeg]

嗯？说 `>` 那个地方缺个 `>` ？ 什么鬼。。好吧，我大概猜到原因了，泛型参数后半个 `>` 估计与后面赋值用的 `=` 连起来被识别成了 `>=`，于是乎。。。

![0?wx\_fmt=jpeg][0_wx_fmt_jpeg 1]

我们打开 PsiViewer（IntelliJ 插件），将光标放到报错的位置，嗯，这货果然被识别成了 `>=` (GTEQ)。

## 2 分析 Kotlin 的解析过程 ##

这么说来就比较有意思了，Kotlin 的解析器并不会因为前面有泛型而把后面的 `>=` 识别成 `>` `=` ，**难道是说在解析的过程中，先通过词法分析器把一个个字符识别成一个个 TOKEN，然后再用语法分析器根据这些 TOKEN 去解析识别语法的？**

想要验证这个其实并不难，我们找到 Kotlin 的源码，找到 lexer 相关的源码：

![0?wx\_fmt=jpeg][0_wx_fmt_jpeg 2]

在 Kotlin.flex 这个文件中发现：

1.  `">="         { return KtTokens.GTEQ      ; }`

不惊讶吧。实际上编译之后 Kotlin.flex 会生成 \_JetLexer.java 这个文件，KotlinLexer 这个类是词法分析器的入口，我们在解析处打个断点：

![0?wx\_fmt=jpeg][0_wx_fmt_jpeg 3]

> 注意 FlexAdapter 实际上是 KotlinLexer 的父类。

调试运行编译器，我比较喜欢的方式是编译一段脚本：

![0?wx\_fmt=jpeg][0_wx_fmt_jpeg 4]

脚本里面就只有我们最开头的那句报错的代码，那么结果会怎样呢？

![0?wx\_fmt=jpeg][0_wx_fmt_jpeg 5]

我们看下调用堆栈，解析器被调用的地方实际上是 PsiElement 构造的过程中。我们再来看看 `doParseContents` 这个方法是干什么的：

![0?wx\_fmt=jpeg][0_wx_fmt_jpeg 6]

一旦 PsiElement 构造完成，那么词法分析实际上就结束了，后面的 KotlinParser 就是语法分析了。这样看起来似乎跟我们前面猜测的没有什么两样。

![0?wx\_fmt=jpeg][0_wx_fmt_jpeg 7]

显然在语法分析之前，这俩符号已经被强制结合成 `>=`，后面也并没有做重新解析的操作。

## 3 对比看看其他语言 ##

能够出现类似语法的，我们可以对照一下 Swfit 和 Scala。

先说说 Scala，它的解析器应该是极其强大的，毕竟人家允许各种字符作为运算符啊。。

![0?wx\_fmt=jpeg][0_wx_fmt_jpeg 8]

嗯，毕竟人家的泛型参数机智地选择了 \[\] 而不是 <> ，OK，你赢了。。

那么我们再来看看 Swift 吧，这个比较有说服力：

1.  `let ints: Array<Int>= [1, 2, 4]`
2.  `ints.forEach{ item in print(item)}`

![0?wx\_fmt=jpeg][0_wx_fmt_jpeg 9]

瞧见没，人家就能识别出来！当然这里有个奇怪的地方，如果你用 JetBrains 家的 AppCode 运行这段代码，结果就会报错，额，这也许是一个悲伤的故事。。

## 4 一些思考 ##

实际上通过前面的讨论，我们就知道为什么 Kotlin 的移位居然不用 `>>` 和 `<<`，而是 `shr` 和 `shr` 这样的中缀表达式，毕竟人家没办法识别呀。。

好啦，其实这都不是什么大问题了，这篇文章探讨的那句代码本身就比较蛋疼：

1.  `val list: ArrayList<String>= ArrayList()`

我就问你为什么不去掉前面的类型，类型推导难道还不够吗？

1.  `val list = ArrayList<String>()`

或者在 `>=` 中间打一个空格嘛，这样就啥事儿没有了。

而说到移位用中缀表达式的问题，我们群里有位大佬就终于忍不住为 Kotlin 发声了：

> 用中缀这种方法未尝不好啊。因为其实位移这种根本没什么人用的，直接换成一个方法其实在概念理解上简单多了。
> 
> 还有我觉得Scala 用\[ \]来表示泛型比<>好多了我以前看一个人说后者写起来感觉很反人类或者看上去很奇怪，我很赞同。不过我觉得>=编译器没解析好不是什么大问题，很多语言都有类似的缺陷，但是这从来不是一个问题。

--------------------

欢迎关注微信公众号 Kotlin

![0?wx\_fmt=jpeg][0_wx_fmt_jpeg 10]

[0_wx_fmt_jpeg]: /images/20220125/007b194502774d77a3501ba4d6259941.png
[0_wx_fmt_jpeg 1]: /images/20220125/a283afe7011b41feb596b8785409a3d9.png
[0_wx_fmt_jpeg 2]: /images/20220125/b4830312da564c9b8dde76c2f9b62246.png
[0_wx_fmt_jpeg 3]: /images/20220125/583d58fa54a442619608a98d238fefc5.png
[0_wx_fmt_jpeg 4]: /images/20220125/f68b82eb40ac4f3aa853338e8af26a62.png
[0_wx_fmt_jpeg 5]: /images/20220125/c7bf2400175a49d0bcf9f97291718dd4.png
[0_wx_fmt_jpeg 6]: /images/20220125/6c5c70fd97a2489c9cb4dea6075cdef2.png
[0_wx_fmt_jpeg 7]: /images/20220125/eb02a827e8964b81add372132c5b7bc7.png
[0_wx_fmt_jpeg 8]: /images/20220125/9cc5bf1372264c83aa679f1a97ae1d38.png
[0_wx_fmt_jpeg 9]: /images/20220125/4b8cceaeae5c49629a796638ce280fe4.png
[0_wx_fmt_jpeg 10]: /images/20220125/a37016e64f9f40e2917c2fbf96d64a4f.png