首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    Kotlin 泛型:类型参数约束

    上一篇文章讲了 Kotlin 泛型:基本使用,接下来我们再进一步了解泛型使用相关的进阶知识。本篇是 Kotlin 泛型类型参数约束的讲解,更多内容可点击链接查看。...Kotlin 泛型:基本使用Kotlin 泛型:类型参数约束系列持续更新中,欢迎关注订阅。...为什么需要类型参数约束在上一篇文章里,我们使用泛型定义了一个泛型列表List,使用这个列表,我们可以在使用的时候,实例化出各种具体类型的列表,比如字符串列表List、整型列表List...我们使用泛型类来实现打印机Printer,显然这个类型参数需要满足两个条件:T必须实现Printable接口T必须实现Serializable接口这两个条件无法用前一节的简单类型参数约束来表达,因此...利用范型约束实现非空范型Kotlin 有一个为人称道的特性:不可空。但当我们使用范型时,这个特性在不幸的失效了。

    2.3K31

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

    文章目录 一、泛型类 二、泛型参数 三、泛型函数 四、多泛型参数 五、泛型类型约束 一、泛型类 ---- 定义一个 泛型类 , 将 泛型参数 T 放在 尖括号 中 , 该泛型参数放在 类名后..., 主构造函数之前 , 该泛型参数 T 是 类型占位符 , 在 该泛型类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性 主构造函数中可以接收 T 类型的实例对象作为参数...下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T 类型的成员属性 ; class Student...T 的实际类型是 String 类型 , 在 logT 中 泛型 R 的类型是 Double 类型 ; student2 实例对象中 , 泛型 T 的实际类型是 Int 类型 , 在 logT 中 泛型...R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 : 如果类中

    2.9K10

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

    R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 : 如果类中...> 子类 , Producer 的泛型参数 FastFood 是 Food 的子类 , 在 Kotlin 中 , 可以将 Producer 类型赋值给 Producer...Food 的子类 // 在 Kotlin 中 , 可以将 Producer 类型赋值给 Producer 类型 // 在 Java 中这种用法不行...FastFood 是 Food 的子类 // 在 Kotlin 中 , 可以将 Producer 类型赋值给 Producer 类型 // 在 Java...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

    4.1K10

    Kotlin 泛型详解

    所以我想说的是,泛型这东西,只要你对 Java 泛型有一定的认识,Kotlin 的泛型基本可以直接用。那我们这篇文章要干嘛呢?只是做一个简单的介绍啦,都很好理解的。 1....fun getResult(): R{        ...    } } Java/Kotlin 的泛型实现采用了类型擦除的方式,这与 C# 的实现不同,后者是真·泛型,前者是伪·泛型。...public static void testGenerics(){     System.out.println(T.class); } 这段代码无法编译,因为 T 是个泛型参数,你不能用它去获取...对于协变的类型,通常我们是不允许将泛型类型作为传入参数的类型的,或者说,对于协变类型,我们通常是不允许其涉及泛型参数的部分被改变的。...其他 4.1 Raw 类型 Raw 类型就是对于定义时有泛型参数要求,但在使用时指定泛型参数的情况,这个只在 Java 中有,显然也是为了前向兼容而已。

    1.2K20

    转向Kotlin——泛型

    无论是Java还是Kotlin,泛型都是一个非常重要的概念,简单的泛型应用很容易理解,不过也有理解起来麻烦的时候。一起来认识一下。...泛型基础 在了解Kotlin的泛型之前,先来看看Java中的泛型: 举个栗子:在JDK中,有一类列表对象,这些对象对应的类都实现了List接口。...,不过在Kotlin泛型中,没有通配符。...Kotlin中 Kotlin泛型并没有提供通配符,取而代之的是out和in关键字。用out声明的泛型占位符只能在获取泛型类型值得地方,如函数的返回值。...小结 Kotlin泛型是在Java泛型的基础上进行了改进,变得更好用,更安全,尽管上述的泛型技术不一定都用得上,但对于全面了解Kotlin泛型会起到很大作用。

    93520

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

    由于 Nothing 的构造函数是私有的,我们将无法调用 show 函数,除非我们抛出异常,但这没有意义。 这个概念在泛型星投影的时候是有应用的,具体后面会解释。...# 泛型:让类型更加安全 Kotlin 的泛型与 Java 一样,都是一种语法糖,即只在源代码中有泛型定义,到了class级别就被**擦除**了。...在 Java 中,我们常见的泛型有:泛型类、泛型接口、泛型方法和泛型属性,Kotlin 泛型系统继承了 Java 泛型系统,同时添加了一些强化的地方。...### 泛型接口/类(泛型类型) 定义泛型类型,是在类型名之后、主构造函数之前用尖括号括起的大写字母类型参数指定: ### 声明泛型接口 > Java: ``` //泛型接口 interface...in位置,而函数返回类型叫作out位置 #### 协变 :保留子类型化关系 如果在定义的泛型类和泛型方法的泛型参数前面加上out关键词,说明这个泛型类及泛型方法是协变,简单来说类型A是类型B的子类型

    46950

    Go语言进阶:类型推断、类型断言与泛型的深入探索

    一、引言Go语言作为一种静态类型语言,通过类型推断、类型断言以及泛型,为开发者提供了灵活且强大的类型处理能力。...本文将深入探讨Go语言的类型推断、类型断言和泛型这三个核心概念,帮助读者更深入地理解Go语言的类型系统,掌握在编程中有效使用这些特性的技巧,从而提升代码质量和开发效率。二、Go语言的类型推断1....缺点:性能开销:反射操作通常比直接操作类型要慢,因为它涉及到在运行时解析类型信息。类型安全性降低:使用空接口和反射会失去部分类型安全性,因为编译器无法对类型进行静态检查。...Go语言泛型的核心特性Go语言泛型的核心特性主要包括以下几点:类型参数化:泛型允许在函数、方法和类型定义中使用类型参数,这些参数在实例化时会被具体的类型所替代。...类型推断:在调用泛型函数或实例化泛型类型时,Go编译器可以自动推断出类型参数的具体类型,从而简化了泛型的使用。类型安全:泛型在编译时进行类型检查,确保类型参数的使用是安全的,避免了运行时类型错误。

    1.4K10

    Kotlin | 9. 泛型

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

    1.8K10

    Kotlin 泛型:基本使用

    但使用泛型仅仅是第一步,要想将泛型应用好,仍然需要做进一步深入的学习。本篇是 Kotlin 泛型的基础介绍,进阶内容可点击链接查看。...Kotlin 泛型:基本使用Kotlin 泛型:类型参数约束系列持续更新中,欢迎关注订阅。为什么需要泛型假如我们想实现自定义的列表类型,用于存放数值、字符串或其他具体的类型。...如果没有泛型,我们只能针对每种具体的类型,分别定义对应的列表,这种方式只能针对有限的具体类型进行实现、不同具体类型的列表实际上具有相似的实现,这些代码只能在不同列表间拷贝重复,无法复用,难以维护。...而上面这个例子,由于任何类型都是 Any 类型的子类,在进行类型检查时,Kotlin 无法帮我们检查出不合理的调用,我们完全可以往一个 String 列表里放入一个 Number 实例,从而让使用者从一个...下一篇文章,将介绍 Kotlin 泛型的进阶知识:类型参数约束

    1.8K30

    kotlin入门之泛型

    【码上开学】Kotlin 的泛型 在学习kotlin 泛型之前我们先来回顾一下关于Java的泛型基础吧。 说道泛型,我们可能最常用的就是在三大集合中去使用。...泛型 将具体的类型泛化,编码的时候用符号来值代类型,在使用时再确定他的类型。 因为泛型的存在,我们可以省去强制类型转化。 泛型是跟类型相关的,那么是不是也能使用与类型的多态呢?...说完了Java的泛型之后,我们在回头看一下kotlin中的泛型。 kotlin 中的out和in kotlin和java泛型一样,kotlin中的泛型本身也是不可变的。...P2)=TODO() } val f:Function=Function() f.invoke()//参数为下限,但是我们的kotlin中下限为`Nothing`,无法实例化...伪泛型:编译时擦除类型,运行时无实际类型生成 例如:java、kotlin 真泛型:编译时生成真实类型,运行时也存在该类 例如:C#、C++ 我们知道JVM上的泛型,一般是通过类型擦除来实现的

    1.2K20

    Kotlin泛型的型变之路

    kotlin修炼指南7之泛型 泛型,是为了让「类」、「接口」、「方法」具有更加通用的使用范围而诞生的,举个例子,假如我们不使用泛型,那么一个List中可以装得下任何对象,这么做的问题就在于,在使用时,需要对类型进行检查...通用泛型类型:T,S,U,V 集合元素泛型类型:E 映射键-值泛型类型:K,V 数值泛型类型:N 要理解Kotlin的泛型,我们最好首先从Java的泛型来学习,毕竟Kotlin的语法糖太多了,Java会更加白话文一点...我们站在编译器的角度来想想,假如它们是同一个类型,那么在Test类中get出来的实例,到底是A还是B呢?所以编译器为了避免这种不确定性,就否定了Test和Test是一种类型的推断。...Kotlin型变 泛型让我们有了可以支持多种类型的能力,型变让我们有了修改泛型的能力,总结来说: 泛型通配符<?...reified 由于在Java会进行泛型擦除,所以编译器无法在运行时知道一个确切的泛型类型,也就是说,我们无法在运行时,判断一个对象是否为一个泛型T的实例,例如下面的代码。

    1.2K21

    Kotlin基础之泛型

    例如: val box: Box = Box(1) 当类型可以从构造参数或其他上下文中推断出时,可以忽略类型参数。...上面的代码可以简化为: val box = Box(1) 型变 Java类型系统中最复杂的其中一个部分就是通配符类型(Java泛型FAQ)。...此时安全地定义投影的泛型,每个泛型的具体实例都是泛型的子类型。 为此,Kotlin提供称为星号投影的语法。 对于Foo,T为带有上界TUpper的协变量,Foo等价于Foo。...如果泛型有多个类型参数,则每个都可以独立投影。比如,如果类型声明为interface Function 泛型函数 不仅类可以有类型参数,函数也可以有。...val l = SingletonList(1) 泛型约束 所有可以被指定类型参数替代的类型,都可以使用泛型约束进行限制。

    98870

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

    - 使用 in 关键字 , 可以使 父类泛型对象 赋值给 子类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的参数 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前...> 子类 , Producer 的泛型参数 FastFood 是 Food 的子类 , 在 Kotlin 中 , 可以将 Producer 类型赋值给 Producer...Food 的子类 // 在 Kotlin 中 , 可以将 Producer 类型赋值给 Producer 类型 // 在 Java 中这种用法不行...FastFood 是 Food 的子类 // 在 Kotlin 中 , 可以将 Producer 类型赋值给 Producer 类型 // 在 Java...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

    1.7K10

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

    文章目录 一、Dart 泛型类与泛型方法 二、Dart 泛型中的特定类型约束 三、Dart 自带泛型 四、完整代码示例 五、 相关资源 一、Dart 泛型类与泛型方法 ---- 泛型作用 : 为 类 ,...接口 , 方法 提供复用性 , 支持类型不确定的数据类型 ; 泛型类 : 提高代码复用程度 ; 泛型方法 : 参数或返回值有泛型类型约束 , 参数或返回值类型必须符合对应的泛型类型 , 泛型使用时会进行类型检查约束...创建泛型类对象 , 泛型类型设置为 String 类型 Cache cache = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型..., 泛型类型设置为 int 类型 Cache cache2 = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型 // 泛型约束 : 泛型使用时会进行类型检查约束...Tom I/flutter (24673): 泛型测试, 类型整型, 获取的缓存内容为 18 二、Dart 泛型中的特定类型约束 ---- 泛型还可以进行特定类型约束 , 如指定该泛型类型必须是某个类的子类

    5.4K00
    领券