文章目录

  • ​​8、声明合并​​
  • ​​函数的合并​​
  • ​​接口的合并​​
  • ​​类的合并​​
  • ​​9、扩展阅读​​

8、声明合并

如果定义了两个相同名字的函数、接口或类，那么它们会合并成一个类型：

函数的合并

​​之前学习过​​，我们可以使用重载定义多个函数类型：

function reverse(x: number): number;
function reverse(x: string): string;
function reverse(x: number | string): number | string {
    if (typeof x === 'number') {
        return Number(x.toString().split('').reverse().join(''));
    } else if (typeof x === 'string') {
        return x.split('').reverse().join('');
    }
}

接口的合并

接口中的属性在合并时会简单的合并到一个接口中：

interface Alarm {
    price: number;
}
interface Alarm {
    weight: number;
}

相当于：

interface Alarm {
    price: number;
    weight: number;
}

注意，合并的属性的类型必须是唯一的：

interface Alarm {
    price: number;
}
interface Alarm {
    price: number;  // 虽然重复了，但是类型都是 `number`，所以不会报错
    weight: number;
}
interface Alarm {
    price: number;
}
interface Alarm {
    price: string;  // 类型不一致，会报错
    weight: number;
}

// index.ts(5,3): error TS2403: Subsequent variable declarations must have the same type.  Variable 'price' must be of type 'number', but here has type 'string'.

接口中方法的合并，与函数的合并一样：

interface Alarm {
    price: number;
    alert(s: string): string;
}
interface Alarm {
    weight: number;
    alert(s: string, n: number): string;
}

相当于：

interface Alarm {
    price: number;
    weight: number;
    alert(s: string): string;
    alert(s: string, n: number): string;
}

类的合并

类的合并与接口的合并规则一致。

9、扩展阅读

此处记录了​​官方手册​​​（​​中文版​​）中包含，但是本书未涉及的概念。

我认为它们是一些不重要或者不属于 TypeScript 的概念，所以这里只给出一个简单的释义，详细内容可以点击链接深入理解。

  • ​​Never​​（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Basic Types.html#never)）：永远不存在值的类型，一般用于错误处理函数
  • ​​Variable Declarations​​​（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Variable Declarations.html)）：使用 ​​let​​​ 和 ​​const​​​ 替代 ​​var​​​，这是 ​​ES6 的知识​​
  • ​​this​​​：箭头函数的运用，这是 ​​ES6 的知识​​
  • ​​Using Class Types in Generics​​​（​​中文版​​）：创建工厂函数时，需要引用构造函数的类类型
  • ​​Best common type​​（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Type Inference.html#最佳通用类型)）：数组的类型推论
  • ​​Contextual Type​​（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Type Inference.html#上下文类型)）：函数输入的类型推论
  • ​​Type Compatibility​​（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Type Compatibility.html)）：允许不严格符合类型，只需要在一定规则下兼容即可
  • ​​Advanced Types​​​（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Advanced Types.html#交叉类型（intersection-types）)）：使用 ​​&​​ 将多种类型的共有部分叠加成一种类型
  • ​​Type Guards and Differentiating Types​​（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Advanced Types.html#类型保护与区分类型（type-guards-and-differentiating-types）)）：联合类型在一些情况下被识别为特定的类型
  • ​​Discriminated Unions​​​（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Advanced Types.html#可辨识联合（discriminated-unions）)）：使用 ​​|​​ 联合多个接口的时候，通过一个共有的属性形成可辨识联合
  • ​​Polymorphic this​​​（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Advanced Types.html#多态的this类型)）：父类的某个方法返回 ​​this​​​，当子类继承父类后，子类的实例调用此方法，返回的 ​​this​​ 能够被 TypeScript 正确的识别为子类的实例。
  • ​​Symbols​​​（​​中文版​​​）：新原生类型，这是 ​​ES6 的知识​​
  • ​​Iterators and Generators​​​（[中文版](https://zhongsp.gitbooks.io/typescript-handbook/content/doc/handbook/Iterators and Generators.html)）：迭代器，这是 ​​ES6 的知识​​
  • ​​Namespaces​​​（​​中文版​​​）：避免全局污染，现在已被 ​​ES6 Module​​ 替代
  • ​​Decorators​​​（​​中文版​​​）：修饰器，这是 ​​ES7 的一个提案​​
  • ​​Mixins​​​（​​中文版​​​）：一种编程模式，与 TypeScript 没有直接关系，可以参考 ​​ES6 中 Mixin 模式的实现​​