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

一文了解 JavaKotlin 中的泛型

阅读本文你将了解：什么是型变、协变、逆变和不型变在 Java 和 Kotlin 中如何实现以上型变Java 和 Kotlin 中泛型的异同在 Java/Kotlin 中，子类对象是可以赋值给一个父类类型的...extends Animal 表示此方法可以接受 Animal 或者 Animal 子类的集合，这就使得泛型类型协变了逆变同理，有时候我们希望把父类泛型对象作为实参传递给子类泛型的形参，例如// 用于监听小动物是否饿了的监听器...：声明处型变：在泛型类声明的时候定义型变使用处型变：在使用泛型类的时候定义型变// 声明处型变: 在声明类的时候，就指定了类型参数为 out T, 此时泛型是协变的interface SourceA {}// 在声明的时候没有指定型变，此时该泛型类型的不型变的interface SourceB {}// 使用处型变: 在使用 SourceB 作为参数的时候，我们指定了类型参数为 out...泛型具体化（Reified）有时候我们需要在函数体中使用泛型的类型参数，获取类型参数的具体信息，比如对类型参数进行类型判断、类型转换等，因为类型擦除的原因，这个在 Java 中是无法实现的：public

88520

一文了解 JavaKotlin 中的泛型

阅读本文你将了解：什么是型变、协变、逆变和不型变在 Java 和 Kotlin 中如何实现以上型变Java 和 Kotlin 中泛型的异同在 Java/Kotlin 中，子类对象是可以赋值给一个父类类型的...extends Animal 表示此方法可以接受 Animal 或者 Animal 子类的集合，这就使得泛型类型协变了逆变同理，有时候我们希望把父类泛型对象作为实参传递给子类泛型的形参，例如// 用于监听小动物是否饿了的监听器...：声明处型变：在泛型类声明的时候定义型变使用处型变：在使用泛型类的时候定义型变// 声明处型变: 在声明类的时候，就指定了类型参数为 out T, 此时泛型是协变的interface SourceA {}// 在声明的时候没有指定型变，此时该泛型类型的不型变的interface SourceB {}// 使用处型变: 在使用 SourceB 作为参数的时候，我们指定了类型参数为 out...泛型具体化（Reified）有时候我们需要在函数体中使用泛型的类型参数，获取类型参数的具体信息，比如对类型参数进行类型判断、类型转换等，因为类型擦除的原因，这个在 Java 中是无法实现的：public

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

Kotlin 中的 run、let、with、apply、also、takeIf、takeUnless 语法糖使用和原理分析

带接收者的函数字面值 使用这些语法糖之前回顾一下 Kotlin 的函数式编程，在分析 Kotlin 使用 Anko 构建布局 文章中有提到 带接收者的函数字面值。...而 invoke 变量是作为参数传递给 exec 函数的，如果 exec 函数为空，那么 inkoke 具体实现的 show 方法也不会被调用的，在 exec 中调用 invoke 的方法如下： fun...receObj.invoke() // 把 ReceiceObject 作为参数传递给 invoke 调用 invoke(receObj) } 在 exec 的具体调用中，...拓展函数 拓展函数相当于给某个类添加函数，但这个函数并不属于这个类的函数，和 static 方法是两码事。...，使用 this 指代被拓展的类实例，上面代码中 this 指代就是 Context 。

1.6K11

【Kotlin】扩展函数 ① ( 扩展函数简介 | 为 Any 超类定义扩展函数 | private 私有扩展函数 | 泛型扩展函数 | 标准函数 let 函数是泛型扩展函数 )

