Kotlin 自带了交互式编程命令行,即 REPL(Read-Eval-Print Loop 的简写,直译为 “读取-求值-输出”循环),尤其适合快速实验一些东西。 本文只讲关于 Kotlin REPL 的两条 tips:
- 如何运行 REPL;
- 如何在 REPL 中查看推断出的类型。
如何运行 Kotlin REPL
运行 Kotlin REPL 主要有两种方式:
- 在 IntelliJ IDEA 中运行;
- 运行独立的命令行。
直接在 IntelliJ IDEA 中运行 REPL
较新版本的 IntelliJ IDEA(以下简称 IDEA)中已经内置了 Kotlin 支持,包括 Kotlin REPL。如果已经安装了 2017 年版的 IDEA,就可以直接在其中运行 Kotlin REPL。
首先需要在 IDEA 中打开/创建一个 Kotlin 或者 Java 项目,待项目加载完毕之后,点击如下图所示的菜单:Tools -> Kotlin -> Kotlin REPL:
就会出现 Kotlin REPL 窗口:
在 IDEA 内置的 Kotlin REPL 窗口中键入的代码,需要按 Ctrl-回车(mac 下为 ⌘↩︎)运行。如果想退出 REPL,点窗口左侧的叉号按钮即可。
IDEA 内置的 REPL 有一些优势,例如像在代码窗口当中一样拥有语法高亮、智能提示、代码补全等,并且能够运行项目中的代码;但是内置的 REPL 也有一些问题,例如,目前版本在 Windows 下汉字输出为乱码等。
运行独立的 REPL 命令行
某些情况下,我们并不适合使用 IDEA 内置的 Kotlin REPL,比如在远程 Linux 服务器上,比如需要在 Windows 下输出汉字时,再如不需要运行项目相关代码并希望少占资源时。这些情况下都更适合使用独立的 Kotlin REPL 命令行。
如果本机已安装较新版本的 IDEA,想要运行 Kotlin REPL 就只需找到它然后运行它即可。它位于 IDEA 所安装目录下的 plugins/Kotlin/kotlinc/bin
子目录中,一般来说如果已安装 JDK 并已设置好 JAVA_HOME
环境变量,只需将上述子目录设置为命令搜索路径即可通过 kotlinc
命令来运行 Kotlin REPL。对于 Windows 在安装 JDK 并设置好 JAVA_HOME
之后,可以打开安装目录下的相应子目录,然后直接双击 kotlinc.bat
来运行 REPL。
注:如果 IDEA 有更新过小版本(比如 2017.1.3)或者单独升级过 Kotlin 插件,那么较新版本的 Kotlin REPL 有可能不是在 IDEA 的安装目录的子目录下,而是在类似
~/.IdeaIC2017.1/config/plugins/Kotlin/kotlinc/bin
这样的目录中(Windows 下在%USERPROFILE%\.IdeaIC2017.1\config\plugins\Kotlin\kotlinc\bin
目录中)。
如果本机没有安装 IDEA 或者在远程 Linux 服务器上,还可以安装独立的 Kotlin 编译器。打开 Kotlin 最新稳定版在 GitHub 上的发布页(https://github.com/JetBrains/kotlin/releases/latest)。下载其中的 kotlin-compiler-*.zip 文件,将其解压到指定的目录,然后可以将其中 bin
所在路径加入到系统的搜索路径中。当然这也要求提前安装好 JDK 并配置好 JAVA_HOME
。然后就可以在命令行通过 kotlinc
命令来运行 Kotlin REPL 了(Windows 下还是可以找到对应的 kotlinc.bat
双击运行)。
独立运行的 REPL 命令行遵循通用的命令行操作,如 Ctrl-D 退出、Ctrl-R 反向搜索、Ctrl-S 正向搜索等等。
如何在 Kotlin REPL 中查看推断出的类型
昨天看了 Benny 新发的文章《val b = a?: 0,a 是 Double 类型,那 b 是什么类型?》,文中详述了相关现象并分析了原因,是篇深度好文,在此也推荐给大家。
当时就想边看边在 REPL 中做实验,毕竟做实验这种事情最适合 REPL 做不过了。
遗憾的是 Kotlin REPL 并不回显类型。在 Kotlin REPL 中键入 Benny 文中的示例代码:
var a: Double? = null val b = a ?: 0
并不会有任何回显,如果想看 b
的类型,确实可以这样来做:
>>> b::class
class kotlin.Int
这回看到的是 Int
,但是这是有问题的。 通过 b::class
这种方式得到的是 b
实际求值结果 0
的类型,而不是 Kotlin 针对 a ?: 0
这个表达式,在实际求值之前(编译阶段)为 b
推断出的类型。 如果想看 Kotlin 求值之前推断出的类型,该怎么办呢?
答案是用 lambda 表达式,实际上我在上篇文章《Kotlin 版图解 Functor、Applicative 与 Monad》 中有提及过,只是不明显:
> {y: Int -> {x: Int -> x + y}} `($)` Maybe.Just(5) Just(value=(kotlin.Int) -> kotlin.Int)
value=
后面的部分就是 Kotlin 对一个 lambda 表达式的输出形式,我们可以看一个更直观的例子:
>>> val f = { 1 }
>>> f
() -> kotlin.Int
f
是一个无参且返回值为 1
的 lambda 表达式。当在 REPL 中对 f
求值时,REPL 中输出了该 lambda 表达式的类型。这个例子还可以进一步简化为:
>>> {1}
() -> kotlin.Int
这样通过 lambda 表达式的返回值类型就能看出 1
在 Kotlin 中被推断为 Int
。如果要在 REPL 中看 Benny 文章标题所说的示例,只需这样就可以了:
>>> {
... val a: Double? = 2.0
... a ?: 0
... }
() -> kotlin.Any
通过 lambda 返回值的类型可以看出,a ?: 0
会被推断为 Any
。这里 a
的值是 null
还是 2.0
并不影响类型推断的结果。 我们还可以再看几个例子来印证 Benny 的文章:
>>> {if (true) 1 else 2.0}
() -> kotlin.Any
>>> interface I; class A : I; class B : I;
>>> {if (false) A() else B()}
() -> Line_8.I
Line_8.I
表示第 8 行定义的类型 I
,也就是说,对于 Int
与 Double
推断出的公共基类是 Any
,而对于 A
与 B
推断出的公共基类是 I
,完全印证了 Benny 文中所讲的内容。
相关推荐
用kotlin制作坦克大战小游戏源码 用kotlin制作坦克大战小游戏源码 用kotlin制作坦克大战小游戏源码 用kotlin制作坦克大战小游戏源码 用kotlin制作坦克大战小游戏源码 用kotlin制作坦克大战小游戏源码 用kotlin...
### Kotlin:现代编程语言及其应用 #### 一、Kotlin简介 Kotlin 是一种由 JetBrains 设计并开发的现代编程语言。自2011年首次发布以来,Kotlin 已经逐渐成为 Java 的有力竞争者,特别是在 Android 应用开发领域。...
5. **Kotlin命令行交互式终端**:11.kotlin命令行交互式终端.mp4可能涵盖如何在命令行环境下使用Kotlin REPL(Read-Eval-Print Loop),这是学习新语言和快速测试代码片段的便捷工具。 6. **Kotlin函数作业讲解**:...
本书从Kotlin的HelloWorld开始,生动讲解Kotlin的基础知识和实战案例,分为两大部分:“基础知识”部分包括语言基础、基本数据类型与类型变量、集合类、泛型、面向对象编程、函数式编程、协程等;“实战”部分包括...
下面是一个简单的Kotlin控制台应用程序示例,它会提示用户输入姓名并打印问候语
本书从Kotlin的HelloWorld开始,生动讲解Kotlin的基础知识和实战案例,分为两大部分:“基础知识”部分包括语言基础、基本数据类型与类型变量、集合类、泛型、面向对象编程、函数式编程、协程等;“实战”部分包括...
Kotlin支持两种类型的变量:`var`(可变)和`val`(不可变)。`var`变量可以在声明后改变其值,而`val`一旦初始化后就不能再修改。例如: ```kotlin var count = 0 // 可变变量 count++ val name = "Alice" // 不可变...
【Kotlin + MVP + App 小程序:构建高效可维护的Android应用】 在移动应用开发领域,Kotlin已经成为Google官方推荐的首选编程语言,它以其简洁的语法、强大的功能和安全特性深受开发者喜爱。本项目“kotlin+mvp+app...
《Kotlin从小白到大牛》是一份旨在帮助初学者全面掌握Kotlin编程语言的教程资源。Kotlin,由JetBrains公司开发,是一种现代、面向对象的编程语言,被广泛应用于Android应用开发、服务器端开发以及Web开发等领域。它...
《Kotlin官方中文文档》是全面了解和学习Kotlin编程语言的重要资源,涵盖了从入门到高级的各种主题。Kotlin是一种现代、静态类型的编程语言,它被广泛用于Android应用开发、服务器端开发、JavaScript和原生开发等多...
Kotlin 入门教程指南 概述:Kotlin 是一种在 Java 虚拟机上运行的静态类型编程语言,被称之为 Android 世界的 Swift,由 JetBrains 设计开发并开源。Kotlin 可以编译成 Java 字节码,也可以编译成 JavaScript,方便...
标题《Programming_Kotlin》是一本关于Kotlin编程语言的权威教程书籍。Kotlin是由JetBrains公司设计开发,并且被Google宣布为其官方支持的Android开发语言,继Java之后。本书介绍了Kotlin语言的核心概念和高级特性,...
基于Kotlin系列教程的小项目练习入门 IntelliJIDEA_Project:使用IntelliJ IDEA编写的代码; AndroidStudio_Project:使用AndroidStudio编写的代码; 基于Kotlin系列教程的小项目练习入门 IntelliJIDEA_Project:...
4. 静态链接:在JVM平台上,Kotlin 1.9.22支持静态链接,这使得应用程序体积更小,启动更快,因为不再需要加载额外的类库。 5. 协程改进:Kotlin的协程机制在新版本中得到了进一步完善,包括更好的错误处理、更高效...
内容摘要:Kotlin视频教程、第1章 Kotlin简介、第2章 快速开始:HelloWorld、第3章 Kotlin语言基础、第4章 基本数据类型与类型系统、第5章 集合类、第6章 泛型、第7章 面向对象编程、第8章 函数式编程、第9章 轻量级...
7. **其他改进**:还包括对Kotlin脚本的支持、对Gradle插件的更新以及其他小的改进和修复。 通过以上步骤,你已经成功搭建了Kotlin 1.6.21的编译环境,并了解了这一版本的主要特性。现在,你可以开始使用Kotlin进行...
Kotlin是一门运行在Java虚拟机上的静态类型编程语言,它由JetBrains公司设计并开源,旨在解决实际编程中遇到的问题。Kotlin为开发Android应用提供了一种更加简洁、安全的替代方案,并且可以与Java代码互相调用。自...
该文档是Kotlin官方中文站和JetBrains Kotlin官方站的同步更新内容,提供了关于Kotlin语言的完整参考以及标准库。本书的目的是让用户在几个小时内学会Kotlin,并介绍了Kotlin语言的基础语法、习惯用法和编码习惯。书...
这套资源包含了两本PDF电子书:《Kotlin in Chinese》和《Kotlin for Android Developers (中文版)》,涵盖了从基础到进阶的全方位知识。 《Kotlin in Chinese》这本书首先会引导读者了解Kotlin的基本语法特性,...
标题中的“Kotlin 1.4.32离线插件包”指的是Kotlin编程语言的一个特定版本,即1.4.32,这个版本的编译器和相关工具被封装成了一个离线安装包。Kotlin是一种现代的、静态类型的编程语言,由JetBrains公司开发,它兼容...