【Kotlin】函数

article/2024/4/13 15:22:41

1 常规函数

1.1 无参函数

fun main() {myFun()
}fun myFun() {println("myFun") // 打印: myFun
}

1.2 有参函数

        1)常规调用

fun main() {myFun("myFun") // 打印: myFun
}fun myFun(str: String) {println(str)
}

         2)形参指定默认值

fun main() {myFun() // 打印: abc
}fun myFun(str: String = "abc") {println(str)
}

         3)实参指定变量名

fun main() {myFun(b = 123, a = "abc") // 打印: abc123
}fun myFun(a: String, b: Int) {println(a + b)
}

1.3 有返回值函数

        1)常规调用

fun main() {var c = add(3, 5)println(c) // 打印: 8
}fun add(a: Int, b: Int): Int {return a + b
}

        说明:对于无返回值类型函数,其返回类型为 Unit,如下,也可以省略不写。

fun myFun(str: String): Unit {println(str)
}

         2)单行函数体简化

        当函数内部只有一行代码时,可以简化如下。

fun main() {var c = add(3, 5)println(c) // 打印: 8
}fun add(a: Int, b: Int): Int = a + b

1.4 可变长参数函数

        1)常规调用

fun main() {myFun("aa", "bb", "cc") // 打印: aa、bb、cc
}fun myFun(vararg parms: String) {for (str in parms) {println(str)}
}

        说明:函数的可变长参数个数最多为 1 个。 

        2)使用数组接收可变长参数

fun main() {myFun("aa", "bb", "cc") // 打印: 3
}fun myFun(vararg parms: String) {var arr: Array<out String> = parmsprintln(arr.size)
}

        3)将数组传给可变长参数函数

fun main() {var arr: Array<String> = arrayOf("aa", "bb", "cc")myFun(*arr)  // 打印: 3myFun("xx", *arr, "yy")  // 打印: 5
}fun myFun(vararg parms: String) {println(parms.size)
}

2 内联函数

        内联函数是使用 inline 关键字修饰的函数,编译后会自动将函数体内的代码复制到调用处,以优化代码执行效率。

2.1 常规内联函数

        Test.kt

fun main() {myFun()
}inline fun myFun() {println("内联函数")
}

        以上代码经过编译运行后,依次点击【Tools → Kotlin → Show Kotlin Bytecode】,生成字节码文件。

        再点击 DeCompile 按钮反编译字节码文件,会生成对应的 Java 文件。

public final class TestKt {public static final void main() {String var1 = "内联函数";System.out.println(var1);}public static void main(String[] var0) {main();}public static final void myFun() {String var1 = "内联函数";System.out.println(var1);}
}

        说明:可以看到 myFun 函数里的代码被复制到调用处了。 

2.2 带 return 的嵌套内联函数

        1)return 不带标签

fun main() {outFun {println("inFun")return // 等价于: return@main}println("main end") // 未打印
}inline fun outFun(inFun: () -> Unit) {inFun()println("outFun end") // 未打印
}

        运行结果如下。

inFun

        "outFun end" 和 "main end" 未打印,这是因为内联函数会直接将 return 语句复制到 main 函数中。

        2)return@标签

fun main() {outFun {println("inFun")return@outFun}println("main end")
}inline fun outFun(inFun: () -> Unit) {inFun()println("outFun end")
}

        运行结果如下。

inFun
outFun end
main end

3 泛型函数

        泛型的类型检查只存在于编译阶段,在源代码编译之后,不会保留任何关于泛型类型的内容,即类型擦除。

3.1 简单泛型函数

        1)单泛型参数

fun main() {myFun(123)  // 打印: 123myFun("abc")  // 打印: abcmyFun(true)  // 打印: truemyFun(null)  // 打印: null
}fun <T> myFun(param: T) {println(param)
}

        2)多泛型参数

fun main() {var res: Boolean = myFun("abc", 123, true) // 打印: abc, 123println(res) // 打印: true
}fun <R, T, S> myFun(a: T, b: S, c: R): R {println("$a, $b")return c
}

3.2 类中泛型函数

fun main() {var c1: MyClass<String> = MyClass()c1.myFun("abc") // 打印: abcvar c2: MyClass<Int> = MyClass()c2.myFun(123) // 打印: 123
}class MyClass<T> {fun myFun(a: T) {println(a)}
}