扩展函数 , 可以在 不修改 原有类 的情况下 增加类的功能 ; Kotlin 中如果类 没有被 open 关键字修饰 , 则该类 不能被继承 , 如果想要扩展该类 , 可以使用 扩展函数 ; 扩展函数...可以作用于 自定义的类 , 也可以作用于 系统自带的类 , 如 String , List , 等 标准库 API 类 ; 为 某个类 定义扩展函数 , 格式为 : fun 类名.扩展函数名(参数列表...就是 接收者泛型参数类型 ; fun T.函数名(参数列表): T { 函数体 } 代码示例 : 在该代码中 , 定义了一个 泛型扩展函数 , 为泛型 T 定义了扩展函数 printSelf...let 函数是泛型扩展函数 ---- 标准库 中的 let 函数 , 就是 泛型扩展函数 , inline 关键字表明该函数是 内联函数 , 其中的 匿名函数 参数在编译时直接将函数体拷贝到使用位置...表达式作为参数的函数定义为内联函数 | 内联函数本质 - 宏替换 ) 博客进行理解 ; Kotlin 中的标准库函数 , 参考 【Kotlin】标准库函数总结 ( apply 函数 | let 函数

1.6K20

Kotlin 进阶 泛型知识详解

前言 详细介绍Kotlin中关于泛型的知识。方便我们理解泛型在Kotlin中的使用。 如果对于泛型知识不太了解，也可以通过本篇文章了解泛型到底是什么，并且对我们开发到底有什么作用。...我们可以在函数声明，属性声明，类声明和接口声明中使用泛型。下面也从这四个维度进行介绍泛型在Kotlin中的使用。 1.声明泛型函数 例如,我们声明一个比较函数。...在Kotlin中的泛型定义和java中其实很类似。都是使用来进行标注。 小知识：泛型并不是必须用T字母来代替。...s1 = Demo.zinyan.isEquals(12, 23); } 上面这种是我们接口约束的方法，还有一种情况就是在定义函数的时候，约定传值只能是指定的类以及其父类才行...我们默认没有定义泛型类型其实就是省略了：Any类型而已。 2. 声明泛型属性 我们在上面的示例中了解了泛型的定义，在函数中的使用。下面我们介绍在类属性中的泛型声明和使用。

20930

Kotlin泛型的型变之路

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

1.2K21

【Kotlin】扩展函数总结 ★ ( 超类扩展函数 | 私有扩展函数 | 泛型扩展函数 | 扩展属性 | 定义扩展文件 | infix 关键字用法 | 重命名扩展函数 | 标准库扩展函数 )

