我有一个集合(或列表或数组列表),我想在其中同时放置String值和double值。我决定使它成为对象的集合,并使用重载ond多态性,但是我做错了什么。
我进行了一些测试:
public class OOP {
void prova(Object o){
System.out.println("object");
}
void prova(Integer i){
System.out.println("integer");
}
void prova(String s){
System.out.println("string");
}
void test(){
Object o = new String(" ");
this.prova(o); // Prints 'object'!!! Why?!?!?
}
public static void main(String[] args) {
OOP oop = new OOP();
oop.test(); // Prints 'object'!!! Why?!?!?
}
}
在测试中,似乎参数类型是在编译时而不是在运行时决定的。这是为什么?
这个问题与:
Polymorphism vs Overriding vs Overloading
Try to describe polymorphism as easy as you can
编辑:
确定要调用的方法是在编译时确定的。有避免使用
instanceof
运算符的解决方法吗? 最佳答案
这是voo的答案,并提供了有关后期绑定的替代方法的详细信息。
通用JVM仅使用单调度:仅将运行时类型作为接收方对象使用;对于方法的参数,将考虑静态类型。使用method tables(类似于C ++的虚拟表),使用优化进行有效的实现非常容易。您可以找到详细信息,例如在the HotSpot Wiki中。
如果您想对参数进行多次分派,请查看
groovy。但是据我所知,它具有过时的,缓慢的多重调度实现(例如参见this performance comparison),例如没有缓存。
clojure,但这与Java完全不同。
MultiJava,它为Java提供了多个分派。此外,您可以使用this.resend(...)
而不是super(...)
来调用封闭方法中最具体的覆盖方法;
值分配(下面的代码示例)。
如果您想坚持使用Java,可以
通过在更细粒度的类层次结构上移动重载方法来重新设计应用程序。 Josh Bloch's Effective Java的第41条(明智地使用重载)中给出了一个示例;
使用某些设计模式,例如策略,访客,观察者。这些通常可以解决与多重分派相同的问题(即在这种情况下,您可以使用多重分派来解决那些模式的琐碎问题)。
价值分配:
class C {
static final int INITIALIZED = 0;
static final int RUNNING = 1;
static final int STOPPED = 2;
void m(int i) {
// the default method
}
void m(int@@INITIALIZED i) {
// handle the case when we're in the initialized `state'
}
void m(int@@RUNNING i) {
// handle the case when we're in the running `state'
}
void m(int@@STOPPED i) {
// handle the case when we're in the stopped `state'
}
}