Kotlin Reference (十二) Extensions

时间:2022-06-23 01:29:36

most from reference

Kotlin与C#和Gosu类似,提供了扩展一个新功能的类,而不必继承类或使用任何类型的设计模式,如Decorator(装饰者模式)。这是通过称为扩展的特殊声明完成的。Kotlin支持扩展功能和扩展属性。

扩展功能

要声明一个扩展函数,我们需要一个接收器类型(即被扩展的类型)作为其名称的前缀。以下是为MutableList扩展的swap功能:

fun MutableList<Int>.swap(index1: Int, index2: Int) {
    val tmp = this[index1] // 'this' corresponds to the list
    this[index1] = this[index2]
    this[index2] = tmp
}

扩展功能中的this关键字对应于接收器对象(在.之前传递的对象)。现在我们可以在任何时候调用MutableList的这个函数:

val l = mutableListOf(1, 2, 3)
l.swap(0, 2) // 'this' inside 'swap()' will hold the value of 'l'

当然,这个功能对任何MutableList都是有用的,我们可以 让其更加通用:

fun <T> MutableList<T>.swap(index1: Int, index2: Int) {
    val tmp = this[index1] // 'this' corresponds to the list
    this[index1] = this[index2]
    this[index2] = tmp
}

我们在函数名称之前声明通用类型参数,使其在接收器类型表达式中可用。请参考通用功能

扩展函数静态解析

扩展实际上不会修改他们扩展的类。通过定义扩展名,不会将新成员插入到类型,而只是使用这种类型的变量上点符号来调用新的函数。

需要强调的是,扩展功能是静态调用的,它们不是虚拟的接收器类型。这意味着被调用的扩展函数由调用该函数的表达式的类型决定,而不是在运行时评估该表达式的结果的类型。例如:

open class C

class D: C()

fun C.foo() = "c"

fun D.foo() = "d"

fun printFoo(c: C) {
    println(c.foo())
}

printFoo(D())

此例将先打印”c”,因为被调用的扩展函数仅取决于声明的参数类型c,即C类。

如果一个类有一个成员函数,并且定义了一扩展函数,它具有相同的接收器类型,相同的名称,并且适用于给定的参数,则成员函数的优先级更高。例如:

class C {
    fun foo() { println("member") }
}

fun C.foo() { println("extension") }

如果我们调用c.foo(),它将打印”member”而不是”extension”。

但是,扩展函数可以重载具有相同名称不同参数的成员函数,这是完全可行的:

class C {
    fun foo() { println("member") }
}

fun C.foo(i: Int) { println("extension") }

调用C().foo(1)将打印”extension”。

空接收器

我们可以使用空接收器类型定义扩展。这样的扩展可以在对象变量上调用,即使他的值为null,并且可以在方法体内检查this==null。这样就可以在Kotlin中调用toString()而无需检查null:检查发生在扩展函数内。

fun Any?.toString(): String {
    if (this == null) return "null"
    // after the null check, 'this' is autocast to a non-null type, so the toString() below
    // resolves to the member function of the Any class
    return toString()
}

扩展属性

与扩展函数类似,Kotlin支持扩展属性:

val <T> List<T>.lastIndex: Int
    get() = size - 1

请注意,由于扩展名实际上并没有将成员插入到类中,因此扩展属性没有有效的备份字段。这就是为什么不允许扩展属性的初始化。它们的行为只能通过提供明确getter/setter来定义。

val Foo.bar = 1 // error: initializers are not allowed for extension properties

伴生对象扩展

如果一个类定义了一个伴生对象,那么还可以定义该对象的扩展函数和属性:

class MyClass {
    companion object { }  // will be called "Companion"
}

fun MyClass.Companion.foo() {
    // ...
}

就像伴生对象的常规成员一样,只能使用该类名作为限定词:

MyClass.foo()

扩展范围

大多数时候我们在顶层定义扩展,即直接在包下:

package foo.bar

fun Baz.goo() { ... } 

要在其声明包之外使用这样的扩展,我们需要在调用的地方导入它:

package com.example.usage

import foo.bar.goo // importing all extensions by name "goo"
                   // or