就是 接收者泛型参数类型 ; fun T.函数名(参数列表): T { 函数体 } 代码示例 : 在该代码中 , 定义了一个 泛型扩展函数 , 为泛型 T 定义了扩展函数 printSelf..., 在函数中打印 接收者 , 并将接收者返回 , 该泛型可以是任意类型 ; 在 main 函数中 , 先调用 字符串实力对象 的 printSelf 泛型扩展函数打印自身 , 然后调用 字符串的扩展函数...let 函数是泛型扩展函数 ---- 标准库 中的 let 函数 , 就是 泛型扩展函数 , inline 关键字表明该函数是 内联函数 , 其中的 匿名函数 参数在编译时直接将函数体拷贝到使用位置...表达式作为参数的函数定义为内联函数 | 内联函数本质 - 宏替换 ) 博客进行理解 ; Kotlin 中的标准库函数 , 参考 【Kotlin】标准库函数总结 ( apply 函数 | let 函数...代码中 ; 标准库 中的 let 函数 , 就是 泛型扩展函数 , inline 关键字表明该函数是 内联函数 , 其中的 匿名函数 参数在编译时直接将函数体拷贝到使用位置 , 避免创建匿名函数相关对象

2.2K30

从 Kotlin 开发者角度看 Java 缺失的特性

= computeNullableString() 扩展函数 在 Java 中，扩展一哥类是通过继承来实现的： 继承类有两个主要问题。第一个问题是有些类不允许继承：它们使用了 final 修饰符。...这是不得已而为之，因为 Java 不允许方法存在于类之外。 通过这种方式，如果某个方法不存在于某个类中，辅助类就提供这样的一个方法，这个方法将这个类作为参数并执行所需的操作。...它的语法要清晰得多，并且允许函数链接，这在 Java 中是不可能做到的。 具体化的泛型 Java 5 中引入了泛型。...与之相反的是具体化的泛型，也就是说，泛型类型将被写入字节码中。 编译时泛型类型存在一些问题。...论 在这篇文章中，我描述了 Java 中缺失的 4 个 Kotlin 特性：不可变引用、空安全、扩展函数和具体化泛型。

77020

Kotlin 1.2 的新增特性

例如，当一个 lambda 作为构造函数参数传递给一个对象时，后者可以用于引用另一个必须稍后定义的对象： lateinit修饰符现在可以用在顶级属性和局部变量上。...例如，当作为构造函数参数传递给一个对象的 lambda 引用另一个对象时，稍后必须定义的对象可以使用： 循环中的值：1, 2, 3, 1, 2, 3, 1, ......如果调用一个返回类型参数 T 并将返回值转换为特定类型 Foo 的泛型方法，则编译器现在可以理解此调用的 T 需要绑定到 Foo 类型。...弃用：扩展 Throwable 的泛型类的内部类 继承自 Throwable 的泛型的内部类可能会违反 throw-catch 场景中的类型安全性，因此已被弃用，在 Kotlin 1.2 中会被警告，在...这可能会影响应用程序的整体性能；仅在多个类之间共享一些复杂的状态并在类初始化时更新时才使用它。 “手工”的解决方法是将控制流的子表达式的值存储在变量中，而不是直接在调用参数中对它们进行求值。

2.8K70

Kotlin Vocabulary | Reified: 类型擦除后再生计划

解决这一问题的一个方法，是将泛型实际代表的类型信息作为一个参数传递给函数。...为了达到这一目标，Kotlin 提供了一个特别的关键字 reified，使用它就可以在泛型函数中获取所需的类型信息。只要您对泛型的实现方式有所了解，就可能会不禁惊呼: 这怎么可能！...若是要在参数中使用 reified，那首先需要将函数标记为 inline，然后在泛型参数之前添加 reified 关键字即可。...从反编译后的代码中可以发现，当调用 reified 修饰的内联函数时，编译器会复制该函数体，并将泛型类型替换为实际使用的类型。这样，您就可以不用将类传递给函数也能够获取到相应类型信息了。...另外请牢记，Java 代码中不能访问被 reified 修饰的函数。Java 不支持内联，也就意味着在 Java 中的泛型参数不能逃脱被编译器擦除类型的命运。

1.2K10

Kotlin | 9. 泛型

本章内容包括： 声明泛型函数和类 类型擦除和实化类型参数 声明点变型和使用点变型 9.1 泛型类型参数 // 如果要创建一个空的列表，必须显示的指定，有值的话可以被推导出来...* - 调调用带实化类型参数函数的时候使用非实化类型形参作为类型实参 * - 把类、属性或者非内联函数的类型参数标记为reified */ 9.3...会提示报错 // println(Validators[String::class].validate(42)) 总结 Kotlin 的泛型和 Java 相当接近：它们使用同样的方式声明泛型函数和泛型类...可以声明一个类在某个类型参数上是协变的，如果该参数只是用在 out 位置。 逆变的情况正好相反：可以声明一个类在某个类型参数上是逆变的，如果该参数只是用在 in 位置。...在Kotlin 中既可以为整个泛型类指定变型（声明点变型），也可以为泛型类型特定的使用指定变型（使用点变型）。 当确切的类型实参是未知的或者不重要的时候，可以使用星号投影语法。

1.8K10

Kotlin学习之路（4）函数的运用

通过两者的对比，咱们可以发现 ① Java使用@Override表示该函数重载父类的方法，而Kotlin使用小写的override 在同一行表达重载操作 ② Java 使用 protected /...，就跟调用arrayOf方法一样，只需在函数名称后面加即可 内联函数 前面我们定义的泛型函数appendString时，是把它作为一个全局函数，也就是在类外定义，而不是在类内部定义。...因为类的成员依赖于类，只有泛型类才能拥有成员泛型函数，而普通类是不允许定义泛型函数的，否则编译器直接报错。...不过也有例外当参数类都是继承于某种类型，那么允许在定义函数时指定从这个基类泛化开，凡是继承自该基类子类，都可以作为输入参数进行调用，反之无法调用！...如果要让该方法同事接收整型和双精度的数组入参，那就得使用泛型T 来自于基类Number 将改为，同时在fun前面加上关键字inline,表示该函数属于内联函数

72710

kotlin基础语法

super.foo()切换实现方法，两个都有时也可以通过这个方式切换实现方法 泛型 泛型，即 "参数化类型"，将类型参数化，可以用在类，接口，方法上。...声明一个泛型类: class Class(t: T) { var value = t } 型变 Kotlin 中没有通配符类型，它有两个其他的东西：声明处型变（declaration-site...我们可以使用泛型约束来设定一个给定参数允许使用的类型。...Kotlin 中使用 : 对泛型的的类型上限进行约束。...如果你使用匿名对象作为公有函数的 返回类型或者用作公有属性的类型，那么该函数或属性的实际类型 会是匿名对象声明的超类型，如果你没有声明任何超类型，就会是 Any。在匿名对象 中添加的成员将无法访问。

2.1K20

Kotlin学习日志（四）函数

一、函数的基本用法 函数这个词相信各位不会陌生，而Kotlin中也是使用了众多函数的，正所谓面向函数编程。...{ ... } 对比区别如下： （1）Java使用“@Override”表示该函数重载父类的方法，而Kotlin使用小写的“override”在同一行表达重载操作 （2）Java使用“public”...，要是函数不存在返回参数，也就是Java中的返回void，Java中使用void表示不存在返回参数，而Kotlin的返回参数是一定存在的，即使开发者不声明任何返回参数，Kotlin函数也会默认返回一个Unit...我这一顿操作的意义何在呢？不是说默认参数吗？请听我慢慢道来，Kotlin中引入了默认参数的概念，允许在定义函数时直接指定输入参数的默认值。...如果要让该方法同时接收整型和双精度的数组入参，就得指定泛型变量T来自于基类Number,即将“”改为“”，同时在fun前面添加关键字inline，表示该函数属于内联函数

1.8K10

Kotlin 1.2 的新增了哪些特性？

例如，当一个 lambda 作为构造函数参数传递给一个对象时，后者可以用于引用另一个必须稍后定义的对象： lateinit修饰符现在可以用在顶级属性和局部变量上。...例如，当作为构造函数参数传递给一个对象的 lambda 引用另一个对象时，稍后必须定义的对象可以使用： ? 循环中的值：1, 2, 3, 1, 2, 3, 1, ......如果调用一个返回类型参数 T 并将返回值转换为特定类型 Foo 的泛型方法，则编译器现在可以理解此调用的 T 需要绑定到 Foo 类型。...弃用：扩展 Throwable 的泛型类的内部类 继承自 Throwable 的泛型的内部类可能会违反 throw-catch 场景中的类型安全性，因此已被弃用，在 Kotlin 1.2 中会被警告，在...这可能会影响应用程序的整体性能；仅在多个类之间共享一些复杂的状态并在类初始化时更新时才使用它。 “手工”的解决方法是将控制流的子表达式的值存储在变量中，而不是直接在调用参数中对它们进行求值。

2.8K10

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

放在 尖括号 中 , 该泛型参数放在 类名后 , 主构造函数之前 , 该泛型参数 T 是 类型占位符 , 在 该泛型类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性...都使用 T 来表示泛型 ; 代码示例 : 下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T..., 需要两个泛型参数来表示其类型 ; T 类型在泛型类中注明 , 可以在该泛型类 Student 中随意使用 , 但是 泛型参数 R 是首次在该函数中使用 , 因此需要在该函数的 fun 关键字...子类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的参数 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前 使用 in 关键字 , 同时 该 泛型类 又称为 消费类...(t: T) } 十、泛型 invariant 不变 ---- 在 泛型类 中 , 如果 既将 泛型类型 作为 函数的参数 类型 , 又将 泛型类型 作为 函数的返回值 类型 , 则在 声明 泛型参数

