文档中指出的关键区别在于，可以重新打开接口以添加新属性，但不能重新打开类型别名以添加新的属性，例如：

这没问题

interface x {
  name: string
}

interface x {
  age: number
}

这将抛出错误Duplicate identifier y

type y = {
  name: string
}

type y = {
  age: number
}

除此之外，接口和类型别名类似。

2022年更新-

类型别名和接口非常相似，在许多情况下可以自由选择。界面的几乎所有功能在类型中可用，关键区别是类型不能重新打开以添加新的财产，而不是始终可延伸。

https://www.typescriptlang.org/docs/handbook/2/everyday-types.html#differences-在类型别名和接口之间

在typescript中，建议使用“interface”而不是“type”。

“type”用于创建类型别名。您不能使用“接口”执行此操作。type Data=字符串然后，您可以使用“数据”代替字符串const name:string=“Yilmaz”const name:Data=“Yilmaz”

别名非常有用，尤其是在处理泛型类型时。

声明合并：可以合并接口，但不能合并类型。界面人员{name:字符串；}界面人员{年龄：数字；}//我们必须提供两个人的财产常量名称：人={名称：“Yilmaz”，年龄：30岁};函数式编程用户使用“类型”，面向对象编程用户选择“接口”您不能在接口上计算或计算财产，而是在类型中。type Fullname=“name”|“lastname”类型人员={[key in Keys]：字符串}常量名称：人={名字：“Yilmaz”，姓氏：“Bingol”}

https://www.typescriptlang.org/docs/handbook/advanced-types.html

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

类型示例：

//为对象创建树结构。由于缺少交集（&），您无法对接口执行相同的操作

type Tree<T> = T & { parent: Tree<T> };

//键入以限制变量仅分配几个值。接口没有联合（|）

type Choise = "A" | "B" | "C";

//由于类型，您可以通过条件机制声明NonNullable类型。

type NonNullable<T> = T extends null | undefined ? never : T;

界面示例：

//您可以使用OOP接口，并使用“implements”定义对象/类骨架

interface IUser {
    user: string;
    password: string;
    login: (user: string, password: string) => boolean;
}

class User implements IUser {
    user = "user1"
    password = "password1"

    login(user: string, password: string) {
        return (user == user && password == password)
    }
}

//可以使用其他接口扩展接口

    interface IMyObject {
        label: string,
    }

    interface IMyObjectWithSize extends IMyObject{
        size?: number
    }

索引的差异。

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";