java - 为什么类型兼容性在覆盖方法时也不适用于原语？

Question

当我们说基类 Base 及其派生类 Derived 是类型兼容时，我们指的是 Base 引用可以引用 Derived 实例。
IE。 Base b = new Derived();
相反，由于类型不兼容，因此需要进行强制转换。
现在这个概念是否不适用于原始类型？
我是说这个

short shortNumber = 10;  
int intNumber = shortNumber;  

对我来说似乎是同一件事(因为也不需要强制转换，short 和 int 都是整数类型)。
因此，当覆盖基类中的方法时，为什么返回类型与基类的返回类型相同或至少类型兼容是可以接受的，但这也不适用于整数类型？
例如。为什么这是 Not Acceptable ？

public class Person {    

    public int getId(){  
        return 1;  
    }           
}   


public class Employee extends Person {    

    public short getId(){  
        return 0;  
    }  

}  

Answer 1

为什么您的代码示例无效的直接答案很简单:协变返回类型 的 Java 语言特性明确不适用于原语。参见 JLS 8.4.5和 JLS 8.4.8.3 .

自动装箱不适用于此处。如果您将返回类型更改为 Integer和 Short ，它们仍然不是返回类型可替换的，因为它们都不是另一个的子类。

我无法回答“为什么 JLS 不允许原语的协变返回类型”这个问题，即为什么语言设计者决定不允许。