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

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

文章目录 一、泛型类 二、泛型参数 三、泛型函数 四、多泛型参数 五、泛型类型约束 一、泛型类 ---- 定义一个 泛型类 , 将 泛型参数 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 来表示泛型 ; 代码示例 : 下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T..., 需要两个泛型参数来表示其类型 ; T 类型在泛型类中注明 , 可以在该泛型类 Student 中随意使用 , 但是 泛型参数 R 是首次在该函数中使用 , 因此需要在该函数的 fun 关键字...R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 : 如果类中...子类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的参数 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前 使用 in 关键字 , 同时 该 泛型类 又称为 消费类...(t: T) } 十、泛型 invariant 不变 ---- 在 泛型类 中 , 如果 既将 泛型类型 作为 函数的参数 类型 , 又将 泛型类型 作为 函数的返回值 类型 , 则在 声明 泛型参数

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

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

泛型类、泛型方法、类型通配符的使用 一.泛型类        泛型类的声明和非泛型类的声明类似，除了在类名后面添加了类型参数声明部分...和泛型方法一样，泛型类的类型参数声明部分也包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。...下面是定义泛型方法的规则： 所有泛型方法声明都有一个类型参数声明部分（由尖括号分隔），该类型参数声明部分在方法返回类型之前（在下面例子中的）。...每一个类型参数声明部分包含一个或多个类型参数，参数间用逗号隔开。一个泛型参数，也被称为一个类型变量，是用于指定一个泛型类型名称的标识符。...类型参数能被用来声明返回值类型，并且能作为泛型方法得到的实际参数类型的占位符。 泛型方法体的声明和其他方法一样。

3.8K40

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

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

4.9K00

【C++】泛型编程 ③ ( 函数模板 与 普通函数 调用规则 | 类型匹配 | 显式指定函数模板泛型类型 )

一、普通函数 与 函数模板 的调用规则 - 类型匹配 1、类型匹配 上一篇博客 【C++】泛型编程 ② ( 函数模板与普通函数区别 ) 中 , 分析了 函数参数 类型匹配 下的 普通函数 与 函数模板...的调用规则 ; 为 函数模板 重载了 普通函数 , 普通函数有指定的类型 ; // 使用 template 关键字 声明函数模板 // 告诉 C++ 编译器 开始使用 泛型编程 // 定义的 T 是泛型类型...// 声明了多个泛型, 可以只使用其中的部分类型 // 使用函数模板时 , 显式类型调用 必须 显式指定所有 泛型类型 的实际类型 template T add(T a,...二、普通函数 与 函数模板 的调用规则 - 显式指定函数模板泛型类型 1、显式指定函数模板泛型类型 如果 函数调用时 , 显式指定函数模板类型 , 也就是在尖括号 中指定了泛型类型 , 此时 即使...template 关键字 声明函数模板 // 告诉 C++ 编译器 开始使用 泛型编程 // 定义的 T 是泛型类型 // 声明了多个泛型, 可以只使用其中的部分类型 // 使用函数模板时 ,

16440

Scala：样例类、模式匹配、Option、偏函数、泛型(三)

