ADT的具体实现技术—OOP
现实生活中的对象：由状态和行为
对对象进行抽象就得到了类 静态方法即类的方法，无需创建对象，利用类名即可直接调用 静态方法不能直接调用非静态成员 因为此时非静态成员还没创建
接口+接口的实现类：实现ADT 一个类不能继承多个父类，但是可以继承多个接口 一个接口可以有多个实现类 接口中没有构造函数 接口中只有spec和方法签名
使用接口类型声明变量 客户端仅使用接口中定义的方法 客户端代码无法直接访问属性
为了代码重用，使用继承的概念
抽象类内最少有一个抽象方法，即允许有实现了的类 抽象方法：只有定义没有实现 继承某个抽象类的子类在实例化时，所有父类的抽象方法必须要实现 concrete class-> abstract class->Interface
不同的参数列表 相同或不同的返回值类型 相同或不同的限定词 可以在一个类内重载也可以在子类重载 相同的参数类型，不同的参数名不是重载
重载：选择哪个方法进行调用是在编译阶段发生的，根据引用的类型来选择 重写：选择哪个方法进行调用是在运行阶段发生的，根据对象的类型来进行选择
所以调用子类中父类方法的重载就必须创建子类的引用
编译时到底调用哪个方法却决于现在是哪个引用，所以当前引用必须得有调用的方法才能通过编译，这是重载的静态检查，然后如果某个方法子类中也有、父类中也有，运行时究竟用那个方法，根据具体对象的值决定，这是重写的动态检查
参数列表必须完全与被重写方法的相同。
返回类型与被重写方法的返回类型可以不相同，但是必须是父类返回值的派生类（java5 及更早版本返回类型要一样，java7 及更高版本可以不同）。
访问权限不能比父类中被重写的方法的访问权限更低。例如：如果父类的一个方法被声明为 public，那么在子类中重写该方法就不能声明为 protected。
父类的成员方法只能被它的子类重写。
声明为 final 的方法不能被重写。
声明为 static 的方法不能被重写，但是能够被再次声明。
子类和父类在同一个包中，那么子类可以重写父类所有方法，除了声明为 private 和 final 的方法。
子类和父类不在同一个包中，那么子类只能够重写父类的声明为 public 和 protected 的非 final 方法。
重写的方法能够抛出任何非强制异常，无论被重写的方法是否抛出异常。但是，重写的方法不能抛出新的强制性异常，或者比被重写方法声明的更广泛的强制性异常，反之则可以。
构造方法不能被重写。
如果不能继承一个方法，则不能重写这个方法。
重载(overloading) 是在一个类里面，方法名字相同，而参数不同。返回类型可以相同也可以不同。
每个重载的方法（或者构造函数）都必须有一个独一无二的参数类型列表。
最常用的地方就是构造器的重载。
被重载的方法必须改变参数列表(参数个数或类型不一样)； 被重载的方法可以改变返回类型； 被重载的方法可以改变访问修饰符； 被重载的方法可以声明新的或更广的检查异常； 方法能够在同一个类中或者在一个子类中被重载。 无法以返回值类型作为重载函数的区分标准。
操作符 判断某个对象是不是特定类型（或其子类型） 动态类型检查，不是静态 object instance class
