首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

【Kotlin】泛型 ① ( 泛型类 | 泛型参数 | 泛型函数 | 多泛型参数 | 泛型类型约束 )

文章目录 一、泛型类 二、泛型参数 三、泛型函数 四、多泛型参数 五、泛型类型约束 一、泛型类 ---- 定义一个 泛型类 , 将 泛型参数 T 放在 尖括号 中 , 该泛型参数放在 类名后..., 主构造函数之前 , 该泛型参数 T 是 类型占位符 , 在 该泛型类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性 主构造函数中可以接收 T 类型的实例对象作为参数...下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T 类型的成员属性 ; class Student..., 需要两个泛型参数来表示其类型 ; T 类型在泛型类中注明 , 可以在该泛型类 Student 中随意使用 , 但是 泛型参数 R 是首次在该函数中使用 , 因此需要在该函数的 fun 关键字...R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 : 如果类中

2.9K10

Kotlin 泛型详解

所以我想说的是,泛型这东西,只要你对 Java 泛型有一定的认识,Kotlin 的泛型基本可以直接用。那我们这篇文章要干嘛呢?只是做一个简单的介绍啦,都很好理解的。 1....真·泛型和伪·泛型 Java 的泛型大家肯定都知道了,1.5 之后才加入的,可以为类和方法分别定义泛型参数,就像下面这样: public class Generics{    private T...fun getResult(): R{        ...    } } Java/Kotlin 的泛型实现采用了类型擦除的方式,这与 C# 的实现不同,后者是真·泛型,前者是伪·泛型。...super E 的用法,这表示元素类型为 E 及其父类,这个通常也叫作逆变。 2.2 Kotlin 的型变 型变包括协变、逆变、不变三种。 下面我们看看 Kotlin 是怎么支持这个特性的。...* 不允许作为函数和变量的类型的泛型参数! interface Foo class Bar : Foo // ERROR! * 不能直接作为父类的泛型参数传入!

