对象表达式和对象声明

    要创建一个继承自某个(或某些)类型的匿名类的对象,我们会这么写:

    如果超类型有一个构造函数,则必须传递适当的构造函数参数给它。多个超类型可以由跟在冒号后面的逗号分隔的列表指定:

    1. public open val y: Int = x
    2. }
    3. interface B {……}
    4. val ab: A = object : A(1), B {
    5. override val y = 15
    6. }

    任何时候,如果我们只需要“一个对象而已”,并不需要特殊超类型,那么我们可以简单地写:

    1. fun foo() {
    2. val adHoc = object {
    3. var x: Int = 0
    4. var y: Int = 0
    5. }
    6. print(adHoc.x + adHoc.y)
    7. }

    请注意,匿名对象可以用作只在本地和私有作用域中声明的类型。如果你使用匿名对象作为公有函数的返回类型或者用作公有属性的类型,那么该函数或属性的实际类型会是匿名对象声明的超类型,如果你没有声明任何超类型,就会是 Any。在匿名对象中添加的成员将无法访问。

    1. class C {
    2. // 私有函数,所以其返回类型是匿名对象类型
    3. private fun foo() = object {
    4. val x: String = "x"
    5. fun publicFoo() = object {
    6. val x: String = "x"
    7. }
    8. fun bar() {
    9. val x1 = foo().x // 没问题
    10. val x2 = publicFoo().x // 错误:未能解析的引用“x”
    11. }
    12. }

    对象声明

    单例模式是一种非常有用的模式,而 Kotlin(继 Scala 之后)使单例声明变得很容易:

    1. object DataProviderManager {
    2. fun registerDataProvider(provider: DataProvider) {
    3. // ……
    4. }
    5. val allDataProviders: Collection<DataProvider>
    6. get() = // ……
    7. }

    这称为对象声明。并且它总是在 object 关键字后跟一个名称。就像变量声明一样,对象声明不是一个表达式,不能用在赋值语句的右边。

    要引用该对象,我们直接使用其名称即可:

    1. DataProviderManager.registerDataProvider(……)

    这些对象可以有超类型:

    1. object DefaultListener : MouseAdapter() {
    2. override fun mouseClicked(e: MouseEvent) {
    3. // ……
    4. }
    5. override fun mouseEntered(e: MouseEvent) {
    6. // ……
    7. }
    8. }

    类内部的对象声明可以用 companion 关键字标记:

    该伴生对象的成员可通过只使用类名作为限定符来调用:

    1. val instance = MyClass.create()

    可以省略伴生对象的名称,在这种情况下将使用名称 Companion

    1. class MyClass {
    2. companion object {
    3. }
    4. }
    5. val x = MyClass.Companion

    请注意,即使伴生对象的成员看起来像其他语言的静态成员,在运行时他们仍然是真实对象的实例成员,而且,例如还可以实现接口:

    1. interface Factory<T> {
    2. fun create(): T
    3. }
    4. class MyClass {
    5. companion object : Factory<MyClass> {
    6. override fun create(): MyClass = MyClass()
    7. }
    8. }

    对象表达式和对象声明之间的语义差异

    对象表达式和对象声明之间有一个重要的语义差别:

    • 对象表达式是在使用他们的地方立即执行(及初始化)的;
    • 对象声明是在第一次被访问到时延迟初始化的;
    • 伴生对象的初始化是在相应的类被加载(解析)时,与 Java 静态初始化器的语义相匹配。