文档建议反馈控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

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

, 主构造函数之前 , 该泛型参数 T 是 类型占位符 , 在 该泛型类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性 主构造函数中可以接收 T 类型的实例对象作为参数..., T 类型可以 作为函数的返回值 ; 通常情况下 , 泛型参数 都使用 T 表示 , 使用其它字母 或者 字符串 都可以表示 泛型参数 , 但是 约定俗成 都使用 T 来表示泛型 ; 代码示例 :...下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T 类型的成员属性 ; class Student..., 需要两个泛型参数来表示其类型 ; T 类型在泛型类中注明 , 可以在该泛型类 Student 中随意使用 , 但是 泛型参数 R 是首次在该函数中使用 , 因此需要在该函数的 fun 关键字...R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 : 如果类中

2.7K10

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

放在 尖括号 中 , 该泛型参数放在 类名后 , 主构造函数之前 , 该泛型参数 T 是 类型占位符 , 在 该泛型类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性...主构造函数中可以接收 T 类型的实例对象作为参数 , T 类型可以 作为函数的返回值 ; 通常情况下 , 泛型参数 都使用 T 表示 , 使用其它字母 或者 字符串 都可以表示 泛型参数 , 但是 约定俗成...八、泛型 out 协变 ---- 使用 out 关键字 , 可以使 子类泛型对象 赋值给 父类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的返回值 类型 , 则在 声明 泛型参数...子类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的参数 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前 使用 in 关键字 , 同时 该 泛型类 又称为 消费类...(t: T) } 十、泛型 invariant 不变 ---- 在 泛型类 中 , 如果 既将 泛型类型 作为 函数的参数 类型 , 又将 泛型类型 作为 函数的返回值 类型 , 则在 声明 泛型参数

3.8K10
您找到你想要的搜索结果了吗？
是的
没有找到

Kotlin 泛型：类型参数约束

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

2.1K31

【Kotlin】函数 ⑧ ( 函数引用 作为函数参数 | ::函数名 | 函数类型 作为函数返回值类型 )

