Java общий интерфейс с ограничением по типу против C# дженериков

Question

я наткнулся на Java код, подобный следующему:

public interface ITest<T1 extends IOne,T2 extends ITwo> { 
    boolean handle(T1 value1); 
    boolean handle(T2 value2); 
} 
public interface IOne {} 
public interface ITwo {} 

а затем реализация ITEST:

public class Test implements ITest { 
@Override 
public boolean handle(IOne value1) { 
    return false; 
} 

@Override 
public boolean handle(ITwo value2) { 
    return false; 
    } 
} 

Обратите внимание на отсутствие декларации типа в «Тест реализует ITest». Исходя из мира C#, это удивило меня, поскольку вы не можете сделать это в C#. Вы должны написать что-то вроде:

public class Test : ITest<IOne, ITwo> 

Я понимаю, что Java дженериков очень отличается от C# дженериков, но я хотел бы, чтобы лучше понять, что происходит в коде Java, что позволяет выше код для компиляции? Является ли это вывод типа компилятором? Является ли исходный тип IOne и ITwo для класса Test? http://docs.oracle.com/javase/tutorial/java/generics/rawTypes.html

Спасибо.

Answer 1

Когда Java компилирует

T1 extends IOne

он заменяет все экземпляры T1 с Ione

так

public boolean handle(T1 value1) { 
    return false; 
} 

становится

public boolean handle(IOne value1) { 
    return false; 
} 

поэтому фактический интерфейс ITEST является

public interface ITest { 
    boolean handle(IOne value1); 
    boolean handle(ITwo value2); 
} 

Он может сделать это, потому что экземпляр T1 всегда будет иметь возможность быть отнесены к Ионе и экземпляр T2 всегда будет иметь возможность быть назначены ITWO.

При компиляции Test ищет методы, которые соответствуют конкретным методам в интерфейсе и не жалуются, потому что он находит методы, которые удовлетворяют тем, что он ищет.