ts

类型的窄化，也可以说是类型的收缩，窄化有很多种方法可以实现。