type: doc layout: reference category: "Tools"
title: "关键字与操作符"
关键字与操作符
硬关键字
以下符号会始终解释为关键字,不能用作标识符:
as
as?
用于安全类型转换break
终止循环的执行class
声明一个类continue
继续最近层循环的下一步do
开始一个 do/while 循环(后置条件的循环)else
定义一个 if 表达式条件为 false 时执行的分支false
指定布尔类型的“假”值for
开始一个 for 循环fun
声明一个函数if
开始一个 if 表达式in
- 指定在 for 循环中迭代的对象
- 用作中缀操作符以检查一个值属于一个区间、 一个集合或者其他定义“contains”方法的实体
- 在 when 表达式中用于上述目的
- 将一个类型参数标记为逆变
!in
- 用作中缀操作符以检查一个值不属于一个区间、 一个集合或者其他定义“contains”方法的实体
- 在 when 表达式中用于上述目的
interface
声明一个接口is
!is
- 检查一个值不具有指定类型
- 在 when 表达式中用于上述目的
null
是表示不指向任何对象的对象引用的常量object
同时声明一个类及其实例package
指定当前文件的包return
从最近层的函数或匿名函数返回super
this
throw
抛出一个异常true
指定布尔类型的“真”值try
开始一个异常处理块typealias
声明一个类型别名val
声明一个只读属性或局部变量var
声明一个可变属性或局部变量when
开始一个 when 表达式(执行其中一个给定分支)while
开始一个 while 循环(前置条件的循环)
软关键字
以下符号在适用的上下文中充当关键字,而在其他上下文中可用作标识符:
by
catch
开始一个处理指定异常类型的块constructor
声明一个主构造函数或次构造函数delegate
用作注解使用处目标dynamic
引用一个 Kotlin/JS 代码中的动态类型field
用作注解使用处目标file
用作注解使用处目标finally
开始一个当 try 块退出时总会执行的块get
- 声明属性的 getter
- 用作注解使用处目标
import
将另一个包中的声明导入当前文件init
开始一个初始化块param
用作注解使用处目标property
用作注解使用处目标receiver
用作注解使用处目标set
- 声明属性的 setter
- 用作注解使用处目标
setparam
用作注解使用处目标where
指定泛型类型参数的约束
修饰符关键字
以下符号作为声明中修饰符列表中的关键字,并可用作其他上下文中的标识符:
abstract
将一个类或成员标记为抽象annotation
声明一个注解类companion
声明一个伴生对象const
将属性标记为编译期常量crossinline
禁止传递给内联函数的 lambda 中的非局部返回data
指示编译器为类生成典型成员enum
声明一个枚举external
将一个声明标记为不是在 Kotlin 中实现(通过 JNI 访问或者在 JavaScript 中实现)final
禁止成员覆盖infix
允许以中缀表示法调用函数inline
告诉编译器在调用处内联传给它的函数和 lambda 表达式inner
允许在嵌套类中引用外部类实例internal
将一个声明标记为在当前模块中可见lateinit
允许在构造函数之外初始化非空属性noinline
关闭传给内联函数的 lambda 表达式的内联open
允许一个类子类化或覆盖成员operator
将一个函数标记为重载一个操作符或者实现一个约定out
将类型参数标记为协变override
将一个成员标记为超类成员的覆盖private
将一个声明标记为在当前类或文件中可见protected
将一个声明标记为在当前类及其子类中可见public
将一个声明标记为在任何地方可见reified
将内联函数的类型参数标记为在运行时可访问sealed
声明一个密封类(限制子类化的类)suspend
将一个函数或 lambda 表达式标记为挂起式(可用做协程)tailrec
将一个函数标记为尾递归(允许编译器将递归替换为迭代)vararg
允许一个参数传入可变数量的参数
特殊标识符
以下标识符由编译器在指定上下文中定义,并且可以用作其他上下文中的常规标识符:
操作符和特殊符号
Kotlin 支持以下操作符和特殊符号:
+
、-
、*
、/
、%
—— 数学操作符*
也用于将数组传递给 vararg 参数
=
- 赋值操作符
- 也用于指定参数的默认值
+=
、-=
、*=
、/=
、%=
—— 广义赋值操作符++
、--
—— 递增与递减操作符&&
、||
、!
—— 逻辑“与”、“或”、“非”操作符(对于位运算,请使用相应的中缀函数)==
、!=
—— 相等操作符(对于非原生类型会翻译为调用equals()
)===
、!==
—— 引用相等操作符<
、>
、<=
、>=
—— 比较操作符(对于非原生类型会翻译为调用compareTo()
)[
、]
—— 索引访问操作符(会翻译为调用get
与set
)!!
断言一个表达式非空?.
执行安全调用(如果接收者非空,就调用一个方法或访问一个属性)?:
如果左侧的值为空,就取右侧的值(elvis 操作符)::
创建一个成员引用或者一个类引用..
创建一个区间:
分隔声明中的名称与类型?
将类型标记为可空->
- 分隔 lambda 表达式的参数与主体
- 分隔在函数类型中的参数类型与返回类型声明
- 分隔 when 表达式分支的条件与代码体
@
- 引入一个注解
- 引入或引用一个循环标签
- 引入或引用一个 lambda 表达式标签
- 引用一个来自外部作用域的 “this”表达式
- 引用一个外部超类
;
分隔位于同一行的多个语句$
在字符串模版中引用变量或者表达式_
- 在 lambda 表达式中代替未使用的参数
- 在解构声明中代替未使用的参数