接口 技能

接口涵盖了类型隐式满足的行为契约。