1. 模式匹配是通过 extends 对类型参数做匹配