18.2.3 案例:断定型接口