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

Kotlin 泛型:类型参数约束

上一篇文章讲了 Kotlin 泛型:基本使用,接下来我们再进一步了解泛型使用相关的进阶知识。本篇是 Kotlin 泛型类型参数约束的讲解,更多内容可点击链接查看。...Kotlin 泛型:基本使用Kotlin 泛型:类型参数约束系列持续更新中,欢迎关注订阅。...为什么需要类型参数约束在上一篇文章里,我们使用泛型定义了一个泛型列表List,使用这个列表,我们可以在使用的时候,实例化出各种具体类型的列表,比如字符串列表List、整型列表List...利用范型约束实现非空范型Kotlin 有一个为人称道的特性:不可空。但当我们使用范型时,这个特性在不幸的失效了。...中的泛型属性也同样变得可空,这使得泛型类在具体实现的时候,需要考虑参数为空的情况,也让编写代码的具体实现变得复杂。

2.3K31

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

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

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

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

    文章目录 一、泛型类 二、泛型参数 三、泛型函数 四、多泛型参数 五、泛型类型约束 六、可变参数 vararg 关键字与泛型结合使用 七、使用 [] 运算符获取指定可变参数对象 八、泛型 out 协变...中 泛型 R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 :...return action(item) } 在 尖括号 中声明 泛型参数 时 , 可以指定 泛型类型 的 约束 , 如 泛型类型 必须是某个类型的子类 ; 在下面的代码中...> 子类 , Producer 的泛型参数 FastFood 是 Food 的子类 , 在 Kotlin 中 , 可以将 Producer 类型赋值给 Producer...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

    4.1K10

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

    文章目录 一、Dart 泛型类与泛型方法 二、Dart 泛型中的特定类型约束 三、Dart 自带泛型 四、完整代码示例 五、 相关资源 一、Dart 泛型类与泛型方法 ---- 泛型作用 : 为 类 ,...接口 , 方法 提供复用性 , 支持类型不确定的数据类型 ; 泛型类 : 提高代码复用程度 ; 泛型方法 : 参数或返回值有泛型类型约束 , 参数或返回值类型必须符合对应的泛型类型 , 泛型使用时会进行类型检查约束...Tom I/flutter (24673): 泛型测试, 类型整型, 获取的缓存内容为 18 二、Dart 泛型中的特定类型约束 ---- 泛型还可以进行特定类型约束 , 如指定该泛型类型必须是某个类的子类..., 使用 约束该泛型必须是某个类的子类 ; 泛型类示例代码 : /// 泛型中的特定类型约束 /// 将泛型约束为某个类型的子类 class Member<T extends...(String key){ return _map[key]; } } /// 泛型中的特定类型约束 /// 将泛型约束为某个类型的子类 class Member<T extends Person

    5.4K00

    Kotlin 泛型之类型擦除

    Java 泛型的优点 泛型是 Java 5 的重要特性之一。泛型的本质是参数化类型,也就是说所操作的数据类型被指定为一个参数。...这种参数类型可以用在类、接口和方法的创建中,分别称为泛型类、泛型接口、泛型方法。...Java 泛型的优点包括: 类型安全 消除强制类型转换 避免了不必要的装箱、拆箱操作,提高程序性能 提高代码的重用性 下面,以我的缓存框架 RxCache 中 Memory 接口为例: package...Kotlin 泛型 Kotlin 基于 Java 6,因此 Kotlin 天生支持泛型。但是 Kotlin 的泛型有自己的特点。...Kotlin 如何获得声明的泛型类型 跟 Java 一样,Kotlin 也是通过类型擦除支持泛型。 但是 Kotlin 的数组支持泛型,因此它们并不会协变。

    1.7K30

    C#中的泛型(类型参数的约束)

    首先,来看一个程序,对泛型有一个初步的认识。...因为我们的数组中存储的元素类型是不确定的,所以这里我们用到了泛型,其中where T : strut子句约束参数类型T必须为值类型。当然这个程序我们不使用泛型,直接定义Object类型的数组也可以。...下面重点说说C#中泛型类型参数的约束: 在定义泛型类时,可以对客户端代码能够在实例化类时用于类型参数的类型种类施加限制。 如果客户端代码尝试使用某个约束所不允许的类型来实例化类,则会产生编译时错误。...T: 类型参数必须是指定的接口或实现指定的接口。 可以指定多个接口约束。 约束接口也可以是泛型的。 T:U 为 T 提供的类型参数必须是为 U 提供的参数或派生自为 U 提供的参数。...于是,我想能不能写一个简单的泛型类,其中里面实现对数值类型的加减乘除四则运算,遇到的问题是 :where子句后面的约束怎么写,我查看的数值型的类Int32等等,它们的基类是Object,如果直接定义一个泛型参数

    3.7K60

    TypeScript中泛型及泛型函数、泛型类、泛型接口,泛型约束,一文读懂

    最近在学TypeScript,然后整理了一下关于TypeScript中泛型的一些笔记。...泛型一般用来处理多个不同类型参数的方法。就是在方法中传入通用的数据类型,使多个方法合并成一个。 可以将类型参数化 好处:达到代码复用、提高代码通用性的目的。...在使用过程中,泛型操作的数据类型会根据传入的类型实参来确定 泛型可以用在 类、接口、方法中,分别被称为 泛型类、泛型接口、泛型方法。...T 必须放在中间 一般不能单独出现,会出现在类 函数、 接口 、中 ,在函数体内,编译器不知道泛型变量T具体数据类型,只能认为其为 任意值(any) 类型 泛型约束 泛型参数T类似于any类型...但是有些情况下,函数需要处理的数据有一定的约束,比如有一个泛型函数需要访问泛型参数T的length属性,并加1。基于这种需求,必须对泛型参数T进行约束,也就是泛型约束。

    2.8K30

    C#中的泛型约束:如何利用泛型约束来提高代码的类型安全性和灵活性?

    泛型约束是指可以对泛型类型参数进行限制,只允许特定类型或满足特定条件的类型作为泛型参数。...使用泛型约束可以提高代码的类型安全性和灵活性,以下是一些常见的泛型约束及其作用: 类型约束(class constraint):使用 where T : class 约束可以确保泛型参数必须是引用类型...这可以避免在泛型方法中使用值类型参数,因为值类型参数会被装箱和拆箱,造成性能损失。...结构约束(struct constraint):使用 where T : struct 约束可以确保泛型参数必须是值类型。这可以避免在泛型方法中使用引用类型参数,以提高性能和避免空引用异常。...通过使用这些泛型约束,可以在编译时捕获潜在的类型错误,并提供更好的类型安全性。同时,约束也提供了更灵活的代码设计,可以根据特定的约束条件编写更通用、可复用的代码。

    8110

    TypeScript-在泛型约束中使用类型参数

    在泛型约束中使用类型参数概述一个泛型被另一个泛型约束, 就叫做 泛型约束中使用类型参数博主需求: 定义一个函数用于根据指定的 key 获取对象的 value:let getProps = (obj: object..., key: string): any => { return obj[key];}如上的代码在编译器当中是会报错的,报错的原因就是它不知道 obj[key] 返回的到底是不是 any 这个类型,...(res);图片如上的代码 a 和 b 都是存在的 key,如果这个时候我要获取一个 c 的 key 的 value 那么就直接是 undefined 了,说明一个问题,代码不够健壮, 明明 obj 中没有...c 这个 key 但是却没有报错,那么这时就可以利用 在泛型约束中使用类型参数 来解决该问题,代码如下:图片let getProps = (obj: T,

    20310

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

    (如String!,Int!, CustomClass!)。 Kotlin平台类型**本质**上就是Kotlin不知道**可空性信息**的类型,即可以当作可空类型,也可以当作非空类型。...在 Java 中,我们常见的泛型有:泛型类、泛型接口、泛型方法和泛型属性,Kotlin 泛型系统继承了 Java 泛型系统,同时添加了一些强化的地方。...= tClass.newInstance() return t } ``` ### 泛型约束 Java 中可以通过有界类型参数来限制参数类型的边界,Kotlin中泛型约束也可以限制参数类型的上界...比如,在Java中String是Oject的子类型,但List并不是List的子类型,在Kotlin中泛型的原理也是一样的。...| 泛型函数 | | 有界类型参数 | class Box | class Box> | 泛型约束 | | 上界通配符

    46950

    【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

    C#高级语法之泛型、泛型约束,类型安全、逆变和协变(思想原理)

    泛型其实就是一个不确定的类型,可以用在类和方法上,泛型在声明期间没有明确的定义类型,编译完成之后会生成一个占位符,只有在调用者调用时,传入指定的类型,才会用确切的类型将占位符替换掉。...} //泛型类中具体使用CName //返回值为CName并且接受一个类型为CName类型的对象 public CName GetC(CName c) {...二、泛型约束 泛型约束就是对泛型(传入的类型)进行约束,约束就是指定该类型必须满足某些特定的特征,例如:可以被实例化、比如实现Animal类等等 我们来看一下官方文档上都有那些泛型约束: 说明 对多个参数应用约束...where 泛型 : 泛型约束1、泛型约束2.......然后我们来为AnimalHouse添加泛型约束为:必须包含公共无参构造函数和基类必须是Animal //Animal约束T必须是Animal的子类或者本身,new()约束放在最后 public class

    7.1K30

    如何在运行时(Runtime)获得泛型的真正类型

    前言 由于Java 的类型擦除机制,在编译时泛型都被转为了Object,例如List经过编译之后将变为类型 List。...可以通过以下的方式再运行时获得泛型的真正类型 泛型如何获得具体类型 List 例子如下 来自:https://stackoverflow.com/questions/1942644/get-generic-type-of-java-util-list...e.printStackTrace(); } } } 实际二者都利用的反射,都是基于 java.lang.reflect.ParameterizedType jackson 中如何反序列化泛型...,但是没有指定Map里边存放的数据是什么类型,所以得到结果之后还需要对 Object name 做一次强制类型转换才能够使用。...可以使用方式二,告知实际 Map 中存放的对象,从而得到正确的类型,代码如下所示: ObjectMapper mapper = new ObjectMapper(); String json = "{\

    2.9K20

    【说站】java泛型中类型擦除的转换

    java泛型中类型擦除的转换 说明 1、泛型值存在于编译阶段,当代码进入虚拟机时,泛型值将被删除。 2、这个特征被称为类型删除。当泛型被删除时,他有两种转换方法。...第一种是,如果泛型没有设置类型上限,泛型将转换为Object类型,第二种是如果设置了类型上限,泛型将转换为其类型上限。...() {         return t;     }     public void setT(T t) {         this.t = t;     } } //通过反射调用获取他们的属性类型... field : aClass2.getDeclaredFields()) {         System.out.println("test2属性:" + field.getName() + "的类型为...:" + field.getType().getName());     } } 以上就是java泛型中类型擦除转换的方法,希望对大家有所帮助。

    1.2K20

    当类的泛型相关时,如何在两个泛型类之间创建类似子类型的关系呢

    对话中的截图如下: 看了阿Q的解释,你是否也和“马小跳”一样存在疑问呢?请往看 我们都知道在java中,只要是类型兼容,就可以将一种类型的对象分配给另一种类型的对象。...,在执行泛型类型调用时,将Number作为其类型参数传递,如果参数是Number的子类型,则允许任何后续的add调用: Box box = new Box(); box.add...那么问题来了,当类的泛型相关时,如何在两个泛型类之间创建类似子类型的关系呢?例如如何让Box 和Box变得与Box有关呢?...小结:可以通过继承泛型类或者实现接口来对其进行子类型化。 搞懂了子类型化的问题,我们回到“如何在两个泛型类之间创建类似子类型的关系“的问题。...泛型类或者接口并不会仅仅因为它们的类型之间有关系而变得相关,如果要达到相关,我们可以使用通配符来创建泛型类或接口之间的关系。

    2.9K20

    C# 泛型中的数据类型判定与转换

    当然了,无论是装箱和拆箱,对于性能都是有消耗的,不到万不得已的时候尽量不要用(虽然我才不管这些,只要我用的爽就行了233) 虽然一般不提倡用object类型作为函数参数,取而代之使用泛型成为首选,那么如何判断泛型参数的具体数据类型并进行有效转换呢...public enum PropertyType 2 { 3 Main, 4 Sub 5 } 定义了一个名叫「属性」的结构体,包含标签,具体值和属性类别(是主属性还是副属性),并使用泛型约束数据为值类型...现在想要快速对这个结构体进行加法操作,于是增加操作符重载函数,方便愉快的对两个属性的值相加,但问题是泛型是无法强转为任何一种非object数据类型,直接相加则更是不可能。...is关键字,也可直接取得值的类型或泛型类型进行判定: 1 if (tempa.GetType() == typeof(float)) 2 { 3 4....Net 4.0 以后开始支持动态数据类型——也就是dynamic关键字;令人兴奋的是,dynamic可以被赋值为任何一种类型的值,当然也包括泛型。

    3.7K30

    CA1000:不要在泛型类型中声明静态成员

    值 规则 ID CA1000 类别 设计 修复是中断修复还是非中断修复 重大 原因 泛型类型包含 static(在 Visual Basic 中为 Shared)成员。...默认情况下,此规则仅查看外部可见的类型,但这是可配置的。 规则说明 调用泛型类型的 static 成员时,必须指定该类型的类型参数。 当调用不支持推理的泛型实例成员时,必须指定该成员的类型参数。...这导致用于调用泛型中的成员的语法与用于非泛型的语法没有区别。 如何解决冲突 若要解决此规则的冲突,请删除静态成员或将其更改为实例成员。 何时禁止显示警告 不禁止显示此规则发出的警告。...请将以下键值对添加到项目中的 .editorconfig 文件: dotnet_code_quality.CAXXXX.api_surface = private, internal 相关规则 CA1005:避免泛型类型的参数过多...CA1010:集合应实现泛型接口 CA1002:不要公开泛型列表 CA1003:使用泛型事件处理程序实例 另请参阅 泛型

    49630

    Android经典实战之用Kotlin泛型实现键值对缓存

    Kotlin 中的泛型是一种允许类型参数化的特性。它可以增强代码的重用性、类型安全性和可读性。在实际编写代码时,通过泛型,你可以编写更为通用的类和方法,而不必具体针对某种特定类型。...基本语法 在 Kotlin 中,使用尖括号 来定义泛型。...这可以通过泛型约束实现: fun > sort(list: List) { // sort implementation } 在这个例子中,类型参数...型变(Variance) Kotlin 中的型变分为协变(Covariance)和逆变(Contravariance)。协变允许子类型替换父类型,而逆变则相反。...} } val consumer: Consumer = Consumer() // 合法 泛型实战 以下是一个实际示例,展示如何在 Kotlin 中使用泛型构建一个通用的数据缓存系统

    9910
    领券