在 typescript （后面简称为 ts）中定义 interface（后面简称为“接口”） 时，常常需要对进行二次封装或调整，而 ts 在2.1版本中加入了一些程序类型工具，供开发者方便的进行此类操作。 这些程序类型早在2016年就发布了，因此已经被很多框架或插件所使用。那…

类型推断 infer 是作为 extends 条件类型的子语句使用，同时在 TS2.8 推出。（如果你不熟悉 extends 条件类型可以查看之前分享的 TypeScript 的 extends 条件类型） 上面的 infer U 语句就是声明一个类型变量 U（它可以是任意字母…