【Kotlin精简】第4章 函数

1 简介

函数是用来运行代码的载体,可以在一个函数里编写很多行代码,当运行这个函数时,函数中的所有代码会全部运行。
Kotlin中的函数同Java完全面向对象的规则不太一样,在Kotlin的世界里,函数也是准C位的,同面向对象一样属于一等公民,Kotlin也提倡函数式编程。
Kotlin中的函数分为普通函数中缀函数局部函数泛型函数尾递归函数扩展函数内联函数高阶函数lambada函数
在这里插入图片描述

2 普通函数

使用fun关键字创建一个函数。

class Func {fun main(){// 1.调用类外部的方法// Kotlin 函数可以在文件顶层声明,这意味着你不需要像一些语言// 如 Java、C# 与 Scala 那样需要创建一个类来保存一个函数。// 此外除了顶层函数,Kotlin 中函数也可以声明在局部作用域、作为成员函数以及扩展函数。outFunc()// 2.调用五返回值函数,Unit可省略不写logString(100)// 3.调用普通函数,有返回值val num = double(10)// 4.调用普通单表达式函数,有返回值val num2 = double2(10)// 5.调用普通函数,参数有默认值的情况// 除了str以外其余的参数名都含有默认值,我们可以使用默认调用。// 或者指定要具体参数名调用,没指定的情况使用默认参数值val str = "NO.1"reformat(str,normalizeCase = true,wordSeparator = '_')// 6.调用可变参数的函数,使用vararg修饰参数// 当我们已经有一个数组类型的参数的时候,// 我们可以用扩展符(*)来作为参数传入val arr = arrayOf(1,2,3)val list = asList(*arr, 4,5) // list: 1,2,3,4,5// 7.继承重写的函数,不能有默认值class B : A() {override fun foo(i: Int) { }}}private fun double(x: Int): Int {return 2 * x}private fun double2(x: Int): Int = x * 2 // 可简写:fun double(x: Int) = x * 2// 没有返回值类似Java的void,Unit可以不写private fun logString(x:Int):Unit{ Log.i("NormalFunc", x.toString()) }  //等同于 fun test(x:Int){ print(x) }// 默认参数函数private fun reformat(str: String,normalizeCase: Boolean = true,upperCaseFirstLetter: Boolean = true,wordSeparator: Char = ' ') {}// 这里的T代表泛型,总是泛型总是出现在函数名的前面private fun <T> asList(vararg ts: T): List<T> {val result = ArrayList<T>()for (t in ts) // ts is an Arrayresult.add(t)return result}
}// 实际上会编译成类中的静态方法
fun outFunc(){}open class A {open fun foo(i: Int = 10) { }
}

fun(function的简写)是定义函数的关键字,无论定义什么函数,都一定要使用fun来声明。

3 中缀函数

标有 infix关键字的函数也可以使用中缀表示法(忽略该调用的点与圆括号)调用。中缀函数满足以下条件:

