Просто все еще немного запутался в концепции множественной отправки (не в Java) и одиночной отправки (в Java).
Давайте воспользуемся этим примером:
Код: Выделить всё
class A {
m(A a) {
System.out.println(“In A: “ + a.getClass());
}
}
class B extends A {
m(A a) {
System.out.println(“In B.m(A): “ + a.getClass());
}
m(B a) {
System.out.println(“In B.m(B): “ + a.getClass());
}
}
A a = new A();
A b = new B();
B c = new B();
a.m(a); // Java will call A.m(A); double-dispatch would call A.m(A)
b.m(b); // Java will call B.m(A); double-dispatch would call B.m(B)
b.m(c); // Java will call B.m(B); double-dispatch would call B.m(B)
- Правильно ли, что множественная диспетчеризация проверяет:
- динамические типы объекта, вызывающего метод (так же, как это делает Java с одиночной отправкой)
- динамические типы аргументов, передаваемых методу (поэтому, очевидно, не то же самое, что Java с одиночной отправкой)
- Итак, разница между одиночной отправкой и множественной отправкой заключается в пункте 2 выше, где в одиночной отправке используются статические типы аргументов вместо их динамических типов?