声明和初始化
方法要求
属性要求
接口继承
符合性检查（is, as）
默认方法
接口集合
显式实现