  1. 它们必须是成员函数或扩展函数。
  2. 它们必须只有一个参数。
  3. 其参数不得接受可变数量的参数且不能有默认值。
infix fun Int.shl(x: Int): Int { …… }// 用中缀表示法调用该函数
1 shl 2// 等同于这样
1.shl(2)

中缀函数调用的优先级低于算术操作符型转换以及 rangeTo 操作符。

1 shl 2 + 3 等价于 1 shl (2 + 3)
另一方面,中缀函数调用的优先级高于布尔操作符 &&||is-in-检测以及其他一些操作符。
a && b xor c 等价于 a && (b xor c)
a xor b in c 等价于 (a xor b) in c

4 局部函数

Kotlin 支持局部函数,即一个函数在另一个函数内部

fun dfs(graph: Graph) {fun dfs(current: Vertex, visited: MutableSet<Vertex>) {if (!visited.add(current)) returnfor (v in current.neighbors)dfs(v, visited)}dfs(graph.vertices[0], HashSet())
}

局部函数可以访问外部函数(闭包)的局部变量。在上例中,visited 可以是局部变量:

fun dfs(graph: Graph) {val visited = HashSet<Vertex>()fun dfs(current: Vertex) {if (!visited.add(current)) returnfor (v in current.neighbors)dfs(v)}dfs(graph.vertices[0])
}

5 泛型函数

和其他语言一样,Kotlin是可以使用泛型

5.1 泛型

class Box<T>(t: T) {var value = t
}

我们在Java中使用泛型的时候,考虑一下情况

// Java
interface Collection<E> …… {void addAll(Collection<E> items);
}
// Java
void copyAll(Collection<Object> to, Collection<String> from) {to.addAll(from);// !!!对于这种简单声明的 addAll 将不能编译:// Collection<String> 不是 Collection<Object> 的子类型
}

为了保证类型安全Java中不允许我们进行这样的操作,如果需要执行这种操作我们需要使用通配符

interface Collection<E> …… {void addAll(Collection<? extends E> items);
}

? extend E代表通配符类型,此方法接受E或者E的一些子类,这是没有必要的因为我们知道Object是String 的父类。
Kotlin中我们有了更简单的方式,使用out关键字来表示

// Java
interface Source<T> {T nextT();
}
// Java
void demo(Source<String> strs) {Source<Object> objects = strs; // !!!在 Java 中不允许// ……
}

interface Source {
fun nextT(): T
}

fun demo(strs: Source) {
val objects: Source = strs // 这个没问题,因为 T 是一个 out-参数
// ……
}
这里的out指明了他是一个可读的,但不是可写的,当一个类 C 的类型参数 T 被声明为 out 时,它就只能出现在 C 的成员的输出-位置,但回报是 C 可以安全地作为 C的超类。
同理还有in关键字,它代表的意思就是,只可以被消费而不可以被生产,不可以作为返回值类型使用。

可以看出in 和out类似java中的super和extend,指定了一个类型的下界和上界。

interface Comparable<in T> {operator fun compareTo(other: T): Int
}fun demo(x: Comparable<Number>) {x.compareTo(1.0) // 1.0 拥有类型 Double,它是 Number 的子类型// 因此,我们可以将 x 赋给类型为 Comparable <Double> 的变量val y: Comparable<Double> = x // OK!
}

5.2 泛型中的函数

对于泛型函数我们需要把它放在函数名之前

fun <T> singletonList(item: T): List<T> {// ……
}fun <T> T.basicToString(): String {  // 扩展函数// ……
}

6 尾递归函数

Kotlin 支持一种称为尾递归的函数式编程风格。

val eps = 1E-10 // "good enough", could be 10^-15tailrec fun findFixPoint(x: Double = 1.0): Double =if (Math.abs(x - Math.cos(x)) < eps) x else findFixPoint(Math.cos(x))// 传统写法
val eps = 1E-10 // "good enough", could be 10^-15private fun findFixPoint(): Double {var x = 1.0while (true) {val y = Math.cos(x)if (Math.abs(x - y) < eps) return xx = Math.cos(x)}
}

要符合 tailrec 修饰符的条件的话,函数必须将其自身调用作为它执行的最后一个操作。

7 扩展函数

声明一个扩展函数,我们需要一个接受者类型也就是被扩展的类型作为他的前缀

fun MutableList<Int>.swap(index1: Int, index2: Int) {val tmp = this[index1] // “this”对应该列表this[index1] = this[index2]this[index2] = tmp
}

这里只针对一种类型,我们可以使用泛型来适配

