我有一个集合(或列表或数组列表),我想在其中同时放置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'
  }
}

10-07 19:22
查看更多