首页
学习
活动
专区
圈层
工具
发布

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

, T 类型可以 作为函数的返回值 ; 通常情况下 , 泛型参数 都使用 T 表示 , 使用其它字母 或者 字符串 都可以表示 泛型参数 , 但是 约定俗成 都使用 T 来表示泛型 ; 代码示例 :...---- 函数 的 参数 或 返回值 类型为 泛型类型 , 则该函数称为 泛型函数 ; 代码示例 : 该代码中 , 泛型函数 logT 的 参数 和 返回值 都是 T 泛型参数 类型 ; class...Student(_item: T) { var item: T = _item // 泛型函数 参数 和 返回值 都是 T 类型 fun logT(t: T): T{...---- 泛型函数 中 如果涉及到 匿名函数 参数 , 匿名函数 的 参数返回值 都是泛型 的话 , 在该泛型函数 中可能需要使用多个泛型 , 使用不同的字母表示不同的泛型 ; 如果函数中 引入了新的泛型类型...引入了新的泛型类型 , 需要在 class 关键字 和 主构造函数 之前 , 使用 尖括号 注明 ; class Student(_item: T) { } 泛型函数 泛型参数 声明 :

4.2K10

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

主构造函数中可以接收 T 类型的实例对象作为参数 , T 类型可以 作为函数的返回值 ; 通常情况下 , 泛型参数 都使用 T 表示 , 使用其它字母 或者 字符串 都可以表示 泛型参数 , 但是 约定俗成...---- 函数 的 参数 或 返回值 类型为 泛型类型 , 则该函数称为 泛型函数 ; 代码示例 : 该代码中 , 泛型函数 logT 的 参数 和 返回值 都是 T 泛型参数 类型 ; class...Student(_item: T) { var item: T = _item // 泛型函数 参数 和 返回值 都是 T 类型 fun logT(t: T): T{...八、泛型 out 协变 ---- 使用 out 关键字 , 可以使 子类泛型对象 赋值给 父类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的返回值 类型 , 则在 声明 泛型参数...(t: T) } 十、泛型 invariant 不变 ---- 在 泛型类 中 , 如果 既将 泛型类型 作为 函数的参数 类型 , 又将 泛型类型 作为 函数的返回值 类型 , 则在 声明 泛型参数

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

    Go 泛型之类型参数

    Go 泛型之了解类型参数 一、Go 的泛型与其他主流编程语言的泛型差异 Go泛型和其他支持泛型的主流编程语言之间的泛型设计与实现存在差异一样,Go 的泛型与其他主流编程语言的泛型也是不同的。..., T2, constraint2, ..., Tn constraintN](ordinary parameters list) (return values list) 函数一旦拥有类型参数,就可以用该参数作为常规参数列表和返回值列表中修饰参数和返回值的类型...和泛型函数一样,泛型类型可以有多个类型参数,类型参数名通常是首字母大写的,这些类型参数也必须是具名的,且命名唯一。...(比如上面的 element 类型)、复合类型的元素类型(比如上面的 Set 和 Map 类型)或方法的参数和返回值类型(如 NumericAbs 接口类型)等。...在泛型方法中,receiver 中某个类型参数如果没有在方法参数列表和返回值中使用,可以用“_”代替,但不能不写,比如: type foo[A comparable, B any] struct{}

    89610

    Kotlin 泛型:类型参数约束

    上一篇文章讲了 Kotlin 泛型:基本使用,接下来我们再进一步了解泛型使用相关的进阶知识。本篇是 Kotlin 泛型类型参数约束的讲解,更多内容可点击链接查看。...Kotlin 泛型:基本使用Kotlin 泛型:类型参数约束系列持续更新中,欢迎关注订阅。...为什么需要类型参数约束在上一篇文章里,我们使用泛型定义了一个泛型列表List,使用这个列表,我们可以在使用的时候,实例化出各种具体类型的列表,比如字符串列表List、整型列表List...,计算返回「数值类型列表」中的每一个元素的和,会发现有点棘手:因为「类型参数」T 可以是任意类型,我们根本无法编写出一个适用于「任意类型」的sum()函数。...中的泛型属性也同样变得可空,这使得泛型类在具体实现的时候,需要考虑参数为空的情况,也让编写代码的具体实现变得复杂。

    2.9K31

    swift 泛型

    泛型是为Swift编程灵活性的一种语法,在函数、枚举、结构体、类中都得到充分的应用,它的引入可以起到占位符的作用,当类型暂时不确定的,只有等到调用函数时才能确定具体类型的时候可以引入泛型 泛型可以理解为...:泛型就是占位符 泛型函数 函数的泛型使用了占位类型名(在这里用字母 T 来表示)来代替实际类型名(例如 Int、String)。...占位类型名没有指明 T 必须是什么类型,但是它指明了 a 和 b 必须是同一类型 T,无论 T 代表什么类型。...Container 协议需要指定任何通过 append(_:) 方法添加到容器中的元素和容器中的元素是相同类型,并且通过容器下标返回的元素的类型也是这种类型,为了达到这个目的,Container 协议声明了一个关联类型...where 语句 下面这个泛型函数在类型参数里面添加了where子句约束,C1,C2都必须是采纳Container协议的类型,并且C1、C2的泛型类型必须相同,而且C1的泛型类型必须是符合Equatable

    30210

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

    介绍Swift 中的泛型语法是为了类型通用性设计,这种通用性允许在函数输入和输出时,使用复杂的类型集合来表达,前提是类型必须前后一致。...不透明结果类型和不透明参数类型其实很相似,都是使用some 关键字来修饰,前者用在返回结果中,后者用在参数中。本质都是表达遵循同一协议类型的泛型类型。...还有2个场景限制使用:可变泛型和函数类型的参数。可变泛型不透明类型不能在可变参数中使用。比如下例中的可变参数 P......针对上述不同参数的报错,有一种可能的解决方案是:对于可变泛型,可以将隐式泛型参数改为泛型参数包,也就是模版中P改为P...,此时约束从遵循同一类型的泛型变成支持不同类型的泛型(感觉支持了所有类型?...总结通过当前提议 SE-0341,你应当知道:Swift5.7 通过运用 some 到泛型参数类型,是为了去除泛型模块声明的冗余表达;some 对应的是与之等价的泛型模版表达式;内部通过类型推断,确定真实的不透明参数类型所对应的类型

    3.1K141

    Swift学习:泛型

    本篇将详细总结介绍Swift泛型的用法; Swift泛型代码让你能够根据自定义的需求,编写出适用于任意类型、灵活可重用的函数及类型。它能让你避免代码的重复,用一种清晰和抽象的方式来表达代码的意图。...主要内容: 1.泛型解决的问题 2.泛型函数 3.泛型类型 4.扩展一个泛型类型 5.泛型的类型约束 6.关联类型 一、泛型解决的问题 Swift泛型代码让你能够根据自定义的需求,编写出适用于任意类型...三、泛型类型 3.1.系统类型使用到的泛型 事实上,泛型类型的使用贯穿了Swift语言。例如,Swift的Array和Dictionary都是泛型集合。...除了泛型函数,Swift还允许你定义泛型类型;这些自定义类、结构体和枚举可以适用于任何类型,类似于Array和 Dictionary。...五、泛型的类型约束 swapTwoValues(::)函数和Stack类型可以作用于任何类型。但如果可以为泛型函数和泛型类型的类型添加一个特定的类型约束,将会是非常有用的。

    1.7K20

    Swift 进阶: 泛型

    例如,Swift 的Array 和Dictionary 类型都是泛型集合。 你可以创建一个容纳 Int 值的数组,或者容纳String 值的数组,甚至容纳任何 Swift 可以创建的其他类型的数组。...命名类型形式参数 ---- 大多数情况下,类型形式参数的名字要有描述性,比如Dictionary 中的Key 和Value ,借此告知读者类型形式参数和泛型类型、泛型用到的函数之间的关系...泛型类型 ---- 除了泛型函数,Swift允许你定义自己的泛型类型。它们是可以用于任意类型的自定义类、结构体、枚举,和Array 、Dictionary 方式类似。...所有 Swift 基本类型(比如 String 、Int 、Double 和 Bool )默认都是可哈希的。 创建自定义泛型类型时,你可以定义你自己的类型约束,这些约束可以提供强大的泛型编程能力。...泛型Where 分句让你能够要求一个关联类型必须遵循指定的协议,或者指定的类型形式参数和关联类型必须相同。泛型Where 分句以 Where 关键字开头,后接关联类型的约束或类型和关联类型一致的关系。

    2K20

    Swift进阶八——泛型

    之前在文章Swift基础语法(三)中有介绍过泛型,本文是对之前介绍的补充。...扩展泛型类型 当你扩展一个泛型类型的时候,不需要在扩展的定义中提供类型形式参数列表。原始类型定义的类型形式参数列表在扩展体里面仍然有效,并且原始类型形式参数列表名称也用于扩展类型形式参数。...这四点: someContainer 是一个C1类型的容器 anotherContainer 是一个C2类型的容器 someContainer和anotherContainer中的元素类型是相同的 someContainer...泛型下标 在Swift中,下标也是支持泛型的。你可以在subscript后面用尖括号来写类型占位符,你还可以在下标代码块花括号前写泛型where分句。...泛型where分句要求序列的遍历器必须遍历Int类型的元素,这就保证了序列中的元素类型与容器索引的类型是相同的 这些限定合在一起,就意味着传入的indices形式参数是一个整数的序列 以上。

    88930

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

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

    7K00

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

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

    2.3K10

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

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

    84510

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

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

    4.6K60

    泛型接口,泛型类和泛型通配符

    泛型接口和泛型类 泛型接口的定义,public interface man{...}。在接口名后面加上泛型类型参数T,这样就定义了一个泛型接口。 ?...加入传递的是Student,那么上面三个方法分别是学生在跑路,获取一个学生对象,根据学校名称返回所有学生。使用泛型接口,可以在实现的时候才定义具体需要实现的类型,使接口可以进行更高级的抽象。...泛型类的定义,public class Man{...},在类名后面加上泛型类型参数T,这样就定义了一个泛型类。 ? 泛型类 和泛型接口不同,类有构造器,并且构造器也可以使用泛型类型参数。...在这个泛型类里面,使用了两个泛型类型参数,如果有必要可以定义更多的泛型参数。...比如父类是Book,子类不能直接extends Book,而是需要指定T的类型,上例中使用的Book作为类型。 在java中,泛型不能继承和实现。为什么?WHY?

    2.9K20

    JDK5泛型和可变参数

    JDK5泛型和可变参数 泛型和可变参数在我们学习类,集合时是必不可缺的,我们可以通过泛型和可变参数简化编译代码以便于更好地达到目的 泛型概述 泛型: JDK5引入的特性,提供了编译时类型安全检测机制,...该机制允许在变成时检测到非法的类型; 它的本质是参数化类型,操作数的数据类型被指定为一个参数 将类型由原本的具体的类型参数化,然后在使用和调用时传入具体的 类型 泛型定义格式: 类型>:指定一种类型的格式...class 类名类型>{ } 下面给出泛型类和应用泛型类的实例: public class Demo2 { public static void main(String[] args...,那么方法参数的个数就是可变的了 格式: 修饰符 返回值类型 方法名(其他类型 类型名,数据类型......for (int i : a){ sum += i; } System.out.println(sum); } } 结束语 好的,关于泛型和可变参数的话题就到这里

    30420
    领券