在写 ts 相关代码的过程中,总能看到 interface
和 type
的身影。它们的作用好像都一样的,相同的功能用哪一个都可以实现,也都很好用,所以也很少去真正的理解它们之间到底有啥区别, 分别在什么场景下使用,将自己学习的内容记录分享一下。
类型别名 type
首先认识一下什么是类型别名?
类型别名用来给一个类型起个新名字,使用 type
创建类型别名,类型别名不仅可以用来表示基本类型,还可以用来表示对象类型、联合类型、元组和交集。让我们看一些例子:
type userName = string; // 基本类型 type userId = string | number; // 联合类型 type arr = number[]; // 对象类型 type Person = { id: userId; // 可以使用定义类型 name: userName; age: number; gender: string; isWebDev: boolean; }; // 范型 type Tree<T> = { value: T }; const user: Person = { id: "001", name: "mybj", age: 4, gender: "男", isWebDev: false, }; const numbers: arr = [1, 8, 9];
接口 interface
接口是命名数据结构(例如对象)的另一种方式;与type
不同,interface
仅限于描述对象类型。
接口的声明语法也不同于类型别名的声明语法。让我们将上面的类型别名 Person
重写为接口声明:
interface Person { id: userId; name: userName; age: number; gender: string; isWebDev: boolean; }
interface 和 type 的相似之处
在讨论二者区别之前, 首先看一下二者的相似之处(为何开发中,我们觉得用哪个都一样)
都可以描述 Object和Function
两者都可以用来描述对象或函数,但语法不同:
Type
type Point = { x: number; y: number; }; type SetPoint = (x: number, y: number) => void;
Interface
interface Point { x: number; y: number; } interface SetPoint { (x: number, y: number): void; }
二者都可以被继承
interface
和 type
都可以继承。
另一个值得注意的是,接口和类型别名并不互斥。类型别名可以继承接口,反之亦然。只是在实现形式上,稍微有些差别。
interface 继承 interface
interface Person{ name:string } interface Student extends Person { stuNo: number }
interface 继承 type
type Person{ name:string } interface Student extends Person { stuNo: number }
type 继承 type
type Person{ name:string } type Student = Person & { stuNo: number }
type 继承 interface
interface Person{ name:string } type Student = Person & { stuNo: number }
实现 implements
类可以实现interface
以及 type
(除联合类型外)
interface ICat{ setName(name:string): void; } class Cat implements ICat{ setName(name:string):void{ // todo } } // type type ICat = { setName(name:string): void; } class Cat implements ICat{ setName(name:string):void{ // todo } }
上面提到了特殊情况,类无法实现联合类型
, 是什么意思呢?
type Person = { name: string; } | { setName(name:string): void }; // 无法对联合类型 Person 进行实现 // error: A class can only implement an object type or intersection of object types with statically known members. class Student implements Person { name= "张三"; setName(name:string):void{ // todo } }
上面聊了interface
与 type
的相似之处, 接下来就来看看他们的区别。
二者区别
1. 定义基本类型别名
type
可以定义基本类型别名, 但是interface
无法定义,如:
type userName = string type stuNo = number ...
2. 声明联合类型
type
可以声明联合类型, 例如:
type Student = {stuNo: number} | {classId: number}
3. 声明元组
type 可以声明 元组类型:
type Data = [number, string];
以上都是 type
能做到, 而interface
做不到的, 接下来聊聊type
做不到的。
4. 声明合并
如果你多次声明一个同名的接口,TypeScript 会将它们合并到一个声明中,并将它们视为一个接口。这称为声明合并, 例如:
interface Person { name: string } interface Person { age: number } let user: Person = { name: "Tolu", age: 0, };
5. 索引签名问题
如果你经常使用 TypeScript, 一定遇到过相似的错误:
Type 'xxx' is not assignable to type 'yyy' Index signature is missing in type 'xxx'.
看个例子来理解问题:
interface propType{ [key: string] : string } let props: propType type dataType = { title: string } interface dataType1 { title: string } const data: dataType = {title: "订单页面"} const data1: dataType1 = {title: "订单页面"} props = data // Error:类型“dataType1”不可分配给类型“propType”; 类型“dataType1”中缺少索引签名 props = data1
我们发现dataType
和dataType1
对应的类型一样,但是interface
定义的就赋值失败,是什么原因呢?刚开始百思不解,最后我在 stack overflow 上找到了一个相似的问题:
翻译过来的大致意思就是:
Record<string,string>
与{[key:string]:string}
相同。只有当该类型的所有属性都已知并且可以对照该索引签名进行检查时,才允许将子集分配给该索引签名类型。在您的例子中,从exampleType
到Record<string,string>
的所有内容都是可分配的。这只能针对对象字面量类型进行检查,因为一旦声明了对象字面量类型,就无法更改它们。因此,索引签名是已知的。相反,在你使用 interface 去声明变量时,它们在那一刻类型并不是最终的类型。由于 interfac 可以进行声明合并,所以总有可能将新成员添加到同一个 interface 定义的类型上。
再结合👆第 4 点 声明合并
的讲解, 这样就很好理解了。就是说interface
定义的类型是不确定的, 后面再来一个:
interface propType{ title:number }
这样propType
类型就被改变了。
总结
官方推荐用 interface
,其他无法满足需求的情况下用 type
。
但其实,因为 联合类型 和 交叉类型 是很常用的,所以避免不了大量使用 type
的场景,一些复杂类型也需要通过组装后形成类型别名来使用。
所以,如果想保持代码统一,还是可选择使用 type
。通过上面的对比,类型别名 其实可涵盖 interface
的大部分场景。
对于 React 组件中 props
及 state
,使用 type
,这样能够保证使用组件的地方不能随意在上面添加属性。如果有自定义需求,可通过 HOC 二次封装。
编写三方库时使用interface
,其更加灵活自动的类型合并可应对未知的复杂使用场景。
文章来源:前端界