首页
学习
活动
专区
圈层
工具
发布

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

, T 类型可以 作为函数的返回值 ; 通常情况下 , 泛型参数 都使用 T 表示 , 使用其它字母 或者 字符串 都可以表示 泛型参数 , 但是 约定俗成 都使用 T 来表示泛型 ; 代码示例 :...下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T 类型的成员属性 ; class Student...---- 函数 的 参数 或 返回值 类型为 泛型类型 , 则该函数称为 泛型函数 ; 代码示例 : 该代码中 , 泛型函数 logT 的 参数 和 返回值 都是 T 泛型参数 类型 ; class...---- 泛型函数 中 如果涉及到 匿名函数 参数 , 匿名函数 的 参数返回值 都是泛型 的话 , 在该泛型函数 中可能需要使用多个泛型 , 使用不同的字母表示不同的泛型 ; 如果函数中 引入了新的泛型类型...R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 : 如果类中

4.2K10

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

---- 函数 的 参数 或 返回值 类型为 泛型类型 , 则该函数称为 泛型函数 ; 代码示例 : 该代码中 , 泛型函数 logT 的 参数 和 返回值 都是 T 泛型参数 类型 ; class...---- 泛型函数 中 如果涉及到 匿名函数 参数 , 匿名函数 的 参数返回值 都是泛型 的话 , 在该泛型函数 中可能需要使用多个泛型 , 使用不同的字母表示不同的泛型 ; 如果函数中 引入了新的泛型类型...(t: T) } 十、泛型 invariant 不变 ---- 在 泛型类 中 , 如果 既将 泛型类型 作为 函数的参数 类型 , 又将 泛型类型 作为 函数的返回值 类型 , 则在 声明 泛型参数..., 泛型参数 是 子类 的 泛型类对象 , 不可以赋值 给 泛型参数 是父类 的变量 ; Java 中的泛型对象赋值 , 不存在继承关系 , 是什么类型就是什么类型 , 类型要严格相同 ; import...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

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

    泛型(泛型擦除)【java基础—-泛型】

    1.3 泛型定义(泛型类、泛型方法(泛型方法返回值是泛型的,泛型方法在普通类和泛型类里)): 1.4特点: 对于泛型特点(1)举个例子 : 没有使用泛型时的异常抛出 对于泛型特点(2)访问时不需要类型转换...中引入的一个新特性,其本质是参数化类型,也就是说所操作的数据类型被指定为一个参数(type parameter),这种参数类型可以用在类、接口和方法的创建中,分别称为泛型类、泛型接口、泛型方法。...(){return null} 注意,(在泛型类里 的返回值是泛型的方法)在定义了泛型类之后,在该类里想要返回值类型是一个泛型的方法(), 不用再定义该方法是泛型啦,直接可以使用泛型的T: public...不举例子了 语法:接口名 2.3泛型方法 语法:[ 修饰符] 返回值类型 方法名([参数列表]) 2.4.疑惑,为什么有泛型类了,还要有泛型方法,泛型类与泛型方法有什么区别,泛型方法有什么好处...编译器只为泛型类型生成一份字节码,并将其实例关联到这份字节码上。类型擦除的关键在于从泛型类型中清除类型参数的相关信息,并且再必要的时候添加类型检查和类型转换的方法。

    3.8K51

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

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

    7K00

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

    ; java 泛型 与 C++ 模板 : Java 中的泛型 , 是仿照 C++ 中的 模板 开发的 , 目的是让开发者可以写出 通用 , 灵活 的代码 ; 伪泛型 : Java 中的泛型 , 是 伪泛型..., Java 泛型开发好之后 , 在 编译阶段 就 将泛型相关的信息消除 了 , 不会泛型留到运行时 ; 泛型类型 : 泛型方法 : 方法有参数 , 方法的参数 可以指定成一些 泛型 ; 泛型类 :...; 其中的 参数 , 返回值 类型是 T , 但 这个 T 是作为一个正常的类型使用的 , 并不是声明在 方法 中的泛型 ; 如果 类 , 接口 , 方法 是 泛型类 , 泛型接口 , 泛型方法 , 则该..., 与 参数类型的 T , 返回值类型的 T , 方法内部的 T , 都是同一个类型 ; /** * 泛型类 * 该 T 类型作为参数使用 * T 是参数化类型 , 可以由外部传入 *...T 可以是不同的类型 * * 泛型方法中定义的泛型 T * 与参数类型的 T * 返回值类型的 T * 方法内部的 T

    20.3K30

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

    (); 二、泛型方法用法 ---- 泛型方法 : 给下面的泛型方法 , 传入 String 作为参数 , 则 泛型方法中的 T 的类型就是 String 类型 ; public T...getData2("Mouse"); 不指定泛型的方法 : 泛型方法 中 也可以不声明泛型类型 , 传入的参数是 泛型 T 类型 , 如果给传入参数设置 String..., 隐含将泛型 T 设置为 String 类型 ; // 泛型方法 中 也可以不声明泛型类型 // 传入的参数是 泛型 T 类型 //...* * 泛型方法中定义的泛型 T * 与参数类型的 T * 返回值类型的 T * 方法内部的 T * 都是同一个类型...getData2("Mouse"); // 泛型方法 中 也可以不声明泛型类型 // 传入的参数是 泛型 T 类型

    11K30

    Java 泛型擦除_泛型和泛型擦除

    String>().getClass(); System.out.println(a1 == a2); } } 如果仅凭直觉来看,该程序可能会输出 false 这个结果,但在具体的环境下运行时会输出...Java泛型是使用类型擦除来实现的。这表示在运行过程中任何和类型有关的信息都会被擦除,所有在运行中 ArrayList和ArrayList的具体信息都被擦除成它们的原生类型即ArrayList类型。...由于擦除机制,泛型不能用于显示地引用运行时类型的操作之中,例如转型、new表达式和instanceof操作。...若在泛型内部必须使用类型操作时,可以在运行时采用反射的方法将正在运行的类信息添加到泛型内部,这种方法称为补偿。...如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

    2.9K40

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

    泛型 什么是泛型: 泛型就相当于标签 形式: jdk1.5之后,用泛型来解决元素类型不确定的数据保存操作, 例如关于这个元素如何保存,如何管理等是确定的,因此此时把元素的类型设计成一个参数,这个类型参数叫做泛型...引起来的参数类型,这个参数类型具体在使用的时候才会确定类型 使用了泛型后,可以确定集合的类型,在编译的时候就可以检查出来 使用泛型可能觉得麻烦,实际上使用泛型才会简单,后续的便利操作会简单许多...,默认为Object类型 2.泛型父类传入类型实参,子类既可以是泛型类,也可以不是 3.泛型父类传入类型实参,则子类必须是泛型类,且子类的类型形参列表必须包含父类的类型形参列表 泛型类的定义和实例化...* test01就是一个泛型类 * 里面就是一个参数类型,但是这个类型是什么?...,不是带泛型的方法就是泛型方法,泛型方法有要求:这个方法的泛型参数类型要和当前类的泛型方法的泛型无关 换个角度:泛型方法对应的那个泛型参数类型和当前所在的这个类,是否为泛型类,泛型是啥,无关 泛型方法定义的时候

    4.3K10

    Kotlin 泛型:类型参数约束

    上一篇文章讲了 Kotlin 泛型:基本使用,接下来我们再进一步了解泛型使用相关的进阶知识。本篇是 Kotlin 泛型类型参数约束的讲解,更多内容可点击链接查看。...Kotlin 泛型:基本使用Kotlin 泛型:类型参数约束系列持续更新中,欢迎关注订阅。...为什么需要类型参数约束在上一篇文章里,我们使用泛型定义了一个泛型列表List,使用这个列表,我们可以在使用的时候,实例化出各种具体类型的列表,比如字符串列表List、整型列表List...: List = TODO()假如我们希望实现一个泛型拓展函数,计算返回「数值类型列表」中的每一个元素的和,会发现有点棘手:因为「类型参数」T 可以是任意类型,我们根本无法编写出一个适用于...什么是类型参数约束对于上述场景,最理想的实现应该满足这些条件:只有数值类型的列表才能调用这个拓展函数拓展函数对「类型参数」所具备的特征有必要的了解,如知道它是一个Number类型因此,我们需要使用泛型参数约束

    2.9K31

    Go 泛型之类型参数

    函数在函数名称与函数参数列表之间多了一段由方括号括起的代码:[T ordered]; maxGenerics 参数列表中的参数类型以及返回值列表中的返回值类型都是 T,而不是某个具体的类型。...我们继续 maxGenerics 泛型函数为例分析,它拥有一个类型参数 T,在常规参数列表中,T 被用作切片的元素类型;在返回值列表中,T 被用作返回值的类型。...按 Go 惯例,类型参数名的首字母通常采用大写形式,并且类型参数必须是具名的,即便你在后续的函数参数列表、返回值列表和函数体中没有使用该类型参数,也是这样。...按照泛型设计方案,如果泛型类型有不止一个类型参数,那么在其声明内部引用该类型名时,不仅要带上所有类型参数,类型参数的顺序也要与声明中类型参数列表中的顺序一致,比如: type P[T1, T2 any]...,方法的 receiver 部分不仅要带上类型名称,还需要带上完整的类型形参列表(如 maxableSlice[T]),这些类型形参后续可以用在方法的参数列表和返回值列表中。

    90310

    java泛型之泛型边界

    参考链接: Java中具有泛型的有界类型 在网上发现这篇文章写得不错,地址:http://build.cthuwork.com:8081/wordpress/category/java教程/java再谈泛型...泛型的泛参(type argument)可以使用实际类型或者通配符(wildcard)。其中通配符可以通过边界(bound)来限制其接受的实际参数的类型。...其泛型边界决定了输入(input)和输出(output)分别能接受什么类型。   输入为其函数的参数、属性能够赋值的值的类型,输出为函数的返回值、获取到的属性的值的类型。   ...泛型也叫参数化类型,顾名思义,通过给类型赋予一定的泛型参数,来达到提高代码复用度和减少复杂性的目的。   在Java中,泛型是作为语法糖出现的。...在虚拟机看来,List这个泛型类型只是普通的类型List而已,这种行为叫泛型擦除(Type Erasure)。   那么在Java中泛型是如何如何实现其目的的呢?Java的泛型充分利用了多态性。

    2.5K10

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

    作为 函数的返回值 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前 使用 out 关键字 , 同时 该 泛型类 又称为 生产类 ( 生产接口 ) , 用于生产 泛型类 指定的泛型对象...泛型类型 作为 函数的返回值 类型 , 则在 声明 泛型参数 类型 时 , 既不使用 in 关键字 , 又不使用 out 关键字 ; 代码示例 : 在下面的接口中 , 泛型类型 即用于作为 返回值 ,...---- 泛型类 中 泛型参数 有 子类 和 父类 , Java 语言中 , 泛型参数 是 子类 的 泛型类对象 , 不可以赋值 给 泛型参数 是父类 的变量 ; Java 中的泛型对象赋值 ,...---- 泛型参数类型 T 在 运行时 会被 类型擦除 , 因此 在运行时 是 不知道 泛型参数 的 具体类型 的 , 借助 reified 关键字 可以检查 运行时 泛型参数 的 具体类型 ;...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

    2.3K10

    Java泛型基础(二)泛型接口泛型方法# 总结

    本文首发于个人网站:Java中的泛型(二) 泛型可以应用于同一个类,该类可以针对多种类型使用,例如构建一个RedisTemplateService组件,用于处理当前应用中所有对象的缓存操作。...在泛型中,基本类型无法作为类型参数,但是Java提供了自动打包和拆包的功能; 泛型方法 知识点总结 如果使用泛型方法可以取代将整个类(或接口)泛型化,那么就应该只使用泛型方法; static方法要使用泛型能力...在使用泛型类的时候,必须在创建对象的时候指定类型参数的值,但是在使用泛型方法时候,不必指明参数类型。...类型推断只对赋值操作有效 泛型方法与可变参数可以一起使用 例子1:使用Generator的泛型方法 package org.java.learn.generics; import org.java.learn.generics.coffee.Coffee...*/ public class Generators { /** * 泛型方法的定义格式——将泛型参数列表放在方法的返回值左面 */ public static

    3.6K30

    Java——泛型基本总结(通配符、泛型接口、泛型方法)

    唯一的解决方案就是不进行对象的向下转型。这样的背景下,就产生了泛型的技术。 泛型的本质:类中的属性或方法的参数,不设置具体的类型,只使用一个标记表示,而在类使用的时候才对其动态的绑定一种数据类型。...,将以上使用的泛型类型由String 变为Integer,此时fun方法不能正常使用,且由于重载是受到参数类型而不是泛型类型的限制,那么无法通过重载来解决此问题。...extends 类:设置泛型的上限,可以设置在类或方法参数中;       ?extends Number:表示可以使用的泛型只能是Number或者Number的子类; ?...super 类:设置泛型的下限,可以设置在方法参数中:       ?super String:表示只能够设置String或者其父类。...5、总结 1)泛型解决的问题就是向下转型所带来的安全隐患; 2)泛型的本质:类的属性或方法的参数可以由用户在使用时动态设置; 3)通配符?、? extends 类、? super 类。

    3.7K30

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

    泛型类、泛型方法、类型通配符的使用 一.泛型类        泛型类的声明和非泛型类的声明类似,除了在类名后面添加了类型参数声明部分...和泛型方法一样,泛型类的类型参数声明部分也包含一个或多个类型参数,参数间用逗号隔开。一个泛型参数,也被称为一个类型变量,是用于指定一个泛型类型名称的标识符。...下面是定义泛型方法的规则: 所有泛型方法声明都有一个类型参数声明部分(由尖括号分隔),该类型参数声明部分在方法返回类型之前(在下面例子中的)。...每一个类型参数声明部分包含一个或多个类型参数,参数间用逗号隔开。一个泛型参数,也被称为一个类型变量,是用于指定一个泛型类型名称的标识符。...类型参数能被用来声明返回值类型,并且能作为泛型方法得到的实际参数类型的占位符。 泛型方法体的声明和其他方法一样。

    5.1K40

    Java泛型详解:为什么使用泛型?如何使用泛型?

    在Java中,使用泛型有三种方式:泛型类和泛型方法,泛型接口。 泛型类:我们可以通过在类的定义中使用来指定一个或多个类型参数,用于代替具体的类型。...泛型方法的使用: 泛型方法可以在方法的定义中使用类型参数来代表具体的类型。通过在方法返回类型之前使用尖括号定义类型参数,我们可以编写出可以适用于不同类型数据的通用方法。...来表示未知的类型。在方法内部,我们可以通过遍历列表打印出列表中的每个元素。 2. 通配符作为方法的返回类型: public List的类型。该方法可以根据实际需求返回不同类型的列表。 通过使用泛型通配符?,我们可以编写更加灵活和通用的代码,尤其是当我们不确定要处理的类型时。...然后,我们调用printList方法来打印这两个列表的元素。由于printList方法使用的是泛型通配符?,所以可以接受不同类型的列表作为参数。

    68810

    Java泛型类型擦除问题

    Java泛型类型擦除问题 以前就了解过Java泛型的实现是不完整的,最近在做一些代码重构的时候遇到一些Java泛型类型擦除的问题,简单的来说,Java泛型中所指定的类型在编译时会将其去除,因此Listjava泛型只能做到编译期检查的功能,运行期间就不能保证类型安全。...json序列化后的字符串,并提供了方法将string spec 反序列化成相应的类型,比较理想的方式是在反序列化的方法中能够获取到参数类型 T 的实际类型,理论上运行时Spec类型是确定了,因此T也应该是确定的...第二种是创建spec的子类中使用这个方法就可以获取泛型的类型 @Data public abstract static class AbstractSpec { public String...因此理论上子类Spec的类型信息中,实际上是保存了父类中的类型参数信息的,也就是例子中的Foo.

    1.4K20

    Java泛型

    Java泛型概念Java泛型是一种在编译时进行类型检查和类型推断的机制,它可以让我们编写更加通用、可重用的代码,提高了代码的可读性和可维护性,同时保证了类型安全。...Java泛型的核心思想是类型参数化,即在类、接口或方法的定义中使用类型参数来代替具体的类型,这些类型参数在实例化时被具体类型替换,从而实现了通用性和类型安全。...类型擦除:Java泛型在编译时实现类型安全检查,但在运行时会将泛型类型的信息擦除,转换为原始类型。这是为了保持与Java早期版本的兼容性,同时减少运行时的开销。...泛型类和泛型接口:在类或接口的定义中使用类型参数,从而实现类或接口的通用性。例如,List就是一个泛型类,Comparable就是一个泛型接口。...但是,由于Java泛型的类型擦除机制,会导致一些限制,如无法使用基本类型作为类型参数、无法获取泛型类型的具体类型等。因此,在使用Java泛型时需要注意一些细节和限制。

    39421

    Java泛型

    先科普一下知识,什么是泛型?聊啥概念,直接上代码,直奔主题,先从 JDK 1.8 摘点源码出来,一起与泛型打个照面,混个脸熟。 1. 啥是 E?...),指的是仅能传入继承 Comparable 的参数化类型的 list。...super T> 则代表 Comparable 的类型参数必须是 T 或 T 的父型,你可能有迷糊了,还是再抛点代码吧。 ?...super T> 则代表 Comparable 的类型参数必须是 T 或 T 的父类型。 提到 ,那不得不再提一提 泛型是编译期的一种检查,能够有效防止狗入人海,其中主要分为使用泛型的类以及使用泛型的方法;其中 E 主要用于集合的元素,除了 E 之外绝大部分是 T,然后 Java 还引入了一种万用字符是问号,不过可以用任意

    1K20

    Java泛型

    泛型 概述 Java泛型是JavaSE1.5中引入的一个新特性,其本质是参数化类型,也就是说所操作的数据类型被指定为一个参数(type parameter)这种参数类型在定义的时候是宽泛的,而在使用的时候是确定的...* 格式: * 泛型限定符 返回值类型 方法名(泛型类型 参数名) {} * * @param 泛型限定符 * @param...t 任意类型的参数 * @return 返回任意类型参数 */ public static T getData(T t) { return t;...,因为需要通过参数来约束当前方法运行过程中泛型对应的具体数据类型是哪一个 2、返回值类型可以使用自定义泛型,而且是被形式参数列表中传入的泛型对应具体的数据类型控制 3、方法体内也可以使用自定义泛型,...表示未知类型,被称为通配符。通配符可以在各种情况下使用:可以作为形式参数、成员变量、局部变量的类型,也可以作为返回值类型。

    1.1K20
    领券