Почему в Java невозможно удалить стертые типы?

Question

Два add методов в этом классе имеют одинаковую стертую подпись:

class extend 
{ 
    Integer add (Integer a, Integer b) 
    { 
    return a + b; 
    } 

    <Type extends Integer> Type add (Type a, Type b) 
    { 
    return a + b; 
    } 
} 

Это делает невозможным иметь их обоих в одном классе. Компилятор сообщает следующее сообщение об ошибке:

 
extend.java:8: error: name clash: add(Type,Type) and add(Integer,Integer) have the same erasure 
    Type add (Type a, Type b) 
          ^
    where Type is a type-variable: 
    Type extends Integer declared in method add(Type,Type) 

Но если они эквивалентны, почему это распаковка не сделано во втором случае. Компилятор сообщает следующее сообщение об ошибке:

 
extend.java:10: error: incompatible types 
    return a + b; 
      ^
    required: Type 
    found: int 
    where Type is a type-variable: 
    Type extends Integer declared in method add(Type,Type) 

В первом случае компилятор знает, стертый тип и во втором случае он забывает его снова? Зачем?

Answer 1

Ваш метод <Type extends Integer> Type add (Type a, Type b) может быть вызван с аргументами Integer. Границы <Type extends Integer> допускают либо подтип Integer, либо Integer. В случае, если кто-то пишет этот код:

Integer i = 1; 
Integer k = 2; 
add(i, k); 

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

Если у вас были add(Integer, Integer) и add(Number, Number), то целое число будет называться, потому что оно более конкретное. Но в вашем случае аргументы Integer и Integer or subclass одинаково специфичны, если используется Integer.

Также не ожидайте, что оператор + будет работать с любыми подклассами. Unboxing специфичен по типу, так как он ищет определенные типы, требует возможности конвертировать в int и создавать экземпляры в штучной упаковке.