校园门户网站建设项目技术支持,网页设计图片剧中,apache部署多个网站,百度关键词怎么设置在 Java 中的 泛型 #xff0c;常常被称之为 伪泛型 #xff0c;究其原因是因为在实际代码的运行中#xff0c;将实际类型参数的信息擦除掉了 (Type Erasure) 。那是什么原因导致了 Java 做出这种妥协的呢#xff1f;下面我就带着大家以 Java 语言设计者的角度#xff0c;…在 Java 中的 泛型 常常被称之为 伪泛型 究其原因是因为在实际代码的运行中将实际类型参数的信息擦除掉了 (Type Erasure) 。那是什么原因导致了 Java 做出这种妥协的呢下面我就带着大家以 Java 语言设计者的角度带领大家一起了解这里面的辛酸过往。什么是真泛型在了解 Java 伪泛型 之前我们先简单讲一讲真泛型与“伪泛型”的区别。真泛型泛型中的类型是真实存在的。伪泛型仅于编译时类型检查在运行时擦除类型信息。编程语言实现“真泛型”的一般思路一般编程语言引入泛型的思路都是通过 编译时膨胀法 。以 Java 语言实现真泛型为例首先对 泛型类型(泛型类、泛型接口) 、 泛型方法 的名字使用特别的编码例如将 Factory 类生成为一个名为 “FactoryT” 的类这种特别的编码后的名字将被编译器识别作为判断是否为泛型的依据。方法中使用占位符 T 的地方可以临时生成为 Object 并带上特别的 Annotation 让 Java 编译器能得知这个是占位符。然后如果编译时发现有对 Factory 的使用则将 “FactoryT” 的所有逻辑复制一份新建 “FactoryString” 类将原本的占位符 T 替换为 String 。然后在编译 new Factory() 时生成 new FactoryString() 即可。术语中文含义举例Parameterized type参数化类型ListActual type parameter实际类型参数StringFormal type parameter形式类型参数E以 Factory 与 Factory 为例其生成的代码为//替换前的代码Factory() f1 new Factory();Factory() f2 new Factory();//替换后的代码Factory() f1 new FactoryString()Factory() f2 new FactoryInteger();其中 FactoryString 类中的 T 已经被替换为 String。其中 FactoryInteger 类中的 T 已经被替换为 Integer。因为含有不同的 实际类型参数 的 泛型类型 都被替换为了不同的类且泛型类型中的类型也都得到了确认。所以我们在程序中可以这么做class Factory { T data; public static void f(Object arg){ if(arg instanceof T){...}//success T var new T();//success T[] array new T[10];//success }}Java 直接使用 “真泛型” 带来的问题单从技术来说Java 是完全 100% 能实现我们所说的 ”真泛型”。想要实现真泛型有如下两件事Java 必须要处理修改 JVM 源代码让 JVM 能正确的的读取和校验泛型信息(之前的Java 是没有泛型这种概念的所以需要修改)。为了兼容老程序需为原本不支持泛型的 API 平行添加一套泛型 API(主要是容器类型)。就拿 ArrayList 来说也就是必须这么做ArrayList即使以上的事情都做了Java 也并不能采用这种方案。试想如下情况如果我有一个 Java 5 之下 的 A 项目与第三方的 B1 lib其中有 A 项目中引用了 B1 lib 中的某个 ArrayList 随着 Java 的升级B1 lib 的开发者为了使用 Java 新特性--泛型故将代码迁移到了 Java 5并重新生成了 B2 lib那么 A 项目要兼容 B2 lib那么 A 项目中必须升级到 Java 5 并同时修改代码。A 项目为什么必须要升级 Java 5在 Java 中不支持高版本的 Java 编译生成的 class 文件在低版本的 JRE 上运行如果尝试这么做就会得到 UnsupportedClassVersionError 错误。如下图所示故 A 项目要适配 B2 lib必要要把 Java 升级到 Java 5。那现在我们再回过头来想想Java 版本迭代都从 1.0 到 5.0了有多少的开源框架有多少项目如果为了引入泛型强行让开发者修改代码。这种情况各位同学。自行脑补。估计数以万计的开发者拿着刀在堵 Java 语言架构师的门吧。逼不得已的类型擦除在上节中我们探讨了 Java 不能直接引入“真泛型” 的实际原因。因为“真泛型”的引入势必会为原本不支持泛型的 API 平行添加一套泛型 API。而新增了API对于 Java 开发者来说又必须要做迁移。那还有什么方案能让开发者平滑的过渡到 Java 5 又能使用泛型新特性呢有的有的。Java 如果想摆脱用户新版本的迁移问题。Java 必要要做以下两件事情不再新增一套泛型 API 直接把已有的类型原地泛型化 。处理泛化前后类型的兼容。下面我们分别探讨一下这两件事做的目的及其原因。做第一件事是保证了开发者不会因为 Java 的升级而对以前的老代码进行修改以 ArrayList 为例 直接在原有包(java.util)下进行修改 也就是这样//:point_down:Java老版本class ArrayList{}//:point_down:Java5泛型版本class ArrayList{}做第二件事的目的还是以我们之前的例子进行分析在 A 项目中A 项目引用了 B1 lib 中的 ArrayList(用 list 变量记录)那么假设 A 项目升级到 Java 5 后还是引用的 B1 lib那么必然会出现如下这种情况下述代码中A 项目将泛化后 ArrayList 的传递给了 B1 lib 中的 ArrayList 。ArrayList list new ArrayList();ArrayList这种情况的出现会导致一个问题。就是 b1 项目中的 ArrayList 是不知道 A 项目中的 Arraylist 已经泛型化了的那么如何保证 泛型化后 的 ArrayList( 也就是ArrayList )与 老版本 的 ArrayList 等价呢如果按照我们之前讲解的 “真泛型” 思路来处理 Java 的泛型 那么 new ArrayList() 实际会被替换为 new ArrayListString() 那么实际运行代码是这样ArrayList list new FactoryString()复制代码从代码逻辑上来看根本就跑不通。因为 ArrayList 与 ArrayListString 根本就不是同一类 那怎么办呢最为直接的解决方案就是不再为参数化类型创造新类了同时在编译期间将 泛型类型 中的 类型参数 全部替换 Object (因为不创建新类了那么在泛型类中的 T 对应的类型只能用 Object 替换)。在 Java 的泛型实际实现中会根据泛型类型中的类型参数有无边界来选择是否替换为边界或 Object。举个例子在上述代码中声明了一个泛型类型 Node 在编译器替换后实际为 Node。也就是这样//编译器的代码 Node node new Node(); //编译后的代码 Node node new Node();通过编译器的”魔法“Java 就解决了处理泛型兼容老版本的问题。总结阅读到这里我相信大家已经明白了 Java 中的泛型为什么要擦除类型信息了。虽然 Java 的 伪泛型“ 一直被其他编程语言所歧视但不管怎样兼容老版本这种行为也是一件值得尊敬以及认可的一件事。不管 Java 做了什么总是功大于过的。这里推荐一个视频给大家。相信看了这个视频之后大家会知道 Java 对于整个世界的重要性。
