阅读 841

[译]带你揭开Kotlin中属性代理和懒加载语法糖衣

翻译说明:

原标题: How Kotlin’s delegated properties and lazy-initialization work

原文地址: medium.com/til-kotlin/…

原文作者: Chang W. Doh

在支持面向对象范式的编程语言中,相信大家对访问属性应该非常熟悉了吧。Kotlin就提供了很多这样的方法,通过by lazy实现属性的懒加载就是一个很好的例子。

在这篇文章中,我们将一起去看看如何使用Kotlin中的委托属性以及by lazy的懒加载然后深入了解它们内部的工作原理,一步步揭开它们语法糖衣。

可空类型

我认为你们中很多人对nullable已经了然于胸,但是让我们再来看看它。我们使用Kotlin来开发Android时你可能会像如下这样写:

class MainActivity : AppCompatActivity() {
    private var helloMessage : String = "Hello"
}
复制代码

可空类型在自己生命周期内初始化

在上述例子中,在对象创建的时候就初始化,这也没什么大的问题。然而,如果在特定的初始化过程之后引用它,则不能提前声明和使用值,因为它有自己的生命周期来初始化自身。

让我们一起来看下一些熟悉Java代码

public class MainActivity extends AppCompatActivity {
    private TextView mWelcomeTextView;
    @Override
    protected void onCreate(Bundle savedInstanceState) {
        super.onCreate(savedInstanceState);
        setContentView(R.layout.activity_main);
        mWelcomeTextView = (TextView) findViewById(R.id.msgView);
    }
}
复制代码

你可以使用Kotlin来实现上述代码,通过将上述mWelcomeTextView声明成可空类型就可以了.

class MainActivity : AppCompatActivity() {
    private var mWelcomeTextView: TextView? = null//声明成可空类型
    override fun onCreate(savedInstanceState: Bundle?) {
        super.onCreate(savedInstanceState)
        setContentView(R.layout.activity_main)
        mWelcomeTextView = findViewById(R.id.msgView) as TextView
    }
}
复制代码

非空类型

上面那个例子代码运行良好,但是在代码中使用属性的之前每次都需要检查它是否为null就显得难受了。这一点你完全可以使用非空类型实现它。

class MainActivity: AppCompatActivity () { 
    private var mWelcomeTextView: TextView
    ... 
}
复制代码

当然上述代码,你需要使用lateinit来告诉编译器,你将稍后为组件mWelcomeTextView初始化值。

lateinit: 我稍后会初始化非空类型的属性

与我们通常讨论的延迟初始化(lazy initialization) 不同的是,lateinit允许编译器识别非空类型属性的值不存储在构造函数阶段以致于可以正常编译。

class MainActivity : AppCompatActivity() {
    private lateinit var mWelcomeTextView: TextView
    override fun onCreate(savedInstanceState: Bundle?) {
        super.onCreate(savedInstanceState)
        setContentView(R.layout.activity_main)
        mWelcomeTextView = findViewById(R.id.msgView) as TextView
    }
}
复制代码

如果你想要了解更多,请查看这里

只读属性

通常,如果组件的字段不是基本数据类型或者内置类型,则可以发现引用是保留在组件整个生命周期中的。

例如,在Android应用程序中,大多数的组件引用是在Acitivity生命周期中保持不变的。换句话说,这就意味着你很少需要更改组件的引用。

基于这一点,我们可以很容易想到以下这点:

“如果属性的值通常保留在组件的生命周期中,那么只读类型的属性是否足以保持该值?”

我认为可以的,要做到这一点,乍看一眼只需将var改为val一点改动就可以了。

非空只读属性的问题

但是,当我们声明只读属性时,我们面临的问题是无法定义执行初始化的位置

class MainActivity : AppCompatActivity() {
    private val mWelcomeTextView: TextView
    override fun onCreate(savedInstanceState: Bundle?) {
        super.onCreate(savedInstanceState)
        setContentView(R.layout.activity_main)
        // Where do I move the initialization code????? 我应该把这个初始化的代码移到哪呢???
        // mWelcomeTextView = findViewById(R.id.msgView) as TextView
    }
}
复制代码

现在让我们尝试解决最后一个问题:

“我们在哪初始化只读属性呢”

懒加载(lazy Initialization)

当实现在Kotlin中执行延迟初始化的只读属性是,by lazy也许就特别有用了。

by lazy{...}执行初始化程序,其中首先使用的是定义的属性,而不是它的声明。

class MainActivity : AppCompatActivity() {
    private val messageView : TextView by lazy {
        // 下面这段代码将在第一次访问messageView时执行
        findViewById(R.id.message_view) as TextView
    }
    override fun onCreate(savedInstanceState: Bundle?) {
        super.onCreate(savedInstanceState)
    }
    fun onSayHello() {
        // 真正初始化将会在这执行!!
        messageView.text = "Hello"
    }
}
复制代码

