TS 有个非常好用的功能就是类型别名。 类型别名会给一个类型起个新名字。类型别名有时和接口很像，但是可以作用于原始值，联合类型，元组以及其它任何你需要手写的类型。 上面的类型意思是，若 T 能够赋值给 U，那么类型是 X，否则为 Y。 原理是令 T' 和 U' 分别为 T 和 …

泛型，字面上看就是宽泛的类型约束。是指在定义函数、接口或类的时，不指定类型，在使用时指定类型（runtime）。 考虑到重用性和扩展性，因为组件除了支持当前数据类型，还要考虑未来需要支持新的类型，这是一个合格程序员应有的素养和一个好系统的衡量标准之一（功能的灵活性）。 没报错，…