Наследование - какой метод будет вызываться

Question

Вот сценарий. Если у меня есть следующие классы и интерфейсы

public interface Jobinfo {} 

public interface SpecificJobinfo {} 

public abstract class AbstractJob implements JobInfo{} 

public class SpecificJob extends AbstractJob implements SpecificJobInfo{} 

interface Service { 
    execute(JobInfo); 
    execute(SpecificJobInfo); 
} 

// implementing class 

public class ServiceImpl implements Service{ 
    SpecificJob specificJob = new SpecificJob(); 
    execute(specificJob); 
} 

, какой метод будет вызван - один с JobInfo или SpecificJobInfo.

Answer 1

Оба метода применимы (потому что SpecificJob реализует как JobInfo и SpecificJobInfo) и доступны (т.е. они не являются частными методы суперкласса), правило таково, что всегда наиболее специфичный метод будет вызван.

В этом случае не существует наиболее специфический метод, потому что JobInfo и SpecificJobInfo не имеют отношения типа (оба варианта метода execute являются максимально конкретным). Поэтому вызов метода неоднозначен и возникает ошибка времени компиляции.

Цитируя Java Language Specification:

Если более чем один метод член является одновременно доступным и применим к вызова метода, необходимо выбрать один, чтобы обеспечить дескриптор метода времени выполнения отправки. В языке программирования Java язык использует правило выбора самого конкретного метода.

Неофициальная интуиция заключается в том, что один метод более конкретный, чем другой, если любой вызов, обработанный первым методом, может быть передан другому, без ошибки типа компиляции.

Если бы SpecificJobInfo продлен JobInfo, неоднозначность можно было бы избежать в пользу execute(SpecificJobInfo).