现在,我们可以声明一个只读属性,而不必担心messageView的初始化点的问题。让我们看看懒加载背后原理是怎么样的。

属性委托(代理)

Delegation的意思就是委托。它意味着通过委托者可以执行某些操作,而不是直接通过原始访问者执行操作。

属性委托是委托属性的getter/setter方法,它允许委托对象在读取和写入值时插入执行一些中间操作。

Kotlin将支持接口(类委托)或访问器(委托属性)的实现委托给另一个对象。

Delegation is a something with a historic background. :) (Source: Wikipedia commons )

你可以通过by <delegate>形式来声明一个委托属性

val / var <property name>: <Type> by <delegate>
复制代码

属性的委托可以像如下方式定义:

class Delegate {
    operator fun getValue(
            thisRef: Any?,
            property: KProperty<*>
    ): String {
        // return value
    }
    operator fun setValue(
            thisRef: Any?,
            property: KProperty<*>, value: String
    ) {
        // assign
    }
}
复制代码

对值的所有读取操作都会委托调用getValue()方法,同理,对值的所有写操作都会委托调用setValue()方法。

by lazy的工作原理

现在让我们再次重新研究下上述例子中属性的代码。

它实际上就是一个属性委托!

我们可以把by lazy修饰的属性理解为是具有lazy委托的委托属性。

所以,lazy是如何工作的呢? 让我们一起在Kotlin标准库参考中总结lazy()方法,如下所示:

  • 1、lazy() 返回的是一个存储在lambda初始化器中的Lazy<T>类型实例。
  • 2、getter的第一次调用执行传递给lazy()的lambda并存储其结果。
  • 3、后面的话,getter调用只返回存储中的值。

简单地说,lazy创建一个实例,在第一次访问属性值时执行初始化,存储结果并返回存储的值。

带有lazy()的委托属性

让我们编写一个简单的Kotlin代码来检查lazy的实现。

class Demo {
    val myName: String by lazy { "John" }
}
复制代码

如果你将其反编译为Java代码,则可以看到以下代码:

public final class Demo {
    @NotNull
    private final Lazy myName$delegate;
    
    // $FF: synthetic field
    static final KProperty[] $$delegatedProperties = ...
    @NotNull
    public final String getMyName() {
        Lazy var1 = this.myName$delegate;
        KProperty var3 = $$delegatedProperties[0];
        return (String)var1.getValue();
    }
    public Demo() {
        this.myName$delegate =
            LazyKt.lazy((Function0)null.INSTANCE);
    }
}
复制代码
  • $delegate后缀被拼接到字段名称后面: myName$delegate
  • 注意myName$delegate的类型是Lazy类型不是String类型
  • 在构造器中,LazyKt.lazy()函数返回值赋值给了myName$delegate
  • LazyKt.lazy()方法负责执行指定的初始化块

调用getMyName()方法实际过程是将通过调用myName$delegateLazy 实例中的getValue()方法并返回相应的值。

Lazy的具体实现

lazy()方法返回的是一个Lazy<T>类型的对象,该对象处理lambda函数(初始化程序块),根据线程执行模式(LazyThreadSafetyMode)以稍微几种不同的方式执行初始化。

@kotlin.jvm.JvmVersion
public fun <T> lazy(
    mode: LazyThreadSafetyMode,
    initializer: () -> T
): Lazy<T> =
    when (mode) {
        LazyThreadSafetyMode.SYNCHRONIZED ->
            SynchronizedLazyImpl(initializer)
        LazyThreadSafetyMode.PUBLICATION ->
            SafePublicationLazyImpl(initializer)
        LazyThreadSafetyMode.NONE ->
            UnsafeLazyImpl(initializer)
    }
复制代码

所有这些都负责调用给定的lambda块进行延迟初始化

SYNCHRONIZEDSynchronizedLazyImpl

  • 初始化操作仅仅在首先调用的第一个线程上执行
  • 然后,其他线程将引用缓存后的值。
  • 默认模式就是(LazyThreadSafetyMode.SYNCHRONIZED)

PUBLICATIONSafePublicationLazyImpl

  • 它可以同时在多个线程中调用,并且可以在全部或部分线程上同时进行初始化。
  • 但是,如果某个值已由另一个线程初始化,则将返回该值而不执行初始化。

NONEUnsafeLazyImpl

  • 只需在第一次访问时初始化它,或返回存储的值。
  • 不考虑多线程,所以它不是线程安全的。

Lazy实现的默认行为

