# 反射
[TOC]
反射是这样的一组语言和库功能,它**允许在运行时自省你的程序的结构**。Kotlin 让语言中的函数和属性做为一等公民、**并对其自省(即在运行时获悉一个名称或者一个属性或函数的类型**)与简单地使用函数式或响应式风格紧密相关。
自省/内省(introspect):在运行时获取类,属性,函数的名称和类型!
> 在 Java 平台上,**使用反射功能所需的运行时组件作为单独的JAR 文件(`kotlin-reflect.jar`)分发,它不包含在kotlin标准库中**。这样做是为了减少不使用反射功能的应用程序所需的运行时库的大小。如果你需要使用反射,请确保该 .jar文件添加到项目的classpath 中。
## 类引用
最基本的反射功能是获取 Kotlin 类的运行时引用。要获取对静态已知的 Kotlin 类的引用,可以使用 _类字面值_ 语法:
```kotlin
val c = MyClass::class
```
该引用是 [KClass](https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.reflect/-k-class/index.html) 类型的值。
>[info]请注意,Kotlin 类引用与 Java 类引用不同。要获得 Java 类引用,请在 `KClass` 实例上使用 `.java` 属性。
示例:
```
fun main(args: Array<String>) {
println(String::class) //输出class kotlin.String
println(String::class.java) //输出class java.lang.String
}
```
## 绑定的类引用(自 1.1 起)
通过使用对象作为接收者,可以用相同的 `::class` 语法获取指定对象的类的引用:
```kotlin
val widget: Widget = ……
assert(widget is GoodWidget) { "Bad widget: ${widget::class.qualifiedName}" }
```
你可以获取对象的精确类的引用,例如 `GoodWidget` 或 `BadWidget`,尽管接收者表达式的类型是 `Widget`。
## 可调用引用
函数、属性以及构造函数的引用,除了作为自省程序结构外,还可以用于调用或者用作[函数类型](http://www.kotlincn.net/docs/reference/lambdas.html#%E5%87%BD%E6%95%B0%E7%B1%BB%E5%9E%8B)的实例。
所有可调用引用的公共超类型是 [`KCallable<out R>`](https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.reflect/-k-callable/index.html),其中 `R` 是返回值类型,对于属性是属性类型,对于构造函数是所构造类型。
### 函数引用
当我们有一个命名函数声明如下:
```kotlin
fun isOdd(x: Int) = x % 2 != 0
```
我们可以很容易地直接调用它(`isOdd(5)`),但是我们也可以将其作为一个函数类型的值,例如将其传给另一个函数。为此,我们使用 `::` 操作符:
```kotlin
fun isOdd(x: Int) = x % 2 != 0
fun main() {
//sampleStart
val numbers = listOf(1, 2, 3)
println(numbers.filter(::isOdd))
//sampleEnd
}
```
运行结果
```
[1, 3]
```
这里 `::isOdd` 是函数类型 `(Int) -> Boolean` 的一个值。
>[success] [filter](https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.collections/filter.html)函数的参数类型是 (Int) -> Boolean,而isOdd函数类型也是(Int) -> Boolean, 所以程序正常运行!
函数引用属于 [`KFunction<out R>`](https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.reflect/-k-function/index.html)的子类型之一,取决于参数个数,例如 `KFunction3<T1, T2, T3, R>`。
当上下文中已知函数期望的类型时,`::` 可以用于重载函数。
例如:
```kotlin
fun main() {
//sampleStart
fun isOdd(x: Int) = x % 2 != 0
fun isOdd(s: String) = s == "brillig" || s == "slithy" || s == "tove"
val numbers = listOf(1, 2, 3)
println(numbers.filter(::isOdd)) // 引用到 isOdd(x: Int)
//sampleEnd
}
```
运行结果
```
[1, 3]
```
或者,你可以通过将方法引用存储在具有显式指定类型的变量中来提供必要的上下文:
```kotlin
val predicate: (String) -> Boolean = ::isOdd // 引用到 isOdd(x: String)
```
如果我们需要使用类的成员函数或扩展函数,它需要是限定的,例如 `String::toCharArray`。
*****
String::toCharArray 为String类型提供了一个扩展函数: String.() -> CharArray
*****
请注意,即使以扩展函数的引用来初始化一个变量,其推断出的函数类型也会没有接收者(它会有一个接受,接收者对象的额外参数)。如需改为带有接收者的函数类型,请明确指定其类型:
```kotlin
val isEmptyStringList: List<String>.() -> Boolean = List<String>::isEmpty
```
### 示例:函数组合
考虑以下函数:
```kotlin
fun <A, B, C> compose(f: (B) -> C, g: (A) -> B): (A) -> C {
return { x -> f(g(x)) }
}
```
它返回一个传给它的两个函数的组合:`compose(f, g) = f(g(*))`。现在,你可以将其应用于可调用引用:
```kotlin
fun <A, B, C> compose(f: (B) -> C, g: (A) -> B): (A) -> C {
return { x -> f(g(x)) }
}
fun isOdd(x: Int) = x % 2 != 0
fun main() {
//sampleStart
fun length(s: String) = s.length
val oddLength = compose(::isOdd, ::length)
val strings = listOf("a", "ab", "abc")
println(strings.filter(oddLength))
//等价于
println(strings.filter{
x -> isOdd(length(x))
})// 输出 "[a, abc]"
//sampleEnd
}
```
运行结果
```
[a, abc]
[a, abc]
```
### 属性引用(Property References)
要把属性作为 Kotlin中 的一等对象来访问,我们也可以使用 `::` 运算符:
```kotlin
val x = 1
fun main() {
println(::x.get())
println(::x.name)
}
```
运行结果
```
1
x
```
表达式 `::x` 求值为 `KProperty<Int>` 类型的属性对象,它允许我们使用`get()` 读取它的值,或者使用 `name` 属性来获取属性名。更多信息请参见[关于 `KProperty` 类的文档](https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.reflect/-k-property/index.html)。
对于可变属性,例如 `var y = 1`,`::y` 返回 [`KMutableProperty<Int>`](https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.reflect/-k-mutable-property/index.html) 类型的一个值,该类型有一个 `set()` 方法。
```kotlin
var y = 1
fun main() {
::y.set(2)
println(y)//2
}
```
属性引用可以用在不需要参数的函数处:[kotlin.collections.map](https://www.w3cschool.cn/doc_kotlin/kotlin-api-latest-jvm-stdlib-kotlin-collections-map.html)
```kotlin
fun main() {
//sampleStart
val strs = listOf("a", "bc", "def")
println(strs.map(String::length))
//sampleEnd
}
```
运行结果
```
[1, 2, 3]
```
要访问属于类的成员的属性,我们这样限定它:访问类成员的属性,可用class::prop.get/set限定它
```kotlin
fun main() {
//sampleStart
class A(val p: Int)
val prop = A::p
println(prop.get(A(1)))//1
println(A::p.get(A(1))) // 输出 "1"
//sampleEnd
}
```
对于扩展属性:访问类的扩展属性,也可用class::prop.get/set限定它
```kotlin
val String.lastChar: Char
get() = this[length - 1]
fun main() {
println(String::lastChar.get("abc"))//c
}
```
### 与 Java 反射的互操作性
在Java平台上,标准库包含反射类的扩展,它提供了与 Java反射对象之间映射(参见 `kotlin.reflect.jvm` 包)。
例如,要查找一个用作 Kotlin 属性 getter 的 幕后字段或 Java方法,可以这样写:
```kotlin
import kotlin.reflect.jvm.*
class A(val p: Int)
fun main() {
println(A::p.javaGetter) // 输出 "public final int A.getP()"
println(A::p.javaField) // 输出 "private final int A.p"
}
```
要获得对应于 Java 类的 Kotlin 类,请使用 `.kotlin` 扩展属性:
```kotlin
fun getKClass(o: Any): KClass<Any> = o.javaClass.kotlin
```
### 构造函数引用
构造函数可以像方法和属性那样引用。他们可以**用于期待这样的函数类型对象的任何地方**:它与该构造函数**接受相同参数并且返回相应类型的对象**。通过**使用 `::` 操作符 + 类名**来引用构造函数。考虑下面的函数,它期待一个无参并返回 `Foo` 类型的函数参数:
```kotlin
class Foo
//factory: () -> Foo 代表Foo类的构造函数
fun function(factory: () -> Foo) {
val x: Foo = factory()
}
```
**使用 `::Foo`代表类 Foo 的零参数构造函数**,我们可以这样简单地调用它:
```kotlin
function(::Foo)
```
构造函数的可调用引用的类型也是[`KFunction<out R>`](https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.reflect/-k-function/index.html) 的子类型之一,取决于其参数个数。
## 绑定的函数与属性引用(自 1.1 起)
你可以引用特定对象的实例方法:
```kotlin
fun main() {
val numberRegex = "\\d+".toRegex()//字符串转为正则表达式,\d转义字符,任意一个数字
//Regex.matches:指示正则表达式是否匹配整个[输入]
println(numberRegex.matches("29"))// 输出“true”
//绑定函数引用,isNumber存储/绑定函数引用
val isNumber = numberRegex::matches
println(isNumber("29"))// 输出“true”
}
```
取代直接调用方法 `matches` 的是**我们存储其引用**。**这样的引用会绑定到其接收者上。它可以直接调用(如上例所示)或者用于任何期待一个函数类型表达式的时候**:
```kotlin
//直接调用函数引用
fun main() {
val numberRegex = "\\d+".toRegex()//字符串转为正则表达式
val strings = listOf("abc", "124", "a70")
//过滤数字
println(strings.filter(numberRegex::matches))// 输出“[124]”
}
```
比较绑定的类型和相应的未绑定类型的引用。绑定的可调用引用有其接收者“附加”到其上,因此接收者的类型不再是参数:
```kotlin
//引用的接收者的类型不再是参数
val isNumber: (CharSequence) -> Boolean = numberRegex::matches
val matches: (Regex, CharSequence) -> Boolean = Regex::matches
```
属性引用也可以绑定:
```kotlin
fun main() {
val prop = "abc"::length//length是String的属性
println(prop.get())// 输出“3”
}
```
>[info]自 Kotlin 1.2 起,无需显式指定 `this` 作为接收者:`this::foo` 与 `::foo` 是等价的。
### 绑定的构造函数引用
[*inner* 类](http://www.kotlincn.net/docs/reference/nested-classes.html#%E5%86%85%E9%83%A8%E7%B1%BB)的构造函数的绑定的可调用引用可通过提供外部类的实例来获得:
```kotlin
class Outer {
inner class Inner
}
val o = Outer()
val boundInnerCtor = o::Inner
```
- 前言
- Kotlin简介
- IntelliJ IDEA技巧总结
- idea设置类注释和方法注释模板
- 像Android Studion一样创建工程
- Gradle
- Gradle入门
- Gradle进阶
- 使用Gradle创建一个Kotlin工程
- 环境搭建
- Androidstudio平台搭建
- Eclipse的Kotlin环境配置
- 使用IntelliJ IDEA
- Kotlin学习路线
- Kotlin官方中文版文档教程
- 概述
- kotlin用于服务器端开发
- kotlin用于Android开发
- kotlin用于JavaScript开发
- kotlin用于原生开发
- Kotlin 用于数据科学
- 协程
- 多平台
- 新特性
- 1.1的新特性
- 1.2的新特性
- 1.3的新特性
- 开始
- 基本语法
- 习惯用法
- 编码规范
- 基础
- 基本类型
- 包与导入
- 控制流
- 返回与跳转
- 类与对象
- 类与继承
- 属性与字段
- 接口
- 可见性修饰符
- 扩展
- 数据类
- 密封类
- 泛型
- 嵌套类
- 枚举类
- 对象
- 类型别名
- 内嵌类
- 委托
- 委托属性
- 函数与Lambda表达式
- 函数
- Lambda表达式
- 内联函数
- 集合
- 集合概述
- 构造集合
- 迭代器
- 区间与数列
- 序列
- 操作概述
- 转换
- 过滤
- 加减操作符
- 分组
- 取集合的一部分
- 取单个元素
- 排序
- 聚合操作
- 集合写操作
- List相关操作
- Set相关操作
- Map相关操作
- 多平台程序设计
- 平台相关声明
- 以Gradle创建
- 更多语言结构
- 解构声明
- 类型检测与转换
- This表达式
- 相等性
- 操作符重载
- 空安全
- 异常
- 注解
- 反射
- 作用域函数
- 类型安全的构造器
- Opt-in Requirements
- 核心库
- 标准库
- kotlin.test
- 参考
- 关键字与操作符
- 语法
- 编码风格约定
- Java互操作
- Kotlin中调用Java
- Java中调用Kotlin
- JavaScript
- 动态类型
- kotlin中调用JavaScript
- JavaScript中调用kotlin
- JavaScript模块
- JavaScript反射
- JavaScript DCE
- 原生
- 并发
- 不可变性
- kotlin库
- 平台库
- 与C语言互操作
- 与Object-C及Swift互操作
- CocoaPods集成
- Gradle插件
- 调试
- FAQ
- 协程
- 协程指南
- 基础
- 取消与超时
- 组合挂起函数
- 协程上下文与调度器
- 异步流
- 通道
- 异常处理与监督
- 共享的可变状态与并发
- Select表达式(实验性)
- 工具
- 编写kotlin代码文档
- 使用Kapt
- 使用Gradle
- 使用Maven
- 使用Ant
- Kotlin与OSGI
- 编译器插件
- 编码规范
- 演进
- kotlin语言演进
- 不同组件的稳定性
- kotlin1.3的兼容性指南
- 常见问题
- FAQ
- 与Java比较
- 与Scala比较(官方已删除)
- Google开发者官网简介
- Kotlin and Android
- Get Started with Kotlin on Android
- Kotlin on Android FAQ
- Android KTX
- Resources to Learn Kotlin
- Kotlin样品
- Kotlin零基础到进阶
- 第一阶段兴趣入门
- kotlin简介和学习方法
- 数据类型和类型系统
- 入门
- 分类
- val和var
- 二进制基础
- 基础
- 基本语法
- 包
- 示例
- 编码规范
- 代码注释
- 异常
- 根类型“Any”
- Any? 可空类型
- 可空性的实现原理
- kotlin.Unit类型
- kotlin.Nothing类型
- 基本数据类型
- 数值类型
- 布尔类型
- 字符型
- 位运算符
- 变量和常量
- 语法和运算符
- 关键字
- 硬关键字
- 软关键字
- 修饰符关键字
- 特殊标识符
- 操作符和特殊符号
- 算术运算符
- 赋值运算符
- 比较运算符
- 逻辑运算符
- this关键字
- super关键字
- 操作符重载
- 一元操作符
- 二元操作符
- 字符串
- 字符串介绍和属性
- 字符串常见方法操作
- 字符串模板
- 数组
- 数组介绍创建及遍历
- 数组常见方法和属性
- 数组变化以及下标越界问题
- 原生数组类型
- 区间
- 正向区间
- 逆向区间
- 步长
- 类型检测与类型转换
- is、!is、as、as-运算符
- 空安全
- 可空类型变量
- 安全调用符
- 非空断言
- Elvis操作符
- 可空性深入
- 可空性和Java
- 函数
- 函数式编程概述
- OOP和FOP
- 函数式编程基本特性
- 组合与范畴
- 在Kotlin中使用函数式编程
- 函数入门
- 函数作用域
- 函数加强
- 命名参数
- 默认参数
- 可变参数
- 表达式函数体
- 顶层、嵌套、中缀函数
- 尾递归函数优化
- 函数重载
- 控制流
- if表达式
- when表达式
- for循环
- while循环
- 循环中的 Break 与 continue
- return返回
- 标签处返回
- 集合
- list集合
- list集合介绍和操作
- list常见方法和属性
- list集合变化和下标越界
- set集合
- set集合介绍和常见操作
- set集合常见方法和属性
- set集合变换和下标越界
- map集合
- map集合介绍和常见操作
- map集合常见方法和属性
- map集合变换
- 集合的函数式API
- map函数
- filter函数
- “ all ”“ any ”“ count ”和“ find ”:对集合应用判断式
- 别样的求和方式:sumBy、sum、fold、reduce
- 根据人的性别进行分组:groupBy
- 扁平化——处理嵌套集合:flatMap、flatten
- 惰性集合操作:序列
- 区间、数组、集合之间转换
- 面向对象
- 面向对象-封装
- 类的创建及属性方法访问
- 类属性和字段
- 构造器
- 嵌套类(内部类)
- 枚举类
- 枚举类遍历&枚举常量常用属性
- 数据类
- 密封类
- 印章类(密封类)
- 面向对象-继承
- 类的继承
- 面向对象-多态
- 抽象类
- 接口
- 接口和抽象类的区别
- 面向对象-深入
- 扩展
- 扩展:为别的类添加方法、属性
- Android中的扩展应用
- 优化Snackbar
- 用扩展函数封装Utils
- 解决烦人的findViewById
- 扩展不是万能的
- 调度方式对扩展函数的影响
- 被滥用的扩展函数
- 委托
- 委托类
- 委托属性
- Kotlin5大内置委托
- Kotlin-Object关键字
- 单例模式
- 匿名类对象
- 伴生对象
- 作用域函数
- let函数
- run函数
- with函数
- apply函数
- also函数
- 标准库函数
- takeIf 与 takeUnless
- 第二阶段重点深入
- Lambda编程
- Lambda成员引用高阶函数
- 高阶函数
- 内联函数
- 泛型
- 泛型的分类
- 泛型约束
- 子类和子类型
- 协变与逆变
- 泛型擦除与实化类型
- 泛型类型参数
- 泛型的背后:类型擦除
- Java为什么无法声明一个泛型数组
- 向后兼容的罪
- 类型擦除的矛盾
- 使用内联函数获取泛型
- 打破泛型不变
- 一个支持协变的List
- 一个支持逆变的Comparator
- 协变和逆变
- 第三阶段难点突破
- 注解和反射
- 声明并应用注解
- DSL
- 协程
- 协程简介
- 协程的基本操作
- 协程取消
- 管道
- 慕课霍丙乾协程笔记
- Kotlin与Java互操作
- 在Kotlin中调用Java
- 在Java中调用Kotlin
- Kotlin与Java中的操作对比
- 第四阶段专题练习
- 朱凯Kotlin知识点总结
- Kotlin 基础
- Kotlin 的变量、函数和类型
- Kotlin 里那些「不是那么写的」
- Kotlin 里那些「更方便的」
- Kotlin 进阶
- Kotlin 的泛型
- Kotlin 的高阶函数、匿名函数和 Lambda 表达式
- Kotlin协程
- 初识
- 进阶
- 深入
- Kotlin 扩展
- 会写「18.dp」只是个入门——Kotlin 的扩展函数和扩展属性(Extension Functions / Properties)
- Kotlin实战-开发Android