kotlin更多语言结构——>反射
类引用
最基本的反射功能是获取 Kotlin 类的运行时引用。要获取对静态已知的 Kotlin 类的引用,可以使用 类字面值 语法
val c = MyClass::class
请注意,Kotlin 类引用与 Java 类引用不同。要获得 Java 类引用,请在 KClass 实例上使用 .java 属性
绑定的类引用(自 1.1 起)
通过使用对象作为接收者,可以用相同的 ::class 语法获取指定对象的类的引用
val widget: Widget = ......
assert(widget is GoodWidget) { "Bad widget: ${widget::class.qualifiedName}" }
你可以获取对象的精确类的引用,例如 GoodWidget 或 BadWidget,尽管接收者表达式的类型是 Widget
可调用引用
函数属性以及构造函数的引用,除了作为自省程序结构外, 还可以用于调用或者用作函数类型的实例 。
所有可调用引用的公共超类型是 KCallable<out R>,其中 R 是返回值类型,对于属性是属性类型,对于构造函数是所构造类型
函数引用
当我们有一个具名函数声明如下
fun isOdd(x: Int) = x % 2 != 0
我们可以很容易地直接调用它( isOdd(5) ),但是我们也可以将其作为一个函数类型的值,例如将其传给另一个函数。为此,我们使用 :: 操作符
val numbers = listOf(1, 2, 3)
println(numbers.filter(::isOdd))
函数引用属于 KFunction<out R> 的子类型之一,取决于参数个数,例如 KFunction3<T1, T2, T3,R> 。
当上下文中已知函数期望的类型时,:: 可以用于重载函数。例如
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)
或者,你可以通过将方法引用存储在具有显式指定类型的变量中来提供必要的上下文
val predicate: (String) -> Boolean = ::isOdd // 引用到 isOdd(x: String)
如果我们需要使用类的成员函数或扩展函数,它需要是限定的,例如 String::toCharArray 。
请注意,即使以扩展函数的引用初始化一个变量,其推断出的函数类型也会没有接收者(它会有一个接受接收者 对象的额外参数)。如需改为带有接收者的函数类型,请明确指定其类型
val isEmptyStringList: List<String>.() -> Boolean = List<String>::isEmpty
示例:函数组合
考虑以下函数
fun <A, B, C> compose(f: (B) -> C, g: (A) -> B): (A) -> C {
return { x -> f(g(x)) }
}
它返回一个传给它的两个函数的组合:compose(f, g) = f(g(*)) 。现在,你可以将其应用于可调用引用
fun length(s: String) = s.length val oddLength = compose(::isOdd, ::length)
val strings = listOf("a", "ab", "abc") println(strings.filter(oddLength))
属性引用
要把属性作为 Kotlin中 的一等对象来访问,我们也可以使用 :: 运算符
val x = 1
fun main() {
println(::x.get())
println(::x.name)
}
表达式 ::x 求值为 KProperty<Int> 类型的属性对象,它允许我们使用 get() 读取它的值,或者使用 name 属性来获取属性名
对于可变属性,例如 var y = 1 ,::y 返回 KMutableProperty<Int> 类型的一个值,该类型有一个 set() 方法
var y = 1
fun main() {
::y.set(2)
println(y)
}
属性引用可以用在预期具有单个泛型参数的函数的地方
val strs = listOf("a", "bc", "def")
println(strs.map(String::length))
要访问属于类的成员的属性,我们这样限定它
class A(val p: Int)
val prop = A::p
println(prop.get(A(1)))
对于扩展属性
val String.lastChar: Char
get() = this[length - 1] fun main() {
println(String::lastChar.get("abc"))
}
与 Java 反射的互操作性
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 扩展属性
fun getKClass(o: Any): KClass<Any> = o.javaClass.kotlin
构造函数引用
构造函数可以像方法和属性那样引用。他们可以用于期待这样的函数类型对象的任何地方:它与该构造函数接 受相同参数并且返回相应类型的对象。通过使用 :: 操作符并添加类名来引用构造函数。考虑下面的函数,它 期待一个无参并返回 Foo 类型的函数参数
class Foo
fun function(factory: () -> Foo) {
val x: Foo = factory()
}
使用 ::Foo ,类 Foo 的零参数构造函数,我们可以这样简单地调用它
function(::Foo)
构造函数的可调用引用的类型也是KFunction<out R>的子类型之一,取决于其参数个数
绑定的函数与属性引用(自 1.1 起)
你可以引用特定对象的实例方法
val numberRegex = "\\d+".toRegex()
println(numberRegex.matches("29")) val isNumber = numberRegex::matches
println(isNumber("29"))
取代直接调用方法 matches 的是我们存储其引用。这样的引用会绑定到其接收者上。它可以直接调用(如上 例所示)或者用于任何期待一个函数类型表达式的时候
val numberRegex = "\\d+".toRegex()
val strings = listOf("abc", "124", "a70") println(strings.filter(numberRegex::matches))
比较绑定的类型和相应的未绑定类型的引用。绑定的可调用引用有其接收者“附加”到其上,因此接收者的类型 不再是参数
val isNumber: (CharSequence) -> Boolean = numberRegex::matches
val matches: (Regex, CharSequence) -> Boolean = Regex::matches
属性引用也可以绑定
val prop = "abc"::length
println(prop.get())
自 Kotlin 1.2 起,无需显式指定 this 作为接收者:this::foo 与 ::foo 是等价的
绑定的构造函数引用
inner 类的构造函数的绑定的可调用引用可通过提供外部类的实例来获得
class Outer {
inner class Inner
}
val o = Outer()
val boundInnerCtor = o::Inner
kotlin更多语言结构——>反射的更多相关文章
- go语言通过反射获取和设置结构体字段值的方法
本文实例讲述了go语言通过反射获取和设置结构体字段值的方法.分享给大家供大家参考.具体实现方法如下: type MyStruct struct { N int } n := MyStruct{ 1 } ...
- KOTLIN开发语言文档(官方文档) -- 2.基本概念
网页链接:https://kotlinlang.org/docs/reference/basic-types.html 2. 基本概念 2.1. 基本类型 从可以在任何变量处理调用成员函数和属性 ...
- Java 语言结构【转】
Java 语言结构 基础:包(Package).类(Class)和对象(Object) 了解 Java 的包(Package).类(Class)和对象(Object)这些基础术语是非常重要的,这部分内 ...
- Go语言之反射(一)
反射 反射是指在程序运行期对程序本身进行访问和修改的能力.程序在编译时,变量被转换为内存地址,变量名不会被编译器写入到可执行部分.在运行程序时,程序无法获取自身的信息.支持反射的语言可以在程序编译期将 ...
- 深度解密Go语言之反射
目录 什么是反射 为什么要用反射 反射是如何实现的 types 和 interface 反射的基本函数 反射的三大定律 反射相关函数的使用 代码样例 未导出成员 反射的实际应用 json 序列化 De ...
- 06. Go 语言结构体
Go语言结构体(struct) Go 语言通过用自定义的方式形成新的类型,结构体是类型中带有成员的复合类型.Go 语言使用结构体和结构体成员来描述真实世界的实体和实体对应的各种属性. Go 语言中的类 ...
- KOTLIN开发语言文档(官方文档) -- 入门
网页链接:https://kotlinlang.org/docs/reference/basic-syntax.html 1. 入门 1.1. 基本语法 1.1.1. 定义包 包说明应该在源 ...
- 漫谈C语言结构体struct、公用体union空间占用
先用代码说话: #include<stdio.h> union union_data0{ int a ;//本身占用4个字节 char b ;//本身占用1个字节 int c ; }; u ...
- 解析C语言结构体对齐(内存对齐问题)
C语言结构体对齐也是老生常谈的话题了.基本上是面试题的必考题.内容虽然很基础,但一不小心就会弄错.写出一个struct,然后sizeof,你会不会经常对结果感到奇怪?sizeof的结果往往都比你声明的 ...
- 不可或缺 Windows Native (8) - C 语言: 结构体,共用体,枚举,类型定义符
[源码下载] 不可或缺 Windows Native (8) - C 语言: 结构体,共用体,枚举,类型定义符 作者:webabcd 介绍不可或缺 Windows Native 之 C 语言 结构体 ...
随机推荐
- 【H5】14 表单 其三 原生表单部件
现在,我们将详细研究不同表单部件的功能,查看了哪些选项可用于收集不同类型的数据.这个指南有些详尽,涵盖了所有可用的原生表单小部件. 预备知识: 计算机基础知识和对于HTML的基本理解. 目标: 要了解 ...
- MIT6.1810の学习笔记
webliuのmit.6.828学习笔记 写在前面 本文基于mit/6.828课程,附官方网址. 本文采用的实验环境为2020年版的xv6系统,需要wsl,vscode,docker工具.附环境配置教 ...
- Codeforces Round894.D
题目:D. Ice Cream Balls 题目链接:https://codeforces.com/contest/1862/problem/D 思路:二分找到当所有冰淇淋球类型不同的情况下,假设记位 ...
- Echarts 5 动态按需引入图表
官网提供的按需引入方法为全量按需引入,在打包分离中,仍旧存在使用不到的图表被打包进去. 例如:组件A使用了折线图.柱状图,组件B只用到了折线图,但是打包组件B的时候,柱状图也就被打包进去. 本文提供一 ...
- Terraform中的for_each和count
通过Terraform创建云主机时,在某些业务场景下,一个机器需要挂载多个云盘,一般云厂商都是单独创建云主机和云硬盘然后通过attachment的资源去挂载,因此我们的模板大致如下: resource ...
- draw.io 输入数学公式
首先我们要把数学排版功能打开: 然后输入数学公式: AsciiMath 公式由 ` 包裹,如:`a2+b2 = c^2` LaTeX 公式由 $$ 包裹,如:$$\sqrt{3×-1}+(1+x)^2 ...
- 使用Windows API 编写按行分配的计算矩阵向量相乘的并行程序
水了一学期的院选修,万万没想到期末考试还有比较硬核的编程题,居然还涉及到多线程了,而且是调用Windows接口函数写多线程.虽然学汇编的时候有所了解,但毕竟没尝试过,思来想去,写出了下面的蹩脚代码,不 ...
- Blazor开发框架Known-V2.0.10
Known今天迎来了2.0的第11个版本,同时网站网址和板块也进行了一次升级改造,虽不完美,但一直在努力改变,之前一直在完善框架功能,忽略了文档的重要性,所以这次更新了文档和API.交流互动板块也在进 ...
- 【论文解读】Faster sorting algorithm
一.简要介绍 基本的算法,如排序或哈希,在任何一天都被使用数万亿次.随着对计算需求的增长,这些算法的性能变得至关重要.尽管在过去的2年中已经取得了显著的进展,但进一步改进这些现有的算法路线的有 ...
- EF Core – 大杂烩
前言 记入一些零零碎碎的知识. Shadow Properties 参考:Docs – Shadow and Indexer Properties Shadow Property 指的是那些在数据库有 ...