Scala：样例类、模式匹配、Option、偏函数、泛型 课程目标 掌握样例类的使用 掌握模式匹配的使用 1....定义 偏函数被包在花括号内没有match的一组case语句是一个偏函数 偏函数是PartialFunction[A, B]的一个实例 A代表输入参数类型 B代表返回结果类型 示例一 示例说明...泛型 scala和Java一样，类和特质、方法都可以支持泛型。我们在学习集合的时候，一般都会涉及到泛型。...接下来，我们来学习如何定义scala的泛型类 定义 语法格式 class 类[T](val 变量名: T) 定义一个泛型类，直接在类名后面加上方括号，指定要使用的泛型参数 指定类对应的泛型参数后，就使用这些类型参数来定义变量了...示例 示例说明 实现一个Pair泛型类 Pair类包含两个字段，而且两个字段的类型不固定 创建不同类型泛型类对象，并打印 参考代码 case class Pair[T](var a:T, var b:

2.3K20

03.Scala：样例类、模式匹配、Option、偏函数、泛型

Scala：样例类、模式匹配、Option、偏函数、泛型 课程目标 掌握样例类的使用 掌握模式匹配的使用 1....定义 偏函数被包在花括号内没有match的一组case语句是一个偏函数 偏函数是PartialFunction[A, B]的一个实例 A代表输入参数类型 B代表返回结果类型 示例一 示例说明...泛型 scala和Java一样，类和特质、方法都可以支持泛型。我们在学习集合的时候，一般都会涉及到泛型。...接下来，我们来学习如何定义scala的泛型类 定义 语法格式 class 类[T](val 变量名: T) 定义一个泛型类，直接在类名后面加上方括号，指定要使用的泛型参数 指定类对应的泛型参数后，就使用这些类型参数来定义变量了...示例 示例说明 实现一个Pair泛型类 Pair类包含两个字段，而且两个字段的类型不固定 创建不同类型泛型类对象，并打印 参考代码 case class Pair[T](var a:T, var b:

2K20

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

；泛型是一种特殊的变量，只用于表示类型而不是值 泛型函数 function identity(arg:T):T { return arg; } let output = identity<string...:T):T { return arg } let myIdentity:GenericIdentityFn = identity 复制代码 泛型类 (=>类的学习) 泛型类看上去和泛型接口差不多，泛型类使用...new GeneriNumber() 复制代码 类有两个部分：静态部分和实例部分，泛型类指的实例部分，所以静态属性不能使用这个泛型类型，定义接口来描述约束条件 泛型约束 interface...;他有一个调用签名，参数列表和返回值类型的函数定义，参数列表里的每一个参数都需要名字和类型，函数的参数名不需要与接口里定义的名字相匹配，如果你没有指定参数类型，TypeScript 的类型系统会推断出参数类型...，叫做静态成员标识符 static 抽象类 作为其他派生类的基类使用，他们一般不会直接被实例化，抽象类中的抽象方法不包含具体实现并且必须在派生类中实现。

7.3K31

【Kotlin】扩展函数 ① ( 扩展函数简介 | 为 Any 超类定义扩展函数 | private 私有扩展函数 | 泛型扩展函数 | 标准函数 let 函数是泛型扩展函数 )

文章目录 一、扩展函数简介 二、为 Any 超类定义扩展函数 三、private 私有扩展函数 四、泛型扩展函数 五、标准函数 let 函数是泛型扩展函数 一、扩展函数简介 ---- 为 现有类 定义...可以支持 任何类型的 接收者 ( 调用函数的实例对象 ) , 同时还可以 获取 接收者 的 泛型参数类型 ; 泛型扩展函数 格式 : 一般 泛型扩展函数 都是为了 配合 链式编程 , 其 返回值类型...就是 接收者泛型参数类型 ; fun T.函数名(参数列表): T { 函数体 } 代码示例 : 在该代码中 , 定义了一个 泛型扩展函数 , 为泛型 T 定义了扩展函数 printSelf..., 在函数中打印 接收者 , 并将接收者返回 , 该泛型可以是任意类型 ; 在 main 函数中 , 先调用 字符串实力对象 的 printSelf 泛型扩展函数打印自身 , 然后调用 字符串的扩展函数..., 避免创建匿名函数相关对象 , 造成堆内存开销 ; 该函数中涉及到 两个泛型 T 和 R , 在 fun 关键字后声明 , 为 泛型 T 定义了一个扩展函数 let , 传入 (T) -> R 类型的匿名函数

1.6K20

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

Integer(10)); // OK someMethod(new Double(10.1)); // OK 当然泛型也是如此，在执行泛型类型调用时，将Number作为其类型参数传递，如果参数是...那么问题来了，当类的泛型相关时，如何在两个泛型类之间创建类似子类型的关系呢？例如如何让Box 和Box变得与Box有关呢？...为了搞懂这个问题，我们先来了解一下同一类型的对象是如何实现子类型化的吧。...小结：可以通过继承泛型类或者实现接口来对其进行子类型化。 搞懂了子类型化的问题，我们回到“如何在两个泛型类之间创建类似子类型的关系“的问题。...泛型类或者接口并不会仅仅因为它们的类型之间有关系而变得相关，如果要达到相关，我们可以使用通配符来创建泛型类或接口之间的关系。

2.8K20

使用通配符和泛型：完成父子类关系的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.6K00

Kotlin 泛型：基本使用

在 Kotlin 中声明和使用泛型类、泛型函数的基本概念和 Java 相似，有 Java 泛型概念的情况下，不用详细解释或者做进一步了解，也能够很容易地上手使用泛型。...什么是泛型泛型提供了一种方法，允许我们定义带「类型参数」的泛型类/泛型函数，在创建泛型类的实例、调用泛型函数时，「类型参数」将替换成具体的「类型实参」。...charAt(0) // OKstringList.set(0, 1) // 编译出错，类型不匹配stringList.get(0) - 1 // 编译出错，类型不匹配class Carval carList...// 编译出错，类型不匹配泛型机制允许我们在编码的时候，使用占位符作为类型（即「类型参数」代替实际使用时的类型（即「类型实参」）。如何区别上述两个概念？...当我们在「定义」泛型类、泛型函数时，我们使用的是「类型参数」；当我们在「使用」泛型类、泛型函数时，我们使用的是「类型实参」。

1.7K30

Kotlin入门(11)江湖绝技之特殊函数

上一篇文章介绍了Kotlin对函数的输入参数所做的增强之处，其实函数这块Kotlin还有好些重大改进，集中体现在几类特殊函数，比如泛型函数、内联函数、扩展函数、尾递归函数...，这正是泛型对象的写法，“Array”可称作泛型变量，至于arrayOf便是本文要说的泛型函数了。...因为类的成员函数依赖于类，只有泛型类（又称模板类）才能拥有成员泛型函数，普通类是不允许定义泛型函数的，否则编译器会直接报错。...不过有个例外情况，如果参数类型都是继承自某种类型，那么允许在定义函数时指定从这个基类泛化开，凡是继承自该基类的子类，都可以作为输入参数进行函数调用，反之则无法调用函数。...，要求参数类型完全匹配。