fun <T> MutableList<T>.swap(index1: Int, index2: Int) {val tmp = this[index1] // “this”对应该列表this[index1] = this[index2]this[index2] = tmp}

8 内联函数

内联函数会将方法直接写在调用的地方,简而言之就是内联函数等于将代码块,copy到调用的地方。

    inline fun sum(a: Int): Int {var count = 8count += areturn count}fun main() {println((sum(10)+ sum(5)).toString())}

使用Java查看字节码之后

public final class Test {public final int sum(int a) {int $i$f$sum = 0;int count = 8;int count = count + a;return count;}public final void main() {int a$iv = 10;int $i$f$sum = false;int count$iv = 8;int count$iv = count$iv + a$iv;int var10000 = count$iv;a$iv = 5;$i$f$sum = false;count$iv = 8;count$iv = count$iv + a$iv;DriverManager.println(String.valueOf(var10000 + count$iv));}
}

8.1 内联关键字

noinline: 让原本的内联函数变为不是内联的,保留 数据 特征

如果一个内联函数的参数里包含 lambda表达式,也就是函数参数,那么该形参也是 inline 的,举个例子:

inline fun test(inlined: () -> Unit) {...}//这里有个问题需要注意,如果在内联函数的内部,函数参数被其他非内联函数调用,就会报错
//我们需要变为不为内联的
inline fun test(noinline inlined: () -> Unit) {...}

*crossinline: 非局部返回标记,为了不让lamba表达式直接返回内联函数,所做的标记
相关知识点:我们都知道, Kotlin中,如果一个函数中,存在一个lambda表达式,在该lambda中不支持直接通过return退出该函数的,只能通过return@XXXinterface这种方式

fun test() {
innerFun {
return //非局部返回,直接退出 test() 函数。
}
inline fun innerFun(a: () -> Unit) {
a()
}//设置为crossinline之后
fun test() {
innerFun {
return //这里这样会报错,只能 return@innerFun
}//以下代码不会执行
println("test...")
}inline fun innerFun(crossinline a: () -> Unit) {
a()
}

reified 直接使用泛型的类型

fun <T> TreeNode.findParentOfType(clazz: Class<T>): T? {var p = parentwhile (p != null && !clazz.isInstance(p)) {p = p.parent}@Suppress("UNCHECKED_CAST")return p as T?
}
//使用的时候
treeNode.findParentOfType(MyTreeNode::class.java)//我们只希望
inline fun <reified T> TreeNode.findParentOfType(): T? {var p = parentwhile (p != null && p !is T) {p = p.parent}return p as T?
}

函数是内联的,不需要反射,正常的操作符如 !isas 现在都能用了。此外,我们还可以按照上面提到的方式调用它:myTree.findParentOfType<MyTreeNodeType>()

9 高阶函数和Lambada

Kotlin中的函数是头等的,它可以出现在数据结构,函数的参数,成员变量中出现。

fun <T, R> Collection<T>.fold(initial: R, combine: (acc: R, nextElement: T) -> R
): R {var accumulator: R = initialfor (element: T in this) {accumulator = combine(accumulator, element)}return accumulator
}
//
val items = listOf(1, 2, 3, 4, 5)// Lambdas 表达式是花括号括起来的代码块。
items.fold(0, { // 如果一个 lambda 表达式有参数,前面是参数,后跟“->”acc: Int, i: Int -> print("acc = $acc, i = $i, ") val result = acc + iprintln("result = $result")// lambda 表达式中的最后一个表达式是返回值:result
})
//
// lambda 表达式的参数类型是可选的,如果能够推断出来的话:
val joinedToString = items.fold("Elements:", { acc, i -> acc + " " + i })
-// 函数引用也可以用于高阶函数调用:
val product = items.fold(1, Int::times)

参数 combine 具有函数类型(R, T) -> R,因此 fold 接受一个函数作为参数, 该函数接受类型分别为 RT 的两个参数并返回一个 R 类型的值。 在 for-循环内部调用该函数,然后将其返回值赋值给 accumulator

  //使用typealias 来指定函数别名
typealias ClickHandler = (Button, ClickEvent) -> Unit
//如果我们函数的最后一个参数是一个lambda,可以写在括号外卖也可以写在括号里面fun foo(bar: Int = 0, baz: Int = 1, qux: () -> Unit) { /*……*/ }foo(1) { println("hello") }     // 使用默认值 baz = 1
foo(qux = { println("hello") }) // 使用两个默认值 bar = 0 与 baz = 1
foo { println("hello") }        // 使用两个默认值 bar = 0 与 baz = 1

9.1 函数类型的实例化

函数类型也和普通类型一样,代表了一类实例,一般由 (R,T)->R这种表示,可以通过 lambda表达式 、匿名函数、使用已经声明的接口可调用的引用(顶层,局部,成员,扩展函数等),使用实现函数类型接口的自定义实例类。

//lambda
val s =  { a:Int, b:Int -> a + b }
//匿名函数fun(s: String): Int { return s.toIntOrNull() ?: 0 }//使用顶层函数的引用
val stringPlus: (String, String) -> String = String::plus//引用了plus
//实现函数类型的接口
class IntTransformer: (Int) -> Int {override operator fun invoke(x: Int): Int = TODO()
}val intFunction: (Int) -> Int = IntTransformer()

如果lambda表达是的参数未被使用,可以使用下划线代替

fun test( handler: (x:Int,y:Int)->Unit){handler.invoke(2,3)
}
fun test2(){test ({ a:Int, b:Int-> a})//第一次完整调用
//最后一个参数是lambda表达式,可以写在括号外面test { a:Int, b:Int-> a}
//可以由于a,b的类型指定,可以省却类型test{a,b->a}
//b参数未被使用,下划线代替test{a,_->a}
}

9.2 函数类型的实例调用

调用函数类型的实例的时候,可以通过invoke方法调用,也可以直接使用名称调用。

val stringPlus: (String, String) -> String = String::plus
println(stringPlus.invoke("<-", "->"))
println(stringPlus("Hello, ", "world!")) 

如果该值具有接收者类型,那么应该将接收者对象作为第一个参数传递。 调用带有接收者的函数类型值的另一个方式是在其前面加上接收者对象, 就好比该值是一个1.foo(2)

val intPlus: Int.(Int) -> Int = Int::plusprintln(intPlus.invoke(1, 1))
println(intPlus(1, 2))
println(2.intPlus(3)) // 类扩展调用

带有接收者的函数类型
(A.(B)->C)扩展函数类似,在函数的内部可以使用接受者对象的成员函数和变量

val sum: Int.(Int) -> Int = { other -> plus(other) } //这里我们调用了接受者对象的函数 plus//声明一个对象
class HTML {fun body() { …… }
}//申明一个函数他的
fun html(init: HTML.() -> Unit): HTML {val html = HTML()  // 创建接收者对象html.init()        // 接受者类型调用init(html)          //函数式调用init.invoke(html)   //普通调用return html
}html {       // 带接收者的 lambda 由此开始body()   // 调用该接收者对象的一个方法
}

在这里插入图片描述
在这里插入图片描述

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/107354.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

微服务架构 | 超时管理

INDEX LSA 级别与全年停机时间速查表LSA 级别实战TP 性能超时时间设计原则 LSA 级别与全年停机时间速查表 计算公式&#xff1a;60 * 60 * 24 * 365 * (1-LSA) 31,536,000‬ * (1-LSA) 系统级别LSA级别全年停机时间099.999%5分钟099.99%52分钟199.9%8.8小时299%3.65 天 LSA…

基于 ACK Fluid 的混合云优化数据访问(五):自动化跨区域中心数据分发

作者&#xff1a;车漾 前文回顾&#xff1a; 本系列将介绍如何基于 ACK Fluid 支持和优化混合云的数据访问场景&#xff0c;相关文章请参考&#xff1a; -基于 ACK Fluid 的混合云优化数据访问&#xff08;一&#xff09;&#xff1a;场景与架构 -基于 ACK Fluid 的混合云优…

科研上新 | 第2期:可驱动3D肖像生成;阅读文本密集图像的大模型;文本控制音色;基于大模型的推荐智能体

编者按&#xff1a;欢迎阅读“科研上新”栏目&#xff01;“科研上新”汇聚了微软亚洲研究院最新的创新成果与科研动态。在这里&#xff0c;你可以快速浏览研究院的亮点资讯&#xff0c;保持对前沿领域的敏锐嗅觉&#xff0c;同时也能找到先进实用的开源工具。 本期内容速览 …

基于yolov2深度学习网络的猫脸检测识别matlab仿真

目录 1.算法运行效果图预览 2.算法运行软件版本 3.部分核心程序 4.算法理论概述 5.算法完整程序工程 1.算法运行效果图预览 2.算法运行软件版本 matlab2022a 3.部分核心程序 load yolov2.mat% 加载训练好的目标检测器 img_size [224,224]; imgPath test/; % 图…

至强服务器BIOS/UEFI驱动开发笔记

至强服务器BIOS/UEFI驱动开发笔记 驱动开发基础Hello UEFI Driver 项目选择项目位置初始化驱动代码文件结构驱动程序入口和基本功能导入AMI工程AMI平台Hello UEFI Driver 编译问题测试结果打印设备列表继续开发`HelloWorldSupported`函数依赖配置使用脚本编译编译测试此DXE驱动…

SQL如何导入数据以及第一次上机作业

如何导入excel数据 首先得学会导入数据 使用excel格式不需要改成其它格式&#xff08;如csv&#xff0c;txt&#xff09;&#xff0c;因为你改了到时候还是会报错&#xff08;实践过使用Sum统计总数一直说我数据格式有问题&#xff09; 首先右键TSGL数据库->任务->导入数…

C++前缀和算法应用:矩形区域不超过 K 的最大数值和

基础知识点 C算法&#xff1a;前缀和、前缀乘积、前缀异或的原理、源码及测试用例 题目 给你一个 m x n 的矩阵 matrix 和一个整数 k &#xff0c;找出并返回矩阵内部矩形区域的不超过 k 的最大数值和。 题目数据保证总会存在一个数值和不超过 k 的矩形区域。 示例 1&#x…

机器学习-概述与贝叶斯算法

机器学习的一般步骤&#xff1a;数据搜集、数据清洗、特征工程、数学建模。数据划分&#xff1a;训练集、验证集、测试集。K折交叉验证&#xff1a;解决数据量不够大问题&#xff0c;解决参数调优问题。深度学习不用做特征工程&#xff0c;传统机器学习要。损失函数&#xff0c…

深圳寄包裹到德国

深圳&#xff0c;作为全球最发达的城市之一&#xff0c;以其高效的物流服务在全球范围内享有盛名。如果你正在寻找一种方式将包裹从深圳寄送到德国&#xff0c;那么本文将为你提供详细的步骤和建议。 第一步&#xff1a;了解国际邮寄的基本信息 首先&#xff0c;你需要了解包裹…

Bitquiz重塑Learn to Earn热潮,用户零投入让学习创造价值

Axie 带来的暴富效应、StepN 带来的出圈效应&#xff0c;近期Bigtime 在熊市中的大火&#xff0c;为加密参与者带来的赚取效应&#xff0c;X to Earn 重新成为整个市场关注的重点&#xff0c;GameFi 再次站在了风口浪尖。 大家开始寻找下一个Bigtime&#xff0c;希望能够抓住一…

低代码技术这么香,如何把它的开发特点发挥到极致?

前言 什么是低代码技术&#xff1f; 低代码是一种可视化软件开发方法&#xff0c;通过最少的编码更快地交付应用程序。图形用户界面和拖放功能使开发过程的各个方面自动化&#xff0c;消除了对传统计算机编程方法的依赖。 文章目录 前言低代码平台怎么选&#xff1f;用友Yonbu…

压缩炸弹,Java怎么防止

一、什么是压缩炸弹&#xff0c;会有什么危害 1.1 什么是压缩炸弹 压缩炸弹(ZIP)&#xff1a;一个压缩包只有几十KB&#xff0c;但是解压缩后有几十GB&#xff0c;甚至可以去到几百TB&#xff0c;直接撑爆硬盘&#xff0c;或者是在解压过程中CPU飙到100%造成服务器宕机。虽然…

JOSEF约瑟 多档切换式漏电(剩余)继电器JHOK-ZBL1 30/100/300/500mA

系列型号&#xff1a; JHOK-ZBL多档切换式漏电&#xff08;剩余&#xff09;继电器&#xff08;导轨&#xff09; JHOK-ZBL1多档切换式漏电&#xff08;剩余&#xff09;继电器 JHOK-ZBL2多档切换式漏电&#xff08;剩余&#xff09;继电器 JHOK-ZBM多档切换式漏电&#xf…

Unity 3D基础——缓动效果

1.在场景中新建两个 Cube 立方体&#xff0c;在 Scene 视图中将两个 Cude的位置错开。 2.新建 C# 脚本 MoveToTarget.cs&#xff08;写完记得保存&#xff09; using System.Collections; using System.Collections.Generic; using UnityEngine;public class MoveToTarget : M…

SystemC入门学习-第8章 测试平台的编写

之前的章节&#xff0c;一直把重点放在用SystemC来描述硬件电路上&#xff0c;即如何编写SystemC 的RTL。本章的注意力集中在验证和编写测试平台上。 重点包括&#xff1a; 如何生成时钟信号和激励波形如何编写有响应能力的测试平台如何记录仿真结果 8.1 编写测试平台 测试平…

论文阅读:Rethinking Range View Representation for LiDAR Segmentation

来源ICCV2023 0、摘要 LiDAR分割对于自动驾驶感知至关重要。最近的趋势有利于基于点或体素的方法&#xff0c;因为它们通常产生比传统的距离视图表示更好的性能。在这项工作中&#xff0c;我们揭示了建立强大的距离视图模型的几个关键因素。我们观察到&#xff0c;“多对一”…

JOSEF约瑟 漏电继电器 JD1-200 工作电压:380V 孔径:45mm 50~500mA

JD1系列漏电继电器 系列型号 JD1-100漏电继电器 JD1-200漏电继电器 JD1-250漏电继电器 JD1系列漏电继电器原为分体式固定式安装&#xff0c;为适应现行安装场合需要&#xff0c;上海约瑟继电器厂在产品原JD1一体式漏电继电器基础上进行产品升级&#xff0c;开发出现在较为…

【Rust基础①】基本类型、所有权与借用、复合类型

文章目录 1 基本类型1.1 数值类型1.1.1 Rust 中的内置的整数类型&#xff1a;1.1.2 浮点类型1.1.3 数学运算1.1.4 位运算1.1.5 序列(Range) 1.2 字符、布尔、单元类型1.3 语句和表达式1.4 函数 2 所有权与借用2.1 栈(Stack)与堆(Heap)2.2 所有权原则2.2.1 转移所有权2.2.2 克隆…

【Redis】Java Spring操作redis

目录 引入Redis依赖StringRedisTemplate使用String使用List使用Set使用hash使用zset 引入Redis依赖 StringRedisTemplate 此处RedisTemplate是把这些操作Redis的方法&#xff0c;分成了几个类别&#xff0c;分门别类的来组织的。 此处提供的一些接口风格&#xff0c;和原生的Re…

IP 协议的相关特性(部分)

IP 协议的报文格式 4位版本号&#xff1a; 用来表示IP协议的版本&#xff0c;现有的IP协议只有两个版本&#xff0c;IPv4&#xff0c;IPv6。 4位首部长度&#xff1a; 设定和TCP的首部长度一样 8位服务类型&#xff1a; &#xff08;真正只有4位才有效果&#xff09;&#xf…