文档建议反馈控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

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

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

2.7K10

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

都使用 T 来表示泛型 ; 代码示例 : 下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T...子类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的参数 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前 使用 in 关键字 , 同时 该 泛型类 又称为 消费类...语言中 , 泛型参数是 子类 的 泛型类对象 , 可以赋值给 泛型参数 是父类 的变量 , 前提是泛型参数必须使用 out 关键字修饰 ; 使用 in 关键字 , 可以使 父类泛型对象 赋值给... // 在 Consumer 中 , 使用了泛型参数 in 逆变 // 泛型参数是父类 的泛型类对象 可以赋值给 泛型参数是子类 的泛型对象 val consumer...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

3.8K10
您找到你想要的搜索结果了吗？
是的
没有找到

Kotlin 泛型：类型参数约束

上一篇文章讲了 Kotlin 泛型：基本使用，接下来我们再进一步了解泛型使用相关的进阶知识。本篇是 Kotlin 泛型类型参数约束的讲解，更多内容可点击链接查看。...Kotlin 泛型：基本使用Kotlin 泛型：类型参数约束系列持续更新中，欢迎关注订阅。...我们使用泛型类来实现打印机Printer，显然这个类型参数需要满足两个条件：T必须实现Printable接口T必须实现Serializable接口这两个条件无法用前一节的简单类型参数约束来表达，因此...中的泛型属性也同样变得可空，这使得泛型类在具体实现的时候，需要考虑参数为空的情况，也让编写代码的具体实现变得复杂。...在 Kotlin 里，「类」和「类型」是两个不同的概念，举个例子就能很容易地理解它们的区别：「类」是我们在代码里通过class A、interface B、object C这种方式定义的，在编译时，它们会转成字节码

2.1K31

Kotlin泛型的型变之路

kotlin修炼指南7之泛型 泛型，是为了让「类」、「接口」、「方法」具有更加通用的使用范围而诞生的，举个例子，假如我们不使用泛型，那么一个List中可以装得下任何对象，这么做的问题就在于，在使用时，需要对类型进行检查...但是这种处理在我们处理泛型业务时，会有很多限制，所以，泛型提供了「型变」来拓展泛型的使用。 协变 协变指的是，当参数具有父子关系时，子类可以作为参数传递，而泛型的上界就是其父类。...编译器并不知道，但由于泛型上限的存在，所以它一定是TextView及其子类，所以定义为TextView类型，也完全没有问题。接下来我们来实现写入，这时候，就报错了。...约定，当泛型参数T只会用来输出时，可以在申明类的时候，直接使用协变约束，这样在调用的时候，就不用额外使用协变了，当然写了也不会错。...那么我们在实际的代码中，要在哪些场景使用协变和逆变呢？通常来说，泛型参数协变后则表示——「这个参数在当前类中，只能作为函数的返回值，或者是只读属性」。

1.2K21

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

