这次让我们定义一个接受三个参数的 extend 函数，同时它也接受三个泛型参数，而它返回值类型呢，则是 T1, T2, T3 的交叉类型。交叉类型让我们可以把现有的多种类型叠加到一起成为一种类型，它包含了所需的所有类型的特性，相当于对这些类型的成员求并集。 例如， T1 & T2 & T3 这个类型的对象同时拥有了这三种类型的成员。在这里，交叉类型就满足了我们对 extend 函数返回值类型的要求。值得注意的是，实际的 extend 函数可以接受不定个数的参数，也就是说，我们为它编写的类型定义也需要同时兼容接受不定个数参数的情况，这就需要 TS 提供的函数重载功能。
3. 重载：在大多数静态类型编程语言中，编译器允许存在参数类型、个数不同的多个同名函数，这个特性被称为函数重载。TS 支持函数重载的特性，所以我们可以定义多个接受不同数量参数的 extend 方法，在用户调用时，TS 会自动的在这些同名函数中选择正确的重载定义。有了函数重载的帮助，我们可以在使用 extend 的大多数场景下享受到类型检查的好处，只有在参数个数超过4个的时候，TS 才无法推断出返回值类型。需要注意的是在 JS 中，运行时并不提供函数重载的能力，我们无法定义多个同名函数，即使他们接受的参数数量并不相同，为了实现函数重载的效果，开发人员需要手动在单个函数中对参数的类型、数量做出判断。
到这里我们的第三方声明就完成了，即使一个简单函数的第三方声明，我们也运用了很多ts的相关知识。