代理属性 Delegated Properties
本文为个人翻译的Kotlin官方文档, 原文连接: Delegated Properties
一些特定的常见类型的属性, 尽管我们可以在每次需要的时候实现他们, 但是如果我们一次把他们全部实现并放在一个库中, 这会非常方便, 包括:
- 延迟属性: 只在第一次访问的时候计算值
- 广播属性: 当属性的值改变时通知观察者
- 将数据存储在键值对中, 而不是独立的域中.
Kotlin提供的代理属性, 包含了这些(以及其他)例子:
class Example{
var p: String by Delegate()
}
语法是: val/var <property name>: <Type> by <expression>
. 在by关键字后面的语句是delegate
, 因为属性的get()
和set()
将被代理给它的getValue()
和setValue()
方法.
属性代理不需要实现任何接口, 但他们需要提供一个getValue()
方法(对于var
---还需要提供setValue()
).
例如:
class Delegate {
operator fun getValue(thisRef: Any?, property: KProperty<*>): String {
return "$thisRef, thank you for delegating '${property.name}' to me!"
}
operator fun setValue(thisRef: Any?, property: KProperty<*>, value: String) {
println("$value has been assigned to '${property.name} in $thisRef.'")
}
}
当我们从被代理给Delegate
实例的p
时, Delegate
的getValue()
方法被调用,
第一个参数是读取p
所在的对象, 第二个参数保存p
自身的描述(例如: 你可以获取它的名字). 例如:
val e = Example()
println(e.p)
打印结果:
Example@33a17727, thank you for delegating ‘p’ to me!
类似的, 当我们给p
赋值时, setValue()
方法被调用. 前两个参数是相同的, 第三个参数保存被赋的新值:
e.p = "NEW"
打印结果:
NEW has been assigned to ‘p’ in Example@33a17727.
关于代理对象的需求的说明可以在[这里]找到(delegated-properties.html#property-delegate-requirements).
需要注意的是从Kotlin 1.1之前你可以在方法或代码块中声明代理属性了, 代理属性不必声明为类的成员, 例子.
标准库中的代理 Standard Delegates
Kotlin标准库为一些常用的代理提供了工厂方法.
延迟属性 Lazy
lazy()
方法接收一个lamda作为参数并返回一个 Lazy<T>
实例, 可以实现延迟加载:
第一次调用 get()
时执行传入 lazy()
的lambda表达式并保存结果, 后续对get()
的调用只返回保存的结果.
val lazyValue: String by lazy {
println("computed!")
"Hello"
}
fun main(args: Array<String>) {
println(lazyValue)
println(lazyValue)
}
该例子输出:
computed!
Hello
Hello
默认情况下, 延迟属性的计算是同步的(synchronized): 只有一个线程计算该值, 其他的线程都会看见相同的值. 如果此初始化的步骤不需要同步, 多个线程可以同事执行初始化, 在lazy()
方法中传入LazyThreadSafetyMode.PUBLICATION
作为参数.
如果可以确保初始化过程只会在单个线程中执行, 可以用LazyThreadSafetyMode.NONE
模式, 该模式不保证线程安全, 避免相关的开销.
监控属性 Observable
Delegates.observable()
有两个参数: 初始值和变化观察器.
每次代理属性被赋予值的时候都会调用观察器(在赋值操作之后).观察器有三个参数:属性类型, 旧值和新值.
import kotlin.properties.Delegates
class User {
var name: String by Delegates.observable("<no name>") {
prop, old, new ->
println("$old -> $new")
}
}
fun main(args: Array<String>) {
val user = User()
user.name = "first"
user.name = "second"
}
该例子输出
<no name> -> first
first -> second
如果你想终端赋值的过程并拒绝赋值, 用vetoable()
替代observable()
.observable()
的观察器参数是在赋值之前被调用的.
使用Mapc存储属性 Storing Properties in a Map
在map中存储属性是一种常见使用方式.
这种情形在解析JSON或者其他"动态的"事情时经常出现.
在这种情况下, 你可以使用map的实例来代理一个代理属性.
class User(val map: Map<String, Any?>) {
val name: String by map
val age: Int by map
}
在这个例子中, 构造器接收一个map:
val user = User(mapOf(
"name" to "John Doe",
"age" to 25
))
代理属性从这个map接收值(通过String类型的key --- 作为属性的名字)
println(user.name) // Prints "John Doe"
println(user.age) // Prints 25
当使用MutableMap
而不是只读的Map
时, 对var
也可以使用.
class MutableUser(val map: MutableMap<String, Any?>) {
var name: String by map
var age: Int by map
}
本地代理属性 Local Delegated Properties (since 1.1)
你可以声明局部变量作为代理属性.
例如, 可以让局部变量成为lazy属性.
fun example(computeFoo: () -> Foo) {
val memoizedFoo by lazy(computeFoo)
if (someCondition && memoizedFoo.isValid()) {
memoizedFoo.doSomething()
}
}
memoizedFoo
变量只会在第一次访问时计算.
如果someCondition
失败了, 变量的值则完全不会进行计算.
属性代理的需求 Property Delegate Requirements
在此我们整理一下代理对象的需求.
对于一个只读属性(例如: val), 代理必须提供一个接收下列参数的getValue
函数:
-
thisRef
--- 必须是_属性拥有者_相同类型或者是其超类(对于扩展属性 --- 则是其所扩展的属性) -
property
--- 必须是KProperty<*>
类型或其超类,
这个函数必须返回和属性相同的类型, 或者其子类.
对于可变的属性(比如var), 代理必须额外提供具备下列参数的setValue
函数:
-
thisRef
--- 与getValue()
相同, -
property
--- 与getValue()
相同, - new value --- 必须是与属性或其超类相同的类型
getValue()
和/或setValue()
函数可以用两种方式提供: 代理类的成员函数或者扩展函数.
后者在原有对象没有提供这些函数时非常方便.两种方式的函数都要使用operator
关键字修饰.
代理类可以实现下面的接口之一, 包含operator
方法的ReadOnlyProperty
和ReadWriteProperty
接口. 这些接口在Kotlin标准库中声明.
interface ReadOnlyProperty<in R, out T> {
operator fun getValue(thisRef: R, property: KProperty<*>): T
}
interface ReadWriteProperty<in R, T> {
operator fun getValue(thisRef: R, property: KProperty<*>): T
operator fun setValue(thisRef: R, property: KProperty<*>, value: T)
}
翻译规则 Translation Rules
在代理属性的背后, Kotlin编译器生成一个辅助属性并代理给它. 比如, 对于属性prop
, 会生成一个prop$delegate
辅助属性, 访问器的代码就是简单的代理给这个附加的属性:
class C {
var prop: Type by MyDelegate()
}
// this code is generated by the compiler instead:
class C {
private val prop$delegate = MyDelegate()
var prop: Type
get() = prop$delegate.getValue(this, this::prop)
set(value: Type) = prop$delegate.setValue(this, this::prop, value)
}
Kotlin编译器提供了所有prop
属性必需的信息: 第一个参数this
引用指向包含它的外部类C
, this::prop
是prop
自身的反射类型信息, 是KProperty
类型.
提供代理 Providing a delegate (since 1.1)
通过定义provideDelegate
操作符可以扩展创建属性实现所代理对象的逻辑.如果by
右侧使用的对象定义了provideDelegate
作为成员函数或者扩展函数, 这个函数会在创建属性代理时被调用.
One of the possible use cases of provideDelegate
is to check property consistency when the property is created, not only in its getter or setter.
provideDelegate
一个可能的用法是用来在创建属性期间检查属性的一致性, 而不是在getter或setter中.
比如你想在绑定前检查属性的名字, 可以这样写:
class ResourceLoader<T>(id: ResourceID<T>) {
operator fun provideDelegate(
thisRef: MyUI,
prop: KProperty<*>
): ReadOnlyProperty<MyUI, T> {
checkProperty(thisRef, prop.name)
// 创建代理
}
private fun checkProperty(thisRef: MyUI, name: String) { ... }
}
fun <T> bindResource(id: ResourceID<T>): ResourceLoader<T> { ... }
class MyUI {
val image by bindResource(ResourceID.image_id)
val text by bindResource(ResourceID.text_id)
}
provideDelegate
和getValue
的参数相同:
-
thisRef
--- 必须与属性的拥有者或其超类类型相同(对于扩展属性 -- 指被扩展的类) -
property
--- 必须是KProperty<*>
类型或其超类.
The provideDelegate
method is called for each property during the creation of the MyUI
instance, and it performs the necessary validation right away.
provideDelegate
方法在每个MyUI
实例创建期间都被调用, 并立即进行必要的检验.
如果没有这种在属性和其代理之间拦截的手段, 要明确的传入属性命, 这很不方便.
// 没有"provideDelegate"的情况下检查属性命
class MyUI {
val image by bindResource(ResourceID.image_id, "image")
val text by bindResource(ResourceID.text_id, "text")
}
fun <T> MyUI.bindResource(
id: ResourceID<T>,
propertyName: String
): ReadOnlyProperty<MyUI, T> {
checkProperty(this, propertyName)
// 创建委托
}
在生成的代码中, provideDelegate
被调用, 以此来初始化辅助prop$delegate
属性. 比较声明是val prop: Type by MyDelegate()
的属性生成的代码和上面不提供provide Delegate
函数的代码.
class C {
var prop: Type by MyDelegate()
}
// 在提供`provideDelegate`函数时, 这些代码由编译器生成
class C {
// 调用"provideDelegate"函数创建额外的"delegate"属性
private val prop$delegate = MyDelegate().provideDelegate(this, this::prop)
val prop: Type
get() = prop$delegate.getValue(this, this::prop)
}
注意provideDelegate
函数只影响辅助属性的创建, 并不影响getter和setter的生成.