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

Kotlin 泛型:类型参数约束

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

2.3K31

Go 泛型之类型参数

Go 泛型之了解类型参数 一、Go 的泛型与其他主流编程语言的泛型差异 Go泛型和其他支持泛型的主流编程语言之间的泛型设计与实现存在差异一样,Go 的泛型与其他主流编程语言的泛型也是不同的。...但 Go 泛型方案的实质是对类型参数(type parameter)的支持,包括: 泛型函数(generic function):带有类型参数的函数; 泛型类型(generic type):带有类型参数的自定义类型...和泛型函数一样,泛型类型可以有多个类型参数,类型参数名通常是首字母大写的,这些类型参数也必须是具名的,且命名唯一。...按照泛型设计方案,如果泛型类型有不止一个类型参数,那么在其声明内部引用该类型名时,不仅要带上所有类型参数,类型参数的顺序也要与声明中类型参数列表中的顺序一致,比如: type P[T1, T2 any]...,方法的 receiver 部分不仅要带上类型名称,还需要带上完整的类型形参列表(如 maxableSlice[T]),这些类型形参后续可以用在方法的参数列表和返回值列表中。

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

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

    ---- 泛型函数 中 如果涉及到 匿名函数 参数 , 匿名函数 的 参数返回值 都是泛型 的话 , 在该泛型函数 中可能需要使用多个泛型 , 使用不同的字母表示不同的泛型 ; 如果函数中 引入了新的泛型类型..., 需要两个泛型参数来表示其类型 ; T 类型在泛型类中注明 , 可以在该泛型类 Student 中随意使用 , 但是 泛型参数 R 是首次在该函数中使用 , 因此需要在该函数的 fun 关键字...R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 : 如果类中...引入了新的泛型类型 , 需要在 class 关键字 和 主构造函数 之前 , 使用 尖括号 注明 ; class Student(_item: T) { } 泛型函数 泛型参数 声明 :...六、可变参数 vararg 关键字与泛型结合使用 ---- 如果 泛型类型 T 的参数 是 vararg 可变参数 , 则在接收 可变参数 时 , 需要使用 Array 类型 的变量进行接收

    4.1K10

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

    ---- 泛型函数 中 如果涉及到 匿名函数 参数 , 匿名函数 的 参数返回值 都是泛型 的话 , 在该泛型函数 中可能需要使用多个泛型 , 使用不同的字母表示不同的泛型 ; 如果函数中 引入了新的泛型类型..., 需要在 fun 关键字 和 函数名 之间 , 使用 尖括号 注明 ; 代码示例 : 在本代码中 , logT 函数涉及到了两个泛型参数 , 传入的 匿名函数 参数类型为 (T) -> R..., 需要两个泛型参数来表示其类型 ; T 类型在泛型类中注明 , 可以在该泛型类 Student 中随意使用 , 但是 泛型参数 R 是首次在该函数中使用 , 因此需要在该函数的 fun 关键字...R 的类型是 Boolean 类型 ; 3.14 true 五、泛型类型约束 ---- 在 泛型类 , 泛型函数 中 , 使用泛型前 , 需要声明 泛型参数 : 泛型类 泛型参数 声明 : 如果类中...引入了新的泛型类型 , 需要在 class 关键字 和 主构造函数 之前 , 使用 尖括号 注明 ; class Student(_item: T) { } 泛型函数 泛型参数 声明 :

    2.9K10

    泛型与关联类型

    如果读完本文,你还是不太理解我所说的,建议阅读下Rust Book的 高级Traits章节,特别是关于关联类型。 最后,阅读本文需要你有一些编程经验(Rust),以及基本的泛型编程思想。...泛型(Generic Types) 在trait上下文中, 泛型又被称作类型参数(type parameters),用于在具体实现trait时使用的类型。...例如 std::convert::From trait, 其中的T泛型参数表明接受任何类型,你可以把任何类型T转换为目标类型,只要你实现了相应的转换方法。...加上trait限制 如果我们想对泛型参数或者关联类型加以特定trait限制定义,可以使用Rust常用的:表达式(bounds)。...总结和进一步阅读 简而言之,当你想类型A能够对一个特定trait实现多种实现(基于不同类型参数),使用泛型。例如From。

    1.3K20

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

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

    3.7K60

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

    接口 , 方法 提供复用性 , 支持类型不确定的数据类型 ; 泛型类 : 提高代码复用程度 ; 泛型方法 : 参数或返回值有泛型类型约束 , 参数或返回值类型必须符合对应的泛型类型 , 泛型使用时会进行类型检查约束...创建泛型类对象 , 泛型类型设置为 String 类型 Cache cache = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型..., 泛型类型设置为 int 类型 Cache cache2 = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型 // 泛型约束 : 泛型使用时会进行类型检查约束...= Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型 // 泛型约束 : 泛型使用时会进行类型检查约束 , 如果设置错误的类型 , 编译时报错 cache.setCacheItem..., 传入的参数必须符合对应的泛型类型 // 泛型约束 : 泛型使用时会进行类型检查约束 , 如果设置错误的类型 , 编译时报错 cache2.setCacheItem("age", 18

    5.4K00

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

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

    3.8K40

    Java泛型类型擦除问题

    Java泛型类型擦除问题 以前就了解过Java泛型的实现是不完整的,最近在做一些代码重构的时候遇到一些Java泛型类型擦除的问题,简单的来说,Java泛型中所指定的类型在编译时会将其去除,因此List泛型只能做到编译期检查的功能,运行期间就不能保证类型安全。...json序列化后的字符串,并提供了方法将string spec 反序列化成相应的类型,比较理想的方式是在反序列化的方法中能够获取到参数类型 T 的实际类型,理论上运行时Spec类型是确定了,因此T也应该是确定的...第二种是创建spec的子类中使用这个方法就可以获取泛型的类型 @Data public abstract static class AbstractSpec { public String...因此理论上子类Spec的类型信息中,实际上是保存了父类中的类型参数信息的,也就是例子中的Foo.

    1.1K20

    JAVA泛型与类型擦除

    泛型的本质是参数化类型,这种参数类型可以用在类、接口和方法的创建中。...泛型是在JAVA 1.5版本中才引入的,它能和以前的版本兼容的原因是泛型信息只存在于代码编译阶段,在进入 JVM 之前,与泛型相关的信息会被擦除掉,即类型擦除。...泛型的定义与使用 根据使用情况可以分为以下三种: 泛型类 泛型方法 泛型接口 下面是一个常用的泛型类: // 一个泛型类,可以根据需要包装不同结果的返回值 public class Result...泛型通配符 如果在某些场景下我们不关注(或者不那么关注)泛型对象的类型参数,可以使用泛型通配符。...在Java SE 1.5之前,没有泛型的情况的下,通过对类型Object的引用来实现参数的“任意化”,“任意化”带来的缺点是要做显式的强制类型转换,而这种转换是要求开发者对实际参数类型可以预知的情况下进行的

    1.8K40

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

    值 规则 ID CA1005 类别 设计 修复是中断修复还是非中断修复 重大 原因 外部可见的泛型类型具有两个以上的类型参数。 默认情况下,此规则仅查看外部可见的类型,但这是可配置的。...规则说明 泛型类型包含的类型参数越多,越难以知道并记住每个类型参数各代表什么。...它通常有一个类型参数,如在 List 中,而在某些情况下有两个类型参数,如在 Dictionary 中。...如何解决冲突 若要解决此规则的冲突,请将设计更改为使用不超过两个类型参数。 何时禁止显示警告 除非设计确实需要两个以上的类型参数,否则不要禁止显示此规则的警告。...CA1000:不要在泛型类型中声明静态成员 CA1002:不要公开泛型列表 CA1003:使用泛型事件处理程序实例 另请参阅 泛型

    1.1K30

    【Rust学习】24_泛型类型

    在函数中定义在定义使用泛型的函数时,我们会将泛型参数置于函数签名中,通常用来指定参数和返回值的数据类型。这种做法提升了代码的灵活性,为函数的调用者带来了更广泛的适用性,同时有效避免了代码重复的问题。...为了在新的单一函数中参数化类型,我们需要像为函数的值参数命名一样,为类型参数命名。您可以使用任何标识符作为类型参数的名称。...我们本可以选择一个与结构体定义中声明的泛型参数不同的名字,但使用相同的名字是符合惯例的。在声明了泛型类型的 impl 块中编写的方法将被定义在任何实例的类型上,无论最终替代泛型类型的具体类型是什么。...这个方法测量我们的点与坐标 (0.0, 0.0) 的点之间的距离,并使用仅对浮点数类型可用的数学运算。结构体定义中的泛型类型参数并不总是与同一结构体方法签名中使用的泛型类型参数相同。...泛型参数 X2 和 Y2 在 fn mixup 之后声明,因为它们只与方法相关。使用泛型的代码性能您可能对使用泛型类型参数是否会引入运行时性能开销感到好奇。

    6910

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

    作为 函数的返回值 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前 使用 out 关键字 , 同时 该 泛型类 又称为 生产类 ( 生产接口 ) , 用于生产 泛型类 指定的泛型对象...- 使用 in 关键字 , 可以使 父类泛型对象 赋值给 子类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的参数 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前...---- 泛型参数类型 T 在 运行时 会被 类型擦除 , 因此 在运行时 是 不知道 泛型参数 的 具体类型 的 , 借助 reified 关键字 可以检查 运行时 泛型参数 的 具体类型 ;...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现..., 通过 反射 可以实现 ; Java 泛型类对象.javaClass.name == "要判断的类的全类名" 在 函数 中 使用 reified 关键字 , 需要在 尖括号 中 泛型类型 之前

    1.8K10
    领券