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

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

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

2021 3月更新：更新的TypeScript手册（也在nju-clc中提到下面的答案）有一节“接口与类型别名”，解释了区别。

原始答案（2016）

根据（现已存档）TypeScript语言规范：

与总是引入命名对象类型的接口声明不同，类型别名声明可以引入任何类型的名称，包括基元类型、联合类型和交集类型。

该规范还提到：

接口类型与对象类型的类型别名有许多相似之处但是由于接口类型提供了更多的功能通常优选键入别名。例如，接口类型接口点{x： 数量；y： 数量；}可以写成类型别名类型点={x： 数量；y： 数量；};但是，这样做意味着失去以下功能：接口可以在extends或implements子句中命名，但对象类型文本的类型别名不能在TS 2.7之后为true。接口可以有多个合并声明，但对象类型文本的类型别名不能。

索引的差异。

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://www.typescriptlang.org/docs/handbook/advanced-types.html

一个区别是，接口创建了一个新名称，该名称在任何地方都可以使用。键入别名不会创建新名称-例如，错误消息不会使用别名。

文件已经解释了

一个区别是，接口创建了一个新名称，该名称在任何地方都可以使用。类型别名不会创建新名称-例如，错误消息不会使用别名名称。在旧版本的TypeScript中，类型别名无法从扩展或实现（也无法扩展/实现其他类型）。从2.7版起，可以通过创建新的交叉点类型来扩展类型别名另一方面，如果不能用接口表达某种形状，并且需要使用联合或元组类型，则通常使用类型别名。

接口与类型别名

“typescriptlang”似乎建议尽可能使用接口而不是类型。接口与类型别名