3.3 自动推断泛型类型

        Kotlin 提供了下划线(_)运算符可以自动推断类型。

fun main() {myFun<Int, _>()
}fun <S : Comparable<T>, T> myFun() {println("test _")
}

        Int 类和 Comparable 类的定义如下。由于 Int 继承了 Comparable<Int>,因此会自动推断 "_" 为 Int。

public interface Comparable<in T>
public class Int private constructor() : Number(), Comparable<Int>

3.4 抗变、协变和逆变

        1)抗变

        如下,Int 是 Number 的子类,Number 引用可以指向 Int 对象,但是 Data<Number> 引用不能指向 Data<Int> 对象,Data<Int> 引用也不能指向 Data<Number> 对象,该现象称为抗变。

        2)协变

        通过 out 关键字表示 Data<Number> 引用能指向 Data<Int> 对象,类似于 java 中的 "? extends Number"。

class Data<T>(var value: T)fun main() {var data1: Data<Int> = Data<Int>(1)var data2: Data<out Number> = data1println(data2.value) // 打印: 1// data2.value = 1 // 编译错误, setter方法被限制
}

        说明:协变后,不能修改协变元素。使用 out 修饰的泛型不能用作函数的参数,对应类型的成员变量 setter 方法会被限制,只能当做一个生产者使用。

        3)逆变

        通过 in 关键字表示 Data<Int> 引用能指向 Data<Number> 对象,类似于 java 中的 "? super Int"。

class Data<T>(var value: T)fun main() {var data1: Data<Number> = Data<Number>(1f)var data2: Data<in Int> = data1println(data2.value) // 打印: 1.0data2.value = 2var a: Any ?= data2.value // 只能用Any接收value
}

        说明:逆变后,只能使用 Any 接收逆变元素。使用 in 修饰的泛型不能用作函数的返回值,对应类型的成员变量 getter 方法会被限制,只能当做一个消费者使用。 

        4)通配 *

        在有些时候,我们可能并不在乎到底使用哪一个类型,我们希望一个变量可以接受任意类型的结果,而不是去定义某一个特定的上界或下界。在Kotlin 泛型中,星号(*)代表了一种特殊的类型投影,可以代表任意类型。

class Data<T>(var value: T)fun main() {var data1: Data<Int> = Data<Int>(1)var data2: Data<*> = data1 // Data<*>等价于Data<out Any>println(data2.value) // 打印: 1.0// data2.value = 2 // 编译错误, setter方法被限制var a: Any ?= data2.value // 只能用Any接收value
}

        说明:由于不确定具体类型,使用时只能是 Any 类型。 

3.5 泛型的界

        Kotlin 泛型中,可以为其指定上界。

        1)单上界

class Data<T: Number>(var value: T)fun main() {var data1: Data<Int> = Data<Int>(1)// var data1: Data<String> = Data<String>("abc") // 编译错误, 指定了上界为Numbervar data2: Data<*> = data1 // Data<*>等价于Data<out Number>println(data2.value) // 打印: 1.0// data2.value = 2 // 编译错误, setter方法被限制var a: Number = data2.value // 可以用Number接收value
}

        2)多上界

open class A {}
interface B {}class Data<T>(var value: T) where T: A, T: B

3.6 具化类型参数(reified)

        Kotlin 的内联(inline)函数可以使用 reified 关键字具化类型参数,允许在函数体内部检测泛型类型,因为这些类型信息会被编译器内嵌在调用点。但是,这只适用于内联函数,因为内联函数中的类型信息在编译时是可知的,并且实际类型会被编译到使用它们的地方。

        以下调用会编译报错。

         通过 inline 和 reified 修饰符,可以解决编译报错问题,如下。

inline fun<reified T> isType(value: Any) : Boolean {return value is T
}fun main() {println(isType<Int>("abc")) // 打印: falseprintln(isType<String>("abc")) // 打印: true
}

http://www.ngui.cc/article/show-1929907.html

相关文章

Windows 11 家庭中文版添加本地安全策略 Win+R 打开cmd输入 gpedit.msc,提示 找不到文件 ‘gpedit.msc‘

