[译] 一个简单方式教你记住Kotlin的形参和实参

你的名字 2022-05-09 15:40 156阅读 0赞

**翻译说明:**

**原标题: Parameters and Arguments: An Easy Way to Remember the Difference**

**原文地址: [https://typealias.com/guides/parameters-arguments/][https_typealias.com_guides_parameters-arguments]**

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

### 简述(俗称扯皮): ###

最近在深入研究Kotlin中的泛型语法，发现它和Java中的泛型有着很大不同，在语法上Kotlin的泛型也会比Java中的使用起来更安全。但是发现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]**

今天是一篇简单的博客翻译作为Kotlin泛型语法系列开场白:

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

你是否曾经很难记住形参和实参的区别，今天这篇文章就是为了量身打造的。理清它们之间的区别可以帮助你更好地深入理解函数，此外甚至可以更多帮助你理解泛型。

### 形式参数与实际参数 ###

*  定义在里面就是形式参数(形参)
 *  定义在外面就是实际参数(实参)

回忆两者之间的差异的最简单的简单的方法就是将**arugment**单词与**outside**单词关联起来，记住这句话

> “Take your **argument outside!**”

这里有我画的一张卡通图帮你去记住它:

![1667d5d7ffc7e11a_w_450_h_591_f_png_s_73791][]

有关更多说明，让我们看一下函数和泛型类的示例。

### 函数中的形参与实参 ###

这是一个对整数进行平方的简单函数。将传递哪些数据？只是我们想要平方的数字。

fun square(number: Int): Int {
        
        return number * number
    }

在这个函数的定义**里面**，我们说number就是一个**形式参数**。

现在已经定义好了我们的函数，当我们调用它时，会将一些数据传递给这个函数。

val radius = 5
    val area = Math.PI * square(radius)

这里，在函数定义的**外面**，我们说radius是square函数的**实际参数**。

### 泛型中的形参与实参 ###

泛型类是具有一种或多种类型的类。例如，这里有个非常简单的`Box`类，它只包含其他一些对象。

class Box<T>(var item: T)

这里，在Box类定义的**里面**，我们说`T`是一个**类型形参**。

使用这个类十分简单，我们只需要调用它的构造器，并传入一些符合正确类型的数据进去即可。

val box = Box<String>("Hello")

这里，在Box类定义的**外面**，我们使用`String`**类型实参**去构造它。

事实上，Kotlin做了一些智能的类型推导，所以我们甚至不必明确指定它：

val box = Box("Hello")

在这种情况下，它仍然有一个`String`类型的**类型实参**。它只是隐含在我们传递给构造函数的“Hello”实际参数的类型中而已。

### 总结 ###

再次说明下，在函数和泛型类/接口两种情况下，结论是:

*  **形参** \- 在定义**里面**
 *  **实参** \- 在定义**外面**

### 读者有话说 ###

其实这篇文章目的很简单就是帮助理解一个问题：Kotlin中泛型形参和实参区别。因为这两个术语将会在后续泛型文章中被多次提到。所以如果不提前弄懂这些名词概念，后面一些深入的东西理解起来会非常吃力的。我补充几点:

*  第一: 为了验证一下理论，我们一起分析下下面两个例子:

class StringList: List<String>{
        
        ...
    }

对于以上例子很好理解，StringList类实现List接口，提供了具体的**类型实参: String**,可以看到String明显是在List接口定义的外面，所以它就是**类型实参**

class ArrayList<T>: List<T>{
        
        ...
    }

关于这个例子，大家看看怎么分析呢？？ 实际上很简单就按照这篇文章作者说的那样抓住问题关键点: **类型参数在类或接口定义外面还是里面，里面就是形参，外面就是实参**

所以，这里例子很容易分析出这个**T**是List接口的**类型实参**，而不一样的是这个**T**同时还是ArrayList这个类的**类型形参**。ArrayList类中定义了自己的类型形参T，并把指定为父类(List接口)类型的实参。在Kotlin的泛型中有这样规定: **如果一个类继承泛型类(或者实现了泛型接口)，就必须为基础类型的泛型形参指定一个泛型实参。它可以是具体的类型或者另一个类型形参**。所以你会发现ArrayList 中的T和List中的T实际上有所不一样的，就是类型形参和类型实参的区别。

*  第二、初学者很容易走进一个误区，认为类似T，K，V这种没有具体意义的类型就是类型形参，而像String,Int这种具体有意义的类型就是类型实参。这种理解是错误，总之可以按照原文作者那样理解。
 *  第三，在Kotlin中规定所有的泛型实参需要显示的声明，要么能被编译器智能推导出来。也就是不能像Java中那样直接一个**List**(Java中原生态类型)就行，不用指定泛型实参，这种情况在Kotlin中不允许的，编译器就会报错。所以不得不夸下Kotlin了，它语法上非常严谨和明确，不能含糊，在定义和声明就必须明确下来。
 *  第四，泛型函数中也有自己的类型形参，在每次函数执行调用时类型形参会被替换成类型实参，有点函数中形参和实参。

这是泛型系列文章简单的开场白，下面将会继续深入Kotlin泛型相关内容，例如泛型擦除以及实化类型参数，泛型协变，逆变，星投影。欢迎继续关注~~

![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]**
 *  **[\[译\]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_parameters-arguments]: https://typealias.com/guides/parameters-arguments/
[Dave Leeds]: https://twitter.com/djleeds
[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
[1667d5d7ffc7e11a_w_450_h_591_f_png_s_73791]: https://user-gold-cdn.xitu.io/2018/10/16/1667d5d7ffc7e11a?w=450&h=591&f=png&s=73791
[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]: 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