TypeScript 中扩展接口和相交接口的区别?
Difference between extending and intersecting interfaces in TypeScript?
假设定义了以下类型:
interface Shape {
color: string;
}
现在,考虑以下方法向该类型添加额外的属性:
分机
interface Square extends Shape {
sideLength: number;
}
路口
type Square = Shape & {
sideLength: number;
}
这两种方法有什么区别?
而且,出于完整性和好奇心的考虑,还有其他方法可以产生可比较的结果吗?
是的,有些差异可能与您的情况相关,也可能不相关。
也许最重要的是具有相同 属性 键的成员在两种类型中的处理方式不同。
考虑:
interface NumberToStringConverter {
convert: (value: number) => string;
}
interface BidirectionalStringNumberConverter extends NumberToStringConverter {
convert: (value: string) => number;
}
上面的 extends
导致错误,因为派生接口声明了一个 属性,其密钥与派生接口中的密钥相同,但签名不兼容。
error TS2430: Interface 'BidirectionalStringNumberConverter' incorrectly extends interface 'NumberToStringConverter'.
Types of property 'convert' are incompatible.
Type '(value: string) => number' is not assignable to type '(value: number) => string'.
Types of parameters 'value' and 'value' are incompatible.
Type 'number' is not assignable to type 'string'.
但是,如果我们使用交集类型
type NumberToStringConverter = {
convert: (value: number) => string;
}
type BidirectionalStringNumberConverter = NumberToStringConverter & {
convert: (value: string) => number;
}
没有任何错误,进一步给出
// And this is a good thing indeed as a value conforming to the type is easily conceived
const converter: BidirectionalStringNumberConverter = {
convert: (value: string | number) => {
return (typeof value === 'string' ? Number(value) : String(value)) as string & number; // type assertion is an unfortunately necessary hack.
}
}
const s: string = converter.convert(0); // `convert`'s call signature comes from `NumberToStringConverter`
const n: number = converter.convert('a'); // `convert`'s call signature comes from `BidirectionalStringNumberConverter`
这导致了另一个有趣的差异,interface
声明是开放式的。可以在任何地方添加新成员,因为在同一声明 space 中具有相同名称的多个 interface
声明是 merged.
这是合并行为的常见用法
lib.d.ts
interface Array<T> {
// map, filter, etc.
}
array-flat-map-polyfill.ts
interface Array<T> {
flatMap<R>(f: (x: T) => R[]): R[];
}
if (typeof Array.prototype.flatMap !== 'function') {
Array.prototype.flatMap = function (f) {
// Implementation simplified for exposition.
return this.map(f).reduce((xs, ys) => [...xs, ...ys], []);
}
}
请注意如何没有 extends
子句,尽管在单独的文件中指定接口都在全局范围内,并且按名称合并到具有两组成员的单个逻辑接口声明中。 (对于语法略有不同的模块范围声明也可以这样做)
相比之下,存储在 type
声明中的交集类型是封闭的,不会合并。
有很多很多不同之处。您可以在 TypeScript 手册中阅读有关这两种构造的更多信息。 Interfaces and Advanced Types 部分特别相关。
假设定义了以下类型:
interface Shape {
color: string;
}
现在,考虑以下方法向该类型添加额外的属性:
分机
interface Square extends Shape {
sideLength: number;
}
路口
type Square = Shape & {
sideLength: number;
}
这两种方法有什么区别?
而且,出于完整性和好奇心的考虑,还有其他方法可以产生可比较的结果吗?
是的,有些差异可能与您的情况相关,也可能不相关。
也许最重要的是具有相同 属性 键的成员在两种类型中的处理方式不同。
考虑:
interface NumberToStringConverter {
convert: (value: number) => string;
}
interface BidirectionalStringNumberConverter extends NumberToStringConverter {
convert: (value: string) => number;
}
上面的 extends
导致错误,因为派生接口声明了一个 属性,其密钥与派生接口中的密钥相同,但签名不兼容。
error TS2430: Interface 'BidirectionalStringNumberConverter' incorrectly extends interface 'NumberToStringConverter'.
Types of property 'convert' are incompatible.
Type '(value: string) => number' is not assignable to type '(value: number) => string'.
Types of parameters 'value' and 'value' are incompatible.
Type 'number' is not assignable to type 'string'.
但是,如果我们使用交集类型
type NumberToStringConverter = {
convert: (value: number) => string;
}
type BidirectionalStringNumberConverter = NumberToStringConverter & {
convert: (value: string) => number;
}
没有任何错误,进一步给出
// And this is a good thing indeed as a value conforming to the type is easily conceived
const converter: BidirectionalStringNumberConverter = {
convert: (value: string | number) => {
return (typeof value === 'string' ? Number(value) : String(value)) as string & number; // type assertion is an unfortunately necessary hack.
}
}
const s: string = converter.convert(0); // `convert`'s call signature comes from `NumberToStringConverter`
const n: number = converter.convert('a'); // `convert`'s call signature comes from `BidirectionalStringNumberConverter`
这导致了另一个有趣的差异,interface
声明是开放式的。可以在任何地方添加新成员,因为在同一声明 space 中具有相同名称的多个 interface
声明是 merged.
这是合并行为的常见用法
lib.d.ts
interface Array<T> {
// map, filter, etc.
}
array-flat-map-polyfill.ts
interface Array<T> {
flatMap<R>(f: (x: T) => R[]): R[];
}
if (typeof Array.prototype.flatMap !== 'function') {
Array.prototype.flatMap = function (f) {
// Implementation simplified for exposition.
return this.map(f).reduce((xs, ys) => [...xs, ...ys], []);
}
}
请注意如何没有 extends
子句,尽管在单独的文件中指定接口都在全局范围内,并且按名称合并到具有两组成员的单个逻辑接口声明中。 (对于语法略有不同的模块范围声明也可以这样做)
相比之下,存储在 type
声明中的交集类型是封闭的,不会合并。
有很多很多不同之处。您可以在 TypeScript 手册中阅读有关这两种构造的更多信息。 Interfaces and Advanced Types 部分特别相关。