- mongodb - 在 MongoDB mapreduce 中,如何展平值对象?
- javascript - 对象传播与 Object.assign
- html - 输入类型 ="submit"Vs 按钮标签它们可以互换吗?
- sql - 使用 MongoDB 而不是 MS SQL Server 的优缺点
我在这里遇到了一个非常棘手的泛型和方法重载案例。查看这个示例类:
public class Test {
public <T> void setValue(Parameter<T> parameter, T value) {
}
public <T> void setValue(Parameter<T> parameter, Field<T> value) {
}
public void test() {
// This works perfectly. <T> is bound to String
// ambiguity between setValue(.., String) and setValue(.., Field)
// is impossible as String and Field are incompatible
Parameter<String> p1 = getP1();
Field<String> f1 = getF1();
setValue(p1, f1);
// This causes issues. <T> is bound to Object
// ambiguity between setValue(.., Object) and setValue(.., Field)
// is possible as Object and Field are compatible
Parameter<Object> p2 = getP2();
Field<Object> f2 = getF2();
setValue(p2, f2);
}
private Parameter<String> getP1() {...}
private Parameter<Object> getP2() {...}
private Field<String> getF1() {...}
private Field<Object> getF2() {...}
}
上面的例子在 Eclipse (Java 1.6) 中可以完美编译,但不能使用 Ant javac 命令(或使用 JDK 的 javac 命令),我在第二次调用 setValue
时收到此类错误消息:
reference to setValue is ambiguous, both method setValue(org.jooq.Parameter,T) in Test and method setValue(org.jooq.Parameter,org.jooq.Field) in Test match
根据规范和我对 Java 编译器工作原理的理解,应始终选择最具体的方法:http://java.sun.com/docs/books/jls/third_edition/html/expressions.html#20448
无论如何,即使<T>
绑定(bind)到Object
,这使得 setValue
方法可接受的调用候选方法,带有 Field
的方法参数似乎总是更具体。它可以在 Eclipse 中工作,只是不适用于 JDK 的编译器。
更新:
像这样,它可以在 Eclipse 和 JDK 编译器中工作(当然,带有 rawtypes 警告)。我了解,the specs 中指定的规则当涉及泛型时,它们非常特别。但我觉得这很令人困惑:
public <T> void setValue(Parameter<T> parameter, Object value) {
}
// Here, it's easy to see that this method is more specific
public <T> void setValue(Parameter<T> parameter, Field value) {
}
更新 2:
即使使用泛型,我也可以创建此解决方法,避免使用 <T>
类型被绑定(bind)到 Object
在 setValue
调用时间,通过添加一个名为 setValue0
的附加明确间接.这让我觉得 T
的绑定(bind)至Object
真的是这里造成所有麻烦的原因:
public <T> void setValue(Parameter<T> parameter, T value) {
}
public <T> void setValue(Parameter<T> parameter, Field<T> value) {
}
public <T> void setValue0(Parameter<T> parameter, Field<T> value) {
// This call wasn't ambiguous in Java 7
// It is now ambiguous in Java 8!
setValue(parameter, value);
}
public void test() {
Parameter<Object> p2 = p2();
Field<Object> f2 = f2();
setValue0(p2, f2);
}
我在这里误解了什么吗?是否存在与此相关的已知编译器错误?或者是否有解决方法/编译器设置可以帮助我?
对于那些感兴趣的人,我已经向 Oracle 和 Eclipse 提交了错误报告。 Oracle 已经接受了这个 bug,到目前为止,Eclipse 已经分析并拒绝了它!看起来我的直觉是正确的,这是 javac
中的一个错误
最佳答案
JDK 是对的。第二种方法并不比第一种更具体。来自 JLS3#15.12.2.5
“非正式的直觉是,如果第一个方法处理的任何调用都可以传递给另一个方法而不会出现编译时类型错误,那么一个方法比另一个方法更具体。” p>
这显然不是这里的情况。我强调了任何调用。一种方法比另一种更具体的属性完全取决于这两种方法本身;每次调用都不会改变。
对你的问题的正式分析:m2 比 m1 更具体吗?
m1: <R> void setValue(Parameter<R> parameter, R value)
m2: <V> void setValue(Parameter<V> parameter, Field<V> value)
首先,编译器需要从初始约束中推断出 R:
Parameter<V> << Parameter<R>
Field<V> << R
结果是R=V
,根据 15.12.2.7 中的推理规则
现在我们替换为 R
并检查子类型关系
Parameter<V> <: Parameter<V>
Field<V> <: V
根据 4.10.2 中的子类型规则,第二行不成立。所以 m2 并不比 m1 更具体。
V
不是 Object
在这个分析中;分析考虑了 V
的所有可能值.
我建议使用不同的方法名称。重载从来都不是必需品。
这似乎是 Eclipse 中的一个重大错误。规范非常清楚地表明在此步骤中未替换类型变量。 Eclipse 显然首先进行类型变量替换,然后检查方法特异性关系。
如果这种行为在某些示例中更“明智”,那么在其他示例中则不是。说,
m1: <T extends Object> void check(List<T> list, T obj) { print("1"); }
m2: <T extends Number> void check(List<T> list, T num) { print("2"); }
void test()
check( new ArrayList<Integer>(), new Integer(0) );
“直观地”,按照规范,m2 比 m1 更具体,并且测试打印“2”。但是,如果替换 T=Integer
先做完,两个方法就一样了!
对于更新 2
m1: <R> void setValue(Parameter<R> parameter, R value)
m2: <V> void setValue(Parameter<V> parameter, Field<V> value)
m3: <T> void setValue2(Parameter<T> parameter, Field<T> value)
s4: setValue(parameter, value)
这里,m1不适用于方法调用s4,所以m2是唯一的选择。
根据15.12.2.2,要查看m1是否适用于s4,首先进行类型推断,得出R=T的结论;然后我们检查Ai :< Si
, 这导致 Field<T> <: T
,这是错误的。
这与前面的分析一致——如果m1适用于s4,那么m2处理的任何调用(本质上与s4相同)都可以由m1处理,这意味着m2会比m1更具体,这是错误的。
在参数化类型中
考虑下面的代码
class PF<T>
{
public void setValue(Parameter<T> parameter, T value) {
}
public void setValue(Parameter<T> parameter, Field<T> value) {
}
}
void test()
PF<Object> pf2 = null;
Parameter<Object> p2 = getP2();
Field<Object> f2 = getF2();
pf2.setValue(p2,f2);
这编译没有问题。根据 4.5.2,PF<Object>
中的方法类型是 PF<T>
中的方法替换 T=Object
.即pf2
的方法是
public void setValue(Parameter<Object> parameter, Object value)
public void setValue(Parameter<Object> parameter, Field<Object> value)
第二种方法比第一种更具体。
关于java - 引用与泛型不明确,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/5361513/
我正在编写一个具有以下签名的 Java 方法。 void Logger(Method method, Object[] args); 如果一个方法(例如 ABC() )调用此方法 Logger,它应该
我是 Java 新手。 我的问题是我的 Java 程序找不到我试图用作的图像文件一个 JButton。 (目前这段代码什么也没做,因为我只是得到了想要的外观第一的)。这是我的主课 代码: packag
好的,今天我在接受采访,我已经编写 Java 代码多年了。采访中说“Java 垃圾收集是一个棘手的问题,我有几个 friend 一直在努力弄清楚。你在这方面做得怎么样?”。她是想骗我吗?还是我的一生都
我的 friend 给了我一个谜语让我解开。它是这样的: There are 100 people. Each one of them, in his turn, does the following
如果我将使用 Java 5 代码的应用程序编译成字节码,生成的 .class 文件是否能够在 Java 1.4 下运行? 如果后者可以工作并且我正在尝试在我的 Java 1.4 应用程序中使用 Jav
有关于why Java doesn't support unsigned types的问题以及一些关于处理无符号类型的问题。我做了一些搜索,似乎 Scala 也不支持无符号数据类型。限制是Java和S
我只是想知道在一个 java 版本中生成的字节码是否可以在其他 java 版本上运行 最佳答案 通常,字节码无需修改即可在 较新 版本的 Java 上运行。它不会在旧版本上运行,除非您使用特殊参数 (
我有一个关于在命令提示符下执行 java 程序的基本问题。 在某些机器上我们需要指定 -cp 。 (类路径)同时执行java程序 (test为java文件名与.class文件存在于同一目录下) jav
我已经阅读 StackOverflow 有一段时间了,现在我才鼓起勇气提出问题。我今年 20 岁,目前在我的家乡(罗马尼亚克卢日-纳波卡)就读 IT 大学。足以介绍:D。 基本上,我有一家提供簿记应用
我有 public JSONObject parseXML(String xml) { JSONObject jsonObject = XML.toJSONObject(xml); r
我已经在 Java 中实现了带有动态类型的简单解释语言。不幸的是我遇到了以下问题。测试时如下代码: def main() { def ks = Map[[1, 2]].keySet()
一直提示输入 1 到 10 的数字 - 结果应将 st、rd、th 和 nd 添加到数字中。编写一个程序,提示用户输入 1 到 10 之间的任意整数,然后以序数形式显示该整数并附加后缀。 public
我有这个 DownloadFile.java 并按预期下载该文件: import java.io.*; import java.net.URL; public class DownloadFile {
我想在 GUI 上添加延迟。我放置了 2 个 for 循环,然后重新绘制了一个标签,但这 2 个 for 循环一个接一个地执行,并且标签被重新绘制到最后一个。 我能做什么? for(int i=0;
我正在对对象 Student 的列表项进行一些测试,但是我更喜欢在 java 类对象中创建硬编码列表,然后从那里提取数据,而不是连接到数据库并在结果集中选择记录。然而,自从我这样做以来已经很长时间了,
我知道对象创建分为三个部分: 声明 实例化 初始化 classA{} classB extends classA{} classA obj = new classB(1,1); 实例化 它必须使用
我有兴趣使用 GPRS 构建车辆跟踪系统。但是,我有一些问题要问以前做过此操作的人: GPRS 是最好的技术吗?人们意识到任何问题吗? 我计划使用 Java/Java EE - 有更好的技术吗? 如果
我可以通过递归方法反转数组,例如:数组={1,2,3,4,5} 数组结果={5,4,3,2,1}但我的结果是相同的数组,我不知道为什么,请帮助我。 public class Recursion { p
有这样的标准方式吗? 包括 Java源代码-测试代码- Ant 或 Maven联合单元持续集成(可能是巡航控制)ClearCase 版本控制工具部署到应用服务器 最后我希望有一个自动构建和集成环境。
我什至不知道这是否可能,我非常怀疑它是否可能,但如果可以,您能告诉我怎么做吗?我只是想知道如何从打印机打印一些文本。 有什么想法吗? 最佳答案 这里有更简单的事情。 import javax.swin
我是一名优秀的程序员,十分优秀!