SynchronizedLazyImplSafePublicationLazyImplUnsafeLazyImpl通过以下过程执行延迟初始化。我们来看看前面的例子。

  • 1、将传入的初始化lambda块存储在属性的 initializer

  • 2、通过属性_value来存储值。此属性最开始初始值为UNINITIALIZED_VALUE

  • 3、在执行读取操作(属性get访问器)时,如果_value的值是最开始初始值UNINITIALIZED_VALUE,那么就会去执行 initializer初始化器

  • 4、在执行读取操作(属性get访问器)时,如果_value的值不是等于UNINITIALIZED_VALUE, 那就说明初始化操作已经执行完成了。

SynchronizedLazyImpl

如果你没有明确指定具体模式,延迟具体实现就是SynchronizedLazyImpl,它默认只执行一次初始化。我们来看看它的实现代码。

private object UNINITIALIZED_VALUE
private class SynchronizedLazyImpl<out T>(
        initializer: () -> T,
        lock: Any? = null
) : Lazy<T>,
    Serializable {
    private var initializer: (() -> T)? = initializer
    @Volatile private var _value: Any? = UNINITIALIZED_VALUE
    // final field is required
    // to enable safe publication of constructed instance
    private val lock = lock ?: this
    override val value: T
        get() {
            val _v1 = _value
            if (_v1 !== UNINITIALIZED_VALUE) {
                @Suppress("UNCHECKED_CAST")
                return _v1 as T
            }
            return synchronized(lock) {
                val _v2 = _value
                if (_v2 !== UNINITIALIZED_VALUE) {
                    @Suppress("UNCHECKED_CAST") (_v2 as T)
                }
                else {
                    val typedValue = initializer!!()
                    _value = typedValue
                    initializer = null
                    typedValue
                }
            }
        }
    override fun isInitialized(): Boolean =
            _value !== UNINITIALIZED_VALUE
    override fun toString(): String =
            if (isInitialized()) value.toString()
            else "Lazy value not initialized yet."
    private fun writeReplace(): Any =
            InitializedLazyImpl(value)
}
复制代码

这看起来有点复杂。但它只是多线程的一般实现。

  • 使用synchronized()同步块执行初始化块
  • 由于初始化可能已经由另一个线程完成,它会进行双重锁检测(DCL),如果已经完成了初始化,则返回存储的值。
  • 如果它未初始化,它将执行lambda表达式并存储返回值。那么随后这个initializer将会置为null,因为初始化完成后就不再需要它了。

Kotlin的委托属性将会让你快乐

当然,延迟初始化有时会导致问题发生或通过绕过控制流并在异常情况下生成正常值来使调试变得困难。

但是,如果你对这些情况非常谨慎,那么Kotlin的延迟初始化可以使我们更加自由地避免对线程安全性和性能的担忧。

我们还研究了延迟初始化是运算符 bylazy函数的共同作用的结果。还有更多的委托,如ObservablenotNull。如有必要,你还可以实现有趣的委托属性。

读者有话说

闲聊几句,有一些小伙伴在私下问我对近期2019 Google IO 大会宣布Kotlin为Android开发首选语言,即Kotlin-First.这件事怎么看? 其实个人对于这个比较平常心,觉得不是什么特别新奇的事,说真的Kotlin自身有能力和优势充当这么个角色。如果你还在犹豫要不要学Kotlin这门语言的时候,那你就去看看Google IO使用Android代码例子几乎全是Kotlin编写,而且后面很多官方的框架和库都是Kotlin编写。咱们还是好好扎实把Kotlin中每个细节点吃透吧,那么你就会真正领会到Kotlin这门语言的设计哲学了。

说下为什么要翻译这篇文章?

这篇文章可以说把by lazy 属性懒加载的从使用场景到原理剖析都阐述的非常清楚,并以图表形式把by lazy调用过程逻辑呈现得简单易懂。

你是否在Kotlin代码使用过by lazy呢?那你知道什么时候该使用lateinit,什么时候使用by lazy吗?实际上这篇文章已经给出答案了,这里简单大致说下: by lazy正如文章中说的那样用于非空只读属性,需要延迟加载情况,而lateinit一般用于非空可变属性,需要延迟加载情况。后续会有相关文章详细阐述它们区别以及使用场景。

其实这篇文章还涉及到一个点,那就是 by lazy中的SynchronizedLazyImpl,实际上通过反编译后代码可知它是DCL(double check lock),所以可以利用Companion Object + by lazy可以实现Kotlin中的DCL单例模式。具体可参考我之前那篇文章当Kotlin完美邂逅设计模式之单例模式(一)

Kotlin系列文章,欢迎查看:

Kotlin邂逅设计模式系列:

数据结构与算法系列:

翻译系列:

原创系列:

Effective Kotlin翻译系列

实战系列:

关注下面的标签,发现更多相似文章
评论