Type vs interface

March 31, 2025

typescript

类型理论

接口本质是类型的一种，这就像原始类型、对象类型、联合类型、交叉类型、条件类型也属于类型一样。

接口，是面向对象观点的一种类型，它本质上还是在表达对象类型。从类型论的观点看，它们应该可以是等价的。

我们知道：接口的特性是继承，而继承可以通过交叉对象类型来表达。

总之，讨论这之间的区别实际上是讨论两个问题：

interface type 关键字的区别
接口 extends 与交叉对象类型的区别

接口特性

接口具有声明合并的特性。允许在任意处声明同名接口，使用时使用的是合并后的结果。
这个性质实际上很关键，正因为要实现此特性：类型具有隐式索引签名，而接口类型没有。

interface Interface {
    k1: string;
    k2: number;
}

const obj1: Interface = {
    k1: "hello",
    k2: 42,
    k3: true,
};

const obj2: Obj = {
    k1: "hello",
    k2: 42,
    k3: true,
};

interface Interface {
    k3: boolean;
}

type Obj = {
    [key: string]: string | number | boolean;
};

// Type 'Interface' is not assignable to type 'Obj'.
//   Index signature for type 'string' is missing in type 'Interface'. ts(2322)
const obj3: Obj = obj1; // 💥

// interface Interface {
//     [key: string]: string | number | boolean;
// }

根据上面的例子可知，由于接口 Interface 可在任意时刻增加属性，它不具有隐式的 {[key: string]: string | number | boolean} 签名。因此解决方法是像最后的注释代码一样，手动添加索引约束。

interface type 关键字的区别

type 关键字用于定义任意类型，interface 关键字专门用于表达对象类型。
interface 可通过 extends 表示对象类型的扩展关系。显然从类型本身的角度来说只有交叉关系，没有继承和扩展关系。这是面向对象的观点。

注意：从 TS 2.1 起，类可以 implements 接口类型和对象类型。此前只能 implements 接口类型。
由于现在使用的版本远超过 2.1，因此现在类不能 implements 对象类型的说法是错误的。
同理，接口也可以同时 extends 接口和对象类型。

接口 extends 与交叉对象类型的区别

直观上来看，我们期望下面的方式表达同样的类型：

interface Interface$Partial {
    k1: string;
    k2: number;
}

interface Interface extends Interface$Partial {
    k3: boolean;
}

type Obj = {
    k1: string;
    k2: number;
    k3: boolean;
};

type Intersection = {
    k1: string;
    k2: number;
} & {
    k3: boolean;
};

如果做过 type-challenges 2757 PartialByKeys，就会发现，对象类型的交叉类型不会直接被类型系统认为是对象类型。

type PartialByKeys<T, K = any> = {
    [P in keyof T as P extends K ? P : never]?: T[P];
} & {
    [P in keyof T as P extends K ? never : P]: T[P];
}; // 💥

type IntersectionToObj<T> = { [K in keyof T]: T[K] };
type PartialByKeys<T, K = any> = IntersectionToObj<
    {
        [P in keyof T as P extends K ? P : never]?: T[P];
    } & {
        [P in keyof T as P extends K ? never : P]: T[P];
    }
>; // ✅

因此解法是手动告知类型系统，将交叉类型转换为对象类型，如上面的解法。
不过，这是类型系统类型层面的问题，在实例化时实际上是没有区别的。

此外，当然接口还受到上面提到的没有隐式索引类型的限制：

const x: Interface =
    // 💥 可以是 Obj 和 Intersection 类型，但不能是 Interface 类型
    {
        k1: "string",
        k2: 123,
        k3: true,
    };

const _: Record<string, string | number | boolean> = x;

另见

https://www.totaltypescript.com/type-vs-interface-which-should-you-use
https://www.alvseven.com/type-vs-interface

←Back to home

This work is licensed under CC BY-NC-SA 4.0