java泛型与c 泛型,Java泛型代码编译与javac,失败与Eclipse Helios

Java Language Specification, section 8.4.2写道：

It is a compile-time error to declare two methods with

override-equivalent signatures

(defined below) in a class.

Two method signatures m1 and m2 are override-equivalent iff either m1 is a subsignature of m2 or m2 is a subsignature of m1.

The signature of a method m1 is a subsignature of the signature of a method m2 if either

m2 has the same signature as m1, or

the signature of m1 is the same as the erasure of the signature of m2.

很明显,这些方法不是覆盖等价的,因为ArrayList< String>不是ArrayList(ArrayList< Integer>的擦除).

所以宣称这些方法是合法的.此外,方法调用表达式是有效的,因为这是一个最具体的方法,因为只有一种匹配参数类型的方法.

It is a compile time error if a type declaration T has a member method

m1 and there exists a method m2

declared in T or a supertype of T such

that all of the following conditions

hold:

m1 and m2 have the same name.

m2 is accessible from T.

The signature of m1 is not a subsignature (§8.4.2) of the signature of m2.

m1 or some method m1 overrides (directly or indirectly) has the same erasure as m2 or some method m2 overrides (directly or indirectly).

附录：关于呃,还有它的缺乏

与流行概念相反,方法签名中的泛型不会被清除.泛型被字节码(Java虚拟机的指令集)擦除.方法签名不是指令集的一部分;它们被写入源代码中指定的类文件. (除此之外,还可以在运行时使用反射查询此信息).

想想一下：如果类型参数完全从类文件中删除,那么您选择的IDE中的代码完成如何可以显示ArrayList.add(E)接受类型为E的参数,而不是Object(= E的擦除)如果您没有附加JDK源代码？当方法参数的静态类型不是E的子类型时,编译器如何知道抛出编译错误？

java泛型与c 泛型,Java泛型代码编译与javac,失败与Eclipse Helios相关推荐

eclipse mdt java工程_Atitit.uml2 api 的编程代码实现设计uml开发使用eclipse jar java 版本...
Atitit.uml2 api 的编程代码实现设计uml开发使用eclipse jar java版本 1.clipse提供了UML的底层Java包, 就是说用纯代码可以构建一个UML模型,当构建完之 ...
java makefile jar包_java makefile学习实践(编译的javac命令写在makefile中，运行命令java写在shell脚本中)...
学习makefile教程,ubuntu中文网 1.写一个简单的java项目,不需要外部jar,用的简单的 importjava.util.ArrayList;是可以从CLASSPATH环境变量中找到的 ...
java 获取泛型的type,如何获取泛型的Type类型
开发中很多时候都遇到或使用到泛型.例如在json转换成bean对象或其他对象,而对象中存在泛型,这时候需要用到TypeToken. Type:是java里的 java.lang.reflect.Typ ...
支撑Java框架的基础技术：泛型，反射，动态代理，cglib
以Spring为例要想看明白他的源码需要彻底理解Java的一些基础技术泛型,反射同时对于一些高级技术例如动态代理,cglib和字节码技术也需要掌握,下面就按章节来一一说清楚这些技术的核心部分,最后手写 ...
深入Java泛型（三）：泛型的上下边界
泛型的命名规范为了更好地去理解泛型,我们也需要去理解java泛型的命名规范. 为了与java关键字区别开来,java泛型参数只是使用一个大写字母来定义.各种常用泛型参数的意义如下: E - Elem ...
Java基础-我所理解的泛型
Java基础-我所理解的泛型引用 [java]泛型中,? extends T 与 ? super T 的区别.看法_winrh的博客-CSDN博客_泛型 extends 前言 Java基础系列,我所 ...
java泛型（二）、泛型的内部原理：类型擦除以及类型擦除带来的问题
原 java泛型(二).泛型的内部原理:类型擦除以及类型擦除带来的问题 2012年08月29日 23:44:10 Kilnn 阅读数:56717 版权声明:本文为博主原创文章,未经博主允许不得转载. ...
java 泛型引用_Java嵌套自引用泛型
我有一个类,它有一个自引用的泛型参数和一个属于同一个超类的参数.静态函数与类具有相同的边界. public class Bar, C extends Bar> { Bar() { foo((T) ...
Java总结篇系列：Java泛型
一. 泛型概念的提出(为什么需要泛型)? 首先,我们看下下面这段简短的代码: 1 public class GenericTest {2 3 public static void main(Strin ...

java泛型与c 泛型,Java泛型代码编译与javac,失败与Eclipse Helios

java泛型与c 泛型,Java泛型代码编译与javac,失败与Eclipse Helios相关推荐

最新文章

热门文章