关于泛型的一些思考

先看定义:

泛型是程序设计语言的一种特性。允许程序员在强类型程序设计语言中编写代码时定义一些可变部分,那些部分在使用前必须作出指明。
各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。将类型参数化以达到代码复用提高软件开发工作效率的一种数据类型。
泛型类是引用类型,是堆对象,主要是引入了类型参数这个概念。

简单来说就是类型的泛化,可以让我们少写一些重载函数,提高复用率

可是在java(Kotlin)中泛型是伪泛型,就是 只存在于编译期的, 编译成字节码文件,泛型就确定了(不再表现为泛型,而是确定类型了)

所有我们是可以通过反射来改变泛型的

泛型可以分为两种,一种为类泛型,一种是方法泛型

两种都是为了约束参数的类型

可以参考这篇详细用法https://www.cnblogs.com/csyuan/p/6908303.html

另外Kotlin中是有真泛型的:

inline fun <reified T> testGenerics(){
  ....  
}

inline关键字表示在编译时,将代码嵌入到执行的地方,这时类型已经确定,所以是可以通过的

猜你喜欢

转载自www.cnblogs.com/gloryhope/p/10191731.html