7.3. 实现接口的条件

TODO