文章目录 一、函数引用作为函数参数 二、函数类型作为函数返回值 一、函数引用作为函数参数 ---- 函数 作为参数 , 有两种方式 : 传递 Lambda 表达式 , 也就是 匿名函数 作为参数值 ;...传递 函数引用 作为参数值 ; 函数引用 可以将 具名函数 转为 函数的参数值 , 只要可以使用 Lambda 表达式 参数的地方 , 就可以使用 函数引用 进行替代 ; 函数引用格式 : 两个冒号..., 匿名函数 没有函数名 ; 代码示例 : 在下面的代码中 , 首先使用 actionFun 函数类型变量 作为 studentDoSomething 函数的参数 , 该变量的值是一个 匿名函数 Lambda...与 使用 函数引用 作为参数 , 其效果是相同的 ; fun main() { // 定义函数类型变量, 之后作为函数参数传递给函数 // 该匿名函数变量, 可以作为参数 val...---- 函数 的 返回值类型 , 也可以是 函数类型 ; 也就是说 匿名函数 , Lambda 表达式 可以作为 函数的返回值 ; 代码示例 : 下面的代码中 , returnFun 函数的返回值

2.6K10

Kotlin 泛型之类型擦除

Java 泛型的优点 泛型是 Java 5 的重要特性之一。泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。...这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。...例如，对于扩展函数涉及到泛型的类，需要指定泛型参数： fun T.longClick(block: (T) -> Boolean) = setOnLongClickListener...Kotlin 如何获得声明的泛型类型 跟 Java 一样，Kotlin 也是通过类型擦除支持泛型。 但是 Kotlin 的数组支持泛型，因此它们并不会协变。...; class [Ljava.lang.String; 4.2 实例化类型参数代替类引用 再举一个 Kotlin 使用 Gson 的反序列化的例子，可以使用实例化类型参数 T::class.java inline

1.7K30

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

泛型类、泛型方法、类型通配符的使用 一.泛型类        泛型类的声明和非泛型类的声明类似，除了在类名后面添加了类型参数声明部分...和泛型方法一样，泛型类的类型参数声明部分也包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。...因为他们接受一个或多个参数，这些类被称为参数化的类或参数化的类型。...每一个类型参数声明部分包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。...类型参数能被用来声明返回值类型，并且能作为泛型方法得到的实际参数类型的占位符。 泛型方法体的声明和其他方法一样。

3.8K40

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

接口 , 方法 提供复用性 , 支持类型不确定的数据类型 ; 泛型类 : 提高代码复用程度 ; 泛型方法 : 参数或返回值有泛型类型约束 , 参数或返回值类型必须符合对应的泛型类型 , 泛型使用时会进行类型检查约束...创建泛型类对象 , 泛型类型设置为 String 类型 Cache cache = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型...){ // 创建泛型类对象 , 泛型类型设置为 String 类型 Cache cache = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型.../ 创建泛型类对象 , 泛型类型设置为 int 类型 Cache cache2 = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型 //...int _grade; String school; String city; String address; /// 父类构造函数调用 : 如果父类有非空参数的构造函数, 子类必须实现相同参数的构造函数

4.8K00

Go 泛型之类型参数

但 Go 泛型方案的实质是对类型参数（type parameter）的支持，包括： 泛型函数（generic function）：带有类型参数的函数； 泛型类型（generic type）：带有类型参数的自定义类型...](5, s) //ok foo[int,](5, s) //ok 那么，除了函数参数列表中的参数类型可以作为类型实参推断的依据外，函数返回值的类型是否也可以呢？...([]int{11, 12, 14, -36,27, 0}) // 复用第一次调用后生成的原型为func([]int) int的函数 好了，接下来我们再来看 Go 对类型参数的另一类支持：带有类型参数的自定义类型...和泛型函数一样，泛型类型可以有多个类型参数，类型参数名通常是首字母大写的，这些类型参数也必须是具名的，且命名唯一。...，我们也可以将其他泛型类型实例化后的类型作为成员。

16610

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

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

4600

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

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

27840

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

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

1.6K10

Kotlin泛型的型变之路

kotlin修炼指南7之泛型 泛型，是为了让「类」、「接口」、「方法」具有更加通用的使用范围而诞生的，举个例子，假如我们不使用泛型，那么一个List中可以装得下任何对象，这么做的问题就在于，在使用时，需要对类型进行检查...但是这种处理在我们处理泛型业务时，会有很多限制，所以，泛型提供了「型变」来拓展泛型的使用。 协变 协变指的是，当参数具有父子关系时，子类可以作为参数传递，而泛型的上界就是其父类。...所以，经过协变之后的泛型，就失去了写入的能力，它只能用于向外提供数据，也就是「数据生产者Producer」。 逆变 逆变指的是，父类可以作为参数传递，但子类必须是其下界。逆变通过下界通配符<?...那么我们在实际的代码中，要在哪些场景使用协变和逆变呢？通常来说，泛型参数协变后则表示——「这个参数在当前类中，只能作为函数的返回值，或者是只读属性」。...「只能作为函数的参数，或者修饰可变属性」。

1.2K21

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

类 也可以有参数 , 将 类型 作为 参数 传入类中 ; 泛型接口 : 接口 的 参数 , 也可以是泛型 ; 将 类型 传入 泛型方法 , 泛型类 , 泛型接口 中 , 可以 动态地 指定一些类型 ;...; 其中的 参数 , 返回值 类型是 T , 但 这个 T 是作为一个正常的类型使用的 , 并不是声明在 方法 中的泛型 ; 如果 类 , 接口 , 方法 是 泛型类 , 泛型接口 , 泛型方法 , 则该..., 与 参数类型的 T , 返回值类型的 T , 方法内部的 T , 都是同一个类型 ; /** * 泛型类 * 该 T 类型作为参数使用 * T 是参数化类型 , 可以由外部传入 *...---- 静态方法泛型 : 如果静态方法中 使用了 类中的泛型 T , 作为参数 或 返回值 , 这种使用时错误的 ; 如果必须在 静态方法 中使用泛型 T , 则该泛型 T 必须是静态方法的泛型 ,...不能是类的泛型 ; 错误用法 : 正确用法 : 五、泛型类与泛型方法完整示例 ---- /** * 泛型类 * 该 T 类型作为参数使用 * T 是参数化类型 , 可以由外部传入

13.6K30

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

当 Nothing 类型作为函数参数时，一个有趣的现象就出现了： ```kotlin // 这是一个无法调用的函数，因为找不到合适的参数 fun show(msg: Nothing) {} show(...- 当 Nothing 作为函数参数时，就意味着这个**函数永远无法被正常调用**。这在泛型星投影的时候是有一定应用的。 - Nothing 可以看作是 Nothing?...### 泛型接口/类（泛型类型） 定义泛型类型，是在类型名之后、主构造函数之前用尖括号括起的大写字母类型参数指定： ### 声明泛型接口 > Java： ``` //泛型接口 interface...= tClass.newInstance() return t } ``` ### 泛型约束 Java 中可以通过有界类型参数来限制参数类型的边界，Kotlin中泛型约束也可以限制参数类型的上界...in位置，而函数返回类型叫作out位置 #### 协变 ：保留子类型化关系 如果在定义的泛型类和泛型方法的泛型参数前面加上out关键词，说明这个泛型类及泛型方法是协变，简单来说类型A是类型B的子类型

42450

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

定义函数或方法是的参数是形参，调用此函数或方法时传递的参数值是实参。 泛型一般用来处理多个不同类型参数的方法。就是在方法中传入通用的数据类型，使多个方法合并成一个。...可以将类型参数化 好处：达到代码复用、提高代码通用性的目的。 将类型由原来具体的类型变成一种类型参数，然后在调用时才传入具体的类型作为参数，调用时传入的类型称为类型实参。...泛型类和泛型方法同时具备 通用性、类型安全和性能 ，是非泛型类和非泛型方法无法具备的 优势：高性能的变成方式、达到代码复用、提高代码通用性、 泛型使用的是类型参数(变量),它是一种特殊的变量,代表的是类型而不是值...,参数n:类型):返回类型 { //函数体 } 泛型类的定义 class 类名{ //属性和方法签名} class 类型{ //属性和方法签名 } 泛型接口的定义...T 必须放在中间 一般不能单独出现，会出现在类 函数、 接口 、中 ，在函数体内，编译器不知道泛型变量T具体数据类型，只能认为其为 任意值(any) 类型 泛型约束 泛型参数T类似于any类型

2K30

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

；泛型是一种特殊的变量，只用于表示类型而不是值 泛型函数 function identity(arg:T):T { return arg; } let output = identity(arg:T):T} = identity 复制代码 可以使用带有调用签名的对象字面量来定义泛型函数，我们可以将对象字面量拿出来作为一个接口，将一个泛型参数当做整个接口的一个参数...:T):T { return arg } let myIdentity:GenericIdentityFn = identity 复制代码 泛型类 (=>类的学习) 泛型类看上去和泛型接口差不多，泛型类使用...new GeneriNumber() 复制代码 类有两个部分：静态部分和实例部分，泛型类指的实例部分，所以静态属性不能使用这个泛型类型，定义接口来描述约束条件 泛型约束 interface...;他有一个调用签名，参数列表和返回值类型的函数定义，参数列表里的每一个参数都需要名字和类型，函数的参数名不需要与接口里定义的名字相匹配，如果你没有指定参数类型，TypeScript 的类型系统会推断出参数类型

7.3K31

C#中的泛型（类型参数的约束）

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

3.6K60
点击加载更多

扫码

添加站长 进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

更多标签

活动推荐

    运营活动

    活动名称
    广告关闭

    腾讯云开发者

    扫码关注腾讯云开发者

    扫码关注腾讯云开发者

    领取腾讯云代金券

    热门产品

    热门推荐

    更多推荐

    Copyright © 2013 - 2024 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有

    深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 深公网安备号 44030502008569

    腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号 | 京公网安备号11010802020287

    领券