文章目录 一、泛型简介 二、泛型类 三、泛型方法 四、静态方法的泛型 五、泛型类与泛型方法完整示例 一、泛型简介 ---- 泛型 可以 简单理解为 参数化类型 , 主要作用在 类 , 方法 , 接口 上..., Java 泛型开发好之后 , 在 编译阶段 就 将泛型相关的信息消除 了 , 不会泛型留到运行时 ; 泛型类型 : 泛型方法 : 方法有参数 , 方法的参数 可以指定成一些 泛型 ; 泛型类 :...类 也可以有参数 , 将 类型 作为 参数 传入类中 ; 泛型接口 : 接口 的 参数 , 也可以是泛型 ; 将 类型 传入 泛型方法 , 泛型类 , 泛型接口 中 , 可以 动态地 指定一些类型 ;...: 泛型方法中定义的 泛型 T , 与 参数类型的 T , 返回值类型的 T , 方法内部的 T , 都是同一个类型 ; /** * 泛型类 * 该 T 类型作为参数使用 * T 是参数化类型...不能是类的泛型 ; 错误用法 : 正确用法 : 五、泛型类与泛型方法完整示例 ---- /** * 泛型类 * 该 T 类型作为参数使用 * T 是参数化类型 , 可以由外部传入

13.6K30

Java中泛型的详细解析，深入分析泛型的使用方式

泛型的基本概念 泛型: 参数化类型 参数: 定义方法时有形参 调用方法时传递实参 参数化类型: 将类型由原来的具体的类型参数化,类似方法中的变量参数 类型定义成参数形式, 可以称为类型形参 在使用或者调用时传入具体的类型...,可以称为类型实参 泛型的本质是为了参数化类型 在不创建新的类型的情况下,通过泛型指定的不同类型来控制形参具体限制的类型 在泛型使用过程中,操作的数据类型被指定为一个参数,这种参数类型可以用在: 类...泛型类型在逻辑上可以看成多个不同的类型,实际上都是相同的基本类型 泛型的使用 泛型有三种使用方式: 泛型类 泛型接口 泛型方法 泛型类 泛型类: 泛型类型用于类定义中 通过泛型类可以完成对一组类的操作对外开发相同的接口...与泛型类的定义一样,此处的T可以为任意标识,常见的比如: T, E, K, V等形式的参数常用于表示泛型 * * @param tClass 传入的泛型实参 * @return T 返回值为T类型...泛型方法能使方法独立于类而产生变化,使用原则: 无论何时,如果能做到,就尽量使用泛型方法 如果使用泛型方法将整个类泛型话,就应该使用泛型方法 对于一个static方法,无法访问泛型类型的参数.如果static

1.1K10

Kotlin入门潜修之类和对象篇—泛型及其原理

java中的泛型 前面一直有提到，kotlin是运行于jvm上的语言，其对标的语言就是java，因此我们先来讲一下java的泛型，了解了java泛型的优缺点之后，我们就很容易明白kotlin中泛型的设计初衷了...而假如我们在创建类型的时候也为其指定参数，这个参数又是个类型，那么我们就称之为泛型。 那么泛型的作用和意义是什么？使用泛型能够像传递参数一样传递类型，同时保证运行时的类型安全。...> list) { //在该方法中测试添加对象，实际上测试的是无界通配符作为类泛型参数的场景，因为list的类型是泛型List即List list) { //在该方法中测试添加对象，list.add实际上测试的是通配符作为类泛型参数的场景，因为list的类型是泛型List类即List list) { //在该方法中测试添加对象，list.add实际上测试的是通配符作为类泛型参数的场景，因为list的类型是泛型List类即List<?

90230

【Kotlin】泛型 ③ ( 泛型 out 协变 | 泛型 in 逆变 | 泛型 invariant 不变 | 泛型逆变协变代码示例 | 使用 reified 关键字检查泛型参数类型 )

作为 函数的返回值 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前 使用 out 关键字 , 同时 该 泛型类 又称为 生产类 ( 生产接口 ) , 用于生产 泛型类 指定的泛型对象...---- 泛型类 中 泛型参数 有 子类 和 父类 , Java 语言中 , 泛型参数 是 子类 的 泛型类对象 , 不可以赋值 给 泛型参数 是父类 的变量 ; Java 中的泛型对象赋值 ,...语言中 , 泛型参数是 子类 的 泛型类对象 , 可以赋值给 泛型参数 是父类 的变量 , 前提是泛型参数必须使用 out 关键字修饰 ; 使用 in 关键字 , 可以使 父类泛型对象 赋值给... // 在 Consumer 中 , 使用了泛型参数 in 逆变 // 泛型参数是父类 的泛型类对象 可以赋值给 泛型参数是子类 的泛型对象 val consumer...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

1.6K10

【Flutter】Dart 泛型 ( 泛型类 | 泛型方法 | 特定类型约束的泛型 )

接口 , 方法 提供复用性 , 支持类型不确定的数据类型 ; 泛型类 : 提高代码复用程度 ; 泛型方法 : 参数或返回值有泛型类型约束 , 参数或返回值类型必须符合对应的泛型类型 , 泛型使用时会进行类型检查约束...创建泛型类对象 , 泛型类型设置为 String 类型 Cache cache = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型..., 泛型类型设置为 int 类型 Cache cache2 = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型 // 泛型约束 : 泛型使用时会进行类型检查约束...){ // 创建泛型类对象 , 泛型类型设置为 String 类型 Cache cache = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型.../ 创建泛型类对象 , 泛型类型设置为 int 类型 Cache cache2 = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型 //

4.9K00

泛型类、泛型方法、类型通配符的使用

泛型类、泛型方法、类型通配符的使用 一.泛型类        泛型类的声明和非泛型类的声明类似，除了在类名后面添加了类型参数声明部分...和泛型方法一样，泛型类的类型参数声明部分也包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。...因为他们接受一个或多个参数，这些类被称为参数化的类或参数化的类型。...类型参数能被用来声明返回值类型，并且能作为泛型方法得到的实际参数类型的占位符。 泛型方法体的声明和其他方法一样。...super Number>来定义，表示类型只能接受Number及其三层父类类型，如Objec类型的实例。

3.8K40

【Kotlin】泛型 ② ( 可变参数 vararg 关键字与泛型结合使用 | 使用 [] 运算符获取指定可变参数对象 )

文章目录 一、可变参数 vararg 关键字与泛型结合使用 二、使用 [] 运算符获取指定可变参数对象 一、可变参数 vararg 关键字与泛型结合使用 ---- 如果 泛型类型 T 的参数 是 vararg...可变参数 , 则在接收 可变参数 时 , 需要使用 Array 类型 的变量进行接收 ; 参数为 vararg 可变参数 , 那么可以传入多个 指定类型的 实例对象 ; 在下面的代码中..., 声明了 泛型参数 T , T 类型不必须是 Weapon 类的子类类型 ; 在 Soldier 的主构造函数中 , 传入了 泛型 T 类型的 可变参数 对象 ; 如果要使用 成员属性 接收该 泛型...T 类型的 可变参数 对象 , 则必须 使用 Array 类型对象进行接收 ; 代码示例 : class Soldier(vararg _items: T) {...二、使用 [] 运算符获取指定可变参数对象 ---- 如果想要 使用 [] 运算符获取指定可变参数对象 , 就需要 重写 该类 的 get 函数 进行 运算符重载 ; 如果想要通过 Soldier 实例对象

65320

深入理解Kotlin的泛型系统

在 Java 中，只要是有类型的 API 元素，都可以泛型化，也就是泛型类、泛型接口、泛型方法和泛型属性，泛型类和泛型接口可以统称为泛型类型。...其中最重要的是泛型类型和泛型方法，Kotlin 泛型系统继承了 Java 泛型系统，同时添加了一些强化的地方。...但是在调用者看来，泛型却是实实在在的固定类型，所以这里借助 Kotlin 的内联函数 inline 可以实化泛型参数，在 Kotlin 中只需要这样： fun <T someFunction() {...而 Kotlin 中，针对于这两种情况给了另外两个关键字：需要读取带泛型对象的值时，使用 out 来标记类型参数；需要传入类型参数的类型作为形参时，使用 in。...「*」投影 因为 Kotlin 源码中不允许忽略泛型参数，所以在一些泛型不重要的地方，就不可避免的使用 来表示。

1.1K10

泛型擦除是什么意思_泛型类和泛型方法的区别

大家好，又见面了，我是你们的朋友全栈君 在严格的泛型代码里，带泛型声明的类总应该带着类型参数。但为了与老的Java代码保持一致，也允许在使用带泛型声明的类时不指定实际的类型。...如果没有为这个泛型类指定实际的类型，此时被称作raw type（原始类型），默认是声明该泛型形参时指定的第一个上限类型。...当把一个具有泛型信息的对象赋给另一个没有泛型信息的变量时，所有在尖括号之间的类型信息都将被扔掉。...比如一个 List 类型被转换为List，则该List对集合元素的类型检查变成了泛型参数的上限（即Object）。...对泛型而言，可以直接把一个List对象赋给一个 List 对象，编译器仅仅提示“未经检查的转换”。

1.3K30

泛型类的正确用法

在准备下次直播Java基础的内容中，偶然看到Java泛型这个知识点，突然有了点想法，之前一直纠结的一个问题有了解答的思路。...问题：我在多线程任务基类中定义了一个泛型T的对象t，但是一直没有找到一个特别合适的发光点，感觉跟重新写一个内部类差别不大，偶尔在匿名类中使用，非但没有更加灵活，反而衍生出一些其他多线程锁的问题。...，额外的属性对象就可以用这个泛型T代替。...突觉自己以前走了很多弯路，对泛型的掌握和应用太浅薄，说干就干了，马上对现有的性能测试框架中的abstract类和实现类都改一遍。...，被继承的父类中T可以声明成为HttpRequestBase类，然后在代码中关于父类的操作，如super(request, times, mark);中是可以成立的，然后在本类名后面的泛型不能声明对象，

84840

Java泛型详解：和Class的使用。泛型类，泛型方法的详细使用实例

而不是像Object实现方式一样，在运行时才会报强制转换错误。   2、多泛型变量定义及字母规范  （1）、多泛型变量定义 上在我们只定义了一个泛型变量T，那如果我们需要传进去多个泛型要怎么办呢？...在方法一中，我们在类中直接把Info接口给填充好了，但我们的类，是可以构造成泛型类的，那我们利用泛型类来构造填充泛型接口会是怎样呢？     ...，我们构造了一个泛型类InfoImpl，然后把泛型变量T传给了Info，这说明接口和泛型类使用的都是同一个泛型变量。...但尽量不要使用这种隐式的传递方式，代码不利于阅读和维护。因为从外观根本看不出来你调用的是一个泛型函数。...有兴趣的可以了解下lombok。   关于泛型方法的使用实例 这个地方就有2个，但是上面文章也都讲到啦。  1，一个是泛型表示某一个类型的参数。

3.2K50

Kotlin中的常用类及其使用

一、构造函数和初始化块 1.初始化块 2.主构造函数 3.次构造函数 4.他们之间的联系 二、属性 1.属性的声明 2.避免递归调用的幕后字段 三、常用的类 一、构造函数和初始化块 1.初始化块 代码的初始化工作由它负责...，在调用主构造函数之前执行，这部分理论上可以进行任何工作，但建议类的初始化赋值可以放在这，其余的最好由其他专门的地方处理，采用init关键字 init{ println("ww cool") }...->次构造函数 二、属性 1.属性的声明 最简单的方式 class MyClass(){ val name:String } 此时默认已经帮你创建好了getter和setter，val 类型的只有...和getter，所以不用这么担心 三、常用的类 抽象类 含有抽象方法的类称为抽象类，这一点和java里面很像 内部类 使用inner关键字，可以访问内部类外的属性 class outer{ val...//不能直接调用外部的变量 } } 枚举类 与传统的java写法相比，由于少了getter和setter，所以代码显得相当简洁，也很容易读懂 enum class Color ( var colorName

1K20

Effective Kotlin 译文：Chapter3-Item24-泛型的型变

* 更多关于泛型的内容可参见我的另一篇文章：《一文了解 Java/Kotlin 中的泛型》 条目 24：关注泛型的型变 名词解释表 英文 中文 解释...，此处简称为「子类泛型」 父类泛型 标准翻译应为：类型参数为父类的泛型，为了描述方便，此处简称为「父类泛型」 function type 函数类型 形如：（T...Cup 上述泛型类的类型参数 T 没有指定任何型变修饰符（in 或者 out）, 因此默认是不型变的。...: Array) { val b: Cup = Cup() // 协变之后，子类泛型是父类泛型的子类，子类可以赋值给父类 } class Cup...译者注： 在 Java 中只有使用处型变 总结 Kotlin 有强大的泛型类型，并且支持使用声明处型变以及使用处型变 默认的类型参数是不型变的 out 修饰符可以使类型参数协变 in 修饰符可以使类型参数逆变

72540

针对常量泛型参数的分类实现

而论及泛型参数 (generic parameters)，我们总是想到 trait bounds 和生命周期。或者有时候，我们完全没注意到“泛型参数”这个描述。...我们知道，函数参数是列在函数名之后的 (...) 内的部分，而泛型参数是列在 内的部分。...泛型参数分为三类： 生命周期参数 类型参数 常量参数 而且它们的顺序被规定为：生命周期必须放置于后两类之前，后两类可以交叉摆放。...= 0 {} 常量泛型参数 常量泛型参数 (const generics parameters)： 可以在任何 常量条目 中使用，而且只能独立使用，通常作为某类型的参数出现。...I 和 I == 0 从泛型角度看， struct Item; 定义了一个具体类型的泛型参数，但并不限定这个值。

71110
点击加载更多

扫码

添加站长 进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

更多标签

活动推荐

    运营活动

    活动名称
    广告关闭

    腾讯云开发者

    扫码关注腾讯云开发者

    扫码关注腾讯云开发者

    领取腾讯云代金券

    热门产品

    热门推荐

    更多推荐

    Copyright © 2013 - 2024 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有

    深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 深公网安备号 44030502008569

    腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号 | 京公网安备号11010802020287

    领券