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

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

文章目录 一、泛型类 二、泛型参数 三、泛型函数 四、多泛型参数 五、泛型类型约束 一、泛型类 ---- 定义一个 泛型类 , 将 泛型参数 T 放在 尖括号 中 , 该泛型参数放在 类名后..., 主构造函数之前 , 该泛型参数 T 是 类型占位符 , 在 该泛型类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性 主构造函数中可以接收 T 类型的实例对象作为参数...下面的代码中 , 声明了 Student 泛型类 , 该泛型类 接收 T 类型的泛型参数 , 在主构造函数中接收 T 类型的参数 , 在该泛型类中声明了 T 类型的成员属性 ; class Student...---- 函数 的 参数 或 返回值 类型为 泛型类型 , 则该函数称为 泛型函数 ; 代码示例 : 该代码中 , 泛型函数 logT 的 参数 和 返回值 都是 T 泛型参数 类型 ; class...类的泛型 进行了约束 , 必须是 Weapon 类的子类类型 ; class Soldier(_item: T) {} Weapon 类是父类 , 其有一个 子类 AK47 类

2.9K10

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

九、泛型 in 逆变 十、泛型 invariant 不变 十一、泛型逆变协变代码示例 十二、使用 reified 关键字检查泛型参数类型 一、泛型类 ---- 定义一个 泛型类 , 将 泛型参数 T...放在 尖括号 中 , 该泛型参数放在 类名后 , 主构造函数之前 , 该泛型参数 T 是 类型占位符 , 在 该泛型类类中 可以使用 类型占位符 T 作为一个类 使用 , 可以 定义 T 类型成员属性...类的泛型 进行了约束 , 必须是 Weapon 类的子类类型 ; class Soldier(_item: T) {} Weapon 类是父类 , 其有一个 子类 AK47 类...( 反之就会报错 ) 如果 使用 out 关键字 , 则 范围小的子类泛型对象 赋值给 范围大的 父类泛型对象 ; ( 反之就会报错 ) 使用了 泛型 out 协变 和 泛型 in 逆变 极大的提高了程序的扩展性...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

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

    Kotlin 泛型:类型参数约束

    Kotlin 泛型:基本使用Kotlin 泛型:类型参数约束系列持续更新中,欢迎关注订阅。...,计算返回「数值类型列表」中的每一个元素的和,会发现有点棘手:因为「类型参数」T 可以是任意类型,我们根本无法编写出一个适用于「任意类型」的sum()函数。...,能知道传入对象上具有compareTo方法,可以使用这个方法进行比较由于Person类实现了Comparable接口,因此可以作为参数传入max函数但因为Any类没有实现Comparable...中的泛型属性也同样变得可空,这使得泛型类在具体实现的时候,需要考虑参数为空的情况,也让编写代码的具体实现变得复杂。...当我们定义一个范型类/范型函数时,由于「类型参数」在被「类型实参」替换时可使用「可空类型」和「非空类型」这两种类型,这会迫使我们在做具体实现要考虑可空类型,带来了不必要的复杂性。

    2.3K31

    Go 泛型之类型参数

    Go 泛型之了解类型参数 一、Go 的泛型与其他主流编程语言的泛型差异 Go泛型和其他支持泛型的主流编程语言之间的泛型设计与实现存在差异一样,Go 的泛型与其他主流编程语言的泛型也是不同的。...我们先看一下 Go 泛型设计方案已经明确不支持的若干特性,比如: 不支持泛型特化(specialization),即不支持编写一个泛型函数针对某个具体类型的特殊版本; 不支持元编程(metaprogramming...和泛型函数一样,泛型类型可以有多个类型参数,类型参数名通常是首字母大写的,这些类型参数也必须是具名的,且命名唯一。...六、泛型方法 我们知道 Go 类型可以拥有自己的方法(method),泛型类型也不例外,为泛型类型定义的方法称为泛型方法(generic method),接下来我们就来看看如何定义和使用泛型方法。...在泛型方法中,receiver 中某个类型参数如果没有在方法参数列表和返回值中使用,可以用“_”代替,但不能不写,比如: type foo[A comparable, B any] struct{}

    28810

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

    接口 , 方法 提供复用性 , 支持类型不确定的数据类型 ; 泛型类 : 提高代码复用程度 ; 泛型方法 : 参数或返回值有泛型类型约束 , 参数或返回值类型必须符合对应的泛型类型 , 泛型使用时会进行类型检查约束...创建泛型类对象 , 泛型类型设置为 String 类型 Cache cache = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型...){ // 创建泛型类对象 , 泛型类型设置为 String 类型 Cache cache = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型.../ 创建泛型类对象 , 泛型类型设置为 int 类型 Cache cache2 = Cache(); // 调用泛型方法时 , 传入的参数必须符合对应的泛型类型 //.../ 泛型类 : 提高代码复用程度 /// 该类是一个缓存类 , 缓存的数据类型是 T 泛型 , 该类型可以是任意类型 class Cache{ /// 缓存数据存储到该 Map 集合中 Map

    5.4K00

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

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

    3.8K40

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

    协变 和 泛型 in 逆变 极大的提高了程序的扩展性 ; 泛型 in 逆变 : 使用 in 关键字 , 可以使 父类泛型对象 赋值给 子类泛型对象 ; 泛型 out 协变 : 使用 out 关键字 ,...- 使用 in 关键字 , 可以使 父类泛型对象 赋值给 子类泛型对象 ; 在 泛型类 中 , 如果只将 泛型类型 作为 函数的参数 类型 , 则在 声明 泛型参数 类型 时 , 在 泛型参数 前...---- 泛型类 中 泛型参数 有 子类 和 父类 , Java 语言中 , 泛型参数 是 子类 的 泛型类对象 , 不可以赋值 给 泛型参数 是父类 的变量 ; Java 中的泛型对象赋值 ,...( 反之就会报错 ) 如果 使用 out 关键字 , 则 范围小的子类泛型对象 赋值给 范围大的 父类泛型对象 ; ( 反之就会报错 ) 使用了 泛型 out 协变 和 泛型 in 逆变 极大的提高了程序的扩展性...在 Java 中 , 运行时 不知道 泛型参数 的 具体类型 ; 在 Kotlin 中可以 通过 reified 关键字检查 泛型参数类型 ; Java 中如果想要知道 泛型参数 具体类型 , 通过常规的方法无法实现

    1.8K10

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

    本篇提议把不透明类型的语法扩展到了参数上,允许指定泛型函数参数,而不需要声明与泛型参数列表关联的模版。...,但是改进后的函数去掉了泛型参数和模版之前对应关系,更加方便阅读和理解:它接受两个视图(视图的具体类型这里不重要),并返回一个视图(返回的视图类型也不重要)。...提议的解决方案这篇提议把some关键字的用法扩展到函数,初始化器(initializer)和下标声明的参数类型中。与不透明类型一样,some P表示的类型没有名字,只有一个遵守协议P的约束。...还有2个场景限制使用:可变泛型和函数类型的参数。可变泛型不透明类型不能在可变参数中使用。比如下例中的可变参数 P......针对上述不同参数的报错,有一种可能的解决方案是:对于可变泛型,可以将隐式泛型参数改为泛型参数包,也就是模版中P改为P...,此时约束从遵循同一类型的泛型变成支持不同类型的泛型(感觉支持了所有类型?

    2.9K141

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

    首先,来看一个程序,对泛型有一个初步的认识。...因为我们的数组中存储的元素类型是不确定的,所以这里我们用到了泛型,其中where T : strut子句约束参数类型T必须为值类型。当然这个程序我们不使用泛型,直接定义Object类型的数组也可以。...下面重点说说C#中泛型类型参数的约束: 在定义泛型类时,可以对客户端代码能够在实例化类时用于类型参数的类型种类施加限制。 如果客户端代码尝试使用某个约束所不允许的类型来实例化类,则会产生编译时错误。...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

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

    值 规则 ID CA1005 类别 设计 修复是中断修复还是非中断修复 重大 原因 外部可见的泛型类型具有两个以上的类型参数。 默认情况下,此规则仅查看外部可见的类型,但这是可配置的。...规则说明 泛型类型包含的类型参数越多,越难以知道并记住每个类型参数各代表什么。...它通常有一个类型参数,如在 List 中,而在某些情况下有两个类型参数,如在 Dictionary 中。...如何解决冲突 若要解决此规则的冲突,请将设计更改为使用不超过两个类型参数。 何时禁止显示警告 除非设计确实需要两个以上的类型参数,否则不要禁止显示此规则的警告。...以易于理解和使用的语法提供泛型,可减少学习所需的时间,并增加新库的采用率。

    1.1K30

    java泛型:通过自定义ParameterizedType实现参数化类型中类型参数的替换

    需求说明 如果要动态构造一个泛型参数对象(ParameterizedType),guava提供的TypeToken工具可以部分实现这个功能: 比如下面这个例子(来自guava wiki TypeToken...TypeParameter构造一个新的ParameterizedType,如果想根据一个已有的ParameterizedType对象替换其中的参数,上面的方法并不能实现。...实现这个需求最关键的就是要有一个ParameterizedType接口的实现类,有了这个实现类,你想怎么替换都成。...虽然 ParameterizedType接口方法也没几个,但如何自己写个ParameterizedTypeImpl呢? 别逗了,还真打算从头自己写一个啊,再说自己的写的敢用么?...方法实现了参数类型替换。

    4.8K80

    C#中泛型类和扩展方法如何使用案例分享

    对实例变量strs采用Where方法,我们发现Where也足够”聪明”,因为它是针对IEnumerable集合类型的扩展方法。.NET内部到底是如何实现的呢?不妨临摹一下~~创建一个类型泛型。...,需要定义一个泛型类,一个泛型类型的属性,一个把泛型类型作为参数的构造方法。...现在想对泛型实例cuteInt和cuteStr的属性GetCute使用扩展方法,如何做呢?...泛型类和普通类没有本质的区别,只不过在类名称后面多了一个占位符、或者叫类型参数,泛型类的构造函数参数是类型参数,泛型类的属性类型也是类型参数。...如果针对不同类型实例的操作逻辑是一样的,就可以针对不同实例类型的共同父类或接口写一个扩展方法。

    1.3K00

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

    通过该方法,大家肯定知道它的参数类型为Box,但是大家思考一个问题:你认为Box 和Box类型的参数可以传入吗? 答案是否定的。...那么问题来了,当类的泛型相关时,如何在两个泛型类之间创建类似子类型的关系呢?例如如何让Box 和Box变得与Box有关呢?...为了搞懂这个问题,我们先来了解一下同一类型的对象是如何实现子类型化的吧。...小结:可以通过继承泛型类或者实现接口来对其进行子类型化。 搞懂了子类型化的问题,我们回到“如何在两个泛型类之间创建类似子类型的关系“的问题。...泛型类或者接口并不会仅仅因为它们的类型之间有关系而变得相关,如果要达到相关,我们可以使用通配符来创建泛型类或接口之间的关系。

    2.9K20

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

    这可以避免在泛型方法中使用值类型参数,因为值类型参数会被装箱和拆箱,造成性能损失。...结构约束(struct constraint):使用 where T : struct 约束可以确保泛型参数必须是值类型。这可以避免在泛型方法中使用引用类型参数,以提高性能和避免空引用异常。...这可以在泛型方法中使用接口的方法和属性,而无需知道具体的实现类。...基类约束(base class constraint):使用 where T : 基类名称 约束可以确保泛型参数必须是指定基类的派生类。这可以确保泛型参数具有特定的行为和属性。...构造函数约束(new() constraint):使用 where T : new() 约束可以确保泛型参数必须具有无参数的公共构造函数。这可以在泛型方法中使用 new 关键字实例化泛型参数。

    8110

    根据java编译器规则在Class中搜索匹配指定参数类型表的泛型方法(GenericMethod)

    因为项目的需要,设计了一个满足特定需要的代码自动生成工具。在开发过程中需要根据方法名和方法参数类型数组在指定的类中根据java编译器的规则找到与之最匹配的泛型方法。...例如,对下面这个类 ,调用test(1,new URL(“http://www.sohu.com“),new Date())会最终调用到哪个方法?...void test(int a,URL b,T c){ } public void test(T1 a,T2 b,T3 c){ } } 于是对java关于泛型方法匹配的方式做了研究...,发现java编译器在匹配泛型方法时,对参数的匹配是遵循从左到右的顺序来一个个检查的,根据这个规则写了下面的方法来实现泛型方法的精确匹配。.../** * @param clazz 要搜索的类 * @param name 方法名 * @param parameterTypes 希望匹配的参数类型数组 *

    1.6K30
    领券