3.8K10

From Java To Kotlin 2：Kotlin 类型系统与泛型终于懂了

- 当 Nothing 作为函数参数时，就意味着这个**函数永远无法被正常调用**。这在泛型星投影的时候是有一定应用的。 - Nothing 可以看作是 Nothing?...在 Java 中，我们常见的泛型有：泛型类、泛型接口、泛型方法和泛型属性，Kotlin 泛型系统继承了 Java 泛型系统，同时添加了一些强化的地方。...### 泛型接口/类（泛型类型） 定义泛型类型，是在类型名之后、主构造函数之前用尖括号括起的大写字母类型参数指定： ### 声明泛型接口 > Java： ``` //泛型接口 interface...= tClass.newInstance() return t } ``` ### 泛型约束 Java 中可以通过有界类型参数来限制参数类型的边界，Kotlin中泛型约束也可以限制参数类型的上界...in位置，而函数返回类型叫作out位置 #### 协变 ：保留子类型化关系 如果在定义的泛型类和泛型方法的泛型参数前面加上out关键词，说明这个泛型类及泛型方法是协变，简单来说类型A是类型B的子类型

42450

Kotlin入门(11)江湖绝技之特殊函数

，这正是泛型对象的写法，“Array”可称作泛型变量，至于arrayOf便是本文要说的泛型函数了。...) } count++ } 内联函数 注意到前面定义泛型函数appendString，是把它作为一个全局函数，也就是在类外面定义，不在类内部定义。...因为类的成员函数依赖于类，只有泛型类（又称模板类）才能拥有成员泛型函数，普通类是不允许定义泛型函数的，否则编译器会直接报错。...不过有个例外情况，如果参数类型都是继承自某种类型，那么允许在定义函数时指定从这个基类泛化开，凡是继承自该基类的子类，都可以作为输入参数进行函数调用，反之则无法调用函数。...显然这么做的代价不菲，所以Kotlin引入了高阶函数这个秘密武器，直接把这个算法作为参数传进来，由开发者在调用高阶函数时再指定具体的算法函数。

1.2K10
点击加载更多

扫码

添加站长 进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

更多标签

活动推荐

    运营活动

    活动名称
    广告关闭

    腾讯云开发者

    扫码关注腾讯云开发者

    扫码关注腾讯云开发者

    领取腾讯云代金券

    热门产品

    热门推荐

    更多推荐

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

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

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

    领券