接口在形式上等价于一个没有_____、没有方法，只有_____的抽象类。