import foo.bar.*   // importing everything from "foo.bar"

fun usage(baz: Baz) {
    baz.goo()
}

有关详细信息,请参考导入

作为成员函数定义扩展函数

在类中,您可以为另一个类声明扩展名。在这样的扩展中,有多个隐式接收器,可以在没有限定符的情况下访问对象成员。声明扩展名的类的实例为调用接收方,扩展方法的接收方类型称为扩展接收方。

class D {
    fun bar() { ... }
}

class C {
    fun baz() { ... }

    fun D.foo() {
        bar()   // calls D.bar
        baz()   // calls C.baz
    }

    fun caller(d: D) {
        d.foo()   // call the extension function
    }
}

在发送接收机的成员分机接受者之间发生姓名冲突的情况下,分机接受者优先。要引用法发送接收器的成员,您可以使用this语法

class C {
    fun D.foo() {
        toString()         // calls D.toString()
        this@C.toString()  // calls C.toString()
    }

作为成员的扩展可以用open声明在类中覆盖。这意味着这种功能的调用对于调用接收器类型是虚拟的,但是关于扩展接收器类型时静态的。

open class D {
}

class D1 : D() {
}

open class C {
    open fun D.foo() {
        println("D.foo in C")
    }

    open fun D1.foo() {
        println("D1.foo in C")
    }

    fun caller(d: D) {
        d.foo()   // call the extension function
    }
}

class C1 : C() {
    override fun D.foo() {
        println("D.foo in C1")
    }

    override fun D1.foo() {
        println("D1.foo in C1")
    }
}

C().caller(D())   // prints "D.foo in C"
C1().caller(D())  // prints "D.foo in C1" - dispatch receiver is resolved virtually
C().caller(D1())  // prints "D.foo in C" - extension receiver is resolved statically

目的

在Java中,我们习惯命名*.utils的类:FileUtils,StringUtils等等。跟ava.util.Collections属于统一类型。

关于这些Utils类令人不快的是使用它们如下例所示:

// Java
Collections.swap(list, Collections.binarySearch(list, Collections.max(otherList)), Collections.max(list))

这些类型总是阻碍了我们理解。我们可以使用静态导入:

// Java
swap(list, binarySearch(list, max(otherList)), max(list))

这样使用稍微好点,从强大的代码补全IDE,我们不需要或需要很少的帮助。如果我们这样写,会不会好点:

// Java
list.swap(list.binarySearch(otherList.max()), list.max())

但是我们不想在类中实现所有可能的方法List,对吧?这是扩展帮助我们的地方。

Kotlin Reference (十二) Extensions的更多相关文章

  1. Kotlin Reference &lpar;十&rpar; Interfaces

    most from reference 接口 Kotlin中的接口非常类似于Java8,它们可以包含抽象方法的声明以及方法实现.与抽象类不同的是接口不能存储状态.它们可以具有属性,但这些需要是抽象的或 ...

  2. 20135316王剑桥 linux第十二周课实验笔记

    第十二章并发编程 1.如果逻辑控制流在时间上重叠,那么它们就是并发的.这种现象,称为并发(concurrency). 2.为了允许服务器同时为大量客户端服务,比较好的方法是:创建并发服务器,为每个客户 ...

  3. CG基础教程-陈惟老师十二讲笔记

    转自 麽洋TinyOcean:http://www.douban.com/people/Tinyocean/notes?start=50&type=note 因为看了陈惟十二讲视频没有课件,边 ...

  4. NeHe OpenGL教程 第二十二课:凹凸映射

    转自[翻译]NeHe OpenGL 教程 前言 声明,此 NeHe OpenGL教程系列文章由51博客yarin翻译(2010-08-19),本博客为转载并稍加整理与修改.对NeHe的OpenGL管线 ...

  5. perl5 第十二章 Perl5中的引用&sol;指针

    第十二章 Perl5中的引用/指针 by flamephoenix 一.引用简介二.使用引用三.使用反斜线(\)操作符四.引用和数组五.多维数组六.子程序的引用  子程序模板七.数组与子程序八.文件句 ...

  6. Linux时间子系统之(十二):periodic tick

