在Java中,字段(也就是属性)的访问不是多态的,而是根据引用变量的静态类型来决定的。这与方法的行为不同,方法的调用是多态的,可以根据对象的实际类型来执行不同的代码。
静态类型:
在Java等静态类型语言中,“静态类型”指的是变量声明时所使用的类型。这种类型在编译时就已经确定,且在程序运行过程中不会改变。静态类型决定了编译器允许对该变量执行哪些操作,以及该变量可以访问哪些成员(如方法和字段)。
### 示例解释:
考虑下面的Java代码:
```java
Person p = new Employee();
```
在这个例子中:
- `Person` 是 `p` 的静态类型,它定义了在编译时 `p` 可以执行的操作。
- `Employee` 是 `p` 的动态类型(或实际类型),它是运行时 `p` 指向的对象的类型。
### 静态类型的特点:
1. **编译时检查**:静态类型允许编译器在编译时进行类型检查,确保类型安全。例如,如果 `Person` 类没有定义 `getSalary()` 方法,而 `Employee` 类定义了,那么尝试调用 `p.getSalary()` 将在编译时失败。
2. **类型转换**:可以通过显式类型转换(强制类型转换)改变变量的动态类型,但其静态类型保持不变。例如,`(Employee)p` 是有效的,如果 `p` 实际上是一个 `Employee` 对象。
3. **多态**:在多态中,虽然变量的静态类型保持不变,但是其动态类型可以改变,允许同一个方法调用在不同的子类对象上产生不同的行为。
4. **字段访问**:对于字段的访问,Java遵循静态绑定,意味着字段是根据变量的静态类型来访问的,而不是它的动态类型。
静态类型是强类型语言的一个重要特性,它有助于提高代码的可读性、可维护性和错误检测效率。