[译]在Kotlin中何时该用类型形参约束?

我就是我 2022-05-05 14:58 100阅读 0赞

**翻译说明:**

**原标题: When (and when not) to Use Type Parameter Constraints in Kotlin**

**原文地址: [https://typealias.com/guides/when-to-use-type-parameter-constraints/][https_typealias.com_guides_when-to-use-type-parameter-constraints]**

**原文作者: [Dave Leeds][]**

### 之前的Kotlin文章，欢迎查看: ###

> 翻译系列：

*  **[\[译\] 一个简单方式教你记住Kotlin的形参和实参][_Kotlin]**
 *  **[\[译\]Kotlin中是应该定义函数还是定义属性?][Kotlin]**
 *  **[\[译\]如何在你的Kotlin代码中移除所有的!!(非空断言)][Kotlin 1]**
 *  **[\[译\]掌握Kotlin中的标准库函数: run、with、let、also和apply][Kotlin_ run_with_let_also_apply]**
 *  **[\[译\]有关Kotlin类型别名(typealias)你需要知道的一切][Kotlin_typealias]**
 *  **[\[译\]Kotlin中是应该使用序列(Sequences)还是集合(Lists)?][Kotlin_Sequences_Lists]**
 *  **[\[译\]Kotlin中的龟(List)兔(Sequence)赛跑][Kotlin_List_Sequence]**
 *  **[\[译\]Effective Kotlin系列之考虑使用静态工厂方法替代构造器][Effective Kotlin]**
 *  **[\[译\]Effective Kotlin系列之遇到多个构造器参数要考虑使用构建器][Effective Kotlin 1]**

> 原创系列：

*  **[有关Kotlin属性代理你需要知道的一切][Kotlin 2]**
 *  **[浅谈Kotlin中的Sequences源码解析][Kotlin_Sequences]**
 *  **[浅谈Kotlin中集合和函数式API完全解析-上篇][Kotlin_API_-]**
 *  **[浅谈Kotlin语法篇之lambda编译成字节码过程完全解析][Kotlin_lambda]**
 *  **[浅谈Kotlin语法篇之Lambda表达式完全解析][Kotlin_Lambda]**
 *  **[浅谈Kotlin语法篇之扩展函数][Kotlin 3]**
 *  **[浅谈Kotlin语法篇之顶层函数、中缀调用、解构声明][Kotlin 4]**
 *  **[浅谈Kotlin语法篇之如何让函数更好地调用][Kotlin 5]**
 *  **[浅谈Kotlin语法篇之变量和常量][Kotlin 6]**
 *  **[浅谈Kotlin语法篇之基础语法][Kotlin 7]**

> 实战系列:

*  **[用Kotlin撸一个图片压缩插件ImageSlimming-导学篇(一)][Kotlin_ImageSlimming-]**
 *  **[用Kotlin撸一个图片压缩插件-插件基础篇(二)][Kotlin_-]**
 *  **[用Kotlin撸一个图片压缩插件-实战篇(三)][Kotlin_- 1]**
 *  **[浅谈Kotlin实战篇之自定义View图片圆角简单应用][Kotlin_View]**

### 简述(又来皮一下): ###

今天这篇文章依旧很简单，只要搞懂一个东西就可以了。那就是泛型中的类型形参的约束，这个概念在Java中也有的。但是我们有个疑惑是什么情况下使用泛型类型形参呢？

### 进入正题(开始表演…) ###

当你在声明一个泛型时，Kotlin允许你给这个泛型的类型形参增加约束条件，换言之就是把类型形参可接受的类型实参限制在一个类型范围内。那这个有什么作用呢？让我们一起来看下面这个例子:

想像下有这么个需求场景: 假设你家里有几只宠物，你想选择一个最喜欢的:

fun <T> chooseFavorite(pets: List<T>): T {
        
        val favorite = pets[random.nextInt(pets.size)]
        // This next line won't compile - because `name` can't be resolved
        println("My favorite pet is ${
          favorite.name}")
        return favorite
    }

`println()`函数声明不会通过编译，因为你无法通过`T`来引用`name`属性。因为`T`可以是调用者指定的任何内容。例如，像以下代码实现，`T`就是一个Int类型，很明显它就没有name属性：

chooseFavorite(listOf(1, 2, 3))

### 解决方法一 - 放弃使用泛型 ###

你可以尝试改造一下这个函数，把泛型去掉:

fun chooseFavorite(pets: List<Pet>): Pet {
        
        val favorite = pets[random.nextInt(pets.size)]
        println("My favorite pet is ${
          favorite.name}")
        return favorite
    }

这个处理看起来貌似没有什么问题，但是我们会遇到一种不想要的返回值类型。以下是我们调用该函数时会发生的情况：

val pets: List<Dog> = listOf(Dog("Rover"), Dog("Sheba"))
    val favorite: Pet = chooseFavorite(pets)

尽管我们声明定义的是List< Dog >,但是通过chooseFavorite返回的是一个Pet类型，除非这里我们使用强制类型转换。

### 解决办法二 - 使用类型形参约束 ###

我们可以通过指定上限来限制类型形参-换句话说就是指定你想要接收的超类型。在我们的例子中，我们希望此函数作为`List <Pet>`处理`List <Dog>`，`List <Cat>`也就是既包含`Cat`类型也包含`Dog`类型的混合`Pet`类型的列表中。

fun <T : Pet> chooseFavorite(pets: List<T>): T {
        
        val favorite = pets[random.nextInt(pets.size)]
        println("My favorite pet is ${
          favorite.name}")
        return favorite
    }

这里的类型形参的声明是`<T:Pet>`,这个`Pet`就是上界约束。现在我们已经指定了这个，调用代码只能传递Pet类型以及它的子类型。

val pets: List<Dog> = listOf(Dog("Rover"), Dog("Sheba"))
    val favorite: Dog = chooseFavorite(pets)

### 使用建议 ###

下面两种是你需要使用类型形参约束情况:

1.  当你在某个类型上调用特定的函数或属性(即某个类型的类独有的函数和属性)
2.  当你希望在函数返回时保留某个特定类型

这是一个快速的“备忘单”表，可帮助您决定哪种情况使用什么？

<table> 
 <thead> 
  <tr> 
   <th align="center"></th> 
   <th align="center">需要调用成员(类的成员函数或属性)</th> 
   <th align="center">不需要调用成员(类的成员函数或属性)</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td align="center"><strong>需要保留类型</strong></td> 
   <td align="center">使用带有类型参数约束的泛型</td> 
   <td align="center">使用不带类型参数约束的泛型</td> 
  </tr> 
  <tr> 
   <td align="center"><strong>不需要保留类型</strong></td> 
   <td align="center">使用非泛型和适当的抽象</td> 
   <td align="center">使用Java中的原生态类型</td> 
  </tr> 
 </tbody> 
</table>

### 如何指定约束 ###

约束还有很多 - 您可以指定多个参数的约束，以及对同一参数的多个约束。对于所有细节，请查看概念文章Type Parameter Constraint。您还可以在Kotlin的官方参考文档中快速查看常用约束。

### 读者有话说 ###

本篇文章核心点在于什么情况下该使用泛型约束，作者总结的很好就是那种表格，理解和掌握了那张表格，那么你在使用泛型形参约束上就会胸有成竹。关于那个表格可能有点难理解，我这里再补充解释一下:

*  首先，解释下**是否需要调用成员**，意思是在定义函数声明内部是否使用了泛型形参约束上界类型中对应类的特定成员包括函数或属性，比如说chooseFavorite方法中的name属性就是Pet这个类特定的成员属性。总之一句话: **在函数定义内部是否需要调用特定类型的类的成员或属性，这也就直接决定了是否需要带类型参数约束，如果不需要调用成员，那么就不需要带类型参数约束**
 *  然后，解释下**是否需要保留类型**，就是在定义一个函数的时候，返回值的类型是否要保留泛型形参约束上界类型，主要作用就是避免强制类型转换，例如例子中解决办法一就是去除泛型，而是用了抽象的父类Pet，即使传入的是`List<Dog>`,但是chooseFavorite方法返回依然是父类Pet，外部接收类型Dog所以避免不了强制类型转换。总之一句话: **是否需要保留类型，也就直接决定了是否使用泛型，如果不保留类型的话可以不使用泛型，函数外部接收者可以使用抽象的父类来接收；如果保留类型，函数外部接收者就必须是明确一个类型，那么此时如果还用抽象父类就避免不了类型转换，那么此时就应该使用泛型**
 *  最后，得出简单的总结:

**1、是否需要调用成员决定了在使用泛型前提下，是否使用泛型类型参数约束；否则直接可以使用抽象**

**2、是否保留类型决定了是否使用泛型**

**3、既保留类型又调用成员，则就是使用泛型且带形参约束条件**

**4、不保留类型又调用成员，则就是不使用泛型和适当的抽象**

**5、保留类型不调用成员，则就是使用泛型不带形参约束条件**

**6、不保留类型不调用成员，则就是使用java中原生态类型，例如Java中的List类型**

![1635c3fb0ba21ec1_w_430_h_430_f_jpeg_s_39536][]

**欢迎关注Kotlin开发者联盟，这里有最新Kotlin技术文章，每周会不定期翻译一篇Kotlin国外技术文章。如果你也喜欢Kotlin，欢迎加入我们~~~**

### Kotlin系列文章，欢迎查看: ###

> Kotlin邂逅设计模式系列:

*  **[当Kotlin完美邂逅设计模式之单例模式(一)][Kotlin 8]**

> 数据结构与算法系列:

*  **[每周一算法之二分查找(Kotlin描述)][Kotlin 9]**

> 翻译系列：

*  **[\[译\] Kotlin中关于Companion Object的那些事][Kotlin_Companion Object]**
 *  **[\[译\]记一次Kotlin官方文档翻译的PR(内联类)][Kotlin_PR]**
 *  **[\[译\]Kotlin中内联类的自动装箱和高性能探索(二)][Kotlin 10]**
 *  **[\[译\]Kotlin中内联类(inline class)完全解析(一)][Kotlin_inline class]**
 *  **[\[译\]Kotlin的独门秘籍Reified实化类型参数(上篇)][Kotlin_Reified]**
 *  **[\[译\]Kotlin泛型中何时该用类型形参约束?][Kotlin 11]**
 *  **[\[译\] 一个简单方式教你记住Kotlin的形参和实参][_Kotlin 1]**
 *  **[\[译\]Kotlin中是应该定义函数还是定义属性?][Kotlin 12]**
 *  **[\[译\]如何在你的Kotlin代码中移除所有的!!(非空断言)][Kotlin 13]**
 *  **[\[译\]掌握Kotlin中的标准库函数: run、with、let、also和apply][Kotlin_ run_with_let_also_apply 1]**
 *  **[\[译\]有关Kotlin类型别名(typealias)你需要知道的一切][Kotlin_typealias 1]**
 *  **[\[译\]Kotlin中是应该使用序列(Sequences)还是集合(Lists)?][Kotlin_Sequences_Lists 1]**
 *  **[\[译\]Kotlin中的龟(List)兔(Sequence)赛跑][Kotlin_List_Sequence 1]**

> 原创系列：

*  **[教你如何完全解析Kotlin中的类型系统][Kotlin 14]**
 *  **[如何让你的回调更具Kotlin风味][Kotlin 15]**
 *  **[Jetbrains开发者日见闻(三)之Kotlin1.3新特性(inline class篇)][Jetbrains_Kotlin1.3_inline class]**
 *  **[JetBrains开发者日见闻(二)之Kotlin1.3的新特性(Contract契约与协程篇)][JetBrains_Kotlin1.3_Contract]**
 *  **[JetBrains开发者日见闻(一)之Kotlin/Native 尝鲜篇][JetBrains_Kotlin_Native]**
 *  **[教你如何攻克Kotlin中泛型型变的难点(实践篇)][Kotlin 16]**
 *  **[教你如何攻克Kotlin中泛型型变的难点(下篇)][Kotlin 17]**
 *  **[教你如何攻克Kotlin中泛型型变的难点(上篇)][Kotlin 18]**
 *  **[Kotlin的独门秘籍Reified实化类型参数(下篇)][Kotlin_Reified 1]**
 *  **[有关Kotlin属性代理你需要知道的一切][Kotlin 19]**
 *  **[浅谈Kotlin中的Sequences源码解析][Kotlin_Sequences 1]**
 *  **[浅谈Kotlin中集合和函数式API完全解析-上篇][Kotlin_API_- 1]**
 *  **[浅谈Kotlin语法篇之lambda编译成字节码过程完全解析][Kotlin_lambda 1]**
 *  **[浅谈Kotlin语法篇之Lambda表达式完全解析][Kotlin_Lambda 1]**
 *  **[浅谈Kotlin语法篇之扩展函数][Kotlin 20]**
 *  **[浅谈Kotlin语法篇之顶层函数、中缀调用、解构声明][Kotlin 21]**
 *  **[浅谈Kotlin语法篇之如何让函数更好地调用][Kotlin 22]**
 *  **[浅谈Kotlin语法篇之变量和常量][Kotlin 23]**
 *  **[浅谈Kotlin语法篇之基础语法][Kotlin 24]**

> Effective Kotlin翻译系列

*  **[\[译\]Effective Kotlin系列之考虑使用原始类型的数组优化性能(五)][Effective Kotlin 2]**
 *  **[\[译\]Effective Kotlin系列之使用Sequence来优化集合的操作(四)][Effective Kotlin_Sequence]**
 *  **[\[译\]Effective Kotlin系列之探索高阶函数中inline修饰符(三)][Effective Kotlin_inline]**
 *  **[\[译\]Effective Kotlin系列之遇到多个构造器参数要考虑使用构建器(二)][Effective Kotlin 3]**
 *  **[\[译\]Effective Kotlin系列之考虑使用静态工厂方法替代构造器(一)][Effective Kotlin 4]**

> 实战系列:

*  **[用Kotlin撸一个图片压缩插件ImageSlimming-导学篇(一)][Kotlin_ImageSlimming- 1]**
 *  **[用Kotlin撸一个图片压缩插件-插件基础篇(二)][Kotlin_- 2]**
 *  **[用Kotlin撸一个图片压缩插件-实战篇(三)][Kotlin_- 3]**
 *  **[浅谈Kotlin实战篇之自定义View图片圆角简单应用][Kotlin_View 1]**

[https_typealias.com_guides_when-to-use-type-parameter-constraints]: https://typealias.com/guides/when-to-use-type-parameter-constraints/
[Dave Leeds]: https://twitter.com/djleeds
[_Kotlin]: https://juejin.im/post/5bc5f41f6fb9a05d1a1305e1
[Kotlin]: https://juejin.im/post/5afc23446fb9a07ab979abdf
[Kotlin 1]: https://juejin.im/post/5afd9090f265da0ba46a0429
[Kotlin_ run_with_let_also_apply]: https://juejin.im/post/5b0048ed518825428a2619ed
[Kotlin_typealias]: https://juejin.im/post/5b052f806fb9a07ac0229ce3
[Kotlin_Sequences_Lists]: https://juejin.im/post/5b13fdace51d450696590828
[Kotlin_List_Sequence]: https://juejin.im/post/5b28f4946fb9a00e3a5a9b8c
[Effective Kotlin]: https://juejin.im/post/5b78f805e51d4538c2108951
[Effective Kotlin 1]: https://juejin.im/post/5b8698bce51d4538a423dd70
[Kotlin 2]: https://juejin.im/post/5ba64572e51d4527ed0024dd
[Kotlin_Sequences]: https://juejin.im/post/5b8958bdf265da43351d6d29
[Kotlin_API_-]: https://juejin.im/post/5ac0dd32f265da237d03271e
[Kotlin_lambda]: https://juejin.im/post/5adfdb8d6fb9a07ab773dc40
[Kotlin_Lambda]: https://juejin.im/post/5ac0dca8f265da237e09ddc1
[Kotlin 3]: https://juejin.im/post/5acb7ad16fb9a028e33bc0ea
[Kotlin 4]: https://juejin.im/post/5ac0dc18f265da2397070124
[Kotlin 5]: https://juejin.im/post/5ac0dabaf265da237a4d2941
[Kotlin 6]: https://juejin.im/post/5ac0d9d9f265da237d032713
[Kotlin 7]: https://juejin.im/post/5aba47ca5188255c56687783
[Kotlin_ImageSlimming-]: https://juejin.im/post/5b3453fe6fb9a00e883f37fa
[Kotlin_-]: https://juejin.im/post/5b34fdb26fb9a00e356844b8
[Kotlin_- 1]: https://juejin.im/post/5b34fe66e51d4558ba1a8445
[Kotlin_View]: https://juejin.im/post/5ae1755d6fb9a07ab9792da4
[1635c3fb0ba21ec1_w_430_h_430_f_jpeg_s_39536]: https://user-gold-cdn.xitu.io/2018/5/14/1635c3fb0ba21ec1?w=430&h=430&f=jpeg&s=39536
[Kotlin 8]: https://blog.csdn.net/u013064109/article/details/89078666
[Kotlin 9]: https://blog.csdn.net/u013064109/article/details/89023937
[Kotlin_Companion Object]: https://blog.csdn.net/u013064109/article/details/89199478
[Kotlin_PR]: https://blog.csdn.net/u013064109/article/details/85180755
[Kotlin 10]: https://blog.csdn.net/u013064109/article/details/84899657
[Kotlin_inline class]: https://blog.csdn.net/u013064109/article/details/84866092
[Kotlin_Reified]: https://blog.csdn.net/u013064109/article/details/83388976
[Kotlin 11]: https://blog.csdn.net/u013064109/article/details/83120352
[_Kotlin 1]: https://blog.csdn.net/u013064109/article/details/83099581
[Kotlin 12]: https://blog.csdn.net/u013064109/article/details/80344848
[Kotlin 13]: https://blog.csdn.net/u013064109/article/details/80358822
[Kotlin_ run_with_let_also_apply 1]: https://blog.csdn.net/u013064109/article/details/80387322
[Kotlin_typealias 1]: https://blog.csdn.net/u013064109/article/details/80444565
[Kotlin_Sequences_Lists 1]: https://blog.csdn.net/u013064109/article/details/80562009
[Kotlin_List_Sequence 1]: https://blog.csdn.net/u013064109/article/details/80740230
[Kotlin 14]: https://blog.csdn.net/u013064109/article/details/88985474
[Kotlin 15]: https://blog.csdn.net/u013064109/article/details/86695094
[Jetbrains_Kotlin1.3_inline class]: https://blog.csdn.net/u013064109/article/details/84837918
[JetBrains_Kotlin1.3_Contract]: https://blog.csdn.net/u013064109/article/details/84782206
[JetBrains_Kotlin_Native]: https://blog.csdn.net/u013064109/article/details/84729814
[Kotlin 16]: https://blog.csdn.net/u013064109/article/details/84504847
[Kotlin 17]: https://blog.csdn.net/u013064109/article/details/84060626
[Kotlin 18]: https://blog.csdn.net/u013064109/article/details/83869716
[Kotlin_Reified 1]: https://blog.csdn.net/u013064109/article/details/83507076
[Kotlin 19]: https://blog.csdn.net/u013064109/article/details/82794410
[Kotlin_Sequences 1]: https://blog.csdn.net/u013064109/article/details/80588034
[Kotlin_API_- 1]: https://blog.csdn.net/u013064109/article/details/80275942
[Kotlin_lambda 1]: https://blog.csdn.net/u013064109/article/details/80139556
[Kotlin_Lambda 1]: https://blog.csdn.net/u013064109/article/details/80088158
[Kotlin 20]: https://blog.csdn.net/u013064109/article/details/79968846
[Kotlin 21]: https://blog.csdn.net/u013064109/article/details/79887528
[Kotlin 22]: https://blog.csdn.net/u013064109/article/details/79503709
[Kotlin 23]: https://blog.csdn.net/u013064109/article/details/79296502
[Kotlin 24]: https://blog.csdn.net/u013064109/article/details/77843579
[Effective Kotlin 2]: https://blog.csdn.net/u013064109/article/details/84996951
[Effective Kotlin_Sequence]: https://blog.csdn.net/u013064109/article/details/84981570
[Effective Kotlin_inline]: https://blog.csdn.net/u013064109/article/details/84948769
[Effective Kotlin 3]: https://blog.csdn.net/u013064109/article/details/82121020
[Effective Kotlin 4]: https://blog.csdn.net/u013064109/article/details/81916446
[Kotlin_ImageSlimming- 1]: https://blog.csdn.net/u013064109/article/details/80850992
[Kotlin_- 2]: https://blog.csdn.net/u013064109/article/details/80879296
[Kotlin_- 3]: https://blog.csdn.net/u013064109/article/details/81814643
[Kotlin_View 1]: https://blog.csdn.net/u013064109/article/details/80102036