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

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

, 主构造函数之前 , 该泛型参数 T 是 类型占位符 , 在 该泛型类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性 主构造函数中可以接收 T 类型的实例对象作为参数...下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T 类型的成员属性 ; class Student..., 需要两个泛型参数来表示其类型 ; T 类型在泛型类中注明 , 可以在该泛型类 Student 中随意使用 , 但是 泛型参数 R 是首次在该函数中使用 , 因此需要在该函数的 fun 关键字...中 泛型 R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 :...如果类中 引入了新的泛型类型 , 需要在 class 关键字 和 主构造函数 之前 , 使用 尖括号 注明 ; class Student(_item: T) { } 泛型函数 泛型参数

2.9K10

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

放在 尖括号 中 , 该泛型参数放在 类名后 , 主构造函数之前 , 该泛型参数 T 是 类型占位符 , 在 该泛型类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性...主构造函数中可以接收 T 类型的实例对象作为参数 , T 类型可以 作为函数的返回值 ; 通常情况下 , 泛型参数 都使用 T 表示 , 使用其它字母 或者 字符串 都可以表示 泛型参数 , 但是 约定俗成...都使用 T 来表示泛型 ; 代码示例 : 下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T...如果类中 引入了新的泛型类型 , 需要在 class 关键字 和 主构造函数 之前 , 使用 尖括号 注明 ; class Student(_item: T) { } 泛型函数 泛型参数...子类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的参数 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前 使用 in 关键字 , 同时 该 泛型类 又称为 消费类

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

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

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

    3.8K40

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

    作为 函数的返回值 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前 使用 out 关键字 , 同时 该 泛型类 又称为 生产类 ( 生产接口 ) , 用于生产 泛型类 指定的泛型对象...- 使用 in 关键字 , 可以使 父类泛型对象 赋值给 子类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的参数 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前...Consumer { fun consume(t: T) } 三、泛型 invariant 不变 ---- 在 泛型类 中 , 如果 既将 泛型类型 作为 函数的参数 类型 , 又将...泛型类型 作为 函数的返回值 类型 , 则在 声明 泛型参数 类型 时 , 既不使用 in 关键字 , 又不使用 out 关键字 ; 代码示例 : 在下面的接口中 , 泛型类型 即用于作为 返回值 ,...---- 泛型类 中 泛型参数 有 子类 和 父类 , Java 语言中 , 泛型参数 是 子类 的 泛型类对象 , 不可以赋值 给 泛型参数 是父类 的变量 ; Java 中的泛型对象赋值 ,

    1.7K10

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

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

    3.7K60

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

    在泛型约束中使用类型参数概述一个泛型被另一个泛型约束, 就叫做 泛型约束中使用类型参数博主需求: 定义一个函数用于根据指定的 key 获取对象的 value:let getProps = (obj: object...obj[key];}let obj = { a: 'a', b: 'b'}let res = getProps(obj, "a");console.log(res);图片如上的代码 a 和...b 都是存在的 key,如果这个时候我要获取一个 c 的 key 的 value 那么就直接是 undefined 了,说明一个问题,代码不够健壮, 明明 obj 中没有 c 这个 key 但是却没有报错...,那么这时就可以利用 在泛型约束中使用类型参数 来解决该问题,代码如下:图片let getProps = (obj: T, key: K): any => {...大家点赞支持一下哟~ 我正在参与2023腾讯技术创作特训营第二期有奖征文,瓜分万元奖池和键盘手表图片

    20310

    TypeScript 基本类型和泛型的使用

    typescript 基础类型 下面只介绍一些区别于 JavaScript 的特殊类型 Tuple 元组 元组类型允许表示一个已知元素数量和类型的数组,各元素的类型不必相同。...//定义一个联合类型,当你的数组中只有 number 和 string 类型的时候 let a =(number | string)[] enum 枚举 enum 类型是对 JavaScript...infiniteLoop(): never { while (true) { } } 复制代码 typescript 泛型 先来谈谈使用场景 模拟一个场景,当我们要使用一个服务器提供的不同数据...正解: 使用 typescript 泛型(Generic) 先简单的来说一下什么是泛型? ==就是表示一个类型的变量,用他来代替某个实际的类型用于编程。...close', (payload: number)){} const setType =new Set { message: string; close: number; } // 泛型类

    2.5K40

    初探 TypeScript函数基本类型泛型接口类内置对象

    let myIdentity1:{ (arg:T):T} = identity 复制代码 可以使用带有调用签名的对象字面量来定义泛型函数,我们可以将对象字面量拿出来作为一个接口,将一个泛型参数当做整个接口的一个参数...:T):T { return arg } let myIdentity:GenericIdentityFn = identity 复制代码 泛型类 (=>类的学习) 泛型类看上去和泛型接口差不多,泛型类使用...new GeneriNumber() 复制代码 类有两个部分:静态部分和实例部分,泛型类指的实例部分,所以静态属性不能使用这个泛型类型,定义接口来描述约束条件 泛型约束 interface...,叫做静态成员标识符 static 抽象类 作为其他派生类的基类使用,他们一般不会直接被实例化,抽象类中的抽象方法不包含具体实现并且必须在派生类中实现。...void { console.log('roaming the earch...') } } 复制代码 把类当做接口使用 类定义会创建两个东西:类的实例和一个构造函数,类可以创建类型,所以你能够在允许使用接口的地方使用类

    7.3K31

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

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

    2.9K20

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

    泛型约束是指可以对泛型类型参数进行限制,只允许特定类型或满足特定条件的类型作为泛型参数。...这可以避免在泛型方法中使用值类型参数,因为值类型参数会被装箱和拆箱,造成性能损失。...这可以在泛型方法中使用接口的方法和属性,而无需知道具体的实现类。...基类约束(base class constraint):使用 where T : 基类名称 约束可以确保泛型参数必须是指定基类的派生类。这可以确保泛型参数具有特定的行为和属性。...构造函数约束(new() constraint):使用 where T : new() 约束可以确保泛型参数必须具有无参数的公共构造函数。这可以在泛型方法中使用 new 关键字实例化泛型参数。

    8110

    【C++】泛型编程 ⑦ ( 类模板常用用法 | 类模板声明 | 类模板调用 | 类模板作为函数参数 )

    首先 , 要进行 具体类型 初始化 , 该操作就是在 模板类 后面的 尖括号中 , 注明 泛型类型 ; MyClass 此时 , 注明 泛型类型后 , 就会生成 具体的类 ; 然后 , 使用...具体的类 , 定义 具体的 变量 ; MyClass myInt(10); 3、类模板做函数参数 类模板 作为函数参数 , 形参 必须是具体类型 , 也就是 类模板 的泛型类型必须声注明 ;...下面的 fun 函数中 , 接收模板类作为参数 , 模板类的 泛型类型 需要被注明 ; // 类模板对象作为函数参数 // 形参必须是具体类型 // 类模板的泛型类型必须声注明 void fun(MyClass...这个类可以接受一个类型参数T , 并创建一个具有该类型的成员变量的对象 ; MyClass是一个模板类 , 该模板类 接受一个 泛型类型参数T , 泛型类型参数 T 在类中的许多地方都会用到 , 在类体中定义了一个...T 类型的成员变量 value , 以及一个接受T类型参数的构造函数 , 在printValue函数中 , 打印 value 的值 ; template 是模板声明 , 告诉编译器我们将在后面定义一个类模板

    8000

    【C++】泛型编程 ⑦ ( 模板类常用用法 | 模板类声明 | 模板类调用 | 模板类作为函数参数 )

    首先 , 要进行 具体类型 初始化 , 该操作就是在 模板类 后面的 尖括号中 , 注明 泛型类型 ; MyClass 此时 , 注明 泛型类型后 , 就会生成 具体的类 ; 然后 , 使用...具体的类 , 定义 具体的 变量 ; MyClass myInt(10); 3、类模板做函数参数 类模板 作为函数参数 , 形参 必须是具体类型 , 也就是 类模板 的泛型类型必须声注明 ;...下面的 fun 函数中 , 接收模板类作为参数 , 模板类的 泛型类型 需要被注明 ; // 类模板对象作为函数参数 // 形参必须是具体类型 // 类模板的泛型类型必须声注明 void fun(MyClass...这个类可以接受一个类型参数T , 并创建一个具有该类型的成员变量的对象 ; MyClass是一个模板类 , 该模板类 接受一个 泛型类型参数T , 泛型类型参数 T 在类中的许多地方都会用到 , 在类体中定义了一个...T 类型的成员变量 value , 以及一个接受T类型参数的构造函数 , 在printValue函数中 , 打印 value 的值 ; template 是模板声明 , 告诉编译器我们将在后面定义一个类模板

    52040

    【TypeScript 演化史 -- 11】泛型参数默认类型 和 新的 --strict 编译选项

    TypeScript 2.3 增加了对声明泛型参数默认类型的支持,允许为泛型类型中的类型参数指定默认类型。...使用泛型类型定义 Props 和 State 虽然上面的示例编译和运行得很好,但是咱们的 Component 类型定义不是很精确。...咱们得更具体一点,通过两种泛型类型: Props 和 State,这样就可以准确地描述 props 和 state 属性的结构。...泛型参数默认类型 从 TypeScript 2.3 开始,咱们可以为每个泛型类型参数添加一个默认类型。...使用泛型参数默认值,就可以完全去掉附加的可构造类型,并将{}设置为默认类型 type Constructor = new (...args: any[]) => T; 语法稍微复杂一些,

    1.8K30

    使用通配符和泛型:完成父子类关系的List对象的类型匹配

    泛型和通配符 使用泛型和通配符都可以让一个方法所表示的算法逻辑适应多种类型。...Java中具备继承关系的类A、B(A extends B)它们的集合List和List之间是没有继承关系的, 可以使用泛型或通配符来让一个方法支持同时接受List和List。...泛型方法实现 抛开实际意义,假设需要findScaredAnimals()中,返回值和参数对应的具体Animal子类型是一致的,那么就需要用到泛型了: public ...List findScaredAnimals(List animals, T who) { //... } 可以看到,泛型类型参数T同时约束了多个地方。...泛型参数也可以是多个的,而且之间存在关系。 小结 以上通过一个不太实际的案例说明了使用泛型和通配符来解决List泛型集合之间的“匹配”问题。这也是它们的主要用途之一。

    1.6K70

    使用通配符和泛型:完成父子类关系的List对象的类型匹配

    泛型和通配符 使用泛型和通配符都可以让一个方法所表示的算法逻辑适应多种类型。...Java中具备继承关系的类A、B(A extends B)它们的集合List和List之间是没有继承关系的, 可以使用泛型或通配符来让一个方法支持同时接受List和List。...泛型方法实现 抛开实际意义,假设需要findScaredAnimals()中,返回值和参数对应的具体Animal子类型是一致的,那么就需要用到泛型了: public ...List findScaredAnimals(List animals, T who) { //... } 可以看到,泛型类型参数T同时约束了多个地方。...泛型参数也可以是多个的,而且之间存在关系。 小结 以上通过一个不太实际的案例说明了使用泛型和通配符来解决List泛型集合之间的“匹配”问题。这也是它们的主要用途之一。 (本文使用Atom编写)

    2.8K00

    json 反序列化多层嵌套泛型类与 java 中的Type类型笔记

    json 反序列化多层嵌套泛型类与java中的Type类型笔记 val typeRef = TypeRef() val result = JSON.parseObject...argTypes,然后遍历这些类型参数,如果遇到是TypeVariable类型的则用构造函数传入的Type将其替换,然后此处理后的argTypes基于ParameterizedTypeImpl构造出一个新的...没找到TypeReference的有参构造函数用法的比较正式的文档,但是基于源码的认识,我们应该这么使用TypeReference的有参构造函数: new TypeReference数组为空。如果此类型表示嵌套在参数化类型中的非参数化类型,则会发生这种情况。...反序列化泛型对象如Map等需要使用 T readValue(String content, TypeReference valueTypeRef) 一般对象使用T readValue(String

    9.7K20

    【TypeScript 演化史 — 第十一章】泛型参数默认类型 和 新的 –strict 编译选项

    image.png TypeScript 2.3 增加了对声明泛型参数默认类型的支持,允许为泛型类型中的类型参数指定默认类型。...使用泛型类型定义 Props 和 State 虽然上面的示例编译和运行得很好,但是咱们的 Component 类型定义不是很精确。...咱们得更具体一点,通过两种泛型类型: Props 和 State,这样就可以准确地描述 props 和 state 属性的结构。...泛型参数默认类型 从 TypeScript 2.3 开始,咱们可以为每个泛型类型参数添加一个默认类型。...使用泛型参数默认值,就可以完全去掉附加的可构造类型,并将{}设置为默认类型 type Constructor = new (...args: any[]) => T; 语法稍微复杂一些,

    1.7K20
    领券