    专题文档汇总目录 Notes:TickDevice模式,以及clocckevent设备.TickDevice设备的初始化,TickDevice是如何加入到系统中的.周期性Tick的产生. 原文地址:L ...

  7. MongoDB十二种最有效的模式设计【转】

    持续关注MongoDB博客(https://www.mongodb.com/blog)的同学一定会留意到,技术大牛Daniel Coupal 和 Ken W. Alger ,从 今年 2月17 号开始 ...

  8. &period;NET Core实战项目之CMS 第十二章 开发篇-Dapper封装CURD及仓储代码生成器实现

    本篇我将带着大家一起来对Dapper进行下封装并实现基本的增删改查.分页操作的同步异步方法的实现(已实现MSSQL,MySql,PgSQL).同时我们再实现一下仓储层的代码生成器,这样的话,我们只需要 ...

  9. &lpar;C&sol;C&plus;&plus;学习笔记&rpar; 十二&period; 指针

    十二. 指针 ● 基本概念 位系统下为4字节(8位十六进制数),在64位系统下为8字节(16位十六进制数) 进制表示的, 内存地址不占用内存空间 指针本身是一种数据类型, 它可以指向int, char ...

随机推荐

  1. JSP页面跳转的几种实现方法

    使用href超链接标记      客户端跳转 使用JavaScript               客户端跳转 提交表单                        客户端跳转 使用response ...

  2. java指令重排序的问题

    转载自于:http://my.oschina.net/004/blog/222069?fromerr=ER2mp62C 指令重排序是个比较复杂.觉得有些不可思议的问题,同样是先以例子开头(建议大家跑下 ...

  3. 42&period;Odoo产品分析 &lpar;四&rpar; – 工具板块&lpar;10&rpar; – 问卷&lpar;2&rpar;

    查看Odoo产品分析系列--目录 接上一篇Odoo产品分析 (四) – 工具板块(10) – 问卷(1) 4 页面 即问卷,点开一项查看:  可以看出,网页就是问卷本身的子目录,其中指明了该目录包括哪 ...

  4. luogu P4899 &lbrack;IOI2018&rsqb; werewolf 狼火

    传送门 首先很显然,从人形起点出发能到的点和狼形能到终点的点都是一个联通块,如果能从起点到终点则说明这两个联通块有交 这个时候可以请出我们的克鲁斯卡尔重构树,即对原图分别建两棵重构树,一棵边权为两端点 ...

  5. python基本数据类型之字符串(四)

    python基本数据类型之字符串(四) 判断方法 python中有一类用来判断字符串形式的方法,该类方法有两个特点:(1)方法名都是is开头(除了startswith和endswith):(2)返回值 ...

  6. 一个canonical标签解决site不在首页的问题

    前段时间因为竞价的同事为了方便查看转化路径,在每个关键词都设置了不同的url,具体是直接在标准网址后面加#和参数,例如www.abc.com/#defgh,www.abc.com/#ijklmn,因为 ...

  7. win8换win7的操作方法

    详细参考UEFI与 Legacy BIOS两种启动模式详解  BIOS的两种引导模式 win8更换win7的方法的两个步骤:    (1).设置BIOS支持Legacy启动,具体目标就是设置secur ...

  8. BZOJ&period;1014&period;&lbrack;JSOI2008&rsqb;火星人&lpar;Splay 二分 Hash&rpar;

    题目链接 后缀数组显然不行啊.求LCP还可以哈希+二分,于是考虑用平衡树维护哈希值. \[某一节点的哈希值 = hs[lson]*base^{sz[rson]+1} + s[rt]*base^{sz[ ...

  9. Python3在指定路径下递归定位文件中出现的字符串

    [本文出自天外归云的博客园] 脚本功能:在指定的路径下递归搜索,找出指定字符串在文件中出现的位置(行信息). 用到的python特性: 1. PEP 318 -- Decorators for Fun ...

  10. 【BubbleCup X】D&period; Exploration plan

    这个题首先一眼能看出二分答案…… 毕竟连可爱的边界都给你了. 下面就是怎么check 首先预处理跑一遍floyed,预处理出最短路. 用网络流判断能否达到即可. #include<bits/st ...