1.2K10

Java一分钟之Kotlin与Java互操作

泛型擦除：Java的泛型在编译后会被擦除，Kotlin在调用时需注意类型匹配问题。 重载方法解析：Kotlin和Java的重载解析规则有差异，可能导致预期之外的方法被调用。...明确泛型类型：在Kotlin中调用Java泛型方法时，显式指定泛型参数类型，避免类型不匹配问题。 了解重载规则：熟悉两者的重载解析差异，必要时通过指定方法名或使用@JvmName注解来区分。...命名冲突：Kotlin的属性与Java的getter/setter可能产生命名冲突。 顶层函数与属性：Kotlin支持顶层函数和属性，但Java中没有直接对应的调用方式。...封装为类方法：将顶层函数封装到一个对象或单例类中，便于Java代码调用。...通过遵循一些基本的实践原则，如正确处理访问修饰符、明确泛型类型、理解重载规则以及合理封装Kotlin特性，可以有效避免互操作过程中遇到的常见问题和易错点。

13610

【Kotlin】扩展函数总结 ★ ( 超类扩展函数 | 私有扩展函数 | 泛型扩展函数 | 扩展属性 | 定义扩展文件 | infix 关键字用法 | 重命名扩展函数 | 标准库扩展函数 )

文章目录 一、扩展函数简介 二、为 Any 超类定义扩展函数 三、private 私有扩展函数 四、泛型扩展函数 五、标准函数 let 函数是泛型扩展函数 六、扩展属性 七、可空类扩展 八、使用 infix...可以支持 任何类型的 接收者 ( 调用函数的实例对象 ) , 同时还可以 获取 接收者 的 泛型参数类型 ; 泛型扩展函数 格式 : 一般 泛型扩展函数 都是为了 配合 链式编程 , 其 返回值类型...就是 接收者泛型参数类型 ; fun T.函数名(参数列表): T { 函数体 } 代码示例 : 在该代码中 , 定义了一个 泛型扩展函数 , 为泛型 T 定义了扩展函数 printSelf..., 在函数中打印 接收者 , 并将接收者返回 , 该泛型可以是任意类型 ; 在 main 函数中 , 先调用 字符串实力对象 的 printSelf 泛型扩展函数打印自身 , 然后调用 字符串的扩展函数..., 避免创建匿名函数相关对象 , 造成堆内存开销 ; 该函数中涉及到 两个泛型 T 和 R , 在 fun 关键字后声明 , 为 泛型 T 定义了一个扩展函数 let , 传入 (T) -> R 类型的匿名函数

2.2K30

Kotlin 1.4 新特性预览

例如以下代码在 Kotlin 1.3 当中会提示类型不匹配的问题： val rulesMap: Map<String, (String?)...图 3：Kotlin 1.3 中提示类型不匹配 博客原文中给出的这个例子乍一看挺复杂，仔细想想问题主要在于我们可以通过 rulesMap 的类型来确定 mapOf 的返回值类型，进而再确定出 mapOf...的参数类型，即 Pair 的泛型参数类型。...2.5 属性代理的类型推导 在推断代理表达式的类型时，以往不会考虑属性代理的类型，因此我们经常需要在代理表达式中显式的声明泛型参数，下面的例子就是这样： import kotlin.properties.Delegates...2.10 尾递归函数的优化 尾递归函数估计大家用的不多，这里主要有两个优化点 尾递归函数的默认参数的初始化顺序改为从左向右： 尾递归函数不能声明为 open 的，即不能被子类覆写，因为尾递归函数的形式有明确的要求

95210

Effective Kotlin 译文：Chapter3-Item24-泛型的型变

为了描述方便，此处简称为「子类泛型」 - 父类泛型 标准翻译应为：类型参数为父类的泛型，为了描述方便，此处简称为「父类泛型」 function type 函数类型 形如：（T）-> U 译者注：本篇专有名字比较多...，为了方便理解和记忆，在此列出名词对照表 假设我们有以下泛型类： class Cup 上述泛型类的类型参数 T 没有指定任何型变修饰符（in 或者 out）, 因此默认是不型变的。...b: Cup = Cup() // 逆变之后，父类泛型是子类泛型的子类，子类可以赋值给父类 } 下图演示了这种型变的关系： image.png 函数类型 Kotlin 中，函数类型也是型变的...这并不是巧合，正是因为在 Kotlin 中，所有函数类型的参数类型是逆变的，而函数类型的返回类型是协变的： 这并不是 Kotlin 中唯一一个支持型变的类型，还有一个更加常见的支持协变的类型就是 List...在 Kotlin 中 List 和 Set 是协变的，MutableList,MutableSet,MutableMap 是不型变的 函数类型的参数类型是逆变的，函数类型的返回类型是协变的 协变的类型参数

58610
点击加载更多

扫码

添加站长 进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

更多标签

活动推荐

    运营活动

    活动名称
    广告关闭

    腾讯云开发者

    扫码关注腾讯云开发者

    扫码关注腾讯云开发者

    领取腾讯云代金券

    热门产品

    热门推荐

    更多推荐

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

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

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

    领券