AutoBoxing/Unboxing не работает с типами возврата?

Question

Посмотрите на приведенный ниже код

public class Parent { 
    public Object doSomething() { 
     return null; 
    } 
} 

class Child extends Parent { 
    public Integer doSomething() { 
     return 0; 
    } 
} 

, который идеально подходит под ковариации и компилирует прекрасно.

Где, как

public class Parent { 
    public Integer doSomething() { 
     return null; 
    } 
} 

class Child extends Parent { 
    public int doSomething() { 
     return 0; 
    } 
} 

Не компиляции. Но он может легко трансформироваться под автобоксинг и распаковку?

Answer 1

В своем первом случае, код компилируется, потому что Java поддерживает Covariance, что означает,

Если Кошка Подтип животных, то выражение типа Cat может использоваться всякий раз, когда выражение типа Animal мог.

В соответствии с этим первый случай в порядке.

Coming ко второму случаю,

Autoboxing является автоматическое преобразование, что компилятор Java делает между примитивными типами и их соответствующий объект класса-оболочки. Например, преобразование int в Integer, double в Double и т. Д.

Это прямая связь между оболочкой и примитивно, что вовсе не означает, что int является подклассом Integer

int ---> Integer //conversion, not subtype