[译]Kotlin的独门秘籍Reified实化类型参数(上篇)

超、凢脫俗 2022-05-14 14:13 147阅读 0赞

**翻译说明:**

**原标题: Getting Real with Kotlin’s Reified Type Parameters**

**原文地址: [https://typealias.com/guides/getting-real-with-reified-type-parameters/][https_typealias.com_guides_getting-real-with-reified-type-parameters]**

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

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

> 翻译系列：

*  **[\[译\]Kotlin泛型中何时该用类型形参约束?][Kotlin]**
 *  **[\[译\] 一个简单方式教你记住Kotlin的形参和实参][_Kotlin]**
 *  **[\[译\]Kotlin中是应该定义函数还是定义属性?][Kotlin 1]**
 *  **[\[译\]如何在你的Kotlin代码中移除所有的!!(非空断言)][Kotlin 2]**
 *  **[\[译\]掌握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 3]**
 *  **[浅谈Kotlin中的Sequences源码解析][Kotlin_Sequences]**
 *  **[浅谈Kotlin中集合和函数式API完全解析-上篇][Kotlin_API_-]**
 *  **[浅谈Kotlin语法篇之lambda编译成字节码过程完全解析][Kotlin_lambda]**
 *  **[浅谈Kotlin语法篇之Lambda表达式完全解析][Kotlin_Lambda]**
 *  **[浅谈Kotlin语法篇之扩展函数][Kotlin 4]**
 *  **[浅谈Kotlin语法篇之顶层函数、中缀调用、解构声明][Kotlin 5]**
 *  **[浅谈Kotlin语法篇之如何让函数更好地调用][Kotlin 6]**
 *  **[浅谈Kotlin语法篇之变量和常量][Kotlin 7]**
 *  **[浅谈Kotlin语法篇之基础语法][Kotlin 8]**

> 实战系列:

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

### 简述:(今天扯点不一样的东西) ###

本篇已经是Kotlin泛型系列第三篇了，先来回顾下前面两篇分别讲的是泛型中的类型形参和类型实参以及什么时候该使用类型形参约束。今天我们来说点Kotlin独有的泛型特性，但是Java中是没有的。那就是Kotlin中reified关键字修饰的泛型实化类型参数。再说这个之前我觉得有必要科普一下历史背景以及为什么Kotlin会出现实化类型参数。

**历史背景:**

我们都知道Java中的泛型是在JDK1.5的版本引入的，可是集合Collection在JDK1.2版本中就引入的，我们现在所看到的`List<T>`，是在泛型出来后加入的，那么JDK1.2之前就直接用`List`(java中俗称原生态类型)表示。问题来了为了兼容之前的版本Java采用所谓的伪泛型，伪泛型有个什么特征我想大家应该猜到那就是**泛型擦除**，就是泛型类型信息在编译期都会被抹掉，不管你是`List<String>`还是`List<Float>`在运行时他们都一样,那都是List类型，泛型类型信息已经被擦除了。当然泛型擦除也有它的好处，当然这不是这次讨论的重点。伪泛型对应的就是真泛型，如果熟悉C\#就知道，它是真泛型，不会存在类型擦除情况，具体可以自己去了解下。

**时势造英雄Kotlin登场:**

显然我们知道，泛型擦除在一些开发场景下是有很大影响，使用起来非常不便，Kotlin这门新的语言不像Java一样有太多的历史负担，它就像是全局者一样，看着Java之前的坑走过来的，于是乎它想来填一填。有的人可能会问了那它是不是像C\#那样采用真泛型，答案不是。我们都知道Kotlin力求做到与Java百分百的互操作性，所以Kotlin妥协了还是采用伪泛型，所以它和Java一样依然会存在泛型擦除问题。但是很幸运地是Kotlin偷偷给我们开了一个后门那就是**今天的主角Reified实化类型参数**，它可以保证运行时依然能拿到泛型具体实际类型。Reified实化类型参数已经大量运用在Kotlin的anko中，关于这块后面博客会细讲。

### 进入正题(开始翻译) ###

让我们来想一想在Kotlin中你可以类名来做些什么-想想你在源码中编写类名的所有场景。我想到了列举以下15种情景，没想全可能会有漏一些。让我们一起来看下吧…

*  1、定义一个成员属性

private val thing: Thing

*  2、函数参数

fun doSomething(thing: Thing) {
        }

*  3、类型实参

val list = listOf<Thing>()

*  4、类型形参约束

class Item<T : Thing>

*  5、强制类型转换

something as Thing

*  6、定义一个类

open class Thing {
        }

*  7、继承一个类

class Other : Thing()

*  8、导入一个类

import com.example.Thing

*  9、给类名定义typealias别名

typealias Thingy = Thing

*  10、构建一个对象

val thing = Thing()

*  11、捕获一个错误类型

catch (e: ExceptionalThing)

*  12、调用静态方法

Thing.doStaticStuff()

*  13、定义函数引用

val function = Thing::doSomething

*  14、类型比较

something is Thing

*  15、获得类的一个Class对象：

val clazz = Thing::class.java

### 大问题来了 ###

现在，最大的问题是：

> 在上面哪些案例中我们应该使用泛型类型参数引用而不是真实的类名？

换句话说，上面15种案例中哪些我们可以用类型参数比如 `T`去替代`Thing`类呢?

### 你在哪些地方可以引用类型参数？ ###

你想到了什么？  
这是我能想到的 - 上面的案例1-5都可以采用类型参数。让我们一起展示所有五个：

class GenericThing<T>(constructorArg: T) {
        
        // 1. Define a member property 定义一个成员属性
        private val thing: T = constructorArg
    
        // 2. Define the type of a function argument 定义函数参数
        fun doSomething(thing: T) = println(thing)
    
        // 3. Use as a type argument 定义泛型类型实参
        fun emptyList() = listOf<T>()
    
        // 4. Use as a type parameter constraint, and... 使用作为类型形参约束
        // 5. Cast to the type (produces "unchecked cast" warning) 强制类型转换
        fun <U : T> castIt(): T = thing as U
    }

### 你在哪些地方可以不引用类型参数？ ###

引用类型参数适用于案例1-5。但是对于案例6-15，如果我们要在（例如，Thing或ExceptionalThing）的地方替换类型参数（例如T），则最终会出现编译器错误。

*  在某些情况下，使用类型参数是没有意义的。例如，在案例6中我们正在定义一个类 - 根据其类型参数之一定义一个类有什么意义呢？
 *  在其他情况下，Java和Kotlin通过反射提供一些变通的方法，例如构建对象(案例10)  
    但在某些情况下，能够使用类型参数肯定会很好。特别是，案例14和15–比较类型和分配类对象 - 在某些情况下会非常方便。

### Reified类型实化参数介绍 ###

Java限制了哪些类型是reifiable - reifiable也就意味着它们“在运行时完全可用”(具体可查阅:[Java SE specs on reifiable types][])，泛型类型参数通常在编译期间被擦除，但是在Kotlin中的reified类型参数的情况下, 由于底层语法下一些巧妙的技巧，让运行时也能准确拿到泛型参数类型信息。

Reified类型参数仅适用于函数（或具有get（）函数的扩展属性），并且仅适用于声明为inline内联的函数。这是一个例子：

inline fun <reified T> Any.isInstanceOf(): Boolean = this is T

当您将函数标记为inline时，编译器会把实现内联函数的字节码插入到每次调用发生的地方。这就是reified类型的工作原理 - 具体实际类型在调用地方是已经知道的，因此在调用`x.isInstanceOf<String>()`有效地把x编译为String.

### reified类型实化参数经常被使用到的几个地方 ###

上面的案例15是许多Kotlin开发人员最喜欢的案例。假设我们有一个User类，以及我们想要读取的JSON字符串

data class User(val first: String, val last: String)
    
    val json = """{
        
          "first": "Sherlock",
          "last": "Holmes"
        }""

在Java序列化库（如Gson）中，当您想要反序列化该JSON字符串时，您最终必须将Class对象作为参数传递，以便Gson知道您想要的类型。

User user = new Gson().fromJson(getJson(), User.class);

现在，让我们一起展示reified类型实化参数的魔法 我们将创建一个非常轻量级的扩展函数来包装Gson方法：

inline fun <reified T> Gson.fromJson(json: String) = 
            fromJson(json, T::class.java)

现在，在我们的Kotlin代码中，我们可以反序列化JSON字符串，甚至根本不需要传递类型信息！

val user: User = Gson().fromJson(json)

Kotlin根据它的用法推断出类型 - 因为我们将它分配给`User`类型的变量，Kotlin使用它作为`fromJson（）`的类型参数。或者，您可以使类型推断其他的类：

val user = Gson().fromJson<User>(json)

在这种情况下，从传递给`fromJson（）`的类型参数推断出`user`类型。

如果想了解更多关于Reified Type Parameters.请关注[\[译\]Kotlin的独门秘籍Reified实化类型参数(下篇)][Kotlin_Reified]，未翻译，敬请期待。

### 译者有话说 ###

这篇文章属于reified-type-parameter实化类型参数的上篇，算是一个简单开头介绍怎么使用reified，然后前面花了一些篇幅阐述了开发中什么情况下可以使用泛型，感觉这点应该更实用吧，下篇译文将会比较深入reified讲解实化类型参数，敬请期待。

![1635c3fb0ba21ec1_w_430_h_430_f_jpeg_s_39536][]

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

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

> Kotlin邂逅设计模式系列:

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

> 数据结构与算法系列:

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

> 翻译系列：

*  **[\[译\] Kotlin中关于Companion Object的那些事][Kotlin_Companion Object]**
 *  **[\[译\]记一次Kotlin官方文档翻译的PR(内联类)][Kotlin_PR]**
 *  **[\[译\]Kotlin中内联类的自动装箱和高性能探索(二)][Kotlin 11]**
 *  **[\[译\]Kotlin中内联类(inline class)完全解析(一)][Kotlin_inline class]**
 *  **[\[译\]Kotlin的独门秘籍Reified实化类型参数(上篇)][Kotlin_Reified 1]**
 *  **[\[译\]Kotlin泛型中何时该用类型形参约束?][Kotlin 12]**
 *  **[\[译\] 一个简单方式教你记住Kotlin的形参和实参][_Kotlin 1]**
 *  **[\[译\]Kotlin中是应该定义函数还是定义属性?][Kotlin 13]**
 *  **[\[译\]如何在你的Kotlin代码中移除所有的!!(非空断言)][Kotlin 14]**
 *  **[\[译\]掌握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 15]**
 *  **[如何让你的回调更具Kotlin风味][Kotlin 16]**
 *  **[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 17]**
 *  **[教你如何攻克Kotlin中泛型型变的难点(下篇)][Kotlin 18]**
 *  **[教你如何攻克Kotlin中泛型型变的难点(上篇)][Kotlin 19]**
 *  **[Kotlin的独门秘籍Reified实化类型参数(下篇)][Kotlin_Reified 2]**
 *  **[有关Kotlin属性代理你需要知道的一切][Kotlin 20]**
 *  **[浅谈Kotlin中的Sequences源码解析][Kotlin_Sequences 1]**
 *  **[浅谈Kotlin中集合和函数式API完全解析-上篇][Kotlin_API_- 1]**
 *  **[浅谈Kotlin语法篇之lambda编译成字节码过程完全解析][Kotlin_lambda 1]**
 *  **[浅谈Kotlin语法篇之Lambda表达式完全解析][Kotlin_Lambda 1]**
 *  **[浅谈Kotlin语法篇之扩展函数][Kotlin 21]**
 *  **[浅谈Kotlin语法篇之顶层函数、中缀调用、解构声明][Kotlin 22]**
 *  **[浅谈Kotlin语法篇之如何让函数更好地调用][Kotlin 23]**
 *  **[浅谈Kotlin语法篇之变量和常量][Kotlin 24]**
 *  **[浅谈Kotlin语法篇之基础语法][Kotlin 25]**

> 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_getting-real-with-reified-type-parameters]: https://typealias.com/guides/getting-real-with-reified-type-parameters/
[Dave Leeds]: https://twitter.com/djleeds
[Kotlin]: https://juejin.im/post/5bceb5915188255c6b654cec
[_Kotlin]: https://juejin.im/post/5bc5f41f6fb9a05d1a1305e1
[Kotlin 1]: https://juejin.im/post/5afc23446fb9a07ab979abdf
[Kotlin 2]: 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 3]: 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 4]: https://juejin.im/post/5acb7ad16fb9a028e33bc0ea
[Kotlin 5]: https://juejin.im/post/5ac0dc18f265da2397070124
[Kotlin 6]: https://juejin.im/post/5ac0dabaf265da237a4d2941
[Kotlin 7]: https://juejin.im/post/5ac0d9d9f265da237d032713
[Kotlin 8]: 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
[Java SE specs on reifiable types]: https://docs.oracle.com/javase/specs/jls/se7/html/jls-4.html#jls-4.7
[Kotlin_Reified]: https://typealias.com/concepts/reified-type-parameter/
[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 9]: https://blog.csdn.net/u013064109/article/details/89078666
[Kotlin 10]: 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 11]: https://blog.csdn.net/u013064109/article/details/84899657
[Kotlin_inline class]: https://blog.csdn.net/u013064109/article/details/84866092
[Kotlin_Reified 1]: https://blog.csdn.net/u013064109/article/details/83388976
[Kotlin 12]: https://blog.csdn.net/u013064109/article/details/83120352
[_Kotlin 1]: https://blog.csdn.net/u013064109/article/details/83099581
[Kotlin 13]: https://blog.csdn.net/u013064109/article/details/80344848
[Kotlin 14]: 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 15]: https://blog.csdn.net/u013064109/article/details/88985474
[Kotlin 16]: 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 17]: https://blog.csdn.net/u013064109/article/details/84504847
[Kotlin 18]: https://blog.csdn.net/u013064109/article/details/84060626
[Kotlin 19]: https://blog.csdn.net/u013064109/article/details/83869716
[Kotlin_Reified 2]: https://blog.csdn.net/u013064109/article/details/83507076
[Kotlin 20]: 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 21]: https://blog.csdn.net/u013064109/article/details/79968846
[Kotlin 22]: https://blog.csdn.net/u013064109/article/details/79887528
[Kotlin 23]: https://blog.csdn.net/u013064109/article/details/79503709
[Kotlin 24]: https://blog.csdn.net/u013064109/article/details/79296502
[Kotlin 25]: 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