type: doc layout: reference category: "Tools"
title: "关键字与操作符"
关键字与操作符
硬关键字
以下符号会始终解释为关键字，不能用作标识符：
asas?用于安全类型转换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从最近层的函数或匿名函数返回superthisthrow抛出一个异常true指定布尔类型的“真”值try开始一个异常处理块typealias声明一个类型别名typeof保留以供未来使用val声明一个只读属性或局部变量var声明一个可变属性或局部变量when开始一个 when 表达式（执行其中一个给定分支）while开始一个 while 循环（前置条件的循环）
软关键字
以下符号在适用的上下文中充当关键字，而在其他上下文中可用作标识符：
bycatch开始一个处理指定异常类型的块constructor声明一个主构造函数或次构造函数delegate用作注解使用处目标dynamic引用一个 Kotlin/JS 代码中的动态类型field用作注解使用处目标file用作注解使用处目标finally开始一个当 try 块退出时总会执行的块get- 声明属性的 getter
- 用作注解使用处目标
import将另一个包中的声明导入当前文件init开始一个初始化块param用作注解使用处目标property用作注解使用处目标receiver用作注解使用处目标set- 声明属性的 setter
- 用作注解使用处目标
setparam用作注解使用处目标where指定泛型类型参数的约束
修饰符关键字
以下符号作为声明中修饰符列表中的关键字，并可用作其他上下文中的标识符：
actual表示多平台项目中的一个平台相关实现abstract将一个类或成员标记为抽象annotation声明一个注解类companion声明一个伴生对象const将属性标记为编译期常量crossinline禁止传递给内联函数的 lambda 中的非局部返回data指示编译器为类生成典型成员enum声明一个枚举expect将一个声明标记为平台相关，并期待在平台模块中实现。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 表达式中代替未使用的参数
- 在解构声明中代替未使用的参数