Windows11 家庭版 按快捷键WinR 本地组策略编辑器(cmd中输入gpedit.msc)&#xff0c;报错&#xff1a; 创建 txt文件 echo offpushd "%~dp0"dir /b C:\Windows\servicing\Packages\Microsoft-Windows-GroupPolicy-ClientExtensions-Package~3*.mum >List.txtdir…

【接口测试】HTTP协议介绍

目录 介绍 HTTP状态码 HTTP报文 请求方法 HTTP版本 HTTP标头 通用标头 请求标头 响应标头 get 编码 post 编码 RESTful风格 HTTPS 绝大多数的Web服务接口都是基于HTTP协议进行通信的&#xff0c;包括RESTful API和SOAP等。了解HTTP协议可以帮助测试人员理解接口的…

ThreeJs同一个场景多个相机的显示

在threeJs开发数字孪生中&#xff0c;我们正常是需要使用一个相机&#xff0c;画面显示的内容也就是这个相机拍摄到的内容&#xff0c;但是是否可以添加多个相机&#xff0c;可以同时从不同角度观察模型呢&#xff0c;实际上是可以的&#xff0c;不过多个相机的拍摄到的画面肯定…

计算阶乘后的0

refer: https://leetcode.cn/problems/factorial-trailing-zeroes/description/?envTypestudy-plan-v2&envIdtop-interview-150 给你一个整数数组 nums &#xff0c;除某个元素仅出现 一次 外&#xff0c;其余每个元素都恰出现 三次 。请你找出并返回那个只出现了一次的元…

【Linux实践室】Linux初体验

&#x1f308;个人主页&#xff1a;聆风吟 &#x1f525;系列专栏&#xff1a;Linux实践室、网络奇遇记 &#x1f516;少年有梦不应止于心动&#xff0c;更要付诸行动。 文章目录 一. ⛳️任务描述二. ⛳️相关知识2.1 &#x1f514;Linux 目录结构介绍2.2 &#x1f514;Linux …

【模型复现】自制数据集上复现目标检测域自适应 SSDA-YOLO

【模型复现】自制数据集上复现目标检测域自适应 SSDA-YOLO 1. 环境安装2. 数据集制作2.1 数据准备2.2 数据结构 3. 模型训练3.1 数据文件配置3.2 训练超参数配置3.3 模型训练 4. 模型验证4.1 验证超参数配置4.2 模型验证 5. 模型推理5.1 推理超参数配置5.2 模型推理 6. 踩坑记录…

【比较mybatis、lazy、sqltoy、mybatis-flex操作数据】操作批量新增、分页查询(二)

orm框架使用性能比较 环境&#xff1a; idea jdk17 spring boot 3.0.7 mysql 8.0比较mybatis、lazy、sqltoy、mybatis-flex操作数据 测试条件常规对象 orm 框架是否支持xml是否支持 Lambda对比版本mybatis☑️☑️3.5.4sqltoy☑️☑️5.2.98lazy✖️☑️1.2.4-JDK17-SNAPS…

Hadoop之HDFS——【模块一】元数据架构

一、元数据是什么 在HDFS中,元数据主要指的是文件相关的元数据,通过两种形式来进行管理维护,第一种是内存,维护集群数据的最新信息,第二种是磁盘,对内存中的信息进行维护与持久化,由namenode管理维护。从广义的角度来说,因为namenode还需要管理众多的DataNode结点,因…

巧用眼精星票证识别系统将车辆合格证快速转为结构化excel数据,简单方便

眼精星票证识别系统是一款高效且精准的OCR软件&#xff0c;它的魔力在于能将纸质文档迅速转化为电子文档&#xff0c;并实现自动化的数据结构化处理。它拥有一双"火眼金睛"&#xff0c;无论是各类发票、护照&#xff0c;还是车辆合格证等&#xff0c;都能一一识别。而…

机器学习 | 模型性能评估

目录 一. 回归模型的性能评估1. 平均平方误差(MSE)2. 平均绝对误差(MAE)3. R 2 R^{2} R2 值3.1 R 2 R^{2} R2优点 二. 分类模型的性能评估1. 准确率&#xff08;Accuracy&#xff09;2. 召回率&#xff08;Recall&#xff09;3. 精确率&#xff08;Precision&#xff09;4. …