类型别名type
类型别名用来给一个类型起个新名字,使用type
创建类型别名,类型别名不仅可以用来表示基本类型,还可以用来表示对象类型、联合类型、元祖和交集。让我们看一些例子:
type userName = string;
type userId = string | number;
// type arr = number[];
type arr = Array<number>;
//对象类型
type Person = {
id: userId;
name: userName;
age: number;
gender: string;
isWebDev: boolean;
};
type Tree<T> = { value: T };
const user: Person = {
id: "901",
name: "椿",
age: 22,
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
interface ICat {
setName(name: string): void;
}
class Cat implements ICat {
setName(name: string): void {
}
}
//type
type ICat = {
setName(name: string): void;
}
class Cat implements ICat {
setName(name: string): void {
}
}
上面提到了特殊情况,类无法实现联合类型
,是什么意思呢?
type Person = { name: string } | { setName(name: string): void };
//无法对联合类型Person进行实现
//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 {
}
}
interface与type的区别
- 定义基本类型别名
type可以定义基本类型别名,但是interface无法定义,如:
type userName = string;
type stuNo = number;
- 声明联合类型
type可以声明联合类型,例如:
type Person = { name: string } | { setName(name: string): void };
- 声明元祖
type可以声明元祖类型
:
type data = [number, string];
以上都是type
能做到,而interface
做不到的,接下来聊聊type
做不到的。
- 声明合并
如果你多次声明一个同名的借口,typescript会将它们合并到一个声明中,并将它们视为一个接口。这称为声明合并
,例如:
interface Person {
name: string;
}
interface Person {
age: number;
}
let user: Person = {
name: 'zhangsan',
age: 18,
}
这种情况下,如果是type
的话,重复使用Person
是会报错的:
type Person = { name: string };
type Person = { age: number };//Duplicate identifier 'Person'
- 索引签名问题
如果你经常使用typescript,一定遇到过相似的错误:
例子:
interface propType {
[key: string]: string;
}
type dataType = {
title: string;
};
interface dataType1 {
title: string;
}
const data: dataType = {
title: '订单页面',
};
const data1: dataType1 = {
title: '订单页面',
};
let props: propType;
props = data;
props = data1;
//Error:类型“dataType1”不可分配给类型“propType”; 类型“dataType1”中缺少索引签名
我们发现dataType和dataType1对应的类型一样,但是interface定义的赋值失败,是什么原因呢?刚开始百思不解,最后在stack overflow上找到了一个相似的问题:
并且很幸运的找到了有效的答案:
Record<string,string>与{[key:string]:string}相同。只有当该类型的所有属性都已知并且可以对照该索引签名进行检查时,才允许将子集分配给该索引签名类型。在您的例子中,从exampleType到Record<string,sting的所有内容都是可以分配的。这只能针对对象字面量类型进行检查,因为一旦声明了对象字面量类型,就无法更改它们。因此,索引签名是已知的。
相反,在你使用interface去声明变量时,它们在那一刻类型并不是最终的类型。由于interfac可以进行声明合并,所以总有可能将新成员添加到同一个interface定义的类型上。
再结合👆第4点 声明合并的讲解, 这样就很好理解了。就是说interface定义的类型是不确定的, 如果后面再来一个:
interface propType{
title:number
}
这样propType类型就被改变了。
总结
官方推荐用interface,其他无法满足需求的情况下用type。
但其实,因为联合类型和 交叉类型是很常用的,所以避免不了大量使用type的场景,一些复杂类型也需要通过组装后形成类型别名来使用。
所以,如果想保持代码统一,还是可以选择使用type。通过上面的对比,类型别名其实可涵盖interface的大部分场景。
对于React组件props及state,使用type,这样能够保证使用组件的地方不能随意在上面添加属性。如果有自定义需求,可通过 HOC二次封装。
编写三方库时使用interface,其更加灵活自动的类型合并可应对未知的复杂使用场景。