---

何时使用类型？

---

通用转换

将多个类型转换为单个泛型类型时，请使用该类型。

例子：

type Nullable<T> = T | null | undefined
type NonNull<T> = T extends (null | undefined) ? never : T

---

类型别名

我们可以使用该类型为长类型或复杂类型创建别名，这些类型既难以阅读，又不方便反复键入。

例子：

type Primitive = number | string | boolean | null | undefined

创建这样的别名使代码更加简洁易读。

---

类型捕获

当类型未知时，使用该类型捕获对象的类型。

例子：

const orange = { color: "Orange", vitamin: "C"}
type Fruit = typeof orange
let apple: Fruit

在这里，我们得到了未知类型的橙子，称其为水果，然后使用水果创建一个新型的安全对象苹果。

---

何时使用界面？

---

多态性

接口是实现数据形状的契约。使用该接口明确表示它将被实现并用作关于如何使用对象的约定。

例子：

interface Bird {
    size: number
    fly(): void
    sleep(): void
}

class Hummingbird implements Bird { ... }
class Bellbird implements Bird { ... }

尽管您可以使用类型来实现这一点，但Typescript更多地被视为一种面向对象的语言，并且接口在面向对象语言中具有特殊的地位。当您在团队环境中工作或为开源社区做出贡献时，使用界面更容易阅读代码。对于来自其他面向对象语言的新程序员来说也很容易。

官方的Typescript文档还说：

…我们建议尽可能在类型别名上使用接口。

这也表明该类型更适合于创建类型别名，而不是创建类型本身。

---

声明合并

您可以使用接口的声明合并功能向已声明的接口添加新的财产和方法。这对于第三方库的环境类型声明很有用。当第三方库缺少某些声明时，可以使用相同的名称再次声明接口，并添加新的财产和方法。

例子：

我们可以扩展上述Bird接口以包含新的声明。

interface Bird {
    color: string
    eat(): void
}

---

就是这样！记住什么时候使用比迷失在两者之间的细微差别中更容易。

除了已经提供的出色答案之外，在扩展类型和接口方面还有明显的区别。我最近遇到了一些界面无法完成任务的情况：

无法使用接口扩展联合类型无法扩展通用接口

还有一个不同之处。我会的。。。如果你能解释这种情况的原因，请给你买一杯啤酒：

enum Foo { a = 'a', b = 'b' }

type TFoo = {
  [k in Foo]: boolean;
}

const foo1: TFoo = { a: true, b: false} // good
// const foo2: TFoo = { a: true }       // bad: missing b
// const foo3: TFoo = { a: true, b: 0}  // bad: b is not a boolean

// So type does roughly what I'd expect and want

interface IFoo {
//  [k in Foo]: boolean;
/*
  Uncommenting the above line gives the following errors:
  A computed property name in an interface must refer to an expression whose type is a      
    literal type or a 'unique symbol' type.
  A computed property name must be of type 'string', 'number', 'symbol', or 'any'.
  Cannot find name 'k'.
*/
}

// ???

这种情况让我很想说接口的问题，除非我有意实现一些OOP设计模式，或者需要如上所述的合并（除非我有充分的理由，否则我永远不会这么做）。

界面专门设计用于描述对象形状；然而，类型在某种程度上类似于可以用于为任何类型创建新名称的接口。

我们可以说，一个接口可以通过多次声明来扩展；而类型是封闭的。

https://itnext.io/interfaces-vs-types-in-typescript-cf5758211910

索引的差异。

interface MyInterface {
  foobar: string;
}

type MyType = {
  foobar: string;
}

const exampleInterface: MyInterface = { foobar: 'hello world' };
const exampleType: MyType = { foobar: 'hello world' };

let record: Record<string, string> = {};

record = exampleType;      // Compiles
record = exampleInterface; // Index signature is missing

相关问题：类型中缺少索引签名（仅在接口上，而不是在类型别名上）

因此，如果您想为对象编制索引，请考虑这个示例

看看这个问题和这个关于违反利斯科夫原则的问题

评估中的差异

当FirstLevelType为接口时，请查看ExtendeFirst的结果类型

/**
 * When FirstLevelType is interface 
 */

interface FirstLevelType<A, Z> {
    _: "typeCheck";
};

type TestWrapperType<T, U> = FirstLevelType<T, U>;


const a: TestWrapperType<{ cat: string }, { dog: number }> = {
  _: "typeCheck",
};

// {  cat: string; }
type ExtendFirst = typeof a extends FirstLevelType<infer T, infer _>
    ? T
    : "not extended";

当FirstLevelType为类型时，请查看ExtendeFirst的结果类型：

/**
 * When FirstLevelType is type
 */
type FirstLevelType<A, Z>= {
    _: "typeCheck";
};

type TestWrapperType<T, U> = FirstLevelType<T, U>;


const a: TestWrapperType<{ cat: string }, { dog: number }> = {
  _: "typeCheck",
};

// unknown
type ExtendFirst = typeof a extends FirstLevelType<infer T, infer _>
    ? T
    : "not extended";

就编译速度而言，组合接口的性能优于类型交集：

[…]接口创建检测属性冲突的单个平面对象类型。这与交叉点类型不同，在交叉点类型中，在对照有效类型进行检查之前，检查每个组成部分。接口之间的类型关系也被缓存，而不是交叉类型。

资料来源：https://github.com/microsoft/TypeScript/wiki/Performance#preferring-交叉口上的接口