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

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

文章目录 一、泛型类 二、泛型参数 三、泛型函数 四、多泛型参数 五、泛型类型约束 一、泛型类 ---- 定义一个 泛型类 , 将 泛型参数 T 放在 尖括号 中 , 该泛型参数放在 类名后..., 主构造函数之前 , 该泛型参数 T 是 类型占位符 , 在 该泛型类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性 主构造函数中可以接收 T 类型的实例对象作为参数...下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T 类型的成员属性 ; class Student...---- 泛型函数 中 如果涉及到 匿名函数 参数 , 匿名函数 的 参数返回值 都是泛型 的话 , 在该泛型函数 中可能需要使用多个泛型 , 使用不同的字母表示不同的泛型 ; 如果函数中 引入了新的泛型类型...中 泛型 R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 :

2.9K10

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

放在 尖括号 中 , 该泛型参数放在 类名后 , 主构造函数之前 , 该泛型参数 T 是 类型占位符 , 在 该泛型类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性...都使用 T 来表示泛型 ; 代码示例 : 下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T...中 泛型 R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 :...子类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的参数 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前 使用 in 关键字 , 同时 该 泛型类 又称为 消费类...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

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

    Kotlin 泛型:类型参数约束

    上一篇文章讲了 Kotlin 泛型:基本使用,接下来我们再进一步了解泛型使用相关的进阶知识。本篇是 Kotlin 泛型类型参数约束的讲解,更多内容可点击链接查看。...Kotlin 泛型:基本使用Kotlin 泛型:类型参数约束系列持续更新中,欢迎关注订阅。...为什么需要类型参数约束在上一篇文章里,我们使用泛型定义了一个泛型列表List,使用这个列表,我们可以在使用的时候,实例化出各种具体类型的列表,比如字符串列表List、整型列表List...什么是类型参数约束对于上述场景,最理想的实现应该满足这些条件:只有数值类型的列表才能调用这个拓展函数拓展函数对「类型参数」所具备的特征有必要的了解,如知道它是一个Number类型因此,我们需要使用泛型参数约束...中的泛型属性也同样变得可空,这使得泛型类在具体实现的时候,需要考虑参数为空的情况,也让编写代码的具体实现变得复杂。

    2.3K31

    Go 泛型之类型参数

    和常规参数类似,泛型函数中类型参数也有其作用域范围,这个范围从类型参数列表左侧的方括号[开始,一直持续到函数体结束,如下图所示: 类型参数的作用域也决定了类型参数的声明顺序并不重要,也不会影响泛型函数的行为...像这样在定义中带有类型参数的类型就被称为泛型类型(generic type)。 从例子中的 maxableSlice 类型声明中我们可以看到,在泛型类型中,类型参数列表放在类型名字后面的方括号中。...., Tn constraintN] TypeLiteral 和泛型函数中类型参数有其作用域一样,泛型类型中类型参数的作用域范围也是从类型参数列表左侧的方括号[开始,一直持续到类型定义结束的位置,如下图所示...按照泛型设计方案,如果泛型类型有不止一个类型参数,那么在其声明内部引用该类型名时,不仅要带上所有类型参数,类型参数的顺序也要与声明中类型参数列表中的顺序一致,比如: type P[T1, T2 any]...} 另外,泛型方法中的 receiver 中类型参数名字可以与泛型类型中的类型形参名字不同,位置和数量对上即可。

    28810

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

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

    3.7K60

    《现代Typescript高级教程》泛型和类型体操

    现代JavaScript高级小册 深入浅出Dart 现代TypeScript高级小册 泛型和类型体操 泛型和类型体操(Type Gymnastics)是 TypeScript 中高级类型系统的重要组成部分...通过显式传递泛型参数,我们可以确保在函数调用时指定了具体的类型。 2. 泛型接口 泛型接口允许我们在接口定义中使用类型参数,以便在实现该接口时指定具体的类型。...泛型类 泛型类允许我们在类定义中使用类型参数,以便在创建类的实例时指定具体的类型。...number | undefined 在上面的示例中,我们定义了一个泛型类 Stack,它使用类型参数 T 来表示堆栈中的元素类型。...通过结合泛型、extends 关键字、内置泛型函数和其他高级类型概念,我们能够在 TypeScript 中编写更复杂、类型安全的代码,并利用 TypeScript 的强大类型系统来提高代码的可读性、可维护性和可扩展性

    37930

    java泛型:通过自定义ParameterizedType实现参数化类型中类型参数的替换

    需求说明 如果要动态构造一个泛型参数对象(ParameterizedType),guava提供的TypeToken工具可以部分实现这个功能: 比如下面这个例子(来自guava wiki TypeToken...TypeToken> mapToken(TypeToken keyToken, TypeToken valueToken) { // where 方法是个神器,返回可以指定K,V参数类型...} sb.append(">"); } return sb.toString(); } /** * 将当前对象的类型参数中为...ParameterizedTypeImpl(TypeToken.of(this).getRawType(), typeArgs, getOwnerType()); } /** * 用指定的类型参数替换当前对象的类型参数... * 新参数的个数与当前对象的类型参数个数必须一致, * 如果新参数数组中元素为{@code null}则对应的参数不会被替换 * @param newTypeArguments

    4.8K80

    如何通过Java反射获取泛型类型信息

    前言 关于Java泛型,很多人都有一个误解,认为Java代码在编译时会擦除泛型的类型,从而在运行时导致没法访问其类型,这其实并不完全正确,因为有一部分泛型信息是可以在运行时动态获取的,这部分信息基本能够满足我们日常开发中的大多数场景...; transient Node last; ok,在上面的两种场景中,第一种场景在类和接口上声明的泛型,在运行时反射该类,是没法知道其参数信息的,包括对象本身也不知道它的泛型是什么。...但类似第二种场景中通过对象的指针引用,我们是可以通过反射获取其泛型的类型信息的,但要注意局部变量是没法获取其泛型信息的。...:"+realType); } } } } 总结 本文主要介绍了如何使用反射来获取部分泛型参数的类型信息,并介绍了那些场景不能使用反射获取其类型信息...,通过反射获取参数的类型的泛型信息其实是非常有用的一个功能,比如在一些json工具的开源包里面,可以对Java里面泛型的各种List,List等类型做正确识别,其实就是利用反射的这个功能,从而让解析代码具有更强的通用型

    9.3K21

    java typereference_Java泛型 | Jackson TypeReference获取泛型类型信息「建议收藏」

    本文以Jackson为例介绍TypeReference实现涉及泛型的反序列化,及TypeReference的实现原理。...对于获取泛型类型信息的场景,TypeReference是一个可以参考的通用解决方案。 实例 Jackson ObjectMapper的readValue可以将Json字符串反序列化为Java对象。...泛型抽象类TypeReference用于通过子类获取完整的泛型类型信息。...TypeReference>(){}子类的实例,TypeReference源码部分比较简单,主要逻辑是,通过getClass().getGenericSuperclass()获取父类中的参数化类型(ParameterizedType...Class的genericInfo: 总结Jackson ObjectMapper 提供了TypeReference支持对泛型对象的反序列化; 对于获取泛型类型信息的场景,TypeReference是一个可以参考的通用解决方案

    2.7K10

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

    - 使用 in 关键字 , 可以使 父类泛型对象 赋值给 子类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的参数 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前...Consumer { fun consume(t: T) } 三、泛型 invariant 不变 ---- 在 泛型类 中 , 如果 既将 泛型类型 作为 函数的参数 类型 , 又将...---- 泛型类 中 泛型参数 有 子类 和 父类 , Java 语言中 , 泛型参数 是 子类 的 泛型类对象 , 不可以赋值 给 泛型参数 是父类 的变量 ; Java 中的泛型对象赋值 ,... // 在 Consumer 中 , 使用了泛型参数 in 逆变 // 泛型参数是父类 的泛型类对象 可以赋值给 泛型参数是子类 的泛型对象 val consumer...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

    1.7K10

    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

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

    二、泛型约束 泛型约束就是对泛型(传入的类型)进行约束,约束就是指定该类型必须满足某些特定的特征,例如:可以被实例化、比如实现Animal类等等 我们来看一下官方文档上都有那些泛型约束: 说明 对多个参数应用约束...协变就是为了解决这一问题的,这样做其实也是为了解决类型安全问题(百度百科):例如类型安全代码不能从其他对象的私有字段读取值。它只从定义完善的允许方式访问类型才能读取。...而dog.AddAnimal(参数类型);的参数类型是不是就是需要一个Animal类型的对象?那传入一个Dog类型的d对象是不是最终也是转换为Animal类型放入dog对象中?...所以当逆变作为参数传递时,类型是安全的。 思考:那么,现在你能明白上面那个错误,为什么“协变时泛型无法作为参数、逆变时泛型无法作为返回值”了吗?...//类型是不安全的,所以协变时泛型无法作为参数 void AddAnimal(T a); bool RemoveAnimal(T a); }

    7.1K30

    CA1005:避免泛型类型的参数过多

    值 规则 ID CA1005 类别 设计 修复是中断修复还是非中断修复 重大 原因 外部可见的泛型类型具有两个以上的类型参数。 默认情况下,此规则仅查看外部可见的类型,但这是可配置的。...规则说明 泛型类型包含的类型参数越多,越难以知道并记住每个类型参数各代表什么。...它通常有一个类型参数,如在 List 中,而在某些情况下有两个类型参数,如在 Dictionary 中。...包含特定的 API 图面 你可以仅为此规则、为所有规则或为此类别中的所有规则配置此选项(设计)。 有关详细信息,请参阅代码质量规则配置选项。...CA1000:不要在泛型类型中声明静态成员 CA1002:不要公开泛型列表 CA1003:使用泛型事件处理程序实例 另请参阅 泛型

    1.1K30

    Rust 1.65 引入泛型关联类型,向高级类类型迈进了一步

    作者 | Sergio De Simone 译者 | 明知山 策划 | 丁晓昀 最新版本的 Rust 引入了一个功能强大的新语言特性,叫作泛型关联类型,允许开发人员为 trait 中的关联类型指定泛型...经过 6 年的开发,泛型关联类型(GAT)可以被认为是 trait 类型构造函数的一种形式,可以用来定义关联类型的泛型、寿命或常量泛型。...这个特性(关联类型构造函数)解决了高级类类型最常见的用例之一,与其他形式的高级类类型多态相比,它是对类型系统的一个相对简单的扩展,并向前兼容将来可能引入的更复杂的高级类类型多态。...Graph 的客户端确实可以使用它,而不需要每次都指定其关联的类型是什么,这对于泛型类型来说是必需的。...如你所见,LendingIterator 使用 Item而不是非泛型的 Item 相关类型,并将 Self 约束为类型'a。这意味着 next 函数将返回一个从 self 借用的项。

    52410

    【说站】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

    Swift5.7 扩展不透明类型(some)到泛型参数

    介绍Swift 中的泛型语法是为了类型通用性设计,这种通用性允许在函数输入和输出时,使用复杂的类型集合来表达,前提是类型必须前后一致。...本篇提议把不透明类型的语法扩展到了参数上,允许指定泛型函数参数,而不需要声明与泛型参数列表关联的模版。...不透明结果类型和不透明参数类型其实很相似,都是使用some 关键字来修饰,前者用在返回结果中,后者用在参数中。本质都是表达遵循同一协议类型的泛型类型。...还有2个场景限制使用:可变泛型和函数类型的参数。可变泛型不透明类型不能在可变参数中使用。比如下例中的可变参数 P......针对上述不同参数的报错,有一种可能的解决方案是:对于可变泛型,可以将隐式泛型参数改为泛型参数包,也就是模版中P改为P...,此时约束从遵循同一类型的泛型变成支持不同类型的泛型(感觉支持了所有类型?

    2.9K141

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

    提到类型转换,首先要明确C#中的数据类型,主要分为值类型和引用类型: 1.常用的值类型有:(struct) 整型家族:int,byte,char,short,long等等一系列 浮点家族:float,double...当然了,无论是装箱和拆箱,对于性能都是有消耗的,不到万不得已的时候尽量不要用(虽然我才不管这些,只要我用的爽就行了233) 虽然一般不提倡用object类型作为函数参数,取而代之使用泛型成为首选,那么如何判断泛型参数的具体数据类型并进行有效转换呢...现在想要快速对这个结构体进行加法操作,于是增加操作符重载函数,方便愉快的对两个属性的值相加,但问题是泛型是无法强转为任何一种非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 成员时,必须指定该类型的类型参数。 当调用不支持推理的泛型实例成员时,必须指定该成员的类型参数。...这导致用于调用泛型中的成员的语法与用于非泛型的语法没有区别。 如何解决冲突 若要解决此规则的冲突,请删除静态成员或将其更改为实例成员。 何时禁止显示警告 不禁止显示此规则发出的警告。...包含特定的 API 图面 你可以仅为此规则、为所有规则或为此类别中的所有规则配置此选项(设计)。 有关详细信息,请参阅代码质量规则配置选项。...请将以下键值对添加到项目中的 .editorconfig 文件: dotnet_code_quality.CAXXXX.api_surface = private, internal 相关规则 CA1005:避免泛型类型的参数过多

    49630
    领券