5.1 类、超类和子类

子类就是将父类特化。

1 定义子类

用extends关键字

public class Manager extends Employee
{
    private double bonus;
    ...
    public void setBonus(double bonus)
    {
        this.bonus = bonus;
    }
}

2 覆盖方法

public double getSalary()
{
    return salary + bonus; // won't work
}

子类定义和父类一样的方法称为覆盖。子类覆盖的方法不能够引起父类使用这个方法产生问题。例如，原本是public的，子类改成private就不行，因为一旦把这个子类的对象当作父类的对象来用时，就找不到private的这个方法了。

public double getSalary()
{
    double baseSalary = super.getSalary();
    return baseSalary + bonus;
}

可以用super关键字调用父类的方法使用。

3 父类构造器

public Manager(String name, double salary, int year, int month, int day)
{
    super(name, salary, year, month, day);
    bonus = 0;
}

用super关键字调用父类的构造器，和this关键字类似。

注意：如果子类没有写构造器，那么默认父类的构造器就是子类的构造器。

4 继承层次

继承同一个父类的两个类没有任何关系。

5 多态

取多种状态之意。
一个Manager类既可以当Employee用也可以当Manager类用，这就表现了一个对象可以当作多种状态使用。
当一个父类变量指向一个子类对象时，该父类变量只能调用父类的方法，如果该方法被子类覆盖了，那么就使用子类的方法体。

6 理解方法调用

一句话解释：编译器总会尽量调用那个最子类最符合参数的方法。

7 不允许继承，Final 类和方法

一旦一个类被声明为final，那么这个类不能被继承。
一旦一个方法被声明为final，那么这个方法不能被覆盖。

8 强制类型转换

子类对象可以直接被赋值给父类变量。
一个已经被赋值给父类变量的子类对象，必须经过强制类型转换才能重新赋值给子类变量。

Employee e = new Manager(...);
Manager m = (Manager)e;

采用instanceof运算符可以检测前面的变量是不是后面类型或其子类。

if(e intanceof Manager)
{
    Manager m = (Manager)e;
}

如果类型转换错误，会报异常。

9 抽象类

用abstract关键字声明的类和方法是抽象类和抽象方法。
抽象类不能够有实例对象，即不能够有构造方法。抽象类也可以继承，其中的抽象方法也继承下去，必须非抽象子类才能写方法体。
抽象方法不能有方法体，其方法体必须由非抽象子类实现。

public abstract class Person
{
    private String name;
    public Person(String name)
    {
        this.name = name;
    }
    public abstract String getDescription();
    public String getName()
    {
        return name;
    }
}

继承抽象类

public class Student extends Person
{
    private String major;
    public Student(String name, String major)
    {
        super(name);
        this.major = major;
    }
    public String getDescription()//本类不是抽象类，必须实现抽象方法的方法体
    {
        return "a student majoring in " + major;
    }
}

注意：抽象类虽然不能有对象，但是可以声明抽象类的变量，不过指向的只能是非抽象子类对象。

10 protected访问修饰符

一旦一个属性或者方法被protected关键字修饰，那么这个属性或者方法可以被子类访问调用。

1. private 本类可见
2. protected 子类也可见
3. 啥都不写 同包类也可见
4. public 所有类都可见