1.2K20
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    【Java 泛型】泛型简介 ( 泛型类 | 泛型方法 | 静态方法的泛型 | 泛型类与泛型方法完整示例 )

    文章目录 一、泛型简介 二、泛型类 三、泛型方法 四、静态方法的泛型 五、泛型类与泛型方法完整示例 一、泛型简介 ---- 泛型 可以 简单理解为 参数化类型 , 主要作用在 类 , 方法 , 接口 上...类 也可以有参数 , 将 类型 作为 参数 传入类中 ; 泛型接口 : 接口 的 参数 , 也可以是泛型 ; 将 类型 传入 泛型方法 , 泛型类 , 泛型接口 中 , 可以 动态地 指定一些类型 ;...的性能 ; 二、泛型类 ---- 泛型类 : 在 类名后面 使用 声明泛型 , 则在该类中 , 可以使用该泛型类型 T 类型 ; 特别注意 , 该类中的 如下 2 个方法 不是 泛型方法..., 多个泛型之间 , 使用逗号隔开 ; 泛型方法 与 泛型类 中的泛型 : 泛型不同 : 泛型方法指定的泛型 T 与 类中的泛型 T 没有任何关系 , 这两个 T 可以是不同的类型 ; 泛型相同...不能是类的泛型 ; 错误用法 : 正确用法 : 五、泛型类与泛型方法完整示例 ---- /** * 泛型类 * 该 T 类型作为参数使用 * T 是参数化类型 , 可以由外部传入

    15.4K30

    泛型接口,泛型类和泛型通配符

    ,在类名后面加上泛型类型参数T,这样就定义了一个泛型类。 ? 泛型类 和泛型接口不同,类有构造器,并且构造器也可以使用泛型类型参数。...添加子类父类 上面例子可以看出,如果泛型类型有子类,添加泛型类型的子类是可以的,但是如果泛型类型有父类,往集合添加泛型类型的父类会出现编译错误。...2.再看另一个问题,如果父类是泛型类型,如何定义子类? ? 泛型类的子类 如果将一个类定义为泛型类,那么在创建该泛型类的子类的时候不能将子类直接继承该泛型类,而是需要指定父类泛型的类型。...使用泛型 由于方法中的泛型需要在定义类的时候就指定,所以如果需要使用含有泛型的方法,必须在创建该泛型类对象的时候就需要指定泛型类型,因为使用的时候必须指定类型,不论是普通参数还是泛型参数。...泛型提供了一个泛型通配符用于接收所有类型的泛型类型。 泛型的通配符 ? 通配符 泛型的通配符可以很好的解决所有泛型类型父类的问题,使用来作为类或接口的泛型参数,这样就可以抽象出泛型类的父类。

    2.3K20

    【Kotlin】泛型总结 ★ ( 泛型类 | 泛型参数 | 泛型函数 | 多泛型参数 | 泛型类型约束 | 可变参数结合泛型 | out 协变 | in 逆变 | reified 检查泛型参数类型 )

    九、泛型 in 逆变 十、泛型 invariant 不变 十一、泛型逆变协变代码示例 十二、使用 reified 关键字检查泛型参数类型 一、泛型类 ---- 定义一个 泛型类 , 将 泛型参数 T...放在 尖括号 中 , 该泛型参数放在 类名后 , 主构造函数之前 , 该泛型参数 T 是 类型占位符 , 在 该泛型类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性...都使用 T 来表示泛型 ; 代码示例 : 下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T...子类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的参数 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前 使用 in 关键字 , 同时 该 泛型类 又称为 消费类...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

    4.1K10

    Kotlin | 9. 泛型

    本章内容包括: 声明泛型函数和类 类型擦除和实化类型参数 声明点变型和使用点变型 9.1 泛型类型参数 // 如果要创建一个空的列表,必须显示的指定,有值的话可以被推导出来...和Java一样,Kotlin的泛型在运行时也被擦除了。...会提示报错 // println(Validators[String::class].validate(42)) 总结 Kotlin 的泛型和 Java 相当接近:它们使用同样的方式声明泛型函数和泛型类...变型是一种说明两种拥有相同基础类型和不同类型参数的泛型类型之间子类型化关系的方式,它说明了如果其中一个泛型类型的类型参数是另一个的类型参数的子类型 这个泛型类型就是另外一个泛型类型的子类型或者超类型。...在Kotlin 中既可以为整个泛型类指定变型(声明点变型),也可以为泛型类型特定的使用指定变型(使用点变型)。 当确切的类型实参是未知的或者不重要的时候,可以使用星号投影语法。

    1.8K10

    Kotlin 泛型:基本使用

    在 Kotlin 中声明和使用泛型类、泛型函数的基本概念和 Java 相似,有 Java 泛型概念的情况下,不用详细解释或者做进一步了解,也能够很容易地上手使用泛型。...但使用泛型仅仅是第一步,要想将泛型应用好,仍然需要做进一步深入的学习。本篇是 Kotlin 泛型的基础介绍,进阶内容可点击链接查看。...Kotlin 泛型:基本使用Kotlin 泛型:类型参数约束系列持续更新中,欢迎关注订阅。为什么需要泛型假如我们想实现自定义的列表类型,用于存放数值、字符串或其他具体的类型。...什么是泛型泛型提供了一种方法,允许我们定义带「类型参数」的泛型类/泛型函数,在创建泛型类的实例、调用泛型函数时,「类型参数」将替换成具体的「类型实参」。...下一篇文章,将介绍 Kotlin 泛型的进阶知识:类型参数约束

    1.8K30

    kotlin入门之泛型

    【码上开学】Kotlin 的泛型 在学习kotlin 泛型之前我们先来回顾一下关于Java的泛型基础吧。 说道泛型,我们可能最常用的就是在三大集合中去使用。...说完了Java的泛型之后,我们在回头看一下kotlin中的泛型。 kotlin 中的out和in kotlin和java泛型一样,kotlin中的泛型本身也是不可变的。... 存在协变点的类的泛型参数必须声明为协变或者不变 当泛型类作为泛型参数类实例的生产者时用协变 in //垃圾 open class Waste //干垃圾 class DryWaste :...>兼容Producer 存在逆变点的类的泛型参数必须声明为协变或者不变 当泛型类作为泛型参数类实例的消费者时用协变 *号 *号 前面讲到了 Java 中单个?...伪泛型:编译时擦除类型,运行时无实际类型生成 例如:java、kotlin 真泛型:编译时生成真实类型,运行时也存在该类 例如:C#、C++ 我们知道JVM上的泛型,一般是通过类型擦除来实现的

    1.2K20

    Kotlin泛型的型变之路

    kotlin修炼指南7之泛型 泛型,是为了让「类」、「接口」、「方法」具有更加通用的使用范围而诞生的,举个例子,假如我们不使用泛型,那么一个List中可以装得下任何对象,这么做的问题就在于,在使用时,需要对类型进行检查...通用泛型类型:T,S,U,V 集合元素泛型类型:E 映射键-值泛型类型:K,V 数值泛型类型:N 要理解Kotlin的泛型,我们最好首先从Java的泛型来学习,毕竟Kotlin的语法糖太多了,Java会更加白话文一点...但是这种处理在我们处理泛型业务时,会有很多限制,所以,泛型提供了「型变」来拓展泛型的使用。 协变 协变指的是,当参数具有父子关系时,子类可以作为参数传递,而泛型的上界就是其父类。...Kotlin型变 泛型让我们有了可以支持多种类型的能力,型变让我们有了修改泛型的能力,总结来说: 泛型通配符泛型信息的父类Type(Java的Class文件会保留继承的父类或者接口的泛型信息)。

    1.2K21

    Kotlin基础之泛型

    泛型 与Java一样,Koltin的类也有类型参数。例如: class Box(t: T){ var value = t } 常规来说,创建这样的类,需要提供具体的类型。...:当类C的泛型参数T声明为out时,表示T只能出现在C成员的输出位置,作为交换,C是C类型安全的超类。...此时安全地定义投影的泛型,每个泛型的具体实例都是泛型的子类型。 为此,Kotlin提供称为星号投影的语法。 对于Foo,T为带有上界TUpper的协变量,Foo等价于Foo。...如果泛型有多个类型参数,则每个都可以独立投影。比如,如果类型声明为interface Function 泛型函数 不仅类可以有类型参数,函数也可以有。...val l = SingletonList(1) 泛型约束 所有可以被指定类型参数替代的类型,都可以使用泛型约束进行限制。

    98870

    Java进阶:【泛型】认识泛型,泛型方法,泛型类,泛型接口和通配符

    泛型对应的类型都是引用类型不能是基本类型 泛型类和泛型接口 声明泛型类时传入类型实参 创建泛型类对象时,传入类型实参 类型实参为空时,默认为Object类型 继承泛型类: 1.泛型父类不传入类型实参...,默认为Object类型 2.泛型父类传入类型实参,子类既可以是泛型类,也可以不是 3.泛型父类传入类型实参,则子类必须是泛型类,且子类的类型形参列表必须包含父类的类型形参列表 泛型类的定义和实例化...如果父类不指定泛型,那么子类在实例化的时候需要指定 static class SubGeneric2 extends test01{ } 泛型类可以定义多个参数类型...泛型类的构造器写法: 不同泛型的引用类型不可以互相赋值 泛型如果不指定,就会被擦除,例子就是 泛型类中的静态方法不能使用类的泛型 不能直接使用泛型数组的创建,如果非要创建 泛型方法 什么是泛型方法...,不是带泛型的方法就是泛型方法,泛型方法有要求:这个方法的泛型参数类型要和当前类的泛型方法的泛型无关 换个角度:泛型方法对应的那个泛型参数类型和当前所在的这个类,是否为泛型类,泛型是啥,无关 泛型方法定义的时候

    3.5K10

    【Java 泛型】泛型用法 ( 泛型类用法 | 泛型方法用法 | 泛型通配符 ? | 泛型安全检查 )

    文章目录 一、泛型类用法 二、泛型方法用法 三、泛型通配符 四、泛型安全检查 五、完整代码示例 1、泛型类 / 方法 2、main 函数 一、泛型类用法 ---- 泛型类用法 : 使用时先声明泛型 , 如果不声明泛型 , 则表示该类的泛型是 Object...: 指定 泛型类 的泛型为 String 类型 , 那么在该类中凡是使用到 T 类型的位置 , 必须是 String 类型 , 泛型类的 泛型声明 , 使用时在 类名后面 声明 ; /.../ 指定 泛型类 的泛型为 String 类型 // 那么在该类中凡是使用到 T 类型的位置 , 必须是 String 类型 // 泛型类的 泛型声明...指定 泛型方法 的泛型类 , 泛型方法 的泛型声明 , 在调用时 方法名的前面 声明 ; 这种用法很少见 ; // 指定 泛型方法 的泛型类 // 泛型方法

    10.2K30

    Kotlin 泛型:类型参数约束

    上一篇文章讲了 Kotlin 泛型:基本使用,接下来我们再进一步了解泛型使用相关的进阶知识。本篇是 Kotlin 泛型类型参数约束的讲解,更多内容可点击链接查看。...Kotlin 泛型:基本使用Kotlin 泛型:类型参数约束系列持续更新中,欢迎关注订阅。...我们使用泛型类来实现打印机Printer,显然这个类型参数需要满足两个条件:T必须实现Printable接口T必须实现Serializable接口这两个条件无法用前一节的简单类型参数约束来表达,因此...利用范型约束实现非空范型Kotlin 有一个为人称道的特性:不可空。但当我们使用范型时,这个特性在不幸的失效了。...,这使得泛型类在具体实现的时候,需要考虑参数为空的情况,也让编写代码的具体实现变得复杂。

    2.3K31
    领券