泛型,即 "参数化类型",将类型参数化,可以用在类,接口,方法上. 与 Java 一样,Kotlin 也提供泛型,为类型安全提供保证,消除类型强转的烦恼. 声明一个泛型类: class Box<T>(t: T) { var value = t } 创建类的实例时我们需要指定类型参数: val box: Box<Int> = Box<Int>(1) // 或者 val box = Box(1) // 编译器会进行类型推断,1 类型 Int,所以编译器知…

在上一次https://www.cnblogs.com/webor2006/p/11234941.html中学习了数据类[data class]相关的知识,这次会学习关于泛型相关的东东,其中有关于泛型我经常不太理解的关于<? extends T>和<? super T>的使用方式,所以好好学习,天天向上. 密封类(sealed class): 关于这个类,我们在上一次学习中其实是提到过这个关键字,回忆一下: 所谓密封,就是将东东给包装起来,然后我们要使用只能使用包装好里面受限的东东…

fun <T:Comparable<T>> sort(list :List<T>){} 冒号之后指定的类型就是泛型参数的上界,对于泛型参数T,只允许使用Comparable<T>的子类型…

fun<T> singletonList(item:T):List<T>{ ..... } fun<T>T.basicToString():String{ .... } 调用泛型的函数,应该在函数名称之后指定调用端类型参数: val i =singletonList(Int)()…

如果一个泛型类型中存在多个类型的参数,那么每个类型的参数都可以单独投射,例如:如果类型定义为:"interface Function<in T,out>",那么可以出现以下的几种星号投射: Function<*,String>,代表Function<in Nothing,String> Function<Int,*>,代表Function<Int,out Any?> Function<*,*>,代表Function…

fun main(arg: Array<String>) { var ints:Array<Int> = arrayOf(, , ) val any =Array<Any>(){} copy(ints,any)//编译错误,因为Array<Int>不是Array<Any>的子类型 } fun copy(from :Array<Any>,to:Array<Any>){ assert(from.size==to.size) f…

class box<T> (t :T){ var vlaue =t } fun main(arg: Array<String>) { val box1:box<Int> = box() val box2:box<String> = box("haha") println(box1.vlaue) print(box2.vlaue) }…

星投影(star projection): 继续来学习Kotlin泛型相关的东东,星投影(star projection),这是个啥东东呢?下面先来说一下概念: 1.对于Star<out T>协变:如果T的上界是TUpper,那么Star<*>就相当于Star<out T>,这表示当T的类型未知时,你可以安全地读取TUpper类型的值,言外之意就是从Star<*>取出来的元素都会当成TUpper类型. 2.对于Star<in T>逆变:Star&…

C#泛型的抗变与协变 学习自 C#本质论6.0 https://www.cnblogs.com/pugang/archive/2011/11/09/2242380.html Overview 一直以来,被抗变与协变的定义搞得头昏脑涨掰持不清,如果在加上泛型在其中作祟,就更加两眼发懵了.所以就暂时略过了这一拦路虎,但是今天在学习Kotlin泛型的时候再一次碰到了这里拦路虎,只硬着头皮迎难而上了. 抗边与协变的定义 协变: 子类想父类方向的类型转换称之为协变 //string[] 向 object[…

Kotlin 参考 官网 reference kotlin实战 Try Kotlin Kotlin China Github 简介 Kotlin是一门把Java平台作为目标的新的编程语言.它简洁.安全.优雅而且专注于和Java代码间的互操作性.它几乎可以用于如今Java遍及的所有地方. Kotlin是静态类型的,支持类型推断的,在保持代码精简的同时维持准确性和性能. kotlin同时支持面向对象和函数式编程风格,通过把函数放在一等公民的位置实现更高层次的抽象,通过支持不可